Download Contenido - Facultad de Matemáticas :: UADY

Document related concepts

Variedad diferenciable wikipedia , lookup

Espacio euclídeo wikipedia , lookup

Variedad (matemáticas) wikipedia , lookup

Campo vectorial wikipedia , lookup

Topología simpléctica wikipedia , lookup

Transcript
Contenido
1 CAMPOS VECTORIALES Y VARIEDADES.
1.1 CALCULO EN Rn Y VARIEDADES DIFERENCIABLES. . . . . . .
3
4
1.2
CAMPOS VECTORIALES EN VARIEDADES. . . . . . . . . . . . .
1.3
TOPOLOGÍA EN EL ESPACIO DE LAS APLICACIONES DE CLASE
1.4
Cr: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
TRANSVERSALIDAD . . . . . . . . . . . . . . . . . . . . . . . . . .
28
33
1.5
ESTABILIDAD ESTRUCTURAL. . . . . . . . . . . . . . . . . . . . .
38
2 ESTABILIDAD LOCAL
2.1 TEOREMA DEL FLUJO TUBULAR. . . . . . . . . . . . .
2.2 CAMPOS VECTORIALES LINEALES. . . . . . . . . . . .
2.3 SINGULARIDADES Y PUNTOS FIJOS HIPERBÓLICOS.
2.4 ESTABILIDAD LOCAL. . . . . . . . . . . . . . . . . . . .
2.5 CLASIFICACIÓN LOCAL. . . . . . . . . . . . . . . . . . .
2.6 VARIEDADES INVARIANTES. . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3 EL TEOREMA DE KUPKA-SMALE.
3.1 EL MAPEO DE POINCARÉ. . . . . . . . . . . . . . . . . . . . .
3.2 GENERICIDADES DE LOS CAMPOS VECTORIALES CON
BITAS PERIÓDICAS HIPERBÓLICAS. . . . . . . . . . . . . .
3.3 TRANSVERSALIDAD DE VARIEDADES INVARIANTES. . .
i
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
16
48
48
50
63
69
81
88
108
. . . 109
ÓR. . . 123
. . . 141
Agradecimientos
Quiero agradecer a mi madre, mi esposa y hermanos por permitirme llegar hasra
este punto en mi vida puesto que todos sus actos dirigidos a mí fueron son y serán
cruciales para ser la persona que hasta ahora he sido.
Un especial y gran agradecimiento a mi asesor de tesis, el Dr. Matias Navarro
Sosa por su ayuda en la elaboración de este trabajo y por todo el tiempo brindado, y
la amistad ofrecida en el tiempo que hemos trabajado juntos; sin él, esto no hubiera
sido posible.
También agradezco a mis amigos todos mis compañeros de trabajo que enlistarlos
no sería prudente pues al omitir a alguno de ellos estaría siendo injusto pues la amistad
por ellos proprcionada es invaluable.
Roger Enrique Muñoz Puch.
ii
CONTENIDO
1
INTRODUCCIÓN
Los fundamentos de la teoría de los sistemas dinámicos comenzaron a ser
estudiados por Poincaré en Francia, luego por Liapunov, Andronov, Kolmogorov y
Arnold en Rusia y por Birkho¤ y Smale en Estados Unidos. En Brasil, Peixoto y
Palis siguieron desarrollando la teoría cualitativa de los sistemas dinámicos, la cual se
concentra en la estructura topológica de las soluciones de las ecuaciones diferenciales
ordinarias, en lugar de la solución analítica cuantitativa. Parte de esta teoría trata
con conceptos básicos de genericidad, estabilidad estructural e hiperbolicidad, entre
otras. Cada ecuación diferencial ordinaria puede verse como un sistema dinámico o
también como un campo vectorial en una variedad diferenciable adecuada o también
como un difeomor…smo entre variedades. En particular, en el conjunto de los campos
vectoriales diferenciables se estudian campos vectoriales con ciertas propiedades. Si la
estructura topológica de las curvas integrales es persistente bajo pequeños cambios del
campo vectorial, signi…ca que esta estructura es estable desde el punto de vista de la
teoría cualitativa de los sistemas dinámicos. Si además se tiene que el conjunto de los
campos estructuralmente estables es grande desde cierta óptica, entonces adquieren
mayor importancia. Esta medida de lo grande o pequeño que puede ser un conjunto
de objetos en un espacio dado puede darse de varias maneras. Para una familia de
sistemas dinámicos que dependen diferenciablemente de un número …nito de parámetros existen dos maneras básicas de de…nir esta medida. Una de ellas es la medida
de Lebesgue sobre el espacio de parámetros, con lo cual se dice que una propiedad
es genérica si ésta se satisface en cierto dominio de parámetros excepto para un conjunto de medida cero. La otra manera es la siguiente. Una propiedad es genérica
si se satisface para un conjunto que es una intersección numerable de subconjuntos
abiertos densos. Si un subconjunto de un espacio topológico contiene una intersección
numerable de conjuntos abiertos densos se dice que es residual. Así, podemos decir
que una propiedad es genérica si se cumple en un subconjunto residual. La estabilidad
estructural es un ejemplo de genericidad desde el punto de vista topológico, puesto que
cualquier propiedad topológica de un sistema estructuralmente estable es invariante
bajo pequeñas perturbaciones. El Teorema de Kupka-Smale da condiciones para que
un campo vectorial diferenciable en una variedad compacta de dimensión arbitraria
sea genérico en el espacio de todos los campos diferenciables en el sentido residual.
Estas condiciones son:
CONTENIDO
2
1. los elementos críticos del campo (singularidades y órbitas periódicas) son hiperbólicas,
2. para dos elementos críticos cualesquiera, la variedad estable de uno de ellos
intersecta transversalmente a la variedad inestable del otro.
El objetivo de esta tesis es demostrar con todo detalle y de la manera más directa
posible, el Teorema de Kupka-Smale, proveyendo de los prerrequisitos necesarios para
un estudiante de posgrado en matemáticas.
La tranversalidad que se menciona arriba es una noción clave para establecer
muchas propiedades genéricas y el concepto de hiperbolicidad está íntimamente relacionado con derivadas de ciertos mapeos entre variedades, lo cual tiene una estrecha
relación con el espacio tangente. En el capítulo 1 se dan los conceptos necesarios de
la geometría y topología de los campos vectoriales en variedades. Uno de los prerrequisitos más fuertes es el teorema de la variedad estable, cuya demostración será el
principal resultado del capítulo 2. Finalmente, en el capítulo 3 se enuncia y demuestra
el Teorema de Kupka-Smale, proporcionando ejemplos ilustrativos. El autor de esta
tesis se dará por bien servido si este trabajo induce algún interés en el estudio de esta
rama de las matemáticas, que fué fascinante para mí.