正直俺も対角化始めて勉強したときは、
複素数もありなのかなしなのか戸惑った。
実数値行列が複素数の基底で対角化できるって、
なかなか非自明で面白い現象だと思うんだけど
意外と特記してる教科書が少ない。