フロイデンタールのスペクトル定理
e はリース空間 E に属する任意の正元とする。E の正元 p が e の成分 (component) であるとは、p ⊥ (e − p) が成立することを言う。p1, p2, ..., pn が互いに素な e の成分であるとき、p1, p2, ..., pn の任意の実線型結合を e-単関数と呼ぶ。