Proposition 1
Tag 07L2, permanent. Cite it as [Bourbaki, Tag 07L2].
Topological Vector Spaces, chapter III, § 1. Bornology in a topological vector space
Let be a locally convex space. The set of bounded subsets of is an adapted bornology.
We need to establish the following properties : a) If is a bounded subset of , every subset of is bounded. b) The union of two bounded subsets is bounded. c) Every set that is homothetic to a bounded set is bounded. d) The closed convex balanced envelope (II, p. 13) of a bounded subset is bounded. If is a continuous semi-norm on , the balls of are convex, balanced, closed and the set homothetic to a ball is a ball. Hence, if is bounded on two subsets and of , it is also bounded on the closed convex balanced envelope of , and on the sets homothetic to these. This establishes properties and d), and a) is obvious.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.