Variedad diferenciable

En Geometra y Topologa, una variedad diferenciable

es un tipo especial de variedad topolgica, a la que podemos extender las nociones de clculo diferencial que
normalmente usamos en Rn . En una variedad diferenciable M podremos denir lo que es una funcin diferenciable f : M R , y campos de tensores diferenciables
(incluidos campos de vectores). El estudio del clculo en
variedades diferenciables se conoce como geometra diferencial.

requerir que el espacio topolgico subyacente estuviera

embebido en un espacio afn. La denicin formal precisa fue introducida por primera vez por Hermann Weyl
en 1913.
Las variedades diferenciables aparecen en diversos campos de la Fsica:
En Relatividad general, el espacio (de dimensin 3)
y el tiempo forman una variedad de dimensin 4 llamada espacio-tiempo.

Introduccin

Muchas teoras modernas, como la Teora de cuerdas, operan en una variedad de dimensin mayor
que 4.

Para un desarrollo informal del tema

1.1

En mecnica clsica, para describir la situacin de

un slido rgido en el espacio se necesitan 6 parmetros (3 que describan la posicin de su centro de
masas y otros 3 que corresponden a los grados de libertad rotacional). Una situacin concreta de un slido quedar descrita como un punto en una variedad diferenciable de dimensin 6, que se denomina
espacio de conguracin del slido rgido.

Generalizacin de los conceptos de curva y supercie

Una variedad diferenciable representa una generalizacin, en dos aspectos bsicos, del concepto de supercie
diferenciable:

Supone la generalizacin a cualquier nmero de

dimensiones. En dimensin 1, una variedad es una 1.3 Conceptos previos de variedades topocurva. En dimensin 2, una supercie sera un ejemlgicas
plo de variedad.
Recordemos los conceptos de variedad topolgica y de
Supone otra generalizacin al intentar denir una
cartas:
variedad de modo intrnseco. Por ejemplo, una curva o una supercie suelen describirse embebidas en
Una variedad topolgica de dimensin n 0
un espacio ambiente R, pero podran describirse sin
es un espacio topolgico M (que suele suponerse
hacer alusin a l. Es ms, existen casos de variedaHausdor
y ANII) en el que para cada p M exisdes de dimensin 2 que no podrn verse embebidas
te
un
entorno
abierto Up M homeomorfo a un
en un espacio eucldeo de dimensin 3 (pero s de
n
abierto
de
R
mediante
p : Up Vp Rn .
dimensin superior).
Un par (Up , p ) bajo estas condiciones se denomina
carta o sistema coordenado sobre M para p , y la
aplicacin p se denomina aplicacin coordenada
para p .

Antes de hacer la segunda generalizacin, podramos

pensar que una variedad es diferenciable, informalmente
hablando, si cada uno de sus puntos tiene espacio tangente, es decir, no tiene picos ni los. Pero para hacer una
denicin formal necesitaremos que esta no haga alusin
a un posible embebimiento de la variedad en un espacio
ambiente.

1.2

Cada aplicacin coordenada se podr desglosar

como un conjunto de n funciones coordenadas
(x1 , , xn ) : en efecto, si para cada j
{1, ..., n} Z convenimos en representar por rj
a la funcin rj : Rn R que a cada q =
(q1 , ..., qn ) Rn le hace corresponder rj (q) = qj
(es decir, la j -sima coordenada de q ), denominaremos a la aplicacin xj = rj p como la funcin
coordenada para p .

Un poco de historia

Riemann, en el siglo XIX, observ la importancia de denir la nocin de variedad de un modo intrnseco, sin
1

3 CLCULO EN VARIEDADES

Podramos cuestionarnos cmo sera posible determinar

f (p) = 0, p M
si una funcin f : M R denida en una variedad
topolgica es una funcin diferenciable. Aparentemente Los conjuntos no suaves, o que satisfaciendo una ecuacin
bastara exigir que f 1
, su expresin en un entorno similar a la anterior pero donde f no fuera diferenciable
coordenado sea diferenciable. Pero esta condicin no se- en general no constituyen subvariedades diferenciables.
ra consistente si realizamos un cambio de carta. En efecto, si observamos su expresin en otra carta:

