ormula_105次formula_109操作后会清零的向量集合。如果某个"X"中向量没有被清零，那么由于这个向量也不会被其他的特征值formula_110清零，它将不会被formula_111清零，这与formula_112矛盾。于是"n"维欧几里得空间也可以被分解为其中"l"是矩阵"A"的不同的特征值的个数。值得注意的是，这里的指标ν("λ")是使得特征零空间formula_114“稳定”下来的最小次数：这也可以作为代数重数的另一个定义。