行列に関する問題で、「ある自然数mに対し、A^m=0（零行列）ならばE-Aは正則である」という命題の証明について解説します。この命題は行列の特性とその逆行列の存在に関する重要な結果であり、線形代数の基本的な理論の一部です。
命題の理解と前提条件
命題は、ある正方行列Aについて、Aのm乗が零行列であるとき、行列E-A（単位行列EとAの差）が正則行列（逆行列が存在する）であることを示しています。この命題の証明において、Aの性質を利用し、E-Aの正則性を示すことが求められます。
まず、A^m=0（零行列）とは、Aをm回掛け算した結果が零行列になるという意味です。ここで、Aはn×nの正方行列であり、Eは同じサイズの単位行列です。
行列の正則性の定義
行列が正則であるとは、その行列に逆行列が存在することを意味します。つまり、行列Aが正則であるためには、行列Aとその逆行列A⁻¹に対して、次の関係が成立します。
A × A⁻¹ = A⁻¹ × A = I（単位行列）
証明の手順
命題を証明するために、E – Aが正則であることを示します。まず、E – Aが正則であるためには、(E – A)の逆行列が存在すれば良いです。逆行列が存在するためには、次のような式が成立する必要があります。
(E – A) × X = I
ここで、XはE – Aの逆行列です。この式を満たすXが存在すれば、E – Aは正則であるといえます。
次に、(E – A) × (E + A + A² + … + A^(m-1))を計算すると、次のようになります。
(E – A) × (E + A + A² + … + A^(m-1)) = E – A^m = E – 0 = E
したがって、(E – A) × (E + A + A² + … + A^(m-1)) = Eが成立します。このため、(E – A)の逆行列は(E + A + A² + … + A^(m-1))であることがわかります。
まとめ
以上の証明により、「A^m = 0ならばE – Aは正則である」という命題が成り立つことが確認できました。つまり、Aのm乗が零行列であるとき、E – Aには逆行列が存在し、それによってE – Aが正則行列であることが示されました。この結果は、行列の性質を理解するうえで重要なステップとなります。
コメント