范数、绝对值

标准名称和别名

标准名称：范数与绝对值
常用别名：绝对值、模（在实数范围内）

知识点概览

范数概念

范数用来衡量向量的“大小”或“长度”。设 \(V\) 是实数域 \(\mathbb{R}\) 上的向量空间。若映射

对任意 \(x,y\in V\) 和 \(\lambda\in\mathbb{R}\) 满足：

1. 正定性：\(\|x\|\ge0\)，且 \(\|x\|=0\iff x=0\)；
2. 绝对齐次性：\(\|\lambda x\|=|\lambda|\,\|x\|\)；
3. 三角不等式：\(\|x+y\|\le\|x\|+\|y\|\)，

则称 \(\|\cdot\|\) 是 \(V\) 上的一个范数，称赋予了该范数的向量空间为范数空间。

在本章的一元微积分语境中，主要研究 \(V=\mathbb{R}\) 的情形。此时范数就是实数的绝对值。可自行验证

范数与距离

范数可以自然地定义两点之间的距离：

由范数的三条性质可得，距离 \(d\) 满足：

1. \(d(x,y)\ge0\)，且 \(d(x,y)=0\iff x=y\)；
2. \(d(x,y)=d(y,x)\)；
3. \(d(x,z)\le d(x,y)+d(y,z)\)。

第 3 条仍称为三角不等式，它表明从 \(x\) 直接到 \(z\) 的距离不超过经由 \(y\) 的距离之和。

在实数轴上，两点 \(x,y\) 之间的距离为

这一表达式是定义邻域、数列极限、函数极限和连续性的基础。

绝对值

对任意 \(x\in\mathbb{R}\)，定义

\(|x|\) 表示实数 \(x\) 到原点的距离，因此它只反映大小，不反映方向。等价地，

需要注意，\(\sqrt{x^2}=|x|\)，一般不能写成 \(\sqrt{x^2}=x\)。例如 \(x=-2\) 时，\(\sqrt{x^2}=2\)。

绝对值具有以下基本性质：

• \(|x|\ge0\)，且 \(|x|=0\iff x=0\)；
• \(|-x|=|x|\)；
• \(|xy|=|x|\,|y|\)；
• 若 \(y\ne0\)，则 \(\left|\dfrac{x}{y}\right|=\dfrac{|x|}{|y|}\)；
• \(|x+y|\le|x|+|y|\)（三角不等式）；
• \(\bigl||x|-|y|\bigr|\le|x-y|\)（反三角不等式）。

反三角不等式可由三角不等式推出。由

可得 \(|x|-|y|\le|x-y|\)；交换 \(x,y\) 又得 \(|y|-|x|\le|x-y|\)，于是

绝对值不等式的等价表示

设 \(a>0\)，则

更一般地，对 \(x_0\in\mathbb{R}\) 和 \(r>0\)，

左边表示 \(x\) 到 \(x_0\) 的距离小于 \(r\)，右边表示 \(x\) 位于以 \(x_0\) 为中心、半径为 \(r\) 的开区间内。这正是微积分中“充分接近”的定量表达。

微积分课程语境

• 典型位置：在实数的序与四则运算之后，区间、邻域和极限之前。
• 教学作用：严格表示大小和距离，是定义极限、连续等概念的必要基础。
• 常见学习任务：计算绝对值，熟练运用绝对值不等式，以及在绝对值不等式与区间表示之间转换。
• 范围说明：一元微积分以实数绝对值为主；一般范数的内容用于建立统一观念，通常不作技术性深入。

所属方向

数学分析 → 一元微积分 → 实数系 → 绝对值、距离与范数。

节点类型

概念节点。本知识点从实数的绝对值出发定义距离，并将其放在一般范数的框架中理解。

难度

2。绝对值的定义和基本计算较为直观；三角不等式、反三角不等式及一般范数概念需要一定的抽象思维。

前置知识点

• 实数的序与四则运算。

后置知识点

• 区间与邻域；
• 有界集合、上界与下界；
• 数列极限与函数极限的 \(\varepsilon\) 语言；
• 函数的连续性；
• 多元微积分中的向量范数与距离。