Está en la página 1de 3

Foliacin

En matemticas, una foliacin es una particin en sub- 2


variedades diferenciables de otra variedad diferenciable
(de tal modo que todas las subvariedades que conforman
2.1
la foliacin son de la misma dimensin m, siendo m menor que la dimensin de la variedad original).

Espacio eucldeo

2.2 Cubiertas

Intuitivamente una foliacin es como un conjunto de cortes o lonchas nas de la dimensin original en piezas de
la misma dimensin. Por ejemplo se puede foliar espacio
eucldeo tridimensional considerando que se trata de un
apilamiento de innitos planos eucldeos uno encima de
otro. Cuando una variedad admite una foliacin entonces
localmente tiene una estructura topolgica de variedad
producto.

Ejemplos

Si M N es una aplicacin continua y exahustiva entre


variedades y F es una foliacin sobre N , entonces la
aplicacin anterior induce una foliacin sobre M (pullback de la aplicacin anterior).

3 Foliaciones e integrabilidad de
campos n-formas

Denicin
Existe una relacin estrecha entre foliaciones e integrabilidad de conjuntos de n-formas. Dado un campo vectorial
que no se anula nunca, denido sobre una variedad diferenciable M de dimensin n, sus curvas integrales forman una foliacin 1-dimensional (es decir, una foliacin
de codimensin n1).

Ms formalmente, una foliacin F de dimensin p


o foliacin p-dimensional de una variedad M es un
recubrimiento topolgico, formado por conjuntos Ui y
equipado adems con aplicaciones:

i : U i Rn
tal que en los solapes Ui Uj
ij : Rn Rn denidas mediante:

ij = j 1
i

El teorema de Frobenius, debido a Ferdinand Georg Frobenius, generaliza el resultado anterior estableciendo que
las condiciones necesarias y sucientes para que una distribucin (i. e. un subbrado de dimensin n - p del
las funciones brado tangente) sea tangene a las hojas de una foliacin,
son que el conjunto de campos vectoriales tangentes a la
distribucin sea cerrado bajo el parntesis de Lie. Uno
puede reformular esto de manera diferente, en trminos
de grupos. Si el grupo GL(n) denido sobre el brado
tangente admite es reducible a un subgrupo entonces la
distribucin es integrable.

tienen la forma:

Una aplicacin prctica 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 estn en involucin (i. e. sus parntesis de Poisson se anulan, o equivalentemente los parntesis de Lie de sus campos vectoriales asociados comuntan) entonces el sistema es integrable, admitiendo n foliaciones cuya interseccin es una foliacin 1-dimensional
que coincide con las trayectorias del movimiento.

ij (x, y) = (1ij (x), 2ij (x, y))


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

1ij : Rnp Rnp

4 Vase tambin

G-structura
Foliacin de Reeb

2ij : Rn Rp
1

4
foliacin de Taut
Teorema de la hoja compacta de Novikov

VASE TAMBIN

Text and image sources, contributors, and licenses

5.1

Text

Foliacin Fuente: http://es.wikipedia.org/wiki/Foliaci%C3%B3n?oldid=76923689 Colaboradores: Yrbot, BOT-Superzerocool, BOTijo,


Davius, Matdrodes, Muro Bot, Gato ocioso, Alecs.bot, Shalbat, Luckas-bot, Markoszarrate, Irina Gelbukh, EmausBot, ZroBot, KLBot2
y Annimos: 6

5.2

Images

5.3

Content license

Creative Commons Attribution-Share Alike 3.0