Proposition 10
Tag 07BN, permanent. Cite it as [Bourbaki, Tag 07BN].
Topological Vector Spaces, II, p. 11, § 2. Convex sets
A subset C of E is a convex cone if and only if and for all .
For the condition for all characterises the cones. If C is convex we have (II, p. 8, Remark). Conversely, if the cone C is such that , then for , we have , which shows that C is convex.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.