3 Clculo en variedades
1
1
1
1
f 1
= f ( ) = (f )( )

3.1 Aspectos que se generalizan

necesitaremos para mantener la consistencia que el cambio de cartas representado por el ltimo parntesis sea Muchas de las tcnicas del clculo multivariable son aplidiferenciable. Esta exigencia es la base de la denicin cables mutatis mutandis en variedades diferenciables. Podemos denir la derivada direccional de una funcin difede estructura diferenciable.
renciable en la direccin marcada por un vector tangente
a la variedad. Dicha derivada se comportar de modo similar al de la derivada ordinaria de una funcin denida
2 Denicin
en el espacio eucldeo, al menos localmente: habr versiones del teorema de la funcin implcita y de funcin
2.1 Estructura diferenciable
inversa.
Dada una variedad topolgica M y un nmero entero r
0 , una estructura diferenciable (o atlas maximal) F de
clase r sobre M es una familia {(U , ) : } de
sistemas coordenados sobre M de manera que se cumpla
que:
1. U recubre M, es decir,

U = M ,

2. dados dos cualesquiera , ha de ocurrir que

la aplicacin 1
, llamada cambio de cartas
sea diferenciable de orden r .
3. F es maximal (relativo al orden dado por la inclusin
de conjuntos) entre todas las familias de entornos
coordenados sobre M bajo las condiciones 1 y 2.

2.2

Variedad diferenciable

Se dice que el par (M, F ) formado por la variedad topolgica M de dimensin n y por la estructura diferenciable
F de clase r es una variedad diferenciable de dimensin
n y clase r .

Sin embargo, la derivada direccional de un campo de vectores no estar denida de forma directa. Existen varias
generalizaciones que captan ciertas caractersticas formales de la derivacin en espacios eucldeos. Las principales
son:
La derivada de Lie, que queda denida de forma
nica por la estructura diferenciable, pero deja de
satisfacer alguna de las propiedades de la derivada
direccional.
Una conexin afn que no est denida de forma nica, por lo que debe ser especicada como un dato
aadido a la variedad. Presenta una generalizacin
ms completa de las caractersticas de la derivada
direccional ordinaria.
Las ideas del clculo integral tambin pueden extenderse a las variedades diferenciables. Encontrarn su expresin natural en el lenguaje del clculo exterior con formas
diferenciables. Teoremas fundamentales del clculo integral en varias variables, en particular el teorema de Green,
el de la divergencia y el de Stokes se generalizan en un solo teorema llamado teorema de Stokes.

Hay una cierta confusin sobre la terminologa variedad

diferenciable (sin ms especicaciones) y variedad suave. En cualquier caso, para evitar confusiones, todos los
3.2
textos indican qu entienden por variedad diferenciable.

Vectores tangentes en un punto

En una variedad abstracta, al no considerarse embebida

en ningn espacio ambiente, no podremos visualizar el
2.3 Subvariedad diferenciable
espacio tangente como un subespacio afn del ambiente.
Es cualquier subconjunto de una variedad diferenciable La generalizacin del concepto de espacio tangente reque mediante la topologa inducida de la variedad origi- querir concebir los vectores tangentes como operadores
nal sigue teniendo estructura de variedad diferenciable. que representan una derivada direccional.
En general las subvariedades diferenciables son los sub- En Rn podemos visualizar un vector Xp = (a1 , , an )
conjuntos de puntos para los cuales es posible denir lo- como un operador Xp : C (p) R que acta socalmente una funcin diferenciable f que satisfaga:
bre una funcin f C (p) diferenciable en un entorno

3
cualquiera de p, y nos devuelve su derivada en la direc- La situacin es diferente en dimensin superior:
cin marcada por Xp :

Se conocen ejemplos de variedades topolgicas que

no admiten ninguna estructura diferenciable (Teorema de Donaldson),

