Professional Documents
Culture Documents
Definiciones
Campos sobre Variedades
Un campo de vectores X en una variedad diferenciable M es una correspon-
dencia que asigna a cada punto p de M un vector tangente X(p) ∈ Tp M .
Campos en S 2
S 2 denota la 2-esfera unitaria del espacio euclidiano R3 con la métrica usual,
es decir, S 2 = v ∈ R3 ; kvk = 1 .
1
parametrizada diferenciable α : (−ε, ε) → S 2 , de clase C 1 , con α(0) = p y
α′ (0) = v.
En particular, para S 2 se tiene Tp S 2 = v ∈ R3 ; hv, pi = 0 (productointernousual) .
Todo campo
X en S 2 induce una función:
fX : R {0} → R3
3
x
x| → fX (x) = X kxk
se deduce que fX |S 2 = X.
2
·p es una singularidad de X si y sólo si φ(t, p) = p; ∀t ∈ R.
Teoremas
Teorema 1. Teorema de Poincaré-Bendixson en s2
Sea X un campo de vectores de clase C 1 en la esfera S 2 con una cantidad finita
de singularidades. Entonces, para cada p ∈ S 2 ocurre sólo una de las siguientes
afirmaciones.
(1) ω(p) es una singularidad;
(2) ω(p) es una órbita periódica;
(1) ω(p) está compuesta por órbitas regulares y singularidades, con cada órbita
tendiendo a una de esas singularidades cuando t → ±∞.
Lema 1.
Sea X un campo de vectores en S 2 de clase C 1 y γ una órbita de X. Si γ no es
una singularidad ni una órbita periódica, entonces ω(γ)∩α(γ) = ∅ o ω(γ)∩α(γ)
es una singularidad de X.
Demostración
Demostración. Si ω(γ) sólo posee puntos singulares, por el Teorema de Poincaré-
Bendixson ω(γ) es una singularidad. De lo contrario, tomando un ponto regu-
lar p ∈ ω(γ), es sabido que existe una sección transversal orientada Σp y una
sucesión γ (tn ) ∈ Σp tal que limn→+∞ γ (tn ) = p. tal sucesión es inyectiva pues
γ no es periódica y por tanto, no tiene auto-intersecciones. Considerándose la
curva de Jordan λ, dada por la unión de A = {γ(t); t1 ≤ t ≤ t2 } con el intervalo
B = [γ (t1 ) , γ (t2 )] de Σp ,
3
por el Teorema de la curva de Jordan, λ define dos regiones disjuntas. el con-
junto {γ(t); t > t2 } no intersecta a λ ni al conjunto A pues γes simple (Figura
1); ni intersecta a B pues contradice el sentido del campo (Figura 2).
Teorema 3.
Todo campo de vectores de clase C 1 en la esfera S 2 posee una singularidad.
4
Como γx no es una singularidad (Por la hipótesis auxiliar) y no es una órbita
◦
periódica (por ser γk elemento maximal y γx ⊂ Dk ), por el Lema 1 queda que
ω(γ) ∩ α(γ) = ∅.
◦
por lo que α(x) o ω(x) está contenido en Dk , lo que contradice la maximalidad
de γk .
Lema 2.
Sean X y Y dos campos de vectores de clase C 1 en S 2 que conmutan. Si p es
una singularidad de X, entonces la órbita ψ(s, p) y el conjunto ω(ψ(s, p)) están
compuestos por singularidades de X.
= ψ (s0 , p) (porserpsingularidadenX)
Ası́ ϕ (t, ψ (s0 , p)) = ψ (s0 , p) para cada s0 ∈ R. Por tanto ψ (s0 , p) es una sin-
gularidad de X.
5
Teorema de Elon L.
Si dos campos de vectores de clase C 1 en S 2 conmutan, entonces poseen una
singularidad común.
Demostración.
Por el absurdo, sean X, Y ∈ X1 S 2 sin singularidades en común, o sea Sing(X)∩
Sing(Y ) = ∅. Luego siendo Sing(X) y Sing(Y ) compactos, existe r > 0 tal que
d(p; q) > r, para cualquiera que sean p ∈ Sing(X) y q ∈ Sin(Y ).
( Además por el teorema 3 Sing(X), Sing(Y ) 6= ∅)
Entonces se puede tomar p1 ∈ sing(X) donde p1 ∈ / Sing(Y ).
Por el Lema 2 y el Teorema 1, el conjunto ω (ψ (s, p1 )) es una órbita cerrada que
está contenida en Sing(X). Y el corolario del Teorema 3 garantiza la existencia
de un punto fijo q2 de Y en el interior de la región D1 limitado por ω (ψ (s, p1 ))
(conforme la Teorema de la curva de Jordan).
Por el Lema 2 y el Teorema 1, el conjunto ω (ϕ (t, q2 )) es una órbita cerrada
que está contenida en Sing(Y ). Además de esto, ω (ϕ (t, q2 )) no no intersecta
ω (ψ (s, p1 )), mas aún, la distancia d (ω (ϕ (t, q2 )) ; ω (ψ (s, p1 ))) > r. con eso,
◦ ◦
ω (ϕ (t, q2 )) limita una región D2 enteramente contenido en D1 con D1 − D2 que
contiene un disco de radio r3 .
Prosiguiendo de esa forma, se construye una sucesión de discos cerrados (de
hecho compactos) encajados y no vacı́os en S 2 ,
. . . ⊂ D3 ⊂ D2 ⊂ D1
◦ ◦
Tales que Dn+1 ⊂ Dn con Dn − Dn+1 que contiene un disco de radio 3r , para
todo n ∈ N. Lo cual es absurdo pues D1 tiene medida (área) finita, por tanto
no puede tener una infinidad de discos disjuntos todos con radio 3r .