リースの拡張定理
E を実線型空間とし、K ⊂ E を凸錐とする。R x + K = E を満たすものとして x ∈ E/(−K) を定める。このとき、ある K-正線型汎函数 φ: E → R が存在して φ(x) > 0 となる。