Remarque 2
Étiquette 0E4K, permanente. À citer comme [Bourbaki, Tag 0E4K].
Topological Vector Spaces, chapter II, § 2. Ensembles convexes
Soit un ensemble convexe quelconque dans ; considérons, dans l’espace , l’ensemble convexe et le cône convexe de sommet 0 engendré par . La prop. 12 prouve que est l’intersection de et de l’hyperplan dans . Tout ensemble convexe dans peut donc être considéré comme la projection sur de l’intersection d’un cône convexe de sommet 0 dans , et de l’hyperplan .
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.