Wat is continue afbeelding?

Voorbeeld 6.11

Het quotiënt $\R/\Z$ (vereenzelvig $x$ met $x + n$) is homeomorf met de cirkel $S^1 = \{z \in \C : \abs z = 1\}$: de afbeelding $x \mapsto \eu^{2\iu\pi x}$ gaat over op een continue bijectie $\R/\Z \to S^1$ (Propositie 6.10(b)); haar inverse is continu wegens het compactheidsargument van Gevolg 6.14 hieronder (Oefening 6.5 werkt alles uit, ook waarom $\R/\Z$ Hausdorff en compact is). Net zo is $[0,1]$ met verlijmde eindpunten gelijk aan $S^1$ en is het vierkant met verlijmde overstaande zijden de torus, en is verlijmen eindelijk een stelling in plaats van een plaatje.

Voorbeeld 6.22 (De sinuskromme van de topoloog)

Zij $\Gamma = \{(x, \sin\frac1x) : 0 < x \leq 1\}$ en $S = \bar\Gamma = \Gamma \cup (\{0\}\times[-1,1])$ (elk punt $(0, y)$ met $\abs y \leq 1$ is een limiet van punten van $\Gamma$: los $\sin\frac1x = y$ op nabij $0$). Dan is $S$ samenhangend — de afsluiting van de samenhangende $\Gamma$, een continu beeld van $(0, 1]$ (Stelling 6.20(3)) — maar niet wegsamenhangend: een weg van $(1, \sin 1)$ naar $(0,0)$ zou abscissen $\to 0$ moeten doorlopen terwijl de ordinaat tussen $\pm1$ blijft schommelen; Oefening 6.9 maakt dit precies. Samenhang en wegsamenhang verschillen dus werkelijk.