TEOREMA PRINCIPAL

En esta sección asumimos que la variedad de Riemann (k> 1) sin límite y que f: 𝑀 →
𝑅 es una función 𝐶 𝑘+2 -en M que tiene solo puntos críticos no degenerados y condición
satisfactoria.
(C) Si S es cualquier subconjunto de M en el que f está delimitado pero en el que ‖∇𝑓‖
no está delimitado desde cero, entonces hay un punto crítico de f adherido a S.
Notamos que es una consecuencia inmediata del Morse Lemma de ᴕ7 que se aísla un
punto crítico no degenerado de una función 𝐶 3 en un colector de Hilbert.
En particular, el valor crítico de f está aislado. Ahora demostraremos que mucho más es
verdad.
Sea 𝑎 < 𝑏 dos números reales y suponga que {𝑝𝑛 } es una sucesión de distintos puntos
críticos de f satisfaciendo 𝑎 < 𝑓(𝑝𝑛 ) < 𝑏. Elija para cada 𝑛 un punto regular 𝑞𝑛 tal que
1 1
𝜌(𝑞𝑛 , 𝑝𝑛 ) < 𝑛, ‖∇𝑓‖ < 𝑛 y 𝑎 < 𝑓(𝑞𝑛 ) < 𝑏
Luego, por la condición (C), una subsecuencia de {𝑞𝑛 } convergerá a un punto crítico 𝑝
de 𝑓:
Pero claramente la subsecuencia correspondiente de {𝑝𝑛 } también convergerá a 𝑝,
contradiciendo el hecho de que los puntos críticos están aislados. Por lo tanto

PROPOSICION (1). Si 𝑎 y 𝑏 son dos números reales, entonces hay como máximo un
número finito de puntos críticos 𝑝 de 𝑓 que satisfacen 𝑎 < 𝑓(𝑝) < 𝑏. Por lo tanto, los
valores críticos de 𝑓 están aislados y, como máximo, hay un número finito de puntos
críticos de 𝑓 en cualquier nivel crítico.

Lema: Supongamos que 𝑀 está completo y que 𝜎: (𝛼, 𝛽) → 𝑀 es una curva de solución
máxima de ∇𝑓 entonces lim 𝑓(𝜎(𝑡))=∞ o bien 𝛽 = ∞ y 𝜎(𝑡) tenga un punto crítico de
𝑡→𝑏
𝑓 como el punto límite mientras 𝑡 → 𝛽 . de manera similar, lim 𝑓(𝜎(𝑡))=∞ o bien 𝛼 =
𝑡→𝛼
−∞ y 𝜎(𝑡) tiene un punto crítico de 𝑓 como punto límite mientras 𝑡 → 𝛼
Prueba. Dejar 𝑔(𝑡) = 𝑓(𝜎(𝑡)) entonces
2
𝑔′(𝑡)=𝑑𝑓𝜎(𝑡) (𝜎′(𝑡))=𝑑𝑓𝜎(𝑡) (∇𝑓𝜎(𝑡) )=‖∇𝑓𝜎(𝑡) ‖

Así, g es monótona, por lo tanto tiene un límite B como 𝑡 → 𝛽. Supongamos que 𝛽 < ∞
pues.
𝑡 𝑡 2
𝑔(𝑡)= 𝑔(𝑜)+∫0 𝑔′(𝑠) 𝑑𝑠= 𝑔(𝑜)+∫0 ‖∇𝑓𝜎(𝑠) ‖ 𝑑𝑠

resulta que
𝛽 2
∫0 ‖∇𝑓𝜎(𝑠) ‖ 𝑑𝑠 < ∞

Por la desigualdad de Schwartz tenemos

2 1 2 1
𝛽 𝛽
∫0 ‖∇𝑓𝜎(𝑠) ‖ 𝑑𝑠 ≤ 𝛽 2 (∫0 ‖∇𝑓𝜎(𝑠) ‖ 𝑑𝑠)2

entonces 𝛽 < ∞ contradeciría la Proposición (2) de 9. Por lo tanto 𝛽 = ∞. Pero

entonces claramente ‖∇𝑓𝜎(𝑡) ‖ no se puede alejar de cero para 0 ≤ 𝑠 < ∞ ya que la
integral anterior no podría converger. Como 𝑓(𝜎(𝑠)) está limitada por 0 ≤ 𝑠 < ∞ (y,
de hecho, se encuentra en el intervalo [𝑓 (𝜎(0)), 𝐵] se deduce de la condición (C) que
𝜎(𝑡) tiene un punto crítico de 𝑓 como punto límite mientras 𝑡 → 𝛽.
PROPUESTA (2). Si 𝑀 está completo y 𝑓 no tiene valores críticos en el intervalo
cerrado [𝑎, 𝑏], entonces ∇𝑓 es 𝐶 𝑘+1 , fuertemente transversal a 𝑓 en [𝑎, 𝑏], por lo tanto,
mediante el fuerte teorema transversal (§8) 𝑀𝛼 . = {𝑥 ∈ 𝑀/𝑓(𝑥) ≤ 𝑎} y 𝑀𝑏 =
{𝑥 ∈ 𝑀/𝑓(𝑥) ≤ 𝑏}son 𝐶 𝑘+1 isomorfos
Prueba. Por la Proposición (1) de esta sección hay un 𝛿 > 0 tal que 𝑓 no tiene valores
críticos en[𝑎 − 𝛿, 𝑏 + 𝛿].

Sea V = 𝑓 −1 (𝑎 − 𝛿, 𝑏 + 𝛿) luego (∇𝑓)𝑓 = ‖∇𝑓‖2 es estrictamente positivo y 𝐶 𝑘+1 en

V. Sea 𝑝 ∈ 𝑀 y sea 𝜎: (𝛼, 𝛽) → 𝑀 sea la curva integral máxima de ∇𝑓 con la
condición inicial 𝑝. Debemos mostrar para algunos 𝑎 < 𝑡2 < 0 < 𝑡1 < 𝛽 que 𝜎(𝑡1 )y
𝜎(𝑡2 ) no están en 𝑉, es decir, que 𝑓(𝜎(𝑡1 )) ≤ 𝑎 − 𝛿 y 𝑓(𝜎(𝑡2 )) ≤ 𝑏 + 𝛿. Supongamos,
por ejemplo, que 𝑓(𝜎(𝑡)) < 𝑏 + 𝛿 para0 < 𝑡 < 𝛽. Entonces, por el lema 𝜎(𝑡) tendría
un punto crítico 𝑝 como punto límite mientras 𝑡 → 𝛽. Dado que 𝑓 es continuo y
𝑓(𝜎(𝑡)) monótono se deduce que 𝑎 − 𝛿 ≤ 𝑓(0) ≤ 𝑓(𝑝) ≤ 𝑏 + 𝛿, de modo que 𝑓 (𝑝)
sería un valor crítico de 𝑓 en [𝑎 − 𝛿, 𝑏 + 𝛿], una contradicción.