Definition 1
Tag 07IP, permanent. Cite it as [Bourbaki, Tag 07IP].
Topological Vector Spaces, II, p. 54, § 7. Extremal points and extremal generators
Let be a convex set in an affine space . Then we say that a point is an extremal point of if there does not exist an open segment that is contained in and contains .
In other words, the relations and imply or (thus or ). This implies that cannot be the barycentre of a set of points of carrying positive masses unless is one of the ; for this is just the definition when ; for arbitrary argue by induction on , as is the barycentre of and of the barycentre of the with , therefore is identical with or , and in the second case it is sufficient to apply the induction hypothesis.
To say that is an extremal point of also means that is convex.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.