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.
46 8. Regulære flader i R 3<br />
Lemma 8.3. Lad S ⊆ R 3 være en regulær flade og W ⊆ S en delmængde. Så er<br />
følgende ækvivalente:<br />
(i) W er åben i S (i sportopologien).<br />
(ii) For ethvert koordinatsystem (U, x) gælder at x −1 (W) ⊆ R 2 er åben.<br />
(iii) For ethvert p ∈ W findes et koordinatsystem (U, x) med p ∈ x(U) så x −1 (W) ⊆<br />
R 2 er åben.<br />
Bevis. (i) ⇒ (ii) er klar da x: U → S er kontinuert.<br />
(ii) ⇒ (iii) er klar.<br />
(iii) ⇒ (i). Overdæk W med koordinatomegne {U ′ α }α∈A med <strong>til</strong>hørende parametriseringer<br />
xα: Uα → U ′ α, således at x−1 α (W) = x−1 α (U ′ α ∩ W) er åben. Så er iflg.<br />
Definition 8.1 (ii) U ′ α ∩ W åben i S så<br />
W = <br />
∩ W<br />
α∈A<br />
er åben i S. <br />
Eksempel 8.4 (Sfæren). S 2 = {(x, y, x) ∈ R 3 | x 2 + y 2 + z 2 = 1}. Lad U ⊆ R 2 ,<br />
U = {(u, v) | u 2 + v 2 < 1} og sæt x(u, v) = (u, v, √ 1 − u 2 − v 2 ), (u, v) ∈ U. Så er<br />
U ′ α<br />
x(U) = U ′ = S 2 ∩ V, (u, v) ∈ U<br />
hvor V = {(x, y, z) | z > 0} og x−1 : U ′ → U er restriktionen af projektionen<br />
π: V → U givet ved π(x, y, z) = (x, y). Dvs. x er en homeomorfi. Endvidere er<br />
Jacobi-matricen<br />
⎛ ⎞<br />
1 0<br />
Dx = ⎝0<br />
1⎠<br />
∗ ∗<br />
klart af rang 2. På samme måde dækkes den nedre halvkugle og <strong>til</strong>svarende den<br />
østlige og vestlige halvkugle med lokale kortomegne. Heref ses at S 2 er en regulær<br />
flade.<br />
På sfæren er det ofte nyttigt at bruge de sfæriske koordinater konstrueret som<br />
følger: Lad (θ, ϕ) ∈ R 2 og sæt<br />
x(θ, ϕ) = (sin θ cosϕ, sin θ sin ϕ, cosθ).<br />
Her er x ikke injektiv; men restriktionen <strong>til</strong> f.eks.<br />
U = {(θ, ϕ) | 0 < θ < π, 0 < ϕ < 2π}<br />
er injektiv og afbilder på U ′ ⊆ S 2 \ C, hvor<br />
C = {(x, y, z) | x ≥ 0}.