Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CÉSAR ROSALES.
CURVAS Y SUPERFICIES
Teorema 0.1 (Teorema de Hilbert). Sea S ⊂ R3 una superficie orientable con aplicación de
Gauss N : S → S2 y curvaturas principales ki . Supongamos que existe un punto p0 ∈ S tal que:
y K 0 (0) = K(p0 ) (la notación 0 hace referencia a los elementos de S 0 ). Utilizando las hipótesis
del enunciado se sigue que k10 alcanza en 0 un mínimo local, k20 alcanza en 0 un máximo local y
K 0 (0) > 0. No hay pérdida de generalidad en suponer que:
(0.2) k10 (0) 6 k10 (p0 ), k20 (p0 ) 6 k20 (0), para cada p0 ∈ W 0 .
También es claro que k1 (p0 ) = k2 (p0 ) si y sólo si k10 (0) = k20 (0). Así pues, todo se reduce a
probar que k10 (0) = k20 (0).
Trabajaremos en W 0 , que es un entorno abierto de 0 en S 0 . Como W 0 = Gz (ϕ), la apli-
cación X : U 0 → S 0 dada por X(x, y) = (x, y, ϕ(x, y)) es una parametrización local de S 0
con X(U 0 ) = W 0 . Así, en W 0 tenemos las orientaciones N|W 0
0 y NX . Como W
0
es conexo y
0 0 0
N (0) = NX (0) = e3 = (0, 0, 1), concluimos que N|W 0 = NX . En particular, podemos em-
plear las expresiones de curvatura conocidas en grafos para realizar cálculos locales de S 0 en
0. Por ejemplo, sabemos que los coeficientes E, F, G y e, f, g de la primera y la segunda forma
2 CÉSAR ROSALES. CURVAS Y SUPERFICIES
donde hemos usados las expresiones de los coeficientes e, E, g, G. Es obvio que h1 ∈ C ∞ (−δ, δ)
y h2 ∈ C ∞ (−ε, ε). Gracias a las igualdades en (0.1) y (0.3) tenemos que:
(0.6) h1 (0) = ϕxx (0) = k10 (0), h2 (0) = ϕyy (0) = k20 (0).
Por otro lado recordemos que, para cada p0 ∈ S 0 , se cumple que:
k10 (p0 ) = mı́n{σp0 0 (v 0 , v 0 ) / v 0 ∈ Tp0 S 0 , |v 0 | = 1},
k20 (p0 ) = máx{σp0 0 (v 0 , v 0 ) / v 0 ∈ Tp0 S 0 , |v 0 | = 1}.
Esto, junto con (0.2), implica que:
0
A1 (y), A1 (y) > k10 (β(y)) > k10 (0) = h1 (0).
h1 (y) = σβ(y)
Análogamente:
0
A2 (x), A2 (x) 6 k20 (α(x)) 6 k20 (0) = h2 (0).
h2 (x) = σα(x)
Esto prueba que h1 (resp. h2 ) alcanza en 0 su mínimo (resp. máximo) absoluto. En particular:
(0.7) h01 (0) = h02 (0) = 0, h002 (0) 6 0 6 h001 (0).
TEOREMA DE HILBERT 3
Por último, como k10 (0) k20 (0) = K 0 (0) > 0, se tiene que k20 (0) 6 k10 (0). Ya que la desigualdad
k10 (0) 6 k20 (0) se tiene siempre, entonces k10 (0) = k20 (0). Esto completa la prueba.
Nota 0.2. Aunque la hipótesis K(p0 ) > 0 sólo se ha usado puntualmente al final de la de-
mostración, no se puede suprimir. Por ejemplo, un cilindro circular vertical es una superficie
orientable con curvaturas principales constantes y sin puntos umbilicales.