向量空间

下文和标量域\mathbb{K}是指实数域 \mathbb{R} 或复数域 \mathbb{C}。

1. 向量空间（线性空间）

1.1 定义

1.1.1 向量空间

对于以向量为元素的集合 \boldsymbol{V} ，若对于向量集合 \boldsymbol{V} 中的向量 \boldsymbol{x},\boldsymbol{y},\boldsymbol{w} 和标量域 \mathbb{K} 中的标量 a,b ，以下两个闭合性和关于加法及乘法的 8 个定律均满足时，则称 V

为向量空间或线性空间：

• 闭合性

1. 若 \boldsymbol{x},\boldsymbol{y} \in \boldsymbol{V} ，则 \boldsymbol{x} + \boldsymbol{y} \in \boldsymbol{V} ，即 \boldsymbol{V} 在加法下闭合，简称为加法的闭合性。
2. 若 a \in \mathbb{K} ，\boldsymbol{y} \in \boldsymbol{V} ，则 a \boldsymbol{y} \in \boldsymbol{V} ，即 \boldsymbol{V} 在标量乘法下是闭合的，简称标量乘法的闭合性。

• 加法的公理\boldsymbol{x} + \boldsymbol{y} = \boldsymbol{y} + \boldsymbol{x} ，称为加法交换律。\boldsymbol{x} + (\boldsymbol{y} + \boldsymbol{z}) = (\boldsymbol{x} + \boldsymbol{y}) + \boldsymbol{z} ，称为加法的结合律。\boldsymbol{V} 存在零向量 0 ，使得 \forall \boldsymbol{y} \in \boldsymbol{V} ，恒有 \boldsymbol{y} + \boldsymbol{0} = \boldsymbol{y} ，称为零向量的存在性。\forall \boldsymbol{y} \in \boldsymbol{V}, \exists -\boldsymbol{y} \in \boldsymbol{V} ，使得 \boldsymbol{y} + (-\boldsymbol{y}) = (-\boldsymbol{y}) + \boldsymbol{y} = \boldsymbol{0} ，称为负向量的存在性。
• 标量乘法的公理a(b\boldsymbol{y}) = (ab)\boldsymbol{y} 对所有向量 \boldsymbol{y} 和所有标量 a,b 成立，称为标量乘法结合律。a(\boldsymbol{x} + \boldsymbol{y}) = a\boldsymbol{x} + b\boldsymbol{y} 对所有向量 \boldsymbol{y} 和所有标量 a,b 成立，称为标量乘法分配律。(a+b)\boldsymbol{y} = a\boldsymbol{y} + b\boldsymbol{y} 对所有向量 \boldsymbol{y} 和所有标量 a,b 成立，称为标量乘法分配律。1\boldsymbol{y} = \boldsymbol{y} 对所有 \boldsymbol{y} 成立，称为标量乘法单位律。

1.1.2 向量子空间

令 \boldsymbol{V} 和 \boldsymbol{W} 是两个向量空间，若 \boldsymbol{W} 是 \boldsymbol{V} 中一个非空子集合，则称子集合 \boldsymbol{W} 是 \boldsymbol{V} 的一个子空间。

• 若 \boldsymbol{A} 和 \boldsymbol{B} 是向量空间 \boldsymbol{V} 的两个向量子空间，则称

为子空间 \boldsymbol{A} 和 \boldsymbol{B} 的和，称

为子空间 \boldsymbol{B} 和 \boldsymbol{B} 的交。

• 若 \boldsymbol{A} 和 \boldsymbol{B} 是向量空间 \boldsymbol{V} 的两个向量子空间，并满足

则称 \boldsymbol{V} 是子空间 \boldsymbol{A} 和 \boldsymbol{A} 的直接求和，简称直和，记为\boldsymbol{V} = \boldsymbol{A} \oplus \boldsymbol{B} 。

1.1.3 线性映射（线性变换）

