Noter til Geometri - Aarhus Universitet
Noter til Geometri - Aarhus Universitet
Noter til Geometri - Aarhus Universitet
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
8.1. Generelle konstruktioner af flader 49<br />
Thi lad (u, v) ∈ N; så er q = (u, v, h(u, v)) ∈ f −1 (a) ifølge (8.3), og da F(q) =<br />
(u, v, a) ∈ W er q ∈ V . Omvendt lad q = (x, y, z) ∈ f −1 (a) ∩ V . Så er<br />
F(x, y, z) = (x, y, a) ∈ N × {a},<br />
så (x, y) ∈ N og z = g(x, y, a) = h(x, y), så q ∈ grafen for h. Dette viser ovenstående<br />
påstand. <br />
Ifølge Proposition 8.5 er f −1 (a) ∩ V nu en regulær flade med lokalt kort<br />
x: N → f −1 (a) ∩ V<br />
givet ved x(u, v) = (u, v, h(u, v)), hvilket dermed givet et lokalt koordinatsystem for<br />
S i en omegn af p. <br />
Eksempel 8.8 (Ellipsoiden). Lad a, b, c > 0 og betragt S ⊆ R 3 :<br />
Sæt<br />
Så et S = f −1 (0) og<br />
S =<br />
<br />
(x, y, z) ∈ R 3<br />
<br />
<br />
f(x, y, z) = x2<br />
a<br />
b<br />
x2 y2 z2<br />
+ +<br />
2 2<br />
a<br />
y2 z2<br />
+ + 2 2<br />
Df(x,y,z) =<br />
b<br />
c<br />
<br />
= 1 .<br />
2<br />
c 2 − 1, (x, y, z) ∈ R3 .<br />
<br />
2x 2y 2z<br />
, ,<br />
a2 b2 c2 <br />
.<br />
Denne vektor er kun nul for (x, y, z) = (0, 0, 0), så det eneste kritiske punkt for f<br />
er (0, 0, 0) som ikke ligger på S. Ifølge Proposition 8.7 er S derfor en regulær flade.<br />
Specielt for a = b = c = 1 fås at S = S 2 er en regulær flade.<br />
Eksempel 8.9 (Omdrejningshyperboloiden). Lad<br />
Så er S = f −1 (0) for funktionen<br />
S = (x, y, z) ∈ R 3 −x 2 − y 2 + z 2 = 1 .<br />
f(x, y, z) = −x 2 − y 2 + z 2 − 1, (x, y, z) ∈ R 3 .<br />
Igen er kun (0, 0, 0) kritisk punkt for f og (0, 0, 0) /∈ S så S er en regulær flade.<br />
Bemærk at S ikke er kurvesammenhængende. Thi antag γ : [0, 1] → S kontinuert<br />
kurve så γ(0) = (0, 0, −1) og γ(1) = (0, 0, 1) og skriv γ på formen γ(t) =<br />
x(t), y(t), z(t) . Så er z(t) en kontinuert funktion så z(t) 2 = 1 + x(t) 2 + y(t) 2 ≥ 1<br />
for alle t ∈ [0, 1]; dvs. enten z(t) ≥ 1 ∀ t ∈ [0, 1] eller z(t) ≤ −1 ∀ t ∈ [0, 1]. Men<br />
dette strider mod at z(0) = −1 og z(1) = 1.