Hermitian adjoint
上記性質 1.–5. は（定義域と終域が適当な条件を満たせば）成立する。例えば最後の性質について、随伴作用素 は（, , が密定義作用素ならば）作用素 の延長で与えられる。