摘要

Stewart给出了一个矩阵2-逆集合M{2}的刻画公式.但其中含有多余的任意参数,因而不是一个有效刻画.本文利用方阵的满秩分解,为I{2}s的一个真子集B1剔除了Stewart公式中的多余任意参数,得到了B1的有效刻画公式;还证明了I{2}是其有限个子集的并集,其中每个子集与B1等距同构.由此可分别建立I{2},I{2},M{2}和M{2}的有效刻画公式.算法2.1则可用于无重复地计算I{2}s的每个元素.