Noter til Geometri - Aarhus Universitet
Noter til Geometri - Aarhus Universitet
Noter til Geometri - Aarhus Universitet
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
4 1. Metriske rum<br />
I et metrisk rum (X, d) indføres åbne og lukkede kugler:<br />
Bd(x, r) = {y ∈ X| d(x, y) < r}<br />
Bd(x, r) = {y ∈ X| d(x, y) ≤ r}<br />
(1.7)<br />
Som regel er afstandsfunktionen d underforstået og vi skriver blot B(x, r) og B(x, r).<br />
En afbildning f : X → Y mellem metriske rum er kontinuert i punktet x ∈ X,<br />
hvis den opfylder betingelsen<br />
∀ ε > 0 ∃ δ > 0 : dX(x, y) < δ ⇒ dY (f(y), f(x)) < ε. (1.8)<br />
Afbildningen er kontinuert, hvis den er kontinuert i alle sine punkter. Begrebet<br />
kontinuitet kan gives en bedre formulering ved at indføre begrebet åben mængde:<br />
Definition 1.6. En delmængde U ⊆ X af et metrisk rum kaldes åben, hvis der <strong>til</strong><br />
ethvert punkt x ∈ U findes en kugle B(x, ε) ⊆ U.<br />
Kuglen B(x, ε) ⊆ X er en åben mængde, og komplementet X − B(x, ε) er ligeledes<br />
åben. Dette følger umiddelbart fra trekantsuligheden.<br />
Sætning 1.7. En afbildning f : X → Y mellem metriske rum er kontinuert, hvis<br />
og kun hvis urbilledet f −1 (U) er åbent for enhver åben mængde U ⊆ Y .<br />
Bevis. Antag først, at f er kontinuert i alle sine punkter, og lad U ⊆ Y være åben.<br />
For x ∈ f −1 (U) vælges ε > 0, så B(f(x), ε) ⊆ U. Ifølge (1.8) findes δ > 0 med<br />
f(B(x, δ)) ⊆ B(f(x), ε) og dermed B(x, δ) ⊆ f −1 (U). Dette gælder for ethvert<br />
x ∈ f −1 (U), som derfor er åben.<br />
Antag modsat, at f −1 (U) er åben for enhver åben delmængde U af Y . Vi viser,<br />
at f er kontinuert i punktet x ∈ X. Lad ε > 0. Da B(f(x), ε) ⊆ Y er åben, er<br />
f −1 (B(f(x), ε)) ⊆ X åben, og da x ∈ f −1 (B(f(x), ε)) findes en kugle B(x, δ) ⊆<br />
f −1 (B(f(x), ε)). Dette er præcis betingelsen (1.8). <br />
Definition 1.8. En delmængde A ⊆ X af det metriske rum kaldes lukket, såfremt<br />
komplementet X − A er åbent.<br />
Vi bemærker, at Sætning 1.7 har følgende korollar.<br />
Sætning 1.9. En afbildning f : X → Y mellem metriske rum er kontinuert, hvis<br />
og kun hvis urbilledet f −1 (A) er lukket for enhver lukket mængde A ⊆ Y .<br />
Bevis. Der gælder for urbilleder, at<br />
Betingelserne<br />
f −1 (Y − A) = X − f −1 (A).<br />
f −1 (åben) = åben<br />
f −1 (lukket) = lukket<br />
er derfor ækvivalente.