随伴作用素
が成り立つ。滑らかな函数は "L"2 の中で稠密であるので、これは "L"2 の稠密な部分集合上の随伴作用素を定義する。P* は稠密に定義された作用素である。