エルミート行列
が成り立つ。つまり、formula_1 はエルミート行列、formula_2 は反エルミート行列である。これらをまとめて