Foliación , la enciclopedia libre

En matemáticas, una foliación es una partición en subvariedades diferenciables de otra variedad diferenciable (de tal modo que todas las subvariedades que conforman la foliación son de la misma dimensión m, siendo m menor que la dimensión de la variedad original).

Intuitivamente una foliación es como un conjunto de cortes o lonchas finas de la variedad original en piezas de la misma dimensión. Por ejemplo se puede foliar espacio euclídeo tridimensional considerando que se trata de un apilamiento de infinitos planos euclídeos uno encima de otro. Cuando una variedad admite una foliación entonces localmente tiene una estructura topológica de variedad producto.

Definición

[editar]

Más formalmente, una foliación F de dimensión p o foliación p-dimensional de una variedad M es un recubrimiento topológico, formado por conjuntos Ui y equipado además con aplicaciones:


tal que en los solapes las funciones definidas mediante:


tienen la forma:


Donde denota las primeras coordenadas, y denota las últimas p coordenadas. Es decir,

y

.


Definición: Una foliación -dimensional, de una variedad -dimensional es una descomposición de en la unión de subvariedades disjuntas , llamadas hojas de la foliación, con la siguiente propiedad: cada punto en tiene un entorno abierto con coordenadas locales , tal que, para cada hoja se tiene .[1]

Sean y variedades de dimensiones y , respectivamente, con , y una submersión. Por el Teorema de la función implícita se sigue que induce una foliación en de dimensión , donde las hojas de la foliación vienen definidas por para cada .[1]

Ejemplos

[editar]

Espacio euclídeo

[editar]

Consideramos un espacio -dimensional y la foliación formada por el producto de subespacios formados por los puntos cuyas primeras coordenadas son constantes. Es decir, : y las hojas son los espacios -dimensionales enumerados por los distintos valores posibles de las primeras coordenadas.

Por ejemplo, para y , se obtiene la descomposición de en las hojas , siendo un número real.

Submersiones

[editar]

Consideramos . La función es una submersión.

Entonces hay una foliación en inducida por , cuyas hojas son , con .

Otro ejemplo de foliación, a partir de una submersión, muy conocido es la Fibración de Hopf.

Cubiertas

[editar]

Si es una aplicación continua y exhaustiva entre variedades y es una foliación sobre , entonces la aplicación anterior induce una foliación sobre (pull-back de la aplicación anterior).

Foliaciones e integrabilidad de campos n-formas

[editar]

Existe una relación estrecha entre foliaciones e integrabilidad de conjuntos de n-formas. Dado un campo vectorial que no se anula nunca, definido sobre una variedad diferenciable de dimensión n, sus curvas integrales forman una foliación 1-dimensional (es decir, una foliación de codimensión n-1).

El teorema de Frobenius, debido a Ferdinand Georg Frobenius, generaliza el resultado anterior estableciendo que las condiciones necesarias y suficientes para que una distribución (i. e. un subfibrado de dimensión n - p del fibrado tangente) sea tangente a las hojas de una foliación, son que el conjunto de campos vectoriales tangentes a la distribución sea cerrado bajo el paréntesis de Lie. Uno puede reformular esto de manera diferente, en términos de grupos. Si el grupo definido sobre el fibrado tangente admite es reducible a un subgrupo entonces la distribución es integrable.

Una aplicación práctica del teorema de Frobenius anterior son las condiciones de integrabilidad en un sistema hamiltoniano para el que existe n integrales de movimiento. Si estas integrales están en involución (i. e. sus paréntesis de Poisson se anulan, o equivalentemente los paréntesis de Lie de sus campos vectoriales asociados comuntan) entonces el sistema es integrable, admitiendo n foliaciones cuya intersección es una foliación 1-dimensional que coincide con las trayectorias del movimiento.

Véase también

[editar]

Notas

[editar]
  1. a b Lawson Jr., H. Blaine (1 de mayo de 1974). «Foliations». Bulletin of the American Mathematical Society (en inglés) 80 (3): 369-419. ISSN 0002-9904. doi:10.1090/S0002-9904-1974-13432-4. Consultado el 31 de enero de 2023. 

Referencias

[editar]