定理 对于任意一个凸集 S S ,对于任意一条射线 L={X0+td⃗ :t≥0}, L = { X 0 + t d → : t ≥ 0 } , 则 L⊆S L ⊆ S 当且仅当 X0∈S X 0 ∈ S 且 S∩L S ∩ L 无界。 证明 必要性 易得。 充分性 ∀X∈Rn, ∀ X ∈ R n , 定义: |X|=X⊺X