「線型代数学/行列の基本変形」の版間の差分

したがって<math>

\ P_{s,s}Q_{s,s} = I_s ,\ P_{s,s}Q_{s,n-s} = \bold 0 ,\ P_{m-s,s}Q_{s,s} = \bold 0 </math>　が成り立つ。

これから、

<math> \ P_{s,s} ,\ Q_{s,s} </math> は正則で

<math> \ Q_{s,n-s} = \bold 0 </math> となるから　<math> \ P_{m-s,s}Q_{s,n-s} = \bold 0 </math>

∴<math> \ r = s </math>□

 

このことから、<math> A \in M(n; \bold K) </math>　において