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