f
xi
En los aos 1960 surge la denicin axiomtica de vec y de otras que admiten mltiples estructuras difeotor tangente en un punto de una variedad, como gemorfas (incluso una cantidad no numerable de ellas).
neralizacin de lo anterior. Un vector Xp tangente a una
variedad ser un operador Xp : C (p) R que satis- Algunos ejemplos:
faga:
Xp (f ) =

ai

1. la condicin de linealidad: Xp (f + g)
Xp (f ) + Xp (g)

2. la regla de Leibniz: Xp (f g) = Xp (f )g(p) +

f (p)Xp (g) .
El conjunto de vectores tangentes en un punto forman
un espacio vectorial de la misma dimensin que la variedad llamado espacio tangente en p y notado como Tp M
. En principio, espacios tangentes en puntos distintos no
son comparables. Pero podemos formar con ellos una variedad de dimensin el doble de la dimensin de M, que
se llamar brado tangente y se notar como TM. Como
conjunto, T M = pM Tp M

3.3

Slo hay una estructura diferenciable (salvo difeomorsmos) sobre Rn excepto cuando n = 4, caso
que admite un nmero no numerable de estructuras
diferenciables.
La siguiente tabla muestra el nmero de estructuras
diferenciables (mdulo homeomorsmos que conservan la orientacin) sobre la n-esferas para dimensiones n < 19. Las esferas con estructuras diferenciables diferentes de la usual se conocen con el nombre
de esferas exticas.

5 Deniciones alternativas

Aplicaciones diferenciables

Existen al menos dos maneras de denir lo que es una variedad diferenciable, ambas equivalentes: por medio de
Una aplicacin F : M N se dir diferenciable si parametrizaciones o por medio de aplicaciones coordesu expresin en cartas lo es. Formalmente, F es diferen- nadas. La diferencia es sutil, pero importante.
ciable si para todo punto p de M podemos encontrar una Adems, en el caso de espacios eucldeos existe una serie
carta (U, ) de M que lo contenga y una carta (V, ) de de deniciones equivalentes que son ms sencillas que en
N que contenga a F(p) tales que F 1 sea diferen- el caso general.
ciable.
Una aplicacin diferenciable induce un homomorsmo
de espacios vectoriales dFp : Tp M Tf (p) N entre los 5.1 Denicin mediante parametrizaciones.
espacios tangentes respectivos. Al igual que en el clculo diferencial ordinario, podremos aproximar un objeto
Sea M un conjunto (en principio pudiera ser vaco, pero
diferenciable (F) por un objeto lineal ( dp F ).
es un caso trivial), n 0 y r 0 dos nmeros enteros,
una familia {(U , x ) : } en la que cada U Rn
4 Relacin con variedades topol- es un abierto y cada x : U M una aplicacin
inyectiva, de manera que se cumpla que:

gicas

Dada una variedad topolgica, nos podemos preguntar si

admitir siempre una estructura diferenciable C k o si dicha estructura ser nica. En primer lugar, segn un teorema debido a Whitney, en cualquier variedad con una
estructura C k con k>0, hay una nica estructura C compatible con la anterior.

1.

x (U ) = M ,

2. dados cualesquiera dos , de forma que

x (U ) x (U ) = W = ha de ocurrir que
1
n
x1
(W ) y x (W ) son abiertos de R y la apli1
cacin x x es diferenciable de orden r en U
r
(i.e., x1
x C (U ) ).

La existencia y unicidad est garantizada en dimensiones

bajo estas condiciones, cada par (U , x ) de manera que
menores que 4:
p x (U ) M se denomina una carta local o sis Toda variedad topolgica de dimensin 1, 2, o 3 tie- tema de coordenadas de M en p , x se denomina
ne una nica estructura diferenciable (salvo difeo- parametrizacin de M para p , x (U ) se denomina entorno coordenado de p , y la familia {(U , x ) : }
morsmos).

5 DEFINICIONES ALTERNATIVAS

