Definition 5
Tag 0BRK, permanent. Cite it as [Bourbaki, Tag 0BRK].
General Topology, chapter IV, § 5. Real-valued functions
*A family of real-valued functions defined on a set is said to be uniformly bounded above (resp. uniformly bounded below) in , if there exists a finite number such that [resp. ] for all and all . The family is said to be uniformly bounded in if it is uniformly bounded above and below in .
Thus is uniformly bounded above in if and only if the upper envelope of this family is bounded above in . is uniformly bounded in if and only if the upper envelope of the family is bounded above in [i.e. if and only if there is a finite real number such that for all and all ].
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.