Proposition 2
Tag 07BA, permanent. Cite it as [Bourbaki, Tag 07BA].
Topological Vector Spaces, II, p. 8, § 2. Convex sets
Let and be two affine spaces and be an affine linear mapping of in ; then the image of a convex subset of under , and the inverse image of a convex subset of under are both convex.
The image under of the closed segment with end points is the closed segment with end points , hence the first statement. We deduce that the inverse image of a closed segment of under contains each closed segment whose end points belong to it; the second statement of prop. 2 follows.
In particular the image of a convex set under a homothety or a translation is a convex set.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.