矩阵理论第4章-zyl.ppt

【1.1 高斯消元法】 * 2 1 3 4、解： X在T作用下是不变子空间 Y在T作用下是不变子空间。 练习解答 练习解答 Thanks * 说明迹是相似不变的，并解释为何说一个线性算子的迹不和任何基相联系是有意义的。然后确定定义在 上的 线性算子的迹。 解：根据 当乘积有定义时成立. 因此迹是相似不变的。这使得我们在谈论线性算子的迹时不针对具体的基. 4.8改变基和相似性 * 针对该例 显然 ,所以我们说 4.8改变基和相似性 * 4.9不变子空间（invariant subspaces） 对于矢量空间 上的一个线性算子 ,和 是在线性变换T的作用下，X中矢量所有可能的像集，注意 ，当X是V的一个子空间时， 也是 的一个子空间，但 通常和 无关。然而，在某些特殊的情况下 ，这是本节要关注的焦点。 4.9不变子空间 * 不变子空间 对于一个 上的线性算子T，一个子空间 ，在T的作用下满足 时， 被称为一个不变子空间。 ? 在这种情况下，T可以被认为是 上的线性算子也不必考虑 ，并且约束T只作用在 的矢量上，因此，这种约束算子表示为 （restricted operator）。 ? 4.9不变子空间 * 例：对于 , 和 说明由 张成的子空间X在A的作用下是不变子空间并描述约束算子 ，确定 相对于B的坐标矩阵 解：观察到 , ,对任意 由于 4.9不变子空间 * ,因此在 的作用下 是不变子空间。 ，对 每一个 成立。 由于 ， 因此得到 4.9不变子空间 * 由于可以简化线性算子T的坐标矩阵描述，所以T的不变子空间是很重要的。 为了理解原因，假定X是T作用下的一个不变子空间，令 是X的一个基，并且它是整个空间 的基B的一部分 回顾坐标矩阵的定义，计算 4.9不变子空间 * 由于 ，只需用B中的前r个矢量就可以描述每个 4.9不变子空间 * 空间 在T的作用下可能不是不变子空， 因此描述 需要 中所有的矢量， 4.9不变子空间 * 在（4.9.1）中应用（4.9.2）和（4.9.4）得到块三角阵 式（4.9.2）中的方程 ，意味着 ，因此 4.9不变子空间 * 因此（4.9.5）中的矩阵可以写为 即如果存在一个不变子空间的话，T的矩阵描述可以块三角化。如果我们可以找到更多不变子空间，我们就找到了更多简化矩阵描述的工具。例如，如果（4.9.3）中空间Y在T的作用下也是不变子空间， for 则描述 只需 ，所以 都为0， 具有块对角形式 这种情况可以推广，如果 是空间 的一个基。 是在T的作用下维数分别为 的不变子空间的基。 4.9不变子空间 * 则 具有块三角形 式中 上面讨论的情况是可逆的，即如果矩阵 的描述相对某些基 具有块三角形式: 4.9不变子空间 * 那么由B中前r个矢量张成的r维子空间 在T的作用下一定是不变子空间。而且，如果矩阵T的描述相对于B具有块对角形， 则 和 在T的作用下一定是不变子空间。关于不变子空间和坐标矩阵的某些描述总