Foliaciones

Una foliación de dimensión n de una variedad diferenciable M m es, en términos generales, una
descomposición de M en subvariedades conectadas de dimensión n llamada hojas, que localmente se
apilan como los subconjuntos de Rm =Rn x Rm−n con la segunda constante de coordenadas.

El ejemplo más simple de una foliación de dimensión n es la foliación de Rm =Rn x Rm−ndonde las hojas
son n-planos de la forma RnX {c} con c ∈ Rm −n .

Los difeomorfismos h :U ⊂ Rm ⟶V ⊂ Rm que conservan las hojas de esta foliación localmente tienen
la siguiente forma:

Definición. Sea M una variedad C ∞ de dimensión m. A C r foliación de dimensión n de M es un C ratlas

F en M que es máximal con las siguientes propiedades:

(a) Si (U , φ)∈ F entonces φ ( U ) =U 1 x U 2 ⊂ R n x R m−ndonde U 1 y U 2 son discos abiertos en

Rn y R m−nrespectivamente.
(b) Si ( U , φ ) y (V , ψ)∈ F son tales que U ∩V ≠0 entonces el cambio de mapa de coordenadas
ψ ∘φ−1 :φ (U ∩V ) ⟶ ψ (U ∩ V ) tiene la forma (*), es decir, ψ ∘φ ( x , y ) =( h1 ( x , y ) , h2 ( y ) )
−1

.Decimos que M es foliado por F , o que F es una estructura foliada de dimensión n y clase C ren M.

En la figura 2, ilustramos el aspecto local de una variedad foliada bidimensional por una foliación
unidimensional.

Observación 1. Cuando decimos que M es una variedad C ∞ que tiene un atlas F como el anterior,
estamos diciendo implícitamente que M tiene un atlas G cuyos cambios de coordenadas

son C ∞ ; sin embargo, si ( U , φ ) ∈G y ( V , ψ ) ∈ F y U ∩V ≠ ∅ entonces φ ∘ ψ−1 y ψ ∘ φ−1 son C r. La

única relación entre F y G es que el cambio mixto de variables, como antes, es C r. Como se desprende
de la definición, el atlas F es muy especial (debido a la condición (*)) y, como veremos más adelante en
∱ 4 , no todas las variedades de dimensión m poseen una foliación de dimensión n, donde 0< n<m.

Observamos que si A={( U i , φi )|i∈ I } es un atlas, no máximal, cuyas cartas locales satisfacen (a) y (b),
entonces hay un atlas máximo único que contiene A y satisface (a) y (b). Este atlas se define como el
conjunto de todas las cartas φ :U ⟶ R ntal que si U ∩U i ≠ ∅ para algún i∈ I , entonces
h=φ ∘ φi−1 : φi (U ∩U i )⟶ φ(U ∩U i ) es un difeomorfismo C rde la forma (*). Aunque la condición de
que el atlas sea máximal no es necesaria en la definición, es conveniente ya que en ese caso el conjunto
de todos los dominios de las crtas forman una base para la topología en M.

A partir de ahora consideramos solo las foliaciones de clase C r, r ≥1 . Las cartas ( U , φ ) ∈ F se

denominarán cartas de foliación.