U(n)={X∈C^(n×n)|X*+X=0}
Herm(n)= {Y∈C(n×n)|Y*=Y}
がn^2次元実ベクトル空間であることの証明をそれぞれ教えてください。
Xはn×n複素正方行列、X*はXのエルミート共役です。(Yも同様です)