>>72
ちょっと考えたので、ついでなので書いておく
問題（>>56より）
”U(n)=｛X∈C^(n×n)|X*+X=0｝
がn^2次元実ベクトル空間であることの証明をそれぞれ教えてください。
Xはn×n複素正方行列、X*はXのエルミート共役です。(Yも同様です)”

回答
ここで、表記の都合で、*を複素共役の意味に使うことにして、エルミート共役をX*ではなくX†で表わす

実ベクトル空間は、定義「係数体 F が実数体 R のとき 実ベクトル空間 (real vector space )」（下記より）
Xは、複素数体によるn×nの正方行列
行列の要素をaijと書いて、正方行列X＝{aij}とする
複素数 aij＝xij+ yij√(-1) ここに xij, yij ∈Rとして
エルミート共役 X†＝{bji}と表わすと
bji＝aji*＝xji- yji√(-1)となる
問題の条件より、X†+X=0 なので
aij＋bji＝xij+ yij√(-1) ＋（xji- yji√(-1)）
これより、xij＋xji＝0かつyij- yji＝0
書き直して、xij＝-xjiかつyij＝ yji
言葉で書くと、
要素 aijの実部は xij＝-xjiで絶対値が等しく符号が逆（いわゆる歪対称）、虚部は yij＝ yji でいわゆる対称 となっている
特に対角成分は、xii＝-xii＝0 なので、aii＝yii√(-1) と純虚数になる

つづく