Definition 3
Tag 07FP, permanent. Cite it as [Bourbaki, Tag 07FP].
Topological Vector Spaces, chapter II, § 5. Separation of convex sets
— For a subset of a vector space , a hyperplane is called a support-hyperplane of , if contains at least one point of and all the points of lie on the same side of .
Let be a linear form on that is not identically zero; to say that the hyperplane of the equation is a support hyperplane of means that is either the smallest or the largest member of the set . In other words, there exists a support hyperplane of parallel to the hyperplane of equation , if, and only if, one of the bounds of the set is finite and belongs to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.