符号
M n \mathcal{M}^n Mn:所有 n n n 阶实对称矩阵组成的空间
定理
定理1.1 (Separating hyperplane theorem) 假设 C ⊂ E \mathcal{C}\subset\mathcal{E} C⊂E 是一个闭凸集,其中 E \mathcal{E} E 是 R n \mathbb{R}^n Rn 或 M n \mathcal{M}^n Mn, y y y 是 C \mathcal{C} C 的一个外点。则存在一个向量 a ∈ E a\in\mathcal{E} a∈E 使得 ⟨ a , y ⟩ < inf x ∈ C ⟨ a , x ⟩ \langle a,y\rangle < \mathop{\inf}\limits_{x\in\mathcal{C}} \langle a,x\rangle ⟨a,y⟩<x∈Cinf⟨a,x⟩
参考文献
Yinyu Ye, Linear Conic Programming