Bourbaki

Remarque 2

Étiquette 0E4K, permanente. À citer comme [Bourbaki, Tag 0E4K].

Topological Vector Spaces, chapter II, § 2. Ensembles convexes

Soit AA un ensemble convexe quelconque dans EE; considérons, dans l’espace F=E×RF = E \times \mathbf{R}, l’ensemble convexe A1=A×{1}A_1 = A \times \{1\} et le cône convexe CC de sommet 0 engendré par A1A_1. La prop. 12 prouve que A1A_1 est l’intersection de CC et de l’hyperplan E×{1}E \times \{1\} dans FF. Tout ensemble convexe dans EE peut donc être considéré comme la projection sur EE de l’intersection d’un cône convexe de sommet 0 dans FF, et de l’hyperplan E×{1}E \times \{1\}.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.