で定義される自己随伴作用素の正部分を表す。