Hermitian matrix
が有限次元空間ならば、 の任意の基底 に関して、歪エルミート形式は歪エルミート行列 によって