18/01/23 23:38:08.18 9xWmKawn.net
>>145
行列Aの任意の小行列A’は
A’=［[B',0']，[0',C']］
B’は B の小行列（または B自身)、
C’は C の小行列（または C自身）
と一意的に表わされ、その行列式は
｜A'｜=｜B'｜｜C'｜
つまり
A’が正則 ⇔ B’も C’も正則
rank(A）= a，rank(B）= b，rank(C）= c と略す。
A のa次の正則な小行列 A’が存在する。
これを分解してできる Bの小行列B'，Cの小行列C’も正則。
a = dim(A'）= dim(B'）+ dim(C'）≦ rank(B) + rank(C),
B のb次の正則な小行列 B’，C のc次の正則な小行列 C’が存在する。
これらを並べてできる A’は Aの正則な小行列。
b + c = dim(B'）+ dim(C'）= dim(A'）≦ rank(A),
これらより、a = b + c.