随伴作用素
Since is unitary, its Hermitian adjoint is its inverse. Recalling that the measure on formula_14 is formula_38, we thus obtain one inversion formula for as