Wander & seek

1.1 几何定义#

向量（vector）是既有大小又有方向的量，通常用带箭头的线段表示。

• 记为 $\vec{a}$、$\mathbf{a}$ 或 $\overrightarrow{AB}$（$A$ 为起点，$B$ 为终点）。
• 向量的模（长度）记为 $|\vec{a}|$ 或 $\|\vec{a}\|$。

1.2 代数定义#

在数学中，向量通常定义为 $n$ 个有序数构成的数组：

或写作列向量：

其中 $a_i$ 称为向量的分量（component）或坐标。

1.3 向量的表示方式#

2.1 零向量#

所有分量都为零的向量：

• 零向量的模为 $0$，方向不确定（或说任意方向）。
• 零向量是向量空间中的加法单位元。

2.2 单位向量#

模长为 $1$ 的向量，记为 $\hat{\mathbf{u}}$ 或 $\mathbf{e}$。

• 对于任意非零向量 $\mathbf{v}$，其单位化（归一化）为： $$\hat{\mathbf{v}} = \frac{\mathbf{v}}{\|\mathbf{v}\|}$$

2.3 标准基向量#

$n$ 维空间中，第 $i$ 个分量为 $1$，其余为 $0$ 的向量：

在 $\mathbb{R}^3$ 中通常记作 $\mathbf{i}, \mathbf{j}, \mathbf{k}$。

3.1 向量加法#

定义：两个 $n$ 维向量的加法为对应分量相加。

若 $\mathbf{a} = (a_1, a_2, \dots, a_n)$，$\mathbf{b} = (b_1, b_2, \dots, b_n)$，则：

几何意义（平行四边形法则 / 三角形法则）：

• 将 $\mathbf{b}$ 的起点置于 $\mathbf{a}$ 的终点，则 $\mathbf{a} + \mathbf{b}$ 是从 $\mathbf{a}$ 起点到 $\mathbf{b}$ 终点的向量。
• 也可将 $\mathbf{a}$ 和 $\mathbf{b}$ 作为邻边作平行四边形，对角线即为 $\mathbf{a} + \mathbf{b}$。

3.2 向量数乘（标量乘法）#

定义：向量 $\mathbf{a}$ 与标量 $k \in \mathbb{R}$ 的数乘为每个分量乘以 $k$：

几何意义：

• 当 $k > 0$ 时，$k\mathbf{a}$ 与 $\mathbf{a}$ 同向，长度为原来的 $k$ 倍。
• 当 $k < 0$ 时，$k\mathbf{a}$ 与 $\mathbf{a}$ 反向，长度为原来的 $|k|$ 倍。
• 当 $k = 0$ 时，$0 \cdot \mathbf{a} = \mathbf{0}$。

3.3 向量减法#

定义：$\mathbf{a} - \mathbf{b} = \mathbf{a} + (-\mathbf{b})$，即：

几何意义：

• $\mathbf{a} - \mathbf{b}$ 是从 $\mathbf{b}$ 的终点指向 $\mathbf{a}$ 的终点的向量（当起点重合时）。
• 也可以看作三角形第三边对应的向量。

5.1 定义#

向量 $\mathbf{a} = (a_1, a_2, \dots, a_n)$ 的欧几里得范数（$L_2$ 范数）定义为：

5.2 基本性质#

• 非负性：$\|\mathbf{a}\| \geq 0$，且 $\|\mathbf{a}\| = 0$ 当且仅当 $\mathbf{a} = \mathbf{0}$。
• 齐次性：$\|k\mathbf{a}\| = |k| \cdot \|\mathbf{a}\|$。
• 三角不等式：$\|\mathbf{a} + \mathbf{b}\| \leq \|\mathbf{a}\| + \|\mathbf{b}\|$。
• 柯西-施瓦茨不等式：$|\mathbf{a} \cdot \mathbf{b}| \leq \|\mathbf{a}\| \cdot \|\mathbf{b}\|$。

6.1 定义#

两个 $n$ 维向量 $\mathbf{a}, \mathbf{b}$ 的点积为对应分量乘积之和：

或写作矩阵形式：

6.2 几何意义#

其中 $\theta$ 是 $\mathbf{a}$ 与 $\mathbf{b}$ 的夹角（$0 \leq \theta \leq \pi$）。

6.3 点积的性质#

• 对称性：$\mathbf{a} \cdot \mathbf{b} = \mathbf{b} \cdot \mathbf{a}$
• 线性性：$(k\mathbf{a} + l\mathbf{b}) \cdot \mathbf{c} = k(\mathbf{a} \cdot \mathbf{c}) + l(\mathbf{b} \cdot \mathbf{c})$
• 与模的关系：$\mathbf{a} \cdot \mathbf{a} = \|\mathbf{a}\|^2$
• 若 $\mathbf{a} \cdot \mathbf{b} = 0$，则称 $\mathbf{a}$ 与 $\mathbf{b}$正交（垂直）。

8.1 标量投影（有向长度）#

向量 $\mathbf{b}$ 在 $\mathbf{a}$ 方向上的标量投影：

8.2 向量投影#

向量 $\mathbf{b}$ 在 $\mathbf{a}$ 方向上的向量投影（投影向量）：

或者可以写成更简洁的形式：

8.3 向量分解#

任意向量 $\mathbf{b}$ 可分解为平行于 $\mathbf{a}$ 和垂直于 $\mathbf{a}$ 的两个分量：

其中 $\operatorname{perp}_{\mathbf{a}} \mathbf{b} = \mathbf{b} - \operatorname{proj}_{\mathbf{a}} \mathbf{b}$，且与 $\mathbf{a}$ 正交。