袁 力 （郧阳师范高等专科学校数学与财经系，湖北 十堰442000）王建华 （武汉理工大学理学院数学系，湖北 武汉430070）

幂等矩阵及其线性组合的相关性质在可对角化矩阵的谱分解和概率统计中都有着重要的应用，现已成为矩阵理论研究中一个活跃的分支。1999年，Jurgen GroB给出了一个复矩阵Hermitian部分的幂等性［1］；2002年，Baksalary J K较为系统的讨论了2个幂等矩阵线性组合幂等性的问题［2－3］；2004年，Ozdemir H，Ozban A Y研究了可交换幂等矩阵线性组合幂等的条件［4］；2008年Benite J，Thome N进一步给出了当A是幂等矩阵，B是t－幂等矩阵时，A与B不可交换以及可交换2种情况下，它们线性组合幂等性的刻画［5－6］。下面，笔者将在可交换的基础上对幂等矩阵的乘积、和、差，及其值域与核的性质展开研究，并对文献 ［3－4］的结论做了推广。

1 基本概念

定义1 设矩阵A∈Pn×n，满足A2＝A，则称A为幂等矩阵。

定义2 设矩阵A、B∈Pn×n且满足AB＝BA，则称矩阵A与B可交换。

引理1［7－9］设A ∈Pn×n，且A2＝A，则：

（1）存在可逆矩阵Q∈Pn×n，使得Q－1AQ ＝diag［Ir·O］，其中r＝rank（A）；

（2）I－A 仍为幂等矩阵，并且A（I－A）＝ （I－A）A＝O；

（3）A的核等于I－A的列空间，I－A的核等于A的列空间。

引理2［10］设A∈L（V）（A∈L（V）为定义在线性空间V上的所有线性变换构成的集合），且A2＝A，则V ＝Im（A）⊕Ker（A）。

2 主要结论

定理1 设A，B∈Pn×n满足A2＝A，B2＝B，且AB＝BA，则AB为幂等矩阵，并且：

证明 由于（AB）2＝ABAB＝A2B2＝AB，所以AB为幂等矩阵。又因Im（AB）＝Im（BA），所以Im（AB）⊂Im（A）∩Im（B）。对于任意α∈Im（A）∩Im（B），则α＝Aα＝Bα＝ABα，即α∈Im（AB），所以Im（A）∩Im（B）⊂Im（AB），故可知Im（AB）＝Im（A）∩Im（B）。又因Ker（A）⊂Ker（BA），Ker（B）⊂Ker（AB），则 Ker（A）＋Ker（B）⊂ Ker（AB）。同时，对于任意β∈Ker（AB），则有B（β）∈Ker（A），而β＝Bβ＋（I－B）β，则有β∈ Ker（A）＋Ker（B），即 Ker（AB）⊂ Ker（A）＋Ker（B），所以可得 Ker（AB）＝ Ker（A）＋Ker（B）。

证明 将B的展开式代入验证，充分性即可得证。下面证明必要性。由A2＝A及引理1的结论（1）可知，存在可逆矩阵P1∈Pn×n，使得A＝P1（Ir，O）P－11，其中r＝rank（A）。

由定理2可以推得文献［3－4］的主要结论，并且进一步可以得到下面2个推论，同时应用定理1的方法还可推得这些幂等矩阵值域与核之间的关系。……