Proposition 4
Tag 0C78, permanent. Cite it as [Bourbaki, Tag 0C78].
General Topology, chapter IX, § 5. Baire spaces
If every point of a topological space has a neighbourhood which is a Baire space, then is a Baire space.
Let be a non-empty open set in , let and let be an open neighbourhood of which is a Baire space. If were meagre in , then would be meagre in and open in , which is contrary to hypothesis.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.