観察1.1.7
行列 \( A \in M_n \) は特異行列であることと、\( 0 \in \sigma(A) \) であることは同値である。
証明.
行列 \( A \) が特異であるとは、ある \( x \neq 0 \) に対して \( Ax = 0 \) が成り立つことを意味する。
これは、すなわち \( Ax = 0 \cdot x \) となる非零ベクトル \( x \) が存在すること、すなわち \( \lambda = 0 \) が \( A \) の固有値であることと同値である。
コメント