Proposition 4
Tag 07BC, permanent. Cite it as [Bourbaki, Tag 07BC].
Topological Vector Spaces, II, p. 8, § 2. Convex sets
The points of , a convex subset of an affine space are strictly on the same side of a hyperplane if, and only if, does not meet .
Clearly the condition is necessary. Conversely suppose that it is satisfied and let , be an equation defining H ( is an affine linear mapping of E in ). The set is convex in , therefore it is an interval, and . Hence is of fixed sign for all .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.