06.08.2013 Views

Noter til Geometri - Aarhus Universitet

Noter til Geometri - Aarhus Universitet

Noter til Geometri - Aarhus Universitet

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!