中心指標 ω を持つ尖点形式の空間はヒルベルト空間の直和