ジョルダンは最後の標準形の形だけ覚えておけばいい。
任意の行列はジョルダンブロックの直和

双対空間はもとの空間上の一次関数。
標準内積を考えれば、双対空間は自分自身と同じ（有限次元の場合は）