Lemma 1
Tag 07FZ, permanent. Cite it as [Bourbaki, Tag 07FZ].
Topological Vector Spaces, chapter II, § 5. Separation of convex sets
— If a cone , with vertex , is contained in an open half-space determined by a hyperplane , then it is contained in a closed half-space determined by a hyperplane , that is parallel to and passes through .
Let with be an equation of , so that is the equation of . If there exists such that , then there would exist , such that , and as , this would contradict the hypothesis.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.