随伴作用素
を満足する。同じく随伴作用素 "M"0∗ が "M"∗"f" の "SO"(2) 上の平均化として定義されて、