Bourbaki

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 0∉A0 \notin A, then the cone C is non-pointed, thus C∪{0}C \cup \{0\} is proper.

2) Let A be any convex set in E; consider the convex set A1=A×{1}A_1 = A \times \{1\} in the space F=E×RF = E \times \mathbf{R} and the convex cone C with vertex 0 that is generated by A1A_1. Prop. 12 shows that A1A_1 is the intersection of C and of the hyperplane E×{1}E \times \{1\} 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 E×{1}E \times \{1\}.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.