Definition 5
Tag 07L3, permanent. Cite it as [Bourbaki, Tag 07L3].
Topological Vector Spaces, chapter III, § 1. Bornology in a topological vector space
Let be a locally convex space. The set of all bounded subsets of is called the canonical bornology of .
If is a set of bounded subsets of , then there exists a smallest bornology adapted to and containing . The sets of are those that are contained in a set homothetic to the closed convex balanced envelope of a finite union of sets of .
Every adapted bornology is contained in the canonical bornology.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.