习题 6, § 6

设F、G为分离对偶性中的两个向量空间，A为F中的弱紧凸凸集合。 令 C 为顶点为 0 的凸锥，在 G 中是弱闭的。 假设对于所有$y \in C$，存在$x \in A$使得$\langle x, y \rangle \geq 0$。 证明对于所有$y \in C$，存在$x_0 \in A$，使得$\langle x_0, y \rangle \geq 0$（将II、p. 38的第4条应用于A和$C^\circ$）。