>>70 補足
>n×n 複素エルミート行列の全体は、複素数体 C 上のベクトル空間を成さない（例えば単位行列 In はエルミートだがそのスカラー i-倍である i?In はエルミートでない）。
>しかし複素エルミート行列の全体は実数体 R 上のベクトル空間にはなる。n×n 複素行列の全体は R 上で 2n2-次元のベクトル空間であり、その中で複素エルミート行列の全体は n2-次元の部分空間を成す。

この記述が当てはまるだろ
証明も、その後の記述を参考にすれば可能だろ