矩阵的特征值来自于一阶不变子空间,也就是说,这个子空间中的信息不会受矩阵对应的线性变换的影响?
    考虑零映射,将向量空间中的所有向量映射到零向量,零向量肯定数据这个向量空间,那每个向量空间都是零映射的不变子空间。继续研究零映射就不是很重要了,它的本征值就是 特征值 - 图1。进一步说,只要 特征值 - 图2,那么 特征值 - 图3 的本征值一定有 特征值 - 图4

    一个线性映射可能有很多本征值,首先看 特征值 - 图5 的一阶不变子空间的本征值

    不变子空间的定义是
    特征值 - 图6,称 特征值 - 图7 的子空间 特征值 - 图8特征值 - 图9 下不变,如果 特征值 - 图10
    也就是经过线性变换,这个标量仍然属于这个子空间。

    1. 一阶不变子空间 特征值 - 图11 本征值

    如果这个向量空间是一维的,那它的每一个向量都可以用 特征值 - 图12 来表示,也就是 特征值 - 图13

    1. 本征值 特征值 - 图14 一阶不变子空间

    特征值 - 图15,则 特征值 - 图16 为一阶不变子空间

    这样我们证明了存在一阶不变子空间与存在本征值等价,那能不能说明一个不变子空间只对应一个本征值呢?
    假设还有另一个本征值 特征值 - 图17,使得 特征值 - 图18,因为每个线性映射必是函数,也就是不允许一对多的映射,特征值 - 图19,即 特征值 - 图20

    另一方面,一个特征值是不是也对应着唯一的一阶不变子空间,也就是 特征值 - 图21 相同,对应的不变子空间会不会不同,这个是可能的,比如下面这个线性变换,在二维的笛卡尔坐标系下,选取放大 2 倍这个算子,对于特征值 - 图22特征值 - 图23 他们的特征值都是 2。所以一个特征值可能会对应多个一阶不变子空间,但是一个一阶不变子空间一定对应着一个特征值,可以说一阶不变子空间到特征值的映射是满的,但不一定是单的。

    特征值 - 图24 的对偶映射 特征值 - 图25 的一个一阶不变子空间还是 特征值 - 图26,也就是说它的对偶映射的特征值不变。
    特征值 - 图27
    特征值 - 图28。所以 特征值 - 图29特征值 - 图30 的特征值可以说是相同的。

    对于一个算子有多少个一阶不变子空间,最多就有多少个特征值。这里有两种情况,特征值与一阶不变子空间是一一对应的,和特征值与一阶不变子空间不是一一对应的。
    第一种的话就是一阶不变子空间有多少个,特征值就有多少个。第二种一个特征值可能对应多个一阶不变子空间,两个特征值相等的一阶不变子空间可以组合出一个二阶不变子空间,这个子空间的所有子空间的特征值都是一样的,所以这里就是无数个一阶不变子空间对应着有限的特征值。