行列のrankとnonzeroの固有値の関係について、すぐに忘れるのでメモしておく。 結論から先に書くと、一般の正方行列Aについて、 rank A ≧ Aの（重複度も含めた）nonzeroの固有値の数 が成り立つ。 特に、対角化可能な行列の場合には rank = nonzeroの固有値…