令 \boldsymbol{V} 和 \boldsymbol{W} 分别是 \mathbb{R}^m 和 \mathbb{R}^n 的子空间，若映射 \boldsymbol{T}: \boldsymbol{V} \mapsto \boldsymbol{W} 对 \boldsymbol{v} \in \boldsymbol{V}, \boldsymbol{w} \in \boldsymbol{W} 和任意标量c 满足叠加性和齐次性，则称\boldsymbol{T} 为线性映射或线性变换：

• 叠加性：\boldsymbol{T}(\boldsymbol{v} + \boldsymbol{w}) = \boldsymbol{T}(\boldsymbol{v}) + \boldsymbol{T}(\boldsymbol{w})
• 齐次性：\boldsymbol{T}(c\boldsymbol{v}) = c\boldsymbol{T}(\boldsymbol{v})

也可以将叠加性和齐次性合并在一起写成线性关系式：

1.2 性质

• 常见向量空间：\mathbb{R}^n, \mathbb{C}^n

1. 若 \boldsymbol{x},\boldsymbol{y} \in \boldsymbol{W}，则 \boldsymbol{x} + \boldsymbol{y} \in \boldsymbol{W} ，即满足加法的闭合性。
2. 若 a \in \boldsymbol{S} ，\boldsymbol{y} \in \boldsymbol{W} ，则 a \boldsymbol{y} \in \boldsymbol{W} ，即满足标量乘法的闭合性。
3. 满足零向量的存在性。

2. 内积空间

2.1 定义

2.1.1 内积空间

令 \boldsymbol{V} 为向量空间，若对所有 \boldsymbol{x},\boldsymbol{y},\boldsymbol{z} \in \boldsymbol{V} 和 a,b \in \mathbb{K} ，映射函数 \langle \cdot, \cdot \rangle: \boldsymbol{V} \times \boldsymbol{V} \mapsto \mathbb{K} 满足以下三条性质：

• 共轭对称性：\langle \boldsymbol{x}, \boldsymbol{y} \rangle = \langle \boldsymbol{y}, \boldsymbol{x} \rangle^*
• 第一变元的线性性：\langle a\boldsymbol{x} + b\boldsymbol{y}, \boldsymbol{z} \rangle = a \langle \boldsymbol{x}, \boldsymbol{z} \rangle + b \langle \boldsymbol{y}, \boldsymbol{z} \rangle
• 非负性：\langle \boldsymbol{x}, \boldsymbol{x} \rangle \geq 0 ，且 \langle \boldsymbol{x}, \boldsymbol{x} \rangle = 0 \Leftrightarrow \boldsymbol{x} = \boldsymbol{0} 则称 \langle \boldsymbol{x}, \boldsymbol{y} \rangle 为向量 \boldsymbol{x} 与 \boldsymbol{y} 的内积，\boldsymbol{V} 为内积空间。满足以上三个性质的实向量空间和复向量空间分别称为实内积向量空间和复内积向量空间。

2.2 性质

\forall \mathbf{x} \in \mathbf{V}, \langle \mathbf{x},\mathbf{x} \rangle = \langle \mathbf{x},\mathbf{x} \rangle^* \in \mathbb{R}。（共轭对称性）

\forall a,b \in \mathbb{K}, \mathbf{x},\mathbf{y},\mathbf{z} \in \mathbf{V}, \langle \mathbf{z}, a\mathbf{x}+b\mathbf{y} \rangle = a^* \langle \mathbf{z},\mathbf{x} \rangle + b^* \langle \mathbf{z},\mathbf{y} \rangle。（第一变元的线性性）

3. 赋范空间

3.1 定义

3.1.1 赋范空间

令 \boldsymbol{V} 为向量空间，向量 \boldsymbol{x} 的范数为一实函数 p(\boldsymbol{x}): \boldsymbol{V} \mapsto \mathbb{R} ，若对所有向量 \boldsymbol{x},\boldsymbol{y} \in \boldsymbol{V} 和任意一个标量 c \in \mathbb{K} ，有下面性质成立：

