Remark
Tag 07BT, permanent. Cite it as [Bourbaki, Tag 07BT].
Topological Vector Spaces, chapter II, § 2. Convex sets
— 1) With the hypotheses of prop. 12, if , then the cone C is non-pointed, thus is proper.
2) Let A be any convex set in E; consider the convex set in the space and the convex cone C with vertex 0 that is generated by . Prop. 12 shows that is the intersection of C and of the hyperplane in F. Every convex set in E can, therefore, be considered as the projection on E of the intersection of a convex cone with vertex 0 in F and the hyperplane .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.