1.1. 线性空间与子空间
线性空间
什么是 “线性”? 我们先了解如何描述一条直线. 平面上的一条直线可以通过如下函数刻画:
这里把 看作时间, 是常数. 当 跑遍 时, 这个函数关系在 平面上的轨迹是一条直线. 类似的, 中的直线可以用函数关系表示:
这里 是空间向量, 是两个常数向量, 是参数. 当 跑遍 时, 这个参数关系在 3 维空间中的轨迹是一条 (经过 , 沿着 方向的) 直线.
由上述讨论知道, 描述直线关系 我们需要如下两个操作:
1. | 加法: 可以把两个向量相加, 即: . |
2. | 数乘: 可以把一个数乘以一个向量, 即: . |
简单来说, 线性结构就是关于 “加法” 和 “数乘” 的结构. 一个集合如果有 “加法” 和 “数乘” 这两个运算, 我们称其为线性空间. 为了讨论完备, 我们以下给出线性空间的完整数学定义. 定义看似很复杂, 实际上列出的性质都是比较自然的, 很容易在具体例子中检验.
定义 1.1.1. 一个数域 ( 或者 ) 上的线性空间 (或称向量空间) 指的是一个集合 以及二元运算
加法: 数乘:
使得对任何 , 下列性质成立:
1. | 加法交换律: |
2. | 加法结合律: |
3. | 零元素: 存在唯一元素 使得 |
4. | 负元素: 存在唯一的 使得 |
5. | 单位元: 对 中的单位元 , 满足 |
6. | 数乘结合律: |
7. | 分配律 (向量加法) ; |
8. | 分配律 (数量加法) : |
线性空间 中的元素称为一个向量.
如不特殊说明, 我们考虑实线性空间 (即 ) .
例子 1.1.2. 维空间 是一个实线性空间
• | 加法: 对于向量 |
• | 数乘: 对 和向量 |
例子 1.1.3. 线性空间 中的一个向量表达为
• | 加法: |
• | 数乘: 对 |
例子 1.1.4. 所有的一元多项式组成的集合 构成一个线性空间. 给定两个多项式 , 加法即为多项式相加 , 数乘即为多项式的数乘 .
类似的, 所有的一元光滑函数构成的空间 (记为 ) 是一个线性空间.
例子 1.1.5. 一个 次多项式指的是如下的多项式
• | 所有 次多项式 () 构成的集合在多项式加法和数乘下, 不构成一个线性空间. 例如两个 次多项式相减可能不再是 次多项式. 特别地, 这个集合不包含零多项式. |
• | 所有次数 的多项式构成的集合在多项式加法和数乘下构成一个线性空间. |
例子 1.1.6. 量子力学和经典力学的一个本质区别是量子物理态构成一个复线性空间 (Hilbert 空间) . 例如一个量子自旋系统, 一个自旋向上的态 和一个自旋向下的态 可以叠加得到一个新的物理态又例如干涉现象的本质也是做线性叠加.
例子 1.1.7. 设 是一个微分算子. 则所有满足如下微分方程的函数 构成一个线性空间. 这是因为如果 满足方程, 则
直和
给定两个线性空间 , 我们可以定义一个新的线性空间 称为 和 的直和. 作为集合加法和数乘定义为
类似可以定义 个线性空间 的直和直和中的元素可以表示为 .
例子 1.1.8. 线性空间 可以写成 个 的直和如果 , 我们也可以写成
线性子空间
定义 1.1.9. 设 是一个数域 上的线性空间. 的一个子集 称为 的一个线性子空间, 如果 中的元素在加法和数乘运算下封闭, 即
• | 对任意 , 则 . |
• | 对任意 和 , 则 . |
命题 1.1.10. 的线性子空间是一个线性空间.
例子 1.1.11. 考虑 的子集 ,
则 是 的线性子空间当且仅当 过原点.
实际上, 原点 是 的零元素, 如果 是线性子空间则一定包含原点. 反之, 如果 过原点, 则直线方程为
例子 1.1.13. , . 则 是一个线性子空间.
例子 1.1.14. , . 则 是线性子空间. 对任意 因此 . 类似可证对 , .
例子 1.1.15. , 不是 的线性子空间. 例如零函数不在 中.
例子 1.1.16. 考虑两个线性空间的直和 . 则是 的线性子空间. 这是因为零元满足
例子 1.1.17. , 为 中满足如下微分方程的解 是 的线性子空间. 不难解出
例子 1.1.18. , 为 中满足如下微分方程的解 是 的线性子空间. 不难解出
例子 1.1.19. 在量子力学中, 满足定态薛定谔方程的波函数 构成态空间的线性子空间. 称为 “能量本征值”, 对应子空间包含能量 的量子态.
例子 1.1.20.
真空中麦克斯韦方程
的解是一个线性空间. 固定波矢 的如下解是一个由线偏振光构成的线性子空间.
命题 1.1.21. 的任意个线性子空间的交是线性子空间.
例子 1.1.23. , 为 中满足如下方程的解 是 的两个线性子空间 和 的交, 因此是线性子空间. 具体而言