正則行列の固有値は零でないことの証明をメモする
応用上よく用いられると思われる,線形代数における以下の事実について証明を調べたのでメモすることにしました.文献[1]をほぼ引用したものです.固有値(eigenvalues),固有ベクトル(eigenvectors)の定義は文献[2]にあります.
'--------------------------------------------------------------------------------------------------------------------------------------------
事実.
証明.
正則行列 を考える. の任意の固有値とそれに対応する固有ベクトルを とすると である.
を仮定すると以下を得る.
は正則行列
これは固有ベクトルの定義 に矛盾する.したがって である.(証明終わり)
'--------------------------------------------------------------------------------------------------------------------------------------------
参考文献
[1] Mathematics Stack Exchange https://math.stackexchange.com/questions/755780/is-a-matrix-a-with-an-eigenvalue-of-0-invertible
[2] Wikipedia Eigenvalues and eigenvectors のページ https://en.wikipedia.org/wiki/Eigenvalues_and_eigenvectors