エルミート行列・ユニタリ行列・正規行列
を 次複素正方行列とする。
- を満たすとき、 をエルミート行列(自己随伴行列)という。 が実行列であれば条件は であり、このとき を実対称行列という。
- を満たすとき、 をユニタリ行列という。 が実行列であれば条件は であり、このとき を直交行列という。
- を満たすとき、 を正規行列という。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。