Bourbaki

Example

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

General Topology, chapter I, § 2. Continuous functions

Let aa be any rational number. The mapping x→a+xx \to a + x of the rational line Q\mathbf{Q} into itself is continuous on Q\mathbf{Q}, for the inverse image under this mapping of an open interval ]b,c[]b, c[ is the open interval

]b−a,c−a[. ]b - a, c - a[.

Likewise, the mapping x→axx \to ax is continuous on Q\mathbf{Q}; this is clear if a=0a = 0, for then ax=0ax = 0 for all xx; if a≠0a \neq 0 then the inverse image under this mapping of the open interval ]b,c[]b, c[ is the open interval with end-points b/ab/a and c/ac/a.

2) The direct image of an open (resp. closed) set of XX under a continuous mapping f:X→X′f : X \to X' is not necessarily open (resp. closed) in X′X' (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.

Transcribed from the printed volume. Not translated.