固有値と固有ベクトル 複素ベクトル空間 実ベクトル空間 が行列 の固有値であるための必要十分条件は である。 証明 とする。つまり は固有値であり、 は固有ベクトルとする。 とおき、 とする。仮定より、 である。 より、 は1次従属である。したがって、 …