集合运算
- 和集
- 差集
- 笛卡尔积 所有有序对
向量空间
-
向量子空间判定: 是否为 的子空间
- 加法闭合:
- 标量乘法闭合: 为标量
-
直和
(直接求和)- 为向量空间 的子空间:
-
为 的子空间 也是 的子空间
映射与线性映射
映射 T
为向量空间。
是 的像;若 ,则 是一个原像。
值域
线性映射(线性变换)
- 满射:
- 单射:一对一映射
- 双射:既是满射又是单射;只有双射才有逆映射 。
- 同构:内积空间之间保持内积的双射线性映射。
内积空间、赋范空间与 Hilbert 空间
| 空间名称 | 核心定义与特征 |
|---|---|
| 向量空间 | 定义了向量加法与标量乘法的集合。 |
| 内积空间 | 定义了内积的向量空间,可由内积定义长度和夹角 |
| 赋范空间 | 定义了范数的向量空间,可度量长度和距离 |
| Euclidean 空间 | 通常指有限维实内积空间,范数由 Euclidean 内积定义 |
| Banach 空间 | 完备的赋范空间:每个柯西序列都收敛到空间中的元素 |
| Hilbert 空间 | 同时满足范数的收敛,且范数由内积定义 |
伴随算子
在 Hilbert 空间中,有界线性算子(矩阵) 的伴随算子 (复共轭转置运算)满足:
若 ,则称 为自伴随算子(Hermitian 矩阵)