随伴作用素
で定義される自己随伴作用素の正部分を表す。作用素 "E"λ は自己随伴作用素の間に定義される半順序に関して単調増大である。固有値はちょうど跳躍不連続点に対応しており、