一对右左收缩子空间\mathcal X和\mathcal Y 对于A - \lambda B具有相同的维度,并且满足 Ax \in \mathcal Y和Bx \in \mathcal Y 对于所有x \in \mathcal X,并且进一步 {\rm span}_{x \in {\mathcal X}} \{Ax, Bx\}= \mathcal Y。 我们也写作 A {\mathcal X} + B {\mathcal X} = {\mathcal Y}。最简单的 例子是当\mathcal X由A - \lambda B 的一个右特征向量张成,而{\mathcal Y}由其在A和/或B下的像张成。 更一般地,右收缩子空间可以由A - \lambda B的右特征向量的一个子集张成,而左缩减子空间由它们的像张成。 但由于某些矩阵束没有 n个独立的特征向量,存在不由特征向量张成的右收缩子空间。 例如,参见第2.5.2节中的例子。