es denominada una atlas sobre M . Si un atlas A es maxi- local para cada punto de S el abierto U = {x V :
mal (relativo al orden dado por la inclusin de conjuntos) rang[D(x)] = n k} y la aplicacin .
entre todos los atlas sobre M (por supuesto bajo las condiciones 1 y 2, ya que de otra manera no sera atlas) se Representacin explcita de una variedad diferenciable
dice que el atlas A es una estructura diferenciable sobre
M.
El conjunto {G M : x1
(G) (U ), }
(donde aqu (U ) representa la topologa del conjunto
U ) no es otra cosa que la topologa nal en M para la
familia {(U , x ) : } . Cuando se toma una estructura diferenciable A sobre M y la topologa nal en M
para esa estructura diferenciable hace de M un espacio
topolgico que cumple el segundo axioma de numerabilidad y la propiedad de Hausdor, entonces se dice que
el par (M, A) formado por el conjunto M y la estructura
diferenciable A sobre M es una variedad topolgica de
dimensin n y clase r . Cuando adems r > 0 , entonces
se dice que (M, A) es una variedad diferenciable (de
dimensin n y clase r ).

5.2

Deniciones en espacios eucldeos

Sea E un espacio eucldeo de dimensin n 0 y sea

S E . Diremos que S es una variedad diferenciable
en E de dimensin k (donde 0 k n es un nmero
entero) y clase C r (donde r 1 es un nmero entero) si
para cada x0 S existen:
1. una base < u1 , u2 , ..., un > de E ,
2. un abierto V E1 de z0 := x10 u1 + x20 u2 + ... +
xk0 uk , donde se dene el subespacio E1 como el
espacio generado por {u1 , ..., uk } ,
uk+1 +
3. un abierto W E2 de y0 := xk+1
0
n
xk+2
u
+
...
+
x
u
,
donde
se
dene
el
k+2
n
0
0
subespacio E2 como el espacio generado por
{uk+1 , ..., un } ,

4. una aplicacin f : V W de clase r sobre V

Existen al menos cuatro maneras (todas equivalentes en(esto es, f C r (V ) )de manera que f (z0 ) = y0 y
tre s) de denir una variedad diferencial cuando se las
S (V W ) = {(z, f (z)) E1 E2 : z V } .
considera como subconjuntos de un espacio eucldeo. Cada una de ellas es til, y dependiendo del contexto o de la La ltima condicin equivale a decir que S (V W )
dicultad del problema se usar una u otra, o incluso se es la grca Gr(f ) de f . A la igualdad y = f (z), z V
combinarn varias a la vez.
, o simplemente a la aplicacin f , se le denomina representacin explcita local de la variedad S en el punto x0
Representacin implcita de una variedad diferenciable. Si existe una nica aplicacin f tal que S = Gr(f ) ,
entonces f se denomina representacin explcita global
de la variedad.
Sea E un espacio eucldeo de dimensin n 0 y sea
S E . Diremos que S es una variedad diferenciable Representacin difeomrca local de una variedad
en E de dimensin k (donde 0 k n es un nmero diferenciable
entero) y clase C r (donde r 1 es un nmero entero) si
para cada x0 S existe un entorno abierto U E de
Sea E un espacio eucldeo de dimensin n 0 y sea
x0 y una aplicacin : U Rnk de manera que:
S E . Diremos que S es una variedad diferenciable
en E de dimensin k (donde 0 k n es un nmero
1. es de clase r sobre U (esto es, C r (U ) ),
entero) y clase C r (donde r 1 es un nmero entero) si
abierto U0 E de
2. la matriz jacobiana de tiene rango n k (es decir, para cada x0 S existe un entorno
x0 y una aplicacin : U0 Rn de manera que:
rang[D(x )] = n k ),
0

3. S U = {x U : (x) = 0} .

1. es un difeomorsmo de clase r entre U0 y su imagen (esto es, C r (U0 ) es inyectiva),

A la igualdad (x) = 0 la llamaremos representacin

