Example 1
Tag 0BSJ, permanent. Cite it as [Bourbaki, Tag 0BSJ].
General Topology, chapter IV, § 6. Continuous and semi-continuous real-valued functions
If has a relative minimum at a point , that is to say if there is a neighbourhood of such that, for each , we have , then is lower semi-continuous at . In particular, if , is lower semi-continuous at .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.