Hermitian matrix
により与えられ、正定値なエルミート行列上の確率測度 μ は、