Bourbaki

Example 1

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

General Topology, chapter IV, § 6. Continuous and semi-continuous real-valued functions

If ff has a relative minimum at a point aa, that is to say if there is a neighbourhood VV of aa such that, for each x∈Vx \in V, we have f(a)≤f(x)f(a) \leq f(x), then ff is lower semi-continuous at aa. In particular, if f(a)=−∞f(a) = -\infty, ff is lower semi-continuous at aa.

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.