Bourbaki

Proposition 5

Tag 0C2L, permanent. Cite it as [Bourbaki, Tag 0C2L].

General Topology, chapter IX, § 2. Metric spaces and metrizable spaces

Let ff be a function defined on a subset XX of a topological space YY, taking its values in a complete metric space X′X'. Then ff has a limit relative to XX at a point x∈X‾x \in \overline{X} if and only if the oscillation of ff at xx is zero.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.