Definition 1
Tag 07B4, permanent. Cite it as [Bourbaki, Tag 07B4].
Topological Vector Spaces, chapter II, § 2. Convex sets
— A subset of an affine space is convex if, for every two points of , the closed segment with end points is contained in .
As , this definition is equivalent to the following: the set is convex if, for every point , the transform of by a homothety of centre and ratio where , is contained in (in other words, is stable for these homotheties).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.