Geometrı́a Diferencial y Def Los autovalores de Lp se llaman curvaturas principales
de Σ y sus autofunciones se llaman direcciones principales.
Riemmanniana Def (Line of curvature) si el vector tangente en cualquier punto de γ ∈ Σ es una dirección principal. Def (Curvatura Gauss) K(p) = det Lσp = κ1 (p)κ2 (p). 1. Superficies parametrizadas tr(Lσp ) κ1 + κ2 Def (Curvatura media) H(p) = = 2 2 Def (Superficie parametrizada (de R3 )) es una inmersión σ : O ⊂ R2 → R3 . Def (Superficie minimal) ∀ p, H(p) = 0. Def (Inmersión) σ : O ⊂ R2 → R3 es una aplicación Def Dado p ∈ Σ fijo, p se dice: diferenciable tal que ∀(x, y) ∈ O se sigue que, 1. Umbı́lico si κ1 (p) = κ2 (p), Dσ(x, y) : R2 → R3 es inyectiva. 2. Planar si κ1 (p) = κ2 (p) = 0,
Def (Espacio tangente o plano tangente) a Σ = σ(O) 3. Parabólico si κi (p) = 0,
en el punto p = σ(x, y) es: 4. Elı́ptico si K(p) > 0, 4. Hiperbólico si K(p) < 0.
∂σ ∂σ Tp Σ = Im Dσ(x, y) = span , . ∂x ∂y Prop (Fórmula de Euler) Sean e1 y e2 dos direcciones Z Z
∂σ ∂σ
principales unitarias y sea V = cos σe1 + sin σe2 para algún Def (Área de Σ) A(σ) =
×
dxdy. σ ∈ [0, 2π]. Entonces O ∂x ∂y
Obs A(σ) y Tp no depende de la parametrización. IIσp (V, V ) = κ1 cos2 σ + κ2 sin2 σ. Def (1◦ FF) Obs IIσp (V, V ) = hLσp V, V i; Lσp ej = κj ej . Iσp (V, W ) = hDσ(x, y)V, Dσ(x, y)W i, Def Diremos que V 6= 0 es una dirección asintótica si kσ1 k2 hσ1 , σ2 i IIσp (V, V ) = 0.
Iσp = M (Iσp ) = . hσ1 , σ2 i kσ2 k2 Def La curva σ de Σ se dice curva asintótica si su vector tangente en cualquier punto es una dirección asintótica. Obs gσp = det(M (Iσp )) = kσ1 × σ2 k2 Z Z Z Z Lem ∃ una dirección asintótica en p ⇔ κ1 (p)κ2 (p) ≤ 0. √ Obs A(σ) = kσ1 × σ2 kdxdy = gσp dxdy Def Sea Σ una superficie parametrizada regular por O O σ : O ⊂ R2 → R3 y φ : O ⊂ R2 → R Def (Mapeo de Gauss) βt (p) = σ(p) + tφ(p)n(p), p ∈ O, β0 = 0, βt : O → R3 −fx σ1 × σ2 1 n(x, y) = = . −fy . Obs σ minimal ⇔ la primera variación del volumen de σ es kσ1 × σ2 k 1 + k∇f (x, y)k2 1 cero. (V 0 (0) = 0 ⇔ Hσ = 0). Es no-degenerada si V 00 (0) = 0. Not det(X, Y, Z) = [X, Y, Z] Lem ∀ V, W ∈ R2 se sigue que √ Prop (Fórmula de Weingarten) K g = [n, n1 , n2 ] hDσ(x, y)V, Dn(x, y)W i = hDσ(x, y)W, Dn(x, y)V i. Obs L̃σp σ1 = −n1 , L̃σp σ2 = −n2 , L̃σp n = n. Obs Si en particular tenemos V = e1 y W = e2 , entonces Prop (Fórmula de Colmann) ∀ x(p) ∈ Tp Σ, kxk = 1 el lema anterior se reescribe como: √ K g = [n, x, x1 ]2 − [n, x, x2 ]1 ∂σ ∂n ∂σ ∂n , = , . ∂x ∂y ∂y ∂x Obs Si x1 ⊥ x, hx1 , nihY2 , ni = hx1 , Y2 i, ◦ hx1 , Y2 i − hx2 , Y1 i = hx1 , Y i2 − hx2 , Y i1 Def (2 FF) Def Γkij se llaman sı́mbolos de Cristoffel 2 IIσp (V, W ) = hD σ(x, y)[V, W ], n(x, y)i Not Denotamos los coeficientes de la inversa de la 1◦ FF, = −hDσ(x, y)V, Dn(x, y)W i por g ij , es decir, Iσp = gij y Iσ−1 = g ij , con 1 ≤ i, j ≤ 2. p −hDn(x, y)V, Dσ(x, y)W i = 1
hσ11 , ni hσ12 , ni Obs σij = Γkij σk + bij n; Γkij = g kl {∂i gjl + ∂j gil − ∂l gij }. = 2 hσ21 , ni hσ22 , ni Teo (Egregium de Gauss) cos σ 0 sin σ √ √ √ √ √ g 2 g 2 g 1 g 1 Obs Ry = 0 1 0 . gK = Γ − Γ = Γ − Γ . g11 11 2 g11 12 1 g22 22 1 g22 21 2 − sin σ 0 cos σ Def (Operador Weingarten) Def Si M (IpΣ ) = h(p)Id con h > 0 suave, decimos que Σ es una superficie conformemente parametrizada. hLσp Dσ(p)V, Dσ(p)W i := −hDn(p)V, Dσ(p)W i = IIσp , Teo Si M (IpΣ ) = h(p)Id , con h > 0 suave. 1 Lσp = Iσ−1 IIσp . (h : R2 −→ R). Entonces K = − ∆ log h. p 2h