>>74

つづき

あとは、この行列について、複素数体 C 上のベクトル空間を成さないと一言触れて
実数体R上でスカラー倍と、ベクトル和としての行列の和X+Yが、ベクトル空間の定義を満たすことを証明して
あと次元は
行列単位 Eijを使って
（エルミート行列に倣って）
E_{jj}√(-1)　(1 <= j <= n)
E_{{jk}}-E_{{kj}}, √(-1)(E_{{jk}}+E_{{kj}})　(1 <= j < k <= n)
で与えられ、これらの形の基底ベクトルはそれぞれ n, (n2 - n)/2, (n2 - n)/2 個ずつ存在するから、次元は n + (n2 - n)/2 + (n2 - n)/2 = n2 であることがわかる。ただし、√(-1) は虚数単位である。
（終り）

こんな感じだな
あとは、どこまで丁寧に書くか
定期試験とか院試なら、時間との兼ね合いで、採点基準を想定しながら書く感じですかね
（”これを書いておく方が、配点貰える”とか。まあ、そこまで余裕があれば高得点だろうが）

つづく