• 非负性：p(\boldsymbol{x}) \geq 0 且 p(\boldsymbol{x}) = 0 \Leftrightarrow \boldsymbol{x} = \boldsymbol{0}
• 齐次性：p(c\boldsymbol{x}) = |c| \cdot p(\boldsymbol{x}) 对任意标量 c 成立。
• 三角不等式：p(\boldsymbol{x} + \boldsymbol{y}) \leq p(\boldsymbol{x}) + p(\boldsymbol{y}) 则称 \boldsymbol{V} 为赋范向量空间。

3.1.2 半范数（伪范数）

若 p(\boldsymbol{x}): \boldsymbol{V} \mapsto \mathbb{R} 对所有向量 \boldsymbol{x}, \boldsymbol{y} \in \boldsymbol{V} 和任意一个标量 c ，有以下条件成立：

则称 p(\boldsymbol{x}): \boldsymbol{V} \mapsto \mathbb{R} 为向量 \boldsymbol{x} 的半范数（也称为伪范数）。

【注】半范数与范数的唯一区别在于：半范数不完全满足范数的非负性条件。

3.1.3 拟范数

若 p(\boldsymbol{x}): \boldsymbol{V} \mapsto \mathbb{R} 对所有向量 \boldsymbol{x}, \boldsymbol{y} \in \boldsymbol{V} 和任意一个标量 c ，有以下条件成立：p(\boldsymbol{x}) \geq 0 且

p(\boldsymbol{x}+\boldsymbol{y}) \leq C(p(\boldsymbol{x}) + p(\boldsymbol{y}))，其中 C \in \mathbb{R}, C \gt 0 \wedge C \ne 1 。则称 p(\boldsymbol{x}): \boldsymbol{V} \mapsto \mathbb{R} 为向量 \boldsymbol{x} 的拟范数。

【注】拟范数和范数的唯一区别在于：拟范数不满足范数的三角不等式。

3.1.4 完备性

• 令 \boldsymbol{V} 为向量空间，若对于 \boldsymbol{V} 中的每一个 Cauchy 序列 \{\boldsymbol{v}_n\}_{n=1}^{\infty} \subset \boldsymbol{V} ，在向量空间 \boldsymbol{V} 内都存在一个向量 \boldsymbol{v} ，使得 \lim_{n \rightarrow \infty} \boldsymbol{v}_n \rightarrow \boldsymbol{v} ，即 \boldsymbol{V} 中每一个 Cauchy 序列都收敛在向量空间 \boldsymbol{V} 内，则称向量空间 \boldsymbol{V} 为完备向量空间。
• 类似地，令 \boldsymbol{V} 为赋范向量空间，若对于 \boldsymbol{V} 中的每一个 Cauchy 序列 \{\boldsymbol{v}_n\}_{n=1}^{\infty} \subset \boldsymbol{V} ，在赋范向量空间 \boldsymbol{V} 内都存在一个向量 \boldsymbol{v} ，使得 \lim_{n \rightarrow \infty} \parallel\boldsymbol{v}_n\parallel \rightarrow \parallel\boldsymbol{v}\parallel ，即 \boldsymbol{V} 中每一个 Cauchy 序列都收敛在赋范向量空间 \boldsymbol{V} 内，则称赋范向量空间 \boldsymbol{V} 为完备赋范向量空间。

4. Banach 空间

4.1 定义

令 \boldsymbol{V} 为赋范向量空间，若对每一个 Cauchy 序列 \{\boldsymbol{v}_n\}_{n=1}^{\infty} \subset \boldsymbol{V} ，在 \boldsymbol{V} 都存在一个向量 \boldsymbol{v} ，使得 \lim_{n \rightarrow \infty} \boldsymbol{v}_n \rightarrow \boldsymbol{v} ，则称 \boldsymbol{V} 为 Banach 空间。

5. Hilbert 空间

5.1 定义

一个相对于范数完备的赋范向量空间 \boldsymbol{V} 称为 Hilbert 空间。

6. Lp 空间