Example
Tag 0B06, permanent. Cite it as [Bourbaki, Tag 0B06].
General Topology, chapter I, § 2. Continuous functions
Let be any rational number. The mapping of the rational line into itself is continuous on , for the inverse image under this mapping of an open interval is the open interval
Likewise, the mapping is continuous on ; this is clear if , for then for all ; if then the inverse image under this mapping of the open interval is the open interval with end-points and .
2) The direct image of an open (resp. closed) set of under a continuous mapping is not necessarily open (resp. closed) in (cf. § 5).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.