2. (S U0 ) = (U0 ) (R {0}nk ) .
implcita local de la variedad S en el punto x0 , o simplemente diremos que la variedad viene dada implcitamente
A la aplicacin (x) = 0 la llamaremos representacin
por en x0 .
difeomrca
local de la variedad S en el punto x0 .
Si existe un abierto V E y una aplicacin C r (V )
(donde r 1 es un nmero entero) de manera que Hay que observar que, a consecuencia de ser difeomorS = {x V : (x) = 0, rang[D(x)] = n k} =
smo local y U0 abierto, (U0 ) es tambin un abierto de
n
, a la igualdad (x) = 0 se la denomina representacin R .
implcita global de la variedad, o se dice simplemente que la variedad viene dada implcitamente por . En Representacin paramtrica de una variedad diferenciable
este caso podemos tomar como representacin implcita

5
Sea E un espacio eucldeo de dimensin n 0 y sea
S E . Diremos que S es una variedad diferenciable
en E de dimensin k (donde 0 k n es un nmero
entero) y clase C r (donde r 1 es un nmero entero) si
para cada x0 S existe un entorno abierto U1 E de
x0 , un abierto no vaco V Rk , un elemento t0 V y
una aplicacin : V E de manera que:

Roger Penrose: El camino de la realidad, Ed. Debate, Barcelona, 2006, p. 464, ISBN 84-8306-681-5.
Spivak, Michael, Clculo en variedades. Revert
(1988), ISBN 84-291-5142-7
Spivak, Michael, A comprehensive introduction to
dierential geometry,volume I, Publish or Perish,
Inc, Houston, Texas, 1999, ISBN 0-914098-87-X.

1. (t0 ) = x0 ,
2. la jacobiana D(t0 ) de en t0 es inyectiva,
3. es un homeomorsmo de clase r sobre V (esto es,
C r (V ) es continua, abierta e inyectiva) entre
V y S U1 (con la topologa relativa).
A la aplicacin la llamaremos representacin paramtrica local de la variedad S en el punto x0 .

Referencias
William M. Boothby, An Introduction to Dierenciable Manifolds and Riemannian Geometry, 2nd ed.
San Diego: Academic Press, 1986.
Carmo, M. do, Riemannian Geometry. Boston:
Birkhuser, 1993.
Currs Bosch, C. Geometria diferencial: varietats
diferenciables i varietats de Riemann. Barcelona:
Edicions Universitat de Barcelona, 2003.
Girbau, J. Geometria diferencial i relativitat. Bellaterra: Publicacions de la Universitat Autnoma de
Barcelona,1993.
Hicks, N. J. Notas sobre la geometra diferencial.
Barcelona: Hispano Europea, 1973.
Kobayashi, S., Nomizu, K. Foundations of Dierential Geometry, vol. I. New York [etc.] : Interscience,
1963.
Spivak, M. A. Comprehensive Introduction to Differential Geometry. Boston [Mass.]: Publish or Perish, 1970-1975.
Volumen I,II,IV.
Warner, F. W. Foundations of Dierentiable Manifolds and Lie Groups. New York : Springer, 1983.
John M. Lee, Introduction to Smooth Manifolds,
(2003) Springer Graduate Texts in Mathematics
218.

7 Enlaces externos
Teora general de la conexin afn por Wenceslao
Segura

8 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

Text and image sources, contributors, and licenses

8.1

Text

Variedad diferenciable Fuente: http://es.wikipedia.org/wiki/Variedad%20diferenciable?oldid=78456167 Colaboradores: Genba, Aliman5040, Yrbot, BOTijo, Wewe, Eskimbot, Juan Marquez, CEM-bot, Ignacio Icke, Durero, Marianov, Davius, Lauranrg, HiTe, Muro
Bot, PaintBot, Rigenea, Mafores, Gato ocioso, Artra, Xtquique, Banana04131, TiaKarina, Usuwiki, Humbefa, MerlIwBot, Elvisor, Legobot, Addbot, JuanManwell y Annimos: 9

8.2

Images

8.3

Content license

Creative Commons Attribution-Share Alike 3.0