矩阵分析第三章课件.pptVIP

解： 显然 引入 的标准基（因为四个元素可独立取值） 类似地， 则基 ( III ) 到基 ( I ) 的过渡矩阵为 类似地，可得基 ( III ) 到基 ( II ) 的过渡矩阵为 所以 从而 因此基 ( I ) 到基 ( II ) 的过渡矩阵为 §3、子空间的交与和 整体有时太庞大，经常希望能够“通过部分来获知整体”。对线性空间的研究亦是如此。希望将一个高维线性空间分解为多个低维线性子空间的和甚至直和，并通过对线性子空间的研究，能够更加深刻地揭示整个线性空间的结构。 一、子空间的交(intersection)与和(sum) 定理3.1 设 是数域 上线性空间 的两个子空间，则它们的交 也是 的子空间。 定理3.2 设 是数域 上线性空间 的两个子空间，则集合（称为 与 的和） 也是 的子空间。 定理1.1（子空间判别法）数域 上的线性空间 的非空子集 是 的子空间的充要条件是 对 中的两种运算都封闭，即 (i) 对任意的 ，有 (ii) 对任意的 ，有 判定非空集合是否为线性空间，要验算运算的封闭性，以及8条运算律，相当地麻烦。至于判定线性空间的子集是否为线性空间，就比较方便了。 （i) 交换律 可以验证，子空间的交与和具有下列运算律： （ii ) 结合律 根据归纳法可知， 和 都是 的子空间。 例 3.1 设 是线性空间 的子空间，且 则 例3.2 设 求 的基与维数。 所以可令 设 ，则 故 解： 这是关于 的齐次方程组，即 因此 所以 的基为 ，维数为 解关于 的齐次方程组，得 由例 3.1 知 由前得 即 由于 线性无关，这样 是 的极大无关组，所以它是 的基，故 定理3.3 （维数公式）设 是数域 上线性空间 的两个有限维子空间，则它们的交 与和都是有限维的，并且 注意到例 3.2中 这并不是偶然的。 定理 3.3 的证明： 所以 取 为 的基，并分别扩充成 的基，即 设 则有 又 所以 从而可令 则 由于 线性无关，所以 因此 即 从而 线性无关，所以是 的一组基。于是维数公式成立。 再由 线性无关，所以 二、子空间的直和(direct sum) 定义1　设 是数域 上的线性空间 的两个子空间，如果 则称 为 与 的直和，记作 显然直和的概念可以推广到多个子空间的情形。 在维数公式中，显然和空间的维数不超过各子空间的维数之和。那么何时等号成立呢？ 定理3.4　设 是数域 上的线性空间 的两个子空间，则下列命题是等价的： （1） 是直和； （2） ； （3） 和 中零向量的表示法唯一，即若 则 （4） 和 中每个向量的表示法是唯一的。 注意：子空间的补子空间未必是唯一的，也就是说线性空间的直和分解未必是唯一的。例如若 显然， 是 的 一个子空间，几何上很容易看出， 和 都 是