Definition 1
Tag 0BDH, permanent. Cite it as [Bourbaki, Tag 0BDH].
General Topology, chapter II, § 2. Uniformly continuous functions
A mapping of a uniform space into a uniform space is said to be uniformly continuous if, for each entourage of , there is an entourage of such that the relation implies .
In more expressive terms we may say that is uniformly continuous if and are as close to each other as we please whenever and are close enough.
If we put , then Definition 1 means that whenever is an entourage of , is an entourage of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.