Universidad Mayor de San Andres

Facultad de Ciencias Puras y Naturales

Carrera de Matematica

TEOREMA DE STOKES
(Geometra Diferencial)

Tesis de Grado presentado para la obtencion del Titulo de Licenciatura en

Matematica

Autor: Univ. Richar Sanchez Paco

Tutor: Dr. Efrain Crauz Mullisaca

La Paz Bolivia
2017
Dedicatoria

A mi familia

i
Agradecimientos

Agradezco a....
Tambienn agradezco a...
Finalmente agradezco a...

Richar Sanchez Paco

marzo de 2017

ii
Resumen

Aqu inicias un resumen del trabajo......

iii
 Indice general

Dedicatoria I

Agradecimientos II

Resumen III

1. PRELIMINARES 5
1.1. Variedad Diferenciable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Orientacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.1. Orientacion en Espacios Vectoriales . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.2. Orientacion en Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3. Variedad con Borde . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4. Particion Diferenciable de la Unidad. . . . . . . . . . . . . . . . . . . . . . . . . . . 22

2. FORMAS DIFERENCIALES 25
2.1. k-Formas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2. Pull-Back . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3. Diferencial Exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.4. Integracion de Formas en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.5. k-Formas en Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

3. TEOREMA DE STOKES 45
3.1. Integracion en Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2. Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

1
 Introduccion

Una de las mas interesantes caractersticas de la geometra diferencial es la relacion entre las
propiedades locales y las propiedades que dependen de la supercie entera. Por lo que una de las
propiedades mas notables es el teorema de Stokes, y dicho teorema en geometra diferencial es una
proposicion sobre la integracion de formas diferenciales que generaliza varios teoremas del calculo y
calculo vectorial. Se nombra as por George Gabriel Stokes1 , a pesar de que la primera formulacion
conocida del teorema fue realizada por William Thomson y aparece en una correspondencia que
el mantuvo con Stokes fechada el 2 de julio de 1850. Stokes puso el teorema como una pregunta
en el examen de 1854 del Premio de Smith, lo que dio como resultado que ahora lleve su nombre.
El Teorema fundamental del calculo establece que la integral de una funcion f en el intervalo [a, b]
puede ser calculada por medio de una antiderivada F de f :
Z b
f (x)dx = F (b) F (a).
a

El Teorema de Stokes es una generalizacion de este teorema en el siguiente sentido:

dF
Para la F elegida, = f . En el lenguaje de las formas diferenciales es decir que f (x)dx es
dx
la derivada exterior de la 0-forma (como por ejemplo una funcion) F : dF = f dx es 1-forma
denotada como = f dx. El teorema general de Stokes se aplica a formas diferenciales de
dimension mayor en vez de F .

En un lenguaje matematico, el intervalo abierto (a, b) es una variedad diferenciable unidi-

mensional. Su frontera es el conjunto que consiste en los dos puntos a y b. Integrar f en
ese intervalo puede ser generalizado como integrar formas en una variedad diferenciable de
mayor orden. Para esto se necesitan dos condiciones tecnicas: la variedad diferenciable debe
ser orientable, y la forma tiene que ser compacta de manera que otorgue una integral bien
denida.
1
Sir George Gabriel Stokes, primer Baronet (13 de agosto de 1819-1 de febrero de 1903) fue un matematico y
fsico irlandes que realizo contribuciones importantes a la dinamica de fluidos (incluyendo las ecuaciones de Navier-
Stokes), la optica, la fsica matematica y por supuesto el teorema de Stokes. Fue secretario y luego presidente de la
Royal Society de Inglaterra

2
 INDICE GENERAL 3

Los dos puntos a y b forman parte de la frontera (o borde) del intervalo abierto. Mas generi-
camente, el teorema de Stokes se aplica a variedades orientadas M con frontera. La frontera
M de M es una variedad en s misma y hereda la orientacion natural de M. Por ejemplo,
la orientacion natural del intervalo da una orientacion de los dos puntos frontera. Intuitiva-
mente a hereda la orientacion opuesta a b, al ser extremos opuestos del intervalo. Entonces,
integrando f en los dos puntos frontera a, b es equivalente a tomar la diferencia F (b) F (a).
Por otro lado el Teorema de Green hace algo similar en dos dimensiones, relaciona la integral a
lo largo de una curva cerrada simple con la integral doble de una combinacion de derivadas sobre
un area limitada por la curva simple: El teorema arma:

Sea C una curva cerrada simple positivamente orientada, en el plano y sea D la region limitada
por C. Si P y Q tienen derivadas parciales continuas en una region abierta que contiene D,
Z Z Z
Q P
(P dx + Qdy) = ( )dxdy
C D dx dy
A veces la notacion I
(P dx + Qdy)
C
se utiliza para establecer que la integral de lnea esta calculada usando la orientacion positiva
(antihoraria) de la curva cerrada C = D, donde D borde (o frontera) de D.
Q P
Ahora debemos notar que = ( )dxdy es una 2-forma.
dx dy
Y tenemos tambien el Teorema de la Divergencia.
Sean H y U dos subconjuntos abiertos en R3 donde U H es simplemente conexo y el borde de
U (U = S) es una supercie regular o regular a trozos y cerrada.
Sea F : H R3 , un campo vectorial de clase C 1 , es decir, F cuenta con derivadas parciales de
primer orden continuas. Entonces:
Z Z Z Z Z


F n dS = F dV
S U

donde el vector n normal a la supercie apunta hacia el exterior del volumen V .

Sobre las bases de las consideraciones anteriores, se pretende describir la conformacion del estudio
cuya estructura viene dada por tres captulos; un primer captulo titulado preliminares que abarca
de manera precisa deniciones y teoremas que involucran variedades diferenciables, luego tenemos
orientacion en espacios vectoriales y en variedades, otra seccion es destinada a las variedades con
borde y en la ultima seccion se introducira todo lo referente a la particion diferenciable de la unidad
solo en variedades compactas aun cuando se puede denir de forma mas general, pues es lo que
nos interesa para la demostracion del teorema en cuestion.
Seguidamente se encuentra el segundo captulo el cual es de suma importacia puesto que se plasma
de manera detallada la teoria de formas diferenciables junto con sus teoremas y propiedades, en
este captulo se denen conceptos como las k-formas, pull-back, formas diferenciables e integracion
de formas. Ademas se llega a la generalizacion de formas en variedades.
El tercer y ultimo captulo se dedica a la integracion de formas en variedades y al teorema central
del trabajo, que es el teorema de Stokes, seguidamente se desarrollan algunos ejemplos que ilustran
el teorema de Stokes.
Indice general

4
 1
PRELIMINARES

Para el desarrollo del presente trabajo es necesario proporcionar algunas deniciones y resul-
tados que seran utilizados para la mejor comprension del mismo, con este objetivo se da inicio a
este primer captulo que sera de gran utilidad para los captulos posteriores.

1.1. Variedad Diferenciable

Definicion 1.1. (Carta.) Sea M un conjunto. Una carta n-dimensional sobre M es una aplicacion
biyectiva : U Rn cuya imagen V = (U) es un conjunto abierto del espacio euclideano Rn
para algun U M.

Definicion 1.2. (Parametrizacion.) Sea M un conjunto y : U Rn M una aplicacion

inyectiva, con U abierto en Rn el par (U , )con p (U ) es llamado una parametrizacion (o
sistema de coordenadas) de M en p.

Observacion 1.1. (U ) es llamado una vecindad coordenada de p.

Definicion 1.3. (Variedad Diferenciable.) Una variedad diferenciable n-dimensional es un

conjunto M junto con una familia de parametrizaciones : U Rn M de conjunto abierto
U de Rn en M tal que:
S
1. (U ) = M
1
2. Para cada y con (U ) (U ) = W 6= , los conjuntos 1 (W ) y (W ) son
conjuntos abiertos en Rn y las funciones 1 1
, son diferenciables.

3. La familia {(U , }) es maximal relativo a 1 y 2.

Si una familia {(U , )} satisface la condicion 1 y 2 de la denicion 3 es llamado una estructura

diferenciable en M.

5
 1.1. VARIEDAD DIFERENCIABLE 6

(U ) (U )

1
(W ) 1
(W )

Grafica 1.

Ejemplo 1.1. Sea S 2 = {p Rn : |p| = 1} la esfera unitaria.

Consideremos las aplicaciones i : Ui S 2 , es decir parametrizaciones, para i = 1, . . . , 6. Dadas
por: p
1 (x, y) = (x, y, p 1 (x2 + y 2 ))
2 2 2 2 2
p y, 1 (x + y )), con U1 = U2 = {(x, y) R : z = 0, x + y = 1}
2 (x, y) = (x,
3 (y, z) = ( p 1 (y 2 + z 2 ), y, z)
4 (y, z) = ( p1 (y 2 + z 2 ), y, z), con U3 = U4 = {(y, z) R2 : x = 0, y 2 + z 2 = 1}
5 (x, z) = (x, p 1 (x2 + z 2 ), z)
6 (x, z) = (x, 1 (x2 + z 2 ), z), con U5 = U6 = {(x, z) R2 : y = 0, x2 + z 2 = 1}

Grafica 2.
6 2
S6 As la familia2 {(Ui , i )}i=1 cubre toda la esfera S tal como se muestra en la Grafica 2., es decir
i=1 i (Ui ) = S . Ademas cumple la condicion 2 de la denicion 3.

En efecto. Consideremos
p
1 (x, y) = (x,
p y, 1 (x2 + y 2 )), U1 = {(x, y) R2 : z = 0, x2 + y 2 = 1} y
3 (y, z) = ( 1 (y 2 + z 2 ), y, z), U3 = {(y, z) R2 : x = 0, y 2 + z 2 = 1}.
Entonces

1 (U1 ) = {(x, y, z) R3 : z > 0, x2 + y 2 + z 2 = 1}

 1.1. VARIEDAD DIFERENCIABLE 7

3 (U3 ) = {(x, y, z) R3 : x > 0, x2 + y 2 + z 2 = 1},

sea p
W1 = 1 (U1 ) 3 (U3 ) = {(x, y, z) R3 : x > 0, z = 1 x2 y 2 }
y se tiene
1 2 2 2
1 (W1 ) = {(x, y) R : x > 0, x + y < 1}

1 2 2 2
3 (W1 ) = {(y, z) R : z > 0, y + z < 1}.

Luego
1 1 1
3 1 : 1 (W1 ) 3 (W1 )

tal que p p
(1 1 1
3 1 )(x, y) = 3 (1 (x, y)) = 3 (x, y, 1 x2 + y 2 ) = (y, 1 y 2)
de la misma forma
1 1 1
1 3 : 3 (W1 ) 1 (W1 )

dada por
(1 1 1
1 3 )(3 (W1 )) = 1 (W1 ) = (x, 1 x2 ).
As las aplicaciones 1 1
3 1 y 1 3 son diferenciables.

1 3
x y
1
3 1

y z
1
1 (W1 ) 1
3 (W1 )

Grafica 3.

Consideremos tambien
1 : U1 S 2 y 5 : U5 S 2
y las vecindades coordenadas son:

1 (U1 ) = {(x, y, z) R3 : z > 0, x2 + y 2 + z 2 = 1}

5 (U5 ) = {(x, y, z) R3 : y > 0, x2 + y 2 + z 2 = 1},

sea p
W2 = 1 (U1 ) 5 (U5 ) = {(x, y, z) R3 : y > 0, z = 1 x2 y 2 }
 1.1. VARIEDAD DIFERENCIABLE 8

y se tiene
1 2 2 2
1 (W2 ) = {(x, y) R : y > 0, x + y < 1}

1 2 2 2
5 (W2 ) = {(x, z) R : z > 0, x + z < 1}.

Luego
1 1 1
5 1 : 1 (W2 ) 5 (W2 )

dada por
(1
5 1 )(x, y) = (x, 1 x2 ).
As 1
5 1 es diferenciable.
Los otros casos son analogos.
Por tanto S 2 es una variedad diferenciable.
Definicion 1.4. Sea M n una variedad diferenciable. Una funcion f : M R se dice diferenciable
en un punto p M, si existe una parametrizacion : U Rn M alrededor de p tal que f es
diferenciable en 1 (p). La funcion f se dice diferenciable en M si es diferenciable en todo punto
de M.
Proposicion 1.1. La definicion anterior no depende de la eleccion de la parametrizacion.
Prueba. Sea : V Rn M otra parametrizacion alrededor de p M. Probemos que
f : V Rn es diferenciable en 1 (p).
Como 1 es un difeomorsmo y por hipotesis f es diferenciable, entonces por la regla de
cadena en espacio euclideano f : V Rn es diferenciable en 1 (p).
Definicion 1.5. Sean M1n , M2m variedades diferenciables. Una funcion f : M1 M2 es diferen-
ciable en un punto p M1n si dada una parametrizacon 1 : V1 Rm M2 alrededor de f (p),
existe una parametrizacion 1 : U1 Rn M1 , alrededor de p tal que
f (1 (U1 )) 1 (V1 ) y a funcion 1 n
1 f 1 : U1 R R
m
es diferenciable en 1
1 (p). La
funcion f es diferenciable en un conjunto abierto de M1 si es diferenciable en todos los puntos de
ese conjunto.
Proposicion 1.2. La definicion 5 es independiente de la eleccion de las parametrizaciones.
Prueba. Dada 1 : V1 Rm M2 alrededor de f (p), existe una parametrizacion
1 : U1 Rn M1 , alrededor de p tal que f (1 (U1 )) 1 (V1 ) y la funcion 1
1 f 1 : U1
n m 1
R R es diferenciable en 1 (p). Y si damos otra parametrizacion cumpliendo las mismas
condiciones. Es decir, dada 2 : V2 Rm M2 alrededor de f (p) existe una parametrizacion
2 : U2 Rn M1 , alrededor de p tal que f (2 (U2 )) 2 (V2 ) entonces debemos probar que
1 n m 1
2 f 2 : U2 R R es diferenciable en 2 (p).
Consideremos

g1 = 1
1 f 1 (1.1)

y consideremos

g2 = 1
2 f 2 . (1.2)
 1.1. VARIEDAD DIFERENCIABLE 9

Como M1 , M2 son variedades diferenciables, entonces por la condicion 2 de la denicion 3, 1

1 2 =
1
: U2 U1 y 2 1 = : V1 V2 , son diferenciables.
As
2 = 1 y 1 1
2 = 1 .
Por lo tanto sustituyendo en (1,2), obtenemos

g2 = 1
2 f 2
= ( 1
1 ) f (1 )
= (1
1 f 1 )
= g1 .

As; g2 es diferenciable en 1 1
2 (p), gracias a la regla de la cadena, pues g1 = 1 f 1 es
diferenciable en 11 (p); y son diferenciables en U2 y V1 respectivamente.

Proposicion 1.3. Sea f : M m N n una funcion diferenciable en un punto de p M. Entonces

f es continua en p.
Demostracion. Dada : V Rn N una parametrizacion alrededor de f (p) existe : U
Rm M una parametrizacion alrededor de p M tal que f ((U)) (V ) y 1 f : U
Rm Rn es diferenciable en 1 (p). Sea g = 1 f , como g es, diferenciable en 1 (p),
entonces g es continua en el mismo punto.
Luego en (U) podemos escribir
f = g 1
Se sigue que f es continua en p.

Proposicion 1.4. (Regla de la Cadena.) Sean M m , N n y Ll variedades diferenciables. Si

f : M N es diferenciable en p M y g : N L es diferenciable en f (p) N, entonces
g f : M L es diferenciable en p M.
Demostracion. Dada : W Rl L una parametrizacion alrededor de g(f (p)), entonces,
existe : V Rn N una parametrizacion alrededor de f (p) tal que g((V )) (W ) y
1 g : V Rn Rl es diferenciable en 1 (f (p)).
Ademas, existe : U Rm M una parametrizacion alrededor de p M tal que
f ((U)) (V ) y 1 f : U Rm Rn es diferenciable en 1 (p). Probemos que
1 g f : U Rm Rl es diferenciable en 1 (p).

1 g f = ( 1 g ) (1 f ).

As, 1 g f : U Rm Rl es diferenciable en 1 (p) pues es la composicion de funciones

diferenciables.
Ahora vamos a introducir el concepto de vector tangente y espacio tangente, para esto antes
desarrollemos estos conceptos en el espacio euclideano Rn , luego extendemos a una variedad dife-
renciable.
Sea p U Rn , donde U es un conjunto abierto y consideremos el siguiente conjunto

Fp (U) = {h : U R/h es diferenciable en p}/ .

 1.1. VARIEDAD DIFERENCIABLE 10

 
Donde h1 h2 si existe una vecindad de V de p tal que h1 V = h2 V .
Se tiene que Dhp : Rn R es una aplicacion lineal tal que para v Rn , entonces Dhp (v) R.
Luego, definimos
v(h) = Dhp (v)
y lo denominamos accion de v sobre h, o tambien derivada de h respecto a v.
Sean f, g Fp (U), entonces

v(f g) = D(f g)p(v)

= f (p)Dgp(v) + g(p)Dfp (v)
= f (p)v(g) + g(p)v(f ).

As

v(f g) = f (p)v(g) + g(p)v(f )

y se llama derivacion en p.
Ademas, para c R y f, g Fp (U), se tiene la linealidad
v(cf ) = cv(f )
v(f + g) = v(f ) + v(g)
Es decir, v : Fp (U) R es funcional lineal.
Notemos que Fp (U) = {w : Fp (U) R/w es funcional lineal} es el espacio dual.

Observacion 1.2. Fp (U) es denominado germen de funciones diferenciables en p.

Ahora ya estamos en condiciones de definir el siguiente conjunto:

Tp Rn = {v Fp (U) /v(f g) = f (p)v(g) + g(p)v(f )}

Es un espacio vectorial. Denominado espacio tangente de Rn en p.

Ahora definimos, lo anterior para curvas.
Definicion 1.6. Sea : (, ) Rn una curva diferenciable en Rn , con (0) = p Rn , y escriba-
mos (t) = (x1 (t), . . . , xn (t)), t (, ), (x1 , . . . , xn ) Rn entonces (0) = (x1 (0), . . . , xn (0)) =
v Rn . Sea g una funcion real en Rn , diferenciable en una vecindad de p. Entonces la derivada de
g a lo largo de v en p esta dado por
 X 
g dxi 
Xn n
d 
(g ) =  = xi (0) g
dt t=0
i=1
xi dt t=0 i=1
xi
.
n 
n
Observacion 1.3. Sean p R y u = (u1, . . . , un ) R , como  Tp Rn entonces
ui p

 (uj ) = ij ,
ui p
donde (
1, si i = j ,
ij =
0, 6 j.
si i =
 1.1. VARIEDAD DIFERENCIABLE 11

n   o

luego  , . . . ,  es una base de Tp Rn .
u1 p un p
A la union puntual de los espacios tangente en cada punto de Rn , es decir
[
Rnp
pRn

se le llama el haz tangente (o fibrado tangente), y se denota T Rn .

Definicion 1.7. Sea M una variedad diferenciable y p M, entonces denimos el espacio tangente
de M en p, como:

Tp M = {v Fp (M) /v(f g) = f (p)v(g) + g(p)v(f ), para todo f, g Fp (M)},

donde
Fp (M) = {f : U R/U M, p U}/ .
Definicion 1.8. (Vector Tangente.) Sea : I M una curva diferenciable en una variedad
diferenciable M, con (0) = p M y sea Fp (M) el conjunto de las funciones en M las cuales son
diferenciables en p. El vector tangente a la curva en p es la funcion (0) : Fp (M) R dada
d
por (0)g = (g )|t=0 , g Fp (M).
 dt

Notese que es el vector tangente en p en la curva coordenada.
xi 0
Lema 1.1. El conjunto Tp M de vectores tangentes en M en el punto p, es igual a Tf el espacio
n  o
vectorial generado por , i = 1, . . . , n
xi 0
Prueba. Sea (0) el vector tangente a la curva en p tal que : I M es diferenciable y sea
: U Rn M una parametrizacion alrededor de p = (0, . . . , 0) y consideremos la funcion
g D, entonces la curva : I M y la funcion g D pueden ser escritas como:

1 (t) = (x1 (0), . . . , xn (0))

g (q) = (x1 , . . . , xn ), q = (x1 , . . . , xn )

respectivamente.
As

d
(0)g = (g )|t=0
dt
d
= g(x1 (t), . . . , xn (t))
dt
X n 


= xi (0) |t=0 g.
i=1
xi

De donde el vector tangente (0) en p puede ser escrito como:

X n 


(0) = xi (0) |t=0 .
i=1
xi
 1.1. VARIEDAD DIFERENCIABLE 12

Por lo tanto, (0) Tp M.

Pn  

Reciprocamente, sea v Tf , entonces v = i=1 i  . Sea : I M, dada en la
xi t=0
parametrizacion por xi = i t y sea g D, entonces,

d
(0)g = (g )|t=0
dt
d
= g(1 x1 , . . . , n xn )|t=0
dt
X n 


= i 0
g.
i=1
x i

Por lo tanto
X
n 


(0) = i
i=1
xi 0
En conclusion
Tp M = Tf .

Definicion 1.9. Sea M m y N n variedades diferenciables y sea f : M N una funcion diferencia-

ble. Para cada punto p M, la diferencial de f en p es la funcion lineal dfp = fp : Tp M Tf (p) N
la cual asocia a cada v Tp M Fp (M) el vector dfp (v) = fp (v) Tf (p) N Ff (p) (N) , denido
como sigue:
fp (v)(g) = v(g f ).
Donde g Ff (p) (N) y (g f ) Fp (M) (osea que g : V N R diferenciable en f (p) V .)
Proposicion 1.5. (Regla de la Cadena.) Si f : M N y g : N L son funciones diferen-
ciable entre variedades y p M, entonces
(g f )p = gf (p) fp .
Prueba. Consideremos la aplicacion,
f p gf (p)
Tp M / Tf (p) N / Tg(f (p)) L

(g f )p (v)(h) = v(h (g f ))
= v((h g) f )
= fp (v)(h g) sea w = fp (v)
= w(h g)
= gf (p) (w)(h)
= gf (p) (fp (v))(h)
= (gf (p) fp )(v)(h) para todo v y para todo h.
Por tanto
(g f )p = gf (p) fp .
 1.2. ORIENTACION 13

Observacion 1.4. La diferencial de la funcion identidad IdM : M M en todo punto p M es

la funcion identidad.
IdTp M : Tp M Tp M,
pues (Id)p (v)(g) = v(g Id) = v(g).
Para todo v Tp M y g : M R diferenciable.
Luego, se tiene que
Idp = IdTp M .

Definicion 1.10. Sean M y N variedades diferenciables. Una funcion f : M N es un difeo-

morfismo si es diferenciable, biyectiva y su inversa f 1 es tambien diferenciable. La funcion f en
un difeomorsmo local en p M si existen vecindades U de p y V de f (p) tal que f : U V es
un difeomorsmo.

Corolario 1.1. Si f : M N es un difeomorfismo entre variedades y p M entonces el diferen-

cial dfp = fp : Tp M Tf (p) N es un isomorfismo lineal entre espacios vectoriales y (fp )1 = f1
f (p)
.

Prueba. Consideremos la aplicacion,

f g
M / N / M.

Entonces g f = IdM y analogamente f g = IdN por ser f un difeomorsmo g es diferenciable,

luego por la regla de la cadena tenemos

(g f )p = gf (p) fp = (IdM )p = IdTp M

(f g)f (p) = fp gf (p) = (IdN )f (p) = IdTf (p) N .

As, fp y gf (p) son isomorsmos y ademas se tiene inmediatamente que (fp )1 = f1
f (p)
.

Observacion 1.5. En particular las parametrizaciones son difeomorfismos. Es decir

: U Rn M una parametrizacion alrededor de p M es difeomorfismo.
Por corlario 1 q : Tq Rn Tp M es un isomorfismo donde q = 1 (p). Esto es q lleva bases de
Tq Rn en bases de Tp M.
Y esto implica que
n    o
 
 = q  para todo i = 1, . . . , n
xi p ui q
es una base de Tp M.

Teorema 1.1. (Teorema de la Funcion Inversa.) Sean M y N vareidades, p M, f : M

N una aplicacion diferenciable tal que dfp es un isomorfismo lineal entonces, existe un entorno
abierto U de p tal que f |U : U f (U) es un difeomorfismo.

1.2. Orientacion
Es un hecho familiar desde calculo vectorial que integrales de linea e integrales de superficie
dependen de la orientacion de la curva o superficie. El objetivo de esta seccion es definir orientacion
para variedad, para tal efecto, antes desarrollemos en espacio vectorial.
 1.2. ORIENTACION 14

1.2.1. Orientacion en Espacios Vectoriales

Sea V un espacio vectorial real de dimension n. Una base ordenada en V es un conjunto
ordenado B = {v1 , , vn } de n vectores linealmente independientes (l.i.). Sea
B = {u1 , , un } otra basePordenada de V , entonces existe una unica matriz A GL(n, R),
A = (aij )1i,jn tal que ui = nj=1 aij vj . A es llamado matriz cambio de base, de la base B para
la base B . Sea B = {B : B, es base ordenada de V}.
Definicion 1.11. Diremos que dos bases B y B de B denen la misma orientacion y denotamos
B B si la matriz cambio de base A GL(n, R) tiene determinante positivo.

Lema 1.2. La relacion sobre B es de equivalencia.

Prueba. Sean B, B , B B y denotamos AB
B a la matriz cambio de base, de la base B para la
base B .
Refexiva. Dada B B, det(AB
B ) = det(In ) = 1 > 0 entonces B B.

Simetrica. Si B B entonces det(AB B B 1
B ) > 0 como AB = (AB ) y det(AB
B ) > 0, entonces

B B.

Transitiva. Si B B y B B entonces det(AB B B
B ) > 0 y det(AB ) > 0 como det(AB ) =
B B
det(AB ) det(AB ) > 0 as B B

Como es una relacion de equivalencia en B, tiene sentido hablar del conjunto cociente B/ ,
el conjunto de las clases de equivalencia. Como cada matriz en A GL(n, R) tiene determinante
positivo o negativo, existe solo dos clases de equivalencia en B/ , presisamos este hecho en el
siguiente lema.
Lema 1.3. El conjunto cociente B/ tiene exactamente dos elementos.
Prueba. Sea B = {u1, . . . , un } base de B. Tomando la base B = {u1 , . . . , un } base de B, se

cumple que det(AB B ) = 1 < 0, luego B B y B/ tiene almenos dos elementos. Veamos que
son los unicos. En efecto, tomando cualquier otra base B , se tiene

0 > det(AB B B
B ) det(AB ) = det(AB )

luego det(AB B
B ) y det(AB ) tienen signos opuestos, lo que nos dice que uno de estos determinantes

es positivo, esto es, B dene la misma orientacion que alguna de las dos bases y as hemos probado
que [B] y[B ] son los unicos elementos de B/ .
Un espacio vectorial orientada es un par (V, O), donde V es un espacio vectorial de dimension
finita y O es una orientacion de V . Dada una orientacion O de V , la otra orientacion la denotamos
por O y es llamado la orientacion opuesta de O.
En un espacio vectorial orientado (V, O), las bases que pertenecen a O son llamadas bases positivas
y las otras son llamadas bases negativas.
Definicion 1.12. Sean (V, O) y (W, O ) espacios vectoriales orientados, con dim V = dim W .
Decimos que un isomorsmo T : V W es positivo si T preserva las orientaciones, es decir, lleva
bases positivas de V en bases positivas de W . Si T no es positivo, decimos que es negativo.
 1.2. ORIENTACION 15

Proposicion 1.6. Sea T : Rm Rm un isomorfismo. Entonces T es positivo si,y solo si, la matriz
de T relativa a la base canonica de Rm tiene determinante positivo.
Demostracion. Inmediata.

Proposicion 1.7. Sean V y W espacios vectoriales, con dim V = dim W , y sea T : V W un iso-
morfismo. Si uno de los espacios vectoriales esta orientado, entonces existe una unica orientacion
en el otro que torna a T un isomorfismo positivo.
Prueba. Supongamos que V esta orientada y sea O una orientacion en V . Si B = {v1 , . . . , vm }
O, entonces C = T (B) = {T (v1 ), . . . , T (vm )} es una base de W , sea O la orientacion de W
determinada por C . Es claro que con estas orientaciones en V y W , T es un isomorsmo positivo.
La unicidad de O es obvia.
Si W esta orientada, la prueba es analoga, tomando esta vez el isomorsmo T 1 : W V .

1.2.2. Orientacion en Variedades

Sean M y N variedades diferenciables, con dim M = dim N = m y f : M N diferenciable.
eq de Tq N.
Para cada p M y cada f (p) = q N elegimos orientaciones Op de Tp M y O

Definicion 1.13. Sea f : M N un difeomorsmo local. Decimos que f es positivo, respecto

a las orientaciones Op y O eq elegidas en Tp M y Tq N respectivamente, si el isomorsmo Df (p) :
Tp M Tf (p) N es positivo, en cada p M. Analogamente, se dene difeomorsmo local negativo.

Definicion 1.14. (Variedad Orientable.) Una variedad diferenciable M es orientable si M

tiene una estructura diferenciable (U , ) tal que para cada y con (U ) (U ) 6= , la
diferencial del cambio de coordenadas 1 tiene determinante positivo.
En caso contrario, diremos que M es no orientable.

Ejemplo 1.2. La esfera unitaria S n1 = {p Rn : |p| = 1} es una variedad orientable.

Veamos:

Ejemplo 1.3. El brado tangente de una supercie abstracta M es siempre orientable.

En efecto.
Sea Tp M = {(p, v) : p M, v Tp M}, es decir, Tp M es el conjunto de los vectores tangentes a
M. Introducimos en Tp M una estructura diferenciable (de dimension 2n). Para efectos de nuestro
ejemplo consideraremos a M como una variedad de dimension dos.
Sea (p, v) Tp M y sea el sistema de coordenadas : U M, U R2 abierto y p = (u, w),

como v Tp M, entonces v = + ; , R.
u w
2
Sea : U R T M dada por (u, w, , ) = ((u, w), d(u,w)(, )) coordenadas en una
vecindad de (p, v) T M.
Sean 1 : U1 R2 T M y 2 : U2 R2 T M dos sistemas de coordenadas de (p, v) T M. Si
(p, v) 1 (U1 R2 ) 2 (U2 R2 ), entonces p = 1 (u1 , w1 ) = 2 (u2 , w2 ), con (u1, w1 ) U1 R2
y (u2, w2 ) U2 R2 entonces v = 1 1
u1
1
+ 1 w 1
= 2 2
u2
2
+ 2 w 2
. As tenemos.

21 1 (u1 , w1 , 1 , 1 ) = 21 (p, v)


= 21 1 (u1 , w1 ), d(21 1 )(u1 ,w1) (1 , 1 ) ,
 1.2. ORIENTACION 16

donde 21 1 C y d(21 1 ) C y hagamos 21 1 = (1 , 2 ) y d(21 1 ) = (3 , 4 ).

As
 1 1 1 1 
 
 u1 w1 1 1 
 2 2 2 2 
 u1 w1 1 1 
J(21 1 ) =  3 3 3 
 u31 w 1 

 4 4 4
1 1
 4 
u1 w1 1 1
 
 1 1 0 0 
 u1 w1
 2 2 0 0 
 u1 w1
=  3 3 3 
 u13 w 1 
 4 41

1

 u w 4 .
4
1 1 1 1

Entonces, como    
 1 1   3 3 
   
 u1 w1  =  1 1  = A.
 2   4 4 
 2
   
u1 w1 1 1
(21 1 )1
Puesto que, como 21 1 = (1 (u1 , w1 ), 2 (u1 , w1)) entonces 1
u1
= u1
y
3 = d(21 1 )1 , 4 = d(21 1 )2 .
As,
   
(21 1 )1 (21 1 )1 1
d(21 1 )1 (1 , 1 ) =
u1 w1 1
(21 1 )1 (21 1 )1
= 1 + 1 .
u1 w1
Lo mismo ocurre para 4 .
As
1 (21 1 )1
= .
1 1
Analogamente, se verican las demas.
Por lo tanto,
J(21 1 ) = A2 > 0.
De lo cual se concluye que T M es orientable.

Ejemplo 1.4. La Banda de Mobius es no orientable.

En efecto, sea R =]0, 5[]0, 1[ R2 . Para cada 0 i < j 5 entonces, consideremos los rectangulos
abiertos Ri,j =]i, j[]0, 1[. La banda de Mobius es el espacio cociente R/ , donde es la relacion
de equivalencia denida como sigue: en el rectangulo R1,4, es la identidad, es decir cada punto
se identica solo consigo mismo, y sobre los rectangulos R0,1 y R4,5 , identica cada punto
(x, y) R0,1 con el punto (x + 4, 1 y) R4,5 .
Sea : R R/ = M 2 la proyeccion canonica. Note que /R0,3 y /R2,5 son homeomorsmos
sobre los abiertos U = (R0,3) y V = (R2,5), respectivamente.
Sean = (/R0,3 )1 : U R0,3 R2 y = (/R2,5 )1 : V R2,5 R2 los homeomorsmos
internos, entonces (U, ) y (V, ) son cartas enM 2 , con U V = (R2,3 R0,1 ) 6= y U, V conexos.
Claramente U V = M 2 . Ahora veriquems que el cambio de coordenadas es de clase C . Tenems
 1.3. VARIEDAD CON BORDE 17

(u V ) = R2,3 R0,1 y (U V ) = R2,3 R4,5 , sobre R2,3 , 1 es igual a la identidad y

sobre R0,1 , 1 (x, y) = (x + 4, 1 y).
Por lo tanto A = {(U, ) , (V, )} es un atlas C sobre la banda de Mobius. Ahora,

1 1 para (x, y) R2,3 ,
det J( )(x, y) =
1 para (x, y) R0,1 .

Luego la banda de Mobius es no orientable.

Definicion 1.15. (Campo Vectorial.) Un campo vectorial X en una variedad diferenciable M

es una correspondencia que asigna a cada punto p M un vector X(p) Tp M. El campo vectorial
X es diferenciable si para toda funcion diferenciable g : M R, Xg es tambien diferenciable.
Menciones a continuacion dos resultados importantes A Rn se dice compacto si es cerrado y
acotado o equivalentemente, si todo cubrimiento de A admite un subcubrimiento nito. Diremos
que una variedad M n es compacta si lo es como subconjunto de Rn .

1.3. Variedad con Borde

En esta seccion generalizamos el concepto de variedad de modo a incluir aquellas que tienen
borde, como por ejemplo la bola unitaria en espacio euclideano, cuyo borde es la esfera unitaria
correspondiente.
Definicion 1.16. Un semi-espacio de Rn es el espacio topologico
Hn = {(x1 , , xn ) Rn ; x1 0}, con la topologa inducida de Rn . Es decir, A Hn es un
conjunto abierto si, existe un conjunto abierto U Rn tal que A = U Hn .
El punto (x1 , . . . , xn ) Hn con x1 < 0 son llamados puntos interiores de Hn , y los puntos con
x1 = 0 son llamados punto borde de Hn . Estos dos conjuntos son denotados por int(Hn ) y Hn
respectivamente.
int(Hn ) = {(x1 , . . . , xn ) Rn /x1 < 0}
(Hn ) = {(x1 , . . . , xn ) Rn /x1 = 0}

Definicion 1.17. Diremos que una funcion f : V R denida en un conjunto abierto V de Hn

es diferenciable si existe un conjunto abierto U V y la funcion diferenciable f en U tal que la
restriccion de f a V es igual a f . En este caso, la diferencial fp = dfp , p V , de f en p se dene
dfp = df p .

Definicion 1.18. Sea f : S Rn T Rn , f es difeomorsmo si ella es diferenciable y existe

g : T S diferenciable con g f = IdS , f g = IdT .

Proposicion 1.8. Sea U Rn un conjunto abierto, S Rn un conjunto cualquiera, y

f : U S un difeomorfismo. Entonces S es abierto en Rn .
Demostracion. Sea f (p) un punto arbitrario en S, con p U. Como f : U S es un difeomor-
smo, entonces existe un conjunto abierto V Rn con S V y g : V Rn diferenciable tal que
g|S = f 1 . As,
f g
U / V / Rn
satisface
g f = IdU : U U Rn ,
 1.3. VARIEDAD CON BORDE 18

la funcion identidad en U. Por la regla de la cadena,

gf (p) fp = idTp U : Tp U Tp U Tp Rn .
Luego fp es inyectiva, como U y V tienen la misma dimension, entonces fp : Tp U Tf (p) V es un
isomorsmo. Por teorema de la funcion inversa, f es localmente invertible en p. Esto es, existen
vecindades Up de p en U y Vf (p) de f (p) en V tal que f : Up Vf (p) es un difeomorsmo.
Ahora se tiene
f (p) Vf (p) = f (Up ) f (U) = S.
Por tanto, S es abierto en Rn .
Corolario 1.2. Sea U y V conjuntos abiertos en Hn y f : U V un difeomorfismo. Entonces f
envia puntos interiores a puntos interiores y puntos de borde a puntos de borde.
Prueba. Como Hn Rn , entonces int(Hn ) es un conjunto abierto de Rn , luego
U int(Hn ) es abierto en Rn , por la proposicion anterior f (U int(Hn )) es abierto en Rn .
Esto es f (U int(Hn )) int(Hn ), de lo contrario intersecta al borde del semiespacio.
Si p es un punto borde en U (Hn ), entonces f 1 (f (p)) = p es un punto borde. Como
f 1 : V U es un difeomorsmo, luego f (p) no puede ser punto interior. Asi f (p) es un
punto borde.
Es decir f (U (Hn )) (Hn ).

Definicion 1.19. (Variedad con borde.) Una variedad diferenciable n-dimensional con borde
regular es un conjunto M junto con una familia de funciones inyectivas
: U Hn M de conjunto abiertos de Hn en M tal que:
S
1. (U ) = M.
1
2. Para cada y con (U ) (U ) = W 6= 0, los conjuntos 1 (W ) y (W ) son
conjuntos abiertos en Hn y las funciones 1 1
, son diferenciables.

3. La familia (U , ) es maximal relativa a 1 y 2.

Definicion 1.20. (Punto Borde y Punto Interior.) Un punto p M n se dice que es un punto
borde de M si para alguna parametrizacion : U Hn M alrededor de p si 1 (p) = q es un
punto borde de Hn y tenemos que (0, x2 , . . . , xn ) = p. Similarmente p es un punto interior de M
si 1 (p) es un punto interior de Hn . Y lo denotamos M al conjunto de puntos borde de M y
M el conjunto de puntos interiores de M respectivamente.
M = {p M/1 (p) (Hn )} = {p M/1 (p) = q = (0, x2 , . . . , xn )}, y
M = M \ M
Ejemplo 1.5. Sea M el disco unitario cerrado en R2 ,
M = {x R2 / k x k 1}
Por ejemplo 1 M es una variedad diferenciable 2-dimensional, ademas M es una variedad con
borde y M = S 1 donde S 1 es el circulo unitario, M = M \ S 1 .
Ahora consideremos el disco unitario abierto en R2 ,
N = {x R2 / k x k< 1}
notemos que N = y N = N.
 1.3. VARIEDAD CON BORDE 19

Ejemplo 1.6. Consideremos M = {(x, y, z) R3 ; z = x2 + y 2 , z z0 , z0 > 0}, el conjunto de

puntos del paraboloide de rotacion acotado superiormente por z = z0 . Sea V una vecindad de un
punto p = (x, y, z0 ) en la frontera de M, notese que V M es homeomorfo a un conjunto abierto
del semiespacio H2 = {(x1 , x2 ) R2 ; x1 0}, como se muestra en la Grafica 4.

H2

Grafica 4.

Proposicion 1.9. La definicion de punto frontera y punto interior no depende de la eleccion de

la parametrizacion.

Demostracion. Sea p un punto borde (o punto interior), entonces existe una parametrizacion
1 : U1 Hn M alrededor de p. Ahora, sea 2 : U2 Hn M otra parametrizacion alrededor
de p, entonces W = 2 (U2 ) 2 (U2 ) 6= , y los conjuntos 1 n 1 n
1 (W ) H , 2 (W ) H son
abiertos en Hn tal que

= 1 1 n 1
2 1 : 1 (W ) H 2 (W ) H
n

es un difeomorsmo. Luego por el Corolario 2 lleva puntos borde en puntos borde y puntos
interiores en puntos interiores.

1
q1

q2
2

1
1 2

Grafica 5.

Proposicion 1.10. La frontera M de una variedad diferenciable n-dimensional M es una (n1)-

variedad diferenciable.
 1.3. VARIEDAD CON BORDE 20

Demostracion. Sea p M un punto borde de M, y : U Rn M una parametrizacion

alrededor de p entonces [
(U ) = M.

Consideremos U e = U (Hn ), como (Hn ) = Rn1 vemos que U

e es abierto en Rn1 .
Ahora restrinjimos las parametrizaciones
e (U ) M, y
e = |Ue : U

e (U ) M,
e = |Ue : U

donde : U Rn M es otra familia de parametrizacion alrededor de p con U e = U (Hn )

un conjunto abierto en Rn1 . y el conjunto W = (U ) (U ) M 6= entonces los conjuntos
e )1 (W ) ((Hn ) = Rn1 ) y (
( e )1 (W ) ((Hn ) = Rn1 ) son abiertos de (Hn ) = Rn1 tal
que el cambio de coordenada

e )1
( e )1 (W ) (
e : ( e )1 (W )

es un difemorsmo.
e ,
Es decir {U e } es una estructura diferenciable para el borde de la variedad y dim M = n 1.

Proposicion 1.11. Si M n es orientable, una orientacion para M induce una orientacion para su
borde M.
Demostracion. Consideremos p M un punto de borde de M y sea : U Hn M una
parametrizacion alrededor de p entonces 1
(p) = q = (0, x2 , . . . , xn ) U .
Sea
U = U (Hn ).
Por identicacion del conjunto (Hn ) con Rn1 , vemos que U es un conjunto abierto en Rn1 .
Sea la restriccion de a U . Por Corolario 2 se tiene que (U ) M.
Por demostrar que (U ) (U) 6= , entonces el cambio de coordenadas tiene jacobiano
positivo, es decir; det(( )1 )q > 0, para todo q, cuya imagen por alguna parametrizacion
esta en la frontera. Donde = U , U = U Hn con : U Hn M una parametrizacion

alrededor de p.

En efecto. El cambio de coordenadas 1
toma puntos de la forma (0, x2 , . . . , xn ) en un punto

de la forma (0, x2 , . . . , xn ) por el corolario 2.
Ademas, el cambio de coordenadas viene dado por:

1
(0, x2 , . . . , xn ) = (0, x2 , . . . , xn ).
 1.3. VARIEDAD CON BORDE 21

Sea q = (0, x2 , . . . , xn ) un punto cuya imagen esta en el borde, entonces

x x x

x
1
x
2
x
1

x 1
1

n
2 x2 x2
x1 x2 xn
d(1
)q = . . ..
.. .. .


xn xn x
x
x2 xn
n

x1
1
0 0
x1 x x
0 2
2
x2
xn

= . . ..
.. .. .

x x
0 xn xn
2 n

As,
 x x

 2 2 

 x2 x 
.. 
n
1 x1  .
d( )q = .. . 
x1  xn x 
 x x
n

2 n

x1
= det(1
)
x1
pero,

x1 x1 (q + ten ) x1 (q)
(q) = lm
x1 t0 t
x1 (t, x2 , . . . , xn ) x1 (0, x2 , . . . , xn )
= lm
t0 t

x (t, x2 , . . . , xn )
= lm 1 .
t0 t
Por tanto,
x1 x1 (t, x2 , . . . , xn )
(q) = lm > 0.
x1 t0 t
As
x1
(q) > 0.
x1
Por lo tanto

det d(1
.
)
Por consiguiente el cambio de coordenadas, tiene jacobiano positivo, por lo que M induce una
orientacion sobre su M.
 1.4. PARTICION DIFERENCIABLE DE LA UNIDAD. 22

1.4. Particion Diferenciable de la Unidad.

Definicion 1.21. Sea M n una variedad diferenciable y : M R una funcion, el soporte de
es el conjunto
sop() = {p M : (p) 6= 0}

Proposicion 1.12. (Existencia de una Particion Diferenciable de la Unidad.) Sea M

una variedad compacta y sea {V } un cubrimiento de M por vecindades coordenadas. Entonces
existen funciones diferenciables 1 , . . . , m tales que:
Pm
1. i=1 i = 1.

2. 0 i 1, y el soporte de i esta contenido en alguna vecindad coordenada Vi del cubri-

miento {V }.

Para demostrar esta proposicion es necesario, probar antes dos lemas.

Observacion 1.6. La bola de centro cero y radio r > 0 viene dada por

Br (0) = {p Rn /|p| < r}

Lema 1.4. Existe una funcion diferenciable : B3 (0) R tal que

1. (p) = 1, si p B1 (0)

2. 0 < (p) 1, si p B2 (0)

3. (p) = 0, si p B3 (0) B2 (0)

Grafica 6.

Demostracion. Denamos la funcion : R R dada por Grafica 6.

( 1
e (t+1)(t+2) , t (2, 1)
(t) =
0, t R (2, 1)
 1.4. PARTICION DIFERENCIABLE DE LA UNIDAD. 23

1
La cual es C en todas partes, por tratarse de una traslacion de la funcion e( x2 ) . Ahora tomemos
la integral Z t
(t) = (s)ds.

Y obtenemos una funcion diferenciable ver Grafica 6., cuyo valor maximo (en t = 1) es dada
por Z 1
(s)ds = A.
2
(t)
Denimos (t) = A
(note que A 6= 0) una funcion diferenciable con las siguientes propiedades:

1. (t) = 0, si t 2.

2. 0 < (t) 1, si t (2, 1).

3. (t) = 1, si t 1.

As, existe una funcion : B3 (0) R dada por (p) = (|p|), p B3 (0); (para el caso de R2
tiene la forma de la Grafica 6. 1(c)), que cumple con las tres condiciones.

Lema 1.5. Sea M n una variedad diferenciable, sea p M y sea : U Rn M una parametri-
zacion alrededor de p, entonces es posible obtener una parametrizacion
: B3 (0) M alrededor de p de tal modo que (B3 (0)) (U) y que 1 (p) = (0, . . . , 0).
Demostracion. Sea x0 = (x01 , . . . , x0n ) U tal que (x0 ) = p. Como U es abierto existe r > 0
tal que Br (x0 ) U.
Sea T la traslacion en Rn que lleva x0 = (x01 , . . . , x0n ) a (0, . . . , 0), y sea H : Rn Rn una funcion
dada por H(s) = 3r s, para cada s Rn .
entonces H T : Br (x0 ) B3 (0).
En efecto.
Sea q H T (Br (x0 )), entonces H T (y1, . . . , yn ) = q, (y1 , . . . , yn ) Br (x0 ).
As, por denicion de H
3
H(T (y1, . . . , yn )) = T (y1, . . . , yn ) = q,
r
pero, 3 
 
 T (y 1 , . . . , y n  < 3
)
r
entonces |q| < 3,
Por lo tanto, q B3 (0).
Lo que implica que, H T (Br (x0 )) B3 (0). Ahora bien, denamos la parametrizacion : B3 (0)
M por = T 1 H 1 que cumple que (B3 (0)) (U) y 1 (p) = (0, . . . , 0).
En efecto.
Sea x (B3 (0)) implica que x = (y), y B3 (0) pero, por denicion de nos queda, x =
T 1 H 1 (y), y B3 (0).
Por lo tanto, x = T 1 (y ), y B3 (0), y = 3r y , y Rn .
As, |y | = | 3r y| < r, entonces x = T 1 (y ), y Br (0), lo que implica que x = (x ), donde
x Br (x0 ).
Por consiguiente x = (x ), x U, pues, Br (x0 ) U.
Por lo tanto, (B3 (0)) (U).
 1.4. PARTICION DIFERENCIABLE DE LA UNIDAD. 24

Ademas, sea p M, : U Rn M una parametrizacion alrededor de p. Y consideremos

: B3 (0) M, = T 1 H 1 . Por lo tanto.
1 (p) = ( = T 1 H 1 )1 (p)
= ((T 1 H 1 )1 1 )(p)
= (H T 1 )(p)
= (H T )(x01 , . . . , x0n )
3
= T (x01 , . . . , x0n )
r
3
= (0, . . . , 0)
r
= (0, . . . , 0).
Por lo tanto, 1 (p) = (0, . . . , 0).
Ahora, estamos en condiciones para probar la proposicion 9.
Para cada p M consideremos la parametrizacion p : B3 (0) M dada por el lema 5, con
p (B3 (0)) = Vp V , para algun V del cubrimiento {V } (donde la que se encuentra en la
denicion de en el lema 5, es una parametrizacion alrededor de p tal que : u Rn V ).
El conjunto Wp = p (B1 (0)) Vp pues B1 (0) B3 (0).
Por lo tanto, el conjunto {Wp } es un cubrimiento abierto de M. Como M es compacto, existe un
subcubrimiento nito , digamos W1 , . . . , Wm y tambien V1 , . . . , Vn es un cubrimiento de M.
Denimos la funcion i : M R, i = 1, . . . , m dada por.
(
i1 (p), si p Vi
i (p) =
0, si p M Vi ,

donde : B3 (0) R es la funcion dada en el lema 4 y las i son funciones diferenciables tales que
sop(i ) Vi , pues

p sop(i ) p p M : i (p) 6= 0

Br (p) p M : i (p) 6= 0 6=

p p M : i (p) 6= 0
i (p) 6= 0
i1 (0) 6= 0
i1 B2 (0) B3 (0)
p Vi .
As, sop(i ) Vi .
Finalmente denimos i por
i (p)
i (p) = Pm , p M, i = 1, . . . , m.
j=1 j (p)

Las funciones i as construidas satisfacen las condiciones 1 y 2.

Nota 1.1. Una familia de funciones {1 , . . . , m } como en la proposicion anterior se llama una
particion de la unidad subordinada al cubrimiento {V1 , . . . , Vm }.
 2
FORMAS DIFERENCIALES

El objetivo de este captulo es denir en Rn campos de formas alternantes que seran usadas
mas tarde para usar resultados geometricos.
En orden a jar ideas, iniciaremos nuestro trabajo en el espacio 3-dimensional R3 . Mas adelante
generalizaremos el concepto de formas diferenciales a variedades diferenciables que se usara en el
captulo siguiente.

2.1. k-Formas.
A la union de los espacios duales de Rnp en cada punto p de Rn , es decir
[
(Rnp )
pRn

se llama el haz cotangente (o brado cotangente) y se denota (T Rn )

Nota 2.1. Una 0-forma es una funcion f : U Rn R de clase C (U).

La base canonica {(e1 )p , (e2 )p , (e3 )p } de R3p induce una base dual {(1 )p , (2 )p , (3 )p } de (R3p ) , dada
por

0 ; i 6= j
(i )p (ej )p =
1 ; i=j

Proposicion 2.1.
(dxi )p = (i )p

Prueba. Consideremos las proyecciones i : R3 R dadas por i (x) = xi , donde x = (x1 , x2 , x3 )

para cada i = 1, 2, 3,
como i es una 0-forma diferenciable, di es el diferencial, entonces

25
 2.1. K-FORMAS. 26

(dx1 )p (v) = Dx1 v

v1
= 1 0 0 v2

v3
= v1 .

Pero, (1 )p (v) = v1 , luego (i )p (v) = vi para todo i = 1, 2, 3.

Por tanto,
(dxi )p (v) = (i )p (v) para todo v R3 .
As, (dxi )p = (i )p .

Nota 2.2. Esta, es la base dual de la base canonica que coincide con el diferencial de las funciones
coordenadas, esto justica que ahora en adelante la base dual de {e1 , e2 , e3 } sera {dx1 dx2 dx3 }.
Por lo que ya estamos preparados para dar la siguiente denicion.

Definicion 2.1. (1-Forma) Una forma lineal en un campo (o una 1-forma) es una funcion que
asigna a cada punto p en R3 un elemento p (R3p ) tal que:

p = a1 (p)(dx1 )p + a2 (p)(dx2 )p + a3 (p)(dx3 )p

donde ai ; i = 1, 2, 3 son funciones reales en R3 .

Por otra parte consideremos 2 (R3p ) el conjunto de todas las funciones : R3p R3p R que son:

Bilineales; es decir, es lineal en cada una de sus variables.

Alternante; es decir, (up , vp ) = (vp , up ).

Si 1 , 2 (R3p ) , denimos el producto de 1 y 2 por:

 
1 (up ) 1 (vp )
1 2 (up , vp ) = det
2 (up ) 2 (vp ).
Por ejemplo, sean = 2dx1 3dx2 y 2 = dx1 + dx2 . Entonces 1 2 esta dado por
 
1 (x) 1 (y)
1 2 (x, y) = det
2 (x) 2 (y)
= 1 (x)2 (y) 1 (y)2(x)
= (2x1 3x2 )(y1 + y2 ) (2y1 3y2 )(x1 + x2 )
= 5x1 y2 5x2 y1 .

Nota 2.3. como (p, v) R3p y lo denotamos vp R3p , desde ahora en adelante si no hay ningun
incoveniente solo escribiremos con v a los elementos de R3p .

Teorema 2.1. Sean 1 , 2 (R3p ) . Entonces

1. 1 2 es bilineal y alternante

2. 1 2 = 2 1
 2.1. K-FORMAS. 27

3. (dx1 )p (dx2 )p ,(dx1 )p (dx3 )p y (dx2 )p (dx3 )p forman una base para 2 (R3p ) .
Sean (dxi )p , (dxj )p (Rnp ) entonces por lo anterior (dxi )p (dxj )p 2 (R3p ) que lo denotamos
por (dxi dxj )p .
Demostracion. 1.
Sean u, v, w R3p y R3 entonces
 
1 (u + v) 1 (w)
1 2 (u + v, w) = det
2 (u + v) 2 (w)
 
1 (u) + 1 (v) 1 (w)
= det
2 (u) + 2 (v) 2 (w)
   
1 (u) 1 (w) 1 (v) 1 (w)
= det + det
2 (u) 2 (w) 2 (v) 2 (w)
= 1 (u, w) 2 (u, w) + 1 (u, w) 2 (u, w).
Analogamente se prueba la linealidad en la otra variable. Por lo tanto, 1 2 es lineal en cada
variable.
1 2 es alternante.
En efecto.
 
1 (u) 1 (v)
1 2 (u, v) = det
2 (u) 2 (v)
 
1 (v) 1 (u)
= det
2 (v) 2 (u)
= 1 2 (v, u).
Por lo tanto, 1 2 es bilineal y alternante. Luego 1 2 2 (R3p ) .
2.
 
1 (u) 1 (v)
1 2 (u, v) = det
2 (u) 2 (v)
 
2 (u) 2 (v)
= det
1 (u) 1 (v)
= 2 1 (u, v).
3.
Para demostrar que (dx1 dx2 )p , (dx1 dx3 )p y (dx2 dx3 )p son linealmente independientes,
denimos
= 1 (dx1 dx2 )p + 2 (dx1 dx3 )p + 3 (dx2 dx3 )p ,
y supongamos que = 0 debemos mostrar que 1 = 2 = 3 = 0.
Si i 6= j,
 

dxi (ek ) dxi (el )
(dxi dxj )p (ek )p , (el )p = det
dxj (ek ) dxj (el )

1 ; i = j, j = l
= 1 ; i = l, j = k

0 ; en cualquier otro caso.
 2.1. K-FORMAS. 28

De aqu se tiene que,

(e1 )p , (e2 )p = 1 ,


(e1 )p , (e3 )p = 2 ,


(e2 )p , (e3 )p = 3 .
Por lo tanto, como = 0, 1 = 2 = 3 = 0. Ahora mostraremos que (dx1 dx2 )p , (dx1 dx3 )p y
(dx2 dx3 )p genera el espacio 2 (R3p ) . Entonces

X
3 3
X 
(xp , yp ) = xi (ei )p , yj (ej )p
i=1 j=1
3 X
X 3


= xi yj (ei )p , (ej )p .
i=1 j=1

P P

Pues xp , yp R3p entonces 3i=1 xi (ei )p y 3j=1 yj (ej )p como es alternante (ei )p , (ei )p = 0 y



(ei )p , (ej )p = (ej )p , (ei )p .
Por lo que
X

(xp , yp ) = (xi yj xj yi ) (ei )p , (ej )p
1ij3




= (x1 y2 x2 y1 ) (e1 )p , (e2 )p + (x1 y3 x3 y1 ) (e1 )p , (e3 )p + (x2 y3 x3 y2 ) (e2 )p , (e3 )p .

Notese que

xi yj xj yi = (dxi )p (xp )(dxj )p (yp ) (dxj )p (xp )(dxi )p (yp )

= (dxi ) dxj )p (xp , yp ).




Si 1 = (e1 )p , (e2 )p , (e1 )p , (e3 )p y (e2 )p , (e3 )p , entonces

= 1 (dx1 ) dx2 )p + 2 (dx1 ) dx3 )p + 3 (dx2 ) dx3 )p .

Corolario 2.1. El conjunto 2 (R3p ) de funciones bilineales y alternantes es un espacio vectorial

de dimension 3.
Demostracion. Sean , 2 (R3p ) y R entonces por demostrar + 2 (R3p ) , esto es
+ : R3p R3p R es bilineal y alternante.
En efecto. Sean u, v, w R3p y R entonces,

+ (u + v, w) = ()(u + v, w) + (u + v, w)
= [(u, w) + (v, w)] + [(u, w) + (v, w)]
= [(u, w) + (u, w)] + [(v, w) + (v, w)]
= ( + )(u, v) + ( + )(v, w).

Analogamente
+ (u, v + w) = ( + )(u, v) + ( + )(v, w).
 2.1. K-FORMAS. 29

Por lo tanto, + es bilineal.

Por otra parte

+ (u, v) = ()(u, v) + (u, v)

= (u, v) + (u, v)
= (1)(v, u) + (1)(v, u)
= (1)[(v, u) + (v, u)]
= (1)[ + ](v, u).

As, + es alternante.
Ademas, como (dx1 dx2 )p , (dx1 dx3 )p y (dx2 dx3 )p es base para 2 (R3p ) , tiene dimension 3.
Por el teorema anterior el conjunto {(dxi dxj )p : i < j} es una base de 2 (R3p ) y cumple con
las siguientes propiedades.
1. (dxi dxj )p = (dxj dxi )p , i 6= j
2. (dxi dxi )p = 0.
Observacion 2.1. Considerar i < j se debe al hecho de que por la proposicion 2 antes mencionado
((dxi dxj )p = (dxj dxi )p ), al tener los dos elementos de la base, uno de ellos se puede escribir
como combinacion del otro y viceversa, as tendriamos elementos dependientes en el conjunto, lo
que dejara de ser una base.
Definicion 2.2. (2-Forma.) Una forma bilineal alternante o una 2-forma en R3 es una funcion
que asigna a cada p R3 un elemento (p) 2 (R3p ) , donde se puede escribir de la forma:

(p) = a12 (p)(dx1 dx2 )p + a13 (p)(dx1 dx3 )p + a23 (p)(dx2 dx3 )p

donde aij son funciones reales en R3 .

Definicion 2.3. (2-Forma Diferenciable.) Diremos que es diferenciable si las funciones aij ,
son diferenciables; es decir, aij : U R3 R, donde U es un conjunto abierto en R3 y como
siempre lo denotamos aij C (U).

Ahora, podemos generalizar la nocion de forma para Rn , donde Rnp es el espacio tangente de Rn
en el punto p y (Rnp ) es el espacio dual. Sea k (Rnp ) el conjunto de todas las funciones k-lineales
alternantes, de la forma : Rnp . . . Rnp R, es decir es lineal en cada una de sus variables y
| {z }
kveces
cambia de signo en el intercambio de dos argumentos consecutivos. Con las operaciones usuales de
funciones k (Rnp ) es un espacio vectorial. Dado 1 , . . . , k (Rnp ) , podemos obtener un elemento
1 . . . k de k (Rnp ) dada por:

1 . . . k (v1 , . . . , vk ) = det(i (vj )), con i, j = 1, . . . , k.

Se sigue de las propiedades de los determinantes que 1 . . . k es k-lineal y alternante. En

particular (dxi1 )p . . . (dxik )p pertenece a k (Rnp ) , con i1 , . . . , ik = 1, . . . , n, denotado por
(dxi1 . . . dxik )p .
Teorema 2.2. El conjunto de las {(dxi1 . . . dxik )p : i1 < . . . < ik , ij {1, . . . , n}}, es una base
para k (Rnp ) .
 2.1. K-FORMAS. 30

Demostracion. Se demostraran tres armaciones dadas a continuacion:

Afirmacion 1.
Si i1 < . . . < ik y j1 < . . . < jk , entonces
(
1, i1 , . . . , ik = jk
(dxi1 . . . dxik )p (ej1 , . . . , ejk ) =
0, en otro caso.

En efecto, consideremos = det(dxil )(ejn ) y supongamos que i1 > j1 , entonces ik > . . . > i1 > j1 .
Por lo tanto,
dxil (ej1 ) = 0 implica que det(dxil (ej1 )) = 0. Supongamos que j1 > i1 , entonces jk > . . . > j1 > i1 .
As dxi1 (ejn ) = 0 implica que det(dxil (ejn )) = 0.
Por consiguiente,
para i1 6= j1 se tiene que = 0.
Ahora, supongamos que i1 6= j1 y i2 6= j2 .
Para i2 > 2 se tiene que ik > . . . > i2 > j2 entonces dxil (ej2 ) = 0 implica que = 0.
Para j2 > i2 se tiene que jk > . . . > j2 > i2 entonces dxil (ej2 ) = 0.
Repitiendo el proceso, supongamos que i1 = j1 , . . . , ik1 = jk1 y ik 6= jk . Para ik > jk tal que
ik > jk > . . . > j1 entonces dxik (ejn ) = 0 implica que = 0. Y por ultimo supongamos que
i1 = j1 , . . . , ik = jk entonces dxil (ejn ) = 1, l = 1, . . . , k, n = 1, . . . , k. Por lo tanto = 1.
As. (
1, i1 = j1 , . . . , ik = jk
(t) =
0, en otro caso.
Afirmacion 2.
Los elementos de A = {(dxi1 . . . dxik )p : i1 < . . . < ik , ij {1, . . . , n}}, son linealmente
independientes.
En efecto, consideremos X
ai1 <...<ik dxi1 . . . dxik = 0. (2.1)
i1 <...<ik

Apliquemos la expresion (2.1) a (ej1 , . . . , ejk ) donde, j1 < . . . < jk , jl {1, . . . , n} obtenemos por
la armacion que:
((dxi1 . . . dxik )p )(e1 , . . . , ejk ) = 1, cuando i1 = j1 , . . . , ik = jk .
As,
X
ai1 <...<ik dxi1 . . . dxik = aj1 ...jk
i1 <...<ik

= 0.
Por lo tanto, los elementos de A son linealmente independientes.
Afirmacion 3.
Si k (Rnp ) , entonces es una combinacion lineal de la forma:
X
= ai1 <...<ik dxi1 . . . dxik .
i1 <...<ik

En efecto, sea k (Rnp ) arbitrario, y consideremos

X
= (ei1 , . . . , eik )dxi1 . . . dxik . (2.2)
i1 <...<ik
 2.1. K-FORMAS. 31

Notese que g k (Rnp ) , pues es una funcion k-lineal alternante, donde (ei1 , . . . , eik ) pertenece
a R.
Ademas, evaluando el vector (ei1 , . . . , eik ) en la ecuacion (2.2), se tiene que (ei1 , . . . , eik ) =
(ei1 , . . . , eik ), para todo i1 , . . . , ik , lo que implica que
= (2.3)
Sea.
(ei1 , . . . , eik ) = ai1 ...ik . (2.4)
Por lo tanto, sustituyendo (2.3) y (2.4) en (2.2)
X
= ai1 <...<ik dxi1 . . . dxik .
i1 <...<ik

Luego, todos los elementos de k (Rnp ) se escribe como combinacion lineal de los elementos de la
base.
En conclusion, el conjunto {(dxi1 . . . dxik )p : i1 < . . . < ik , ij {1, . . . , n}} es una base para
k (Rnp ) .
Definicion 2.4. (k-Forma Exterior.) Una k-forma exterior en Rn es una funcion que asocia
a cada p en Rn un elemento (p) k (Rnp ) ; por teorema 3, puede ser escrito como:
X
(p) = ai1 <...<ik (p)(dxi1 . . . dxik )p ,
i1 <...<ik

ij {1, . . . , n} donde ai1 <...<ik son funciones reales en Rn . Cuando las ai1 <...<ik son funciones
diferenciables, es llamado una k-forma diferencial.
Ejemplo 2.1. En R4 tenemos los siguientes tipos de formas exteriores (donde ai , aij , . . . , son
funciones en R4 ):
1. 0-formas, funciones diferenciables en R4 .
2. 1-formas, a1 dx1 + a2 dx2 + a3 dx3 + a4 dx4 .
3. 2-formas,
a12 dx1 dx2 + a13 dx13 dx1 dx3 + a14 dx1 dx4 + a23 dx2 dx3 + a24 dx2 dx4 + a34 dx3 dx4 .

4. 3-formas,
a123 dx1 dx2 dx3 + a124 dx1 dx2 dx4 + a134 dx1 dx3 dx4 + a234 dx2 dx3 dx4 .

5. 4-formas, a1234 dx1 dx2 dx3 dx4 .

 
n n!
Es importante resaltar que la dimension de la base viene dada por = .
k k!(n k)!
Observacion 2.2. Denotaremos por I la k-upla (i1 , . . . , ik ), i1 < . . . < ik , ij {1, . . . , n} y
usaremos la siguiente notacion para :
X
= aI dxI .
I
 2.1. K-FORMAS. 32

P
Definicion
P 2.5. (Suma de k-Formas.) Sean y dos k-formas, donde = I aI dxI y =
I bI dxI , entonces podemos denir la suma de k-formas, como la k-forma:
X
+ = (aI + bI )dxI .
I

Ejemplo 2.2. Sean las 2-formas, = x2 dxdy + y 2 xdydz + y sin(z)dxdz y = ydydz entonces.

+ = x2 dxdy + (y 3 x + y)dydz + y sin(z)dxdz.

P
Definicion 2.6.
P (Producto Exterior.) Sean = I aI dxI , I = (ii , . . . , ik ), i1 < . . . < ik una
k-forma y = I bJ dxJ , J = (j1 , . . . , jk ), j1 < . . . < jk una l-forma, entonces el producto exterior
es una (k + l)-forma y se dene como:
X
= aI bJ dxI dxJ .
IJ

Ejemplo 2.3. Si = xdx ydy y = xdxdz + zdxdy, hallar .

= (xdx ydy) (xdxdz + zdxdy)

= [(xdx ydy) xdxdz] + [(xdx ydy) zdxdy]
= (x2 dx dydz) (xydy dydz) + (xzdx dxdy) (yzdy dxdy)
= [x2 dx (dy dy)] [xzdy (dy dz)] + [xzdx (dx dy)] [yzdy (dx dy)]
= x2 dxdydz xy(0 dy) + xz(0 dy) + [yz(dy dy ) dx]
| {z }
0
= x2 dxdydz.

Teorema 2.3. Sean una k-forma, una l-forma y una s-forma, entonces,
1. ( ) = ( ).

2. ( ) = (1)kl ( ).

3. Si l = s, entonces ( ) = + .
P P P
Demostracion. Sean I aI dxI , J bJ dxJ y K cK dxK una k-forma, una l-forma y s-forma
respectivamente.
1.

X X  X
( ) = aI dxI bJ dxJ cK dxK
I J K
X X
= aI bJ dxI dxJ cK dxK
IJ K
X
= aI bJ cK (dxI dxJ ) dxK
IJK
X X
= aI dxI bJ cK dxJ dxK
I JK
= ( ).
 2.2. PULL-BACK 33

2.

X X
= aI dxI bJ dxJ
I J
X
= aI bJ dxi1 . . . dxik dxj1 . . . dxjl
IJ
X
= aI bJ dxi1 . . . dxik1 (1)(dxj1 dxik ) . . . dxjl
IJ
X
= aI bJ (1)dxi1 . . . dxik1 dxj1 dxik . . . dxjl
IJ
X
= aI bJ (1)k dxj1 . . . dxik1 dxik dxj2 . . . dxjl
IJ

Como J tiene l elementos, obtenemos repitiendo un argumento similar para cada dxjr , jr J
X
= bJ aI (1)kl dxj1 . . . dxjl dxi1 . . . dxik
JI
X  X 
kl
= (1) bJ dxj1 . . . dxjl aI dxi1 . . . dxik
J I
= (1)kl .

3.
Supongamos que l = s, entonces
X X X 
( ) = aI dxI bJ dxJ + cJ dxJ
I J J
X
= aI (bJ + cJ )dxI dxJ
IJ
X
= (aI bJ + aI cJ )dxI dxJ
IJ
X X
= aI bJ dxI dxJ + aI cJ dxI dxJ
IJ IJ
= + .

2.2. Pull-Back
Para establecer una base algebraica de pull-back, comencemos introduciendo ciertas generaliza-
ciones. Supongamos que A : V W es una transformacion lineal de espacios vectoriales V en
W . Entonces la transformacion dual A : W V se extiende de manera obvia a las algebras
exteriores, A : k (W ) k (V ) para todo k 0. Si T k (W ) , solo tenemos que definir
A k (V ) como
A T (v1 , . . . , vk ) = T (Av1 , . . . , Avk )
 2.2. PULL-BACK 34

para todos los vectores v1 , . . . , vk V .

Una de las caractersticas mas importantes de las formas es el modo como ellas se comportan
bajo funciones diferenciables. Sea f : U Rn Rm una aplicacion diferenciable con U conjunto
abierto en Rn , entonces f induce una funcion f que lleva k-formas en Rm en k-formas en Rn y
se define como sigue:
Definicion 2.7. (Pull-back.) Sea una k-forma en Rm , entonces f es la k-forma en Rn dada
por:
(f )(p)(v1, ..., vk ) = (f (p))(dfp(1), ..., dfp (k))
donde, p Rn , v1 , ..., vk Rnp y dfp : Rnp Rm
f (p) es la diferencial de la funcion f en p.

Observacion 2.3. Si g es una 0-forma, entonces f (g) = g f .

En el siguiente teorema, presentamos algunas propiedades del operador f .
Teorema 2.4. Sea f : Rn Rm una funcion diferenciable, 1 y 2 k-formas en Rm y g : Rm R
una 0-forma en Rm , entonces:
1. f (1 + 2 ) = f (1 ) + f (2 ).

2. f (g) = f (g)f ().

3. Si 1 , . . . , k son 1-formas en Rm entonces, f (1 k ) = f (1 ) f (k )

Demostracion. Sea p Rn y v1 , ..., vk Rnp .
1.

f (1 + 2 )(p)(v1 , ..., vk ) = (1 + 2 )(f (p))(dfp(v1 ), ..., dfp(vk ))

= 1 (f (p))(dfp (v1 ), ..., dfp (vk )) + 2 (f (p))(dfp (v1 ), ..., dfp (vk ))
= (f 1 )(p)(v1 , ..., vk ) + (f 2 )(p)(v1 , ..., vk )
= (f 1 + f 2 )(p)(v1 , ..., vk ).

Por lo tanto
f (1 + 2 ) = f (1 ) + f (2 ).
2.

f (g1)(p)(v1 , ..., vk ) = (g1)(f (p))(dfp (v1 ), ..., dfp (vk ))

= (g(f (p))) 1 (f (p))(dfp(v1 ), ..., dfp (vk ))
= ((g f )(p) (1 f )(p))(dfp(v1 ), ..., dfp (vk ))
= (g f )(p)(dfp (v1 ), ..., dfp(vk )) (1 f )(p)(dfp (v1 ), ..., dfp (vk ))
= f g(p)(v1 , ..., vk ) f 1 (p)(v1 , ..., vk )
= (f g f 1 )(p)(v1 , ..., vk ).

Por consiguiente
f (g1) = f (g)f (1 ).
3.
Omitiendo el punto p nos queda
 2.2. PULL-BACK 35

f (1 k )(v1 , . . . , vk ) = (1 k )(dfp (v1 ), . . . , dfp (vk ))

= det(i (dfp (vj )))
= det(f i (vj ))
= (f 1 f k )(v1 , . . . , vk ).

Por lo tanto,
f (1 k ) = f 1 f k .

Ahora podemos presentar al operador f como cambio de coordenadas. Sean (x1 , . . . , xn ) coor-
denadas en Rn y (y1 , . . . , ym ) coordenadas en Rm y seaPf : Rn Rm dada por:
m
y1 = f1 (x1 , . . . , xn ), . . . , ym = fm (x1 , . . . , x2 ) y = I aI dyI una k-forma en R . Usando las
propiedades de f obtenemos que:
X
f = f (aI )(f dyi1 ) (f dyik )
I

En efecto,
X   X 
f aI dyI = f aI dyi1 dyik
I i1 <...<ik
X
= f (aI )f (dyi1 dyik )
i1 <...<ik
X
= f (aI )f (dyi1 ) f (dyik ).
i1 <...<ik

Ademas, como

f (dyi ) = (dyi )(df (v)) (2.5)

= d(yi f )(v) (2.6)
= dfi (v). (2.7)

f (aI ) = aI (f1 (x1 , . . . , xn ), . . . , fm (x1 , . . . , xn )) (2.8)

As, sustituyendo (2.7) y (2.8) en la igualdad anterior nos queda
X
f = aI (f1 (x1 , . . . , xn ), . . . , fm (x1 , . . . , xn ))dfi1 dfik .
I

Ejemplo 2.4. Sea = ( x2y

+y 2
)dx + ( x2y
+y 2
)dy una 1-forma en R2 {(0, 0)} y sea
f : U R2 {(0, 0)} donde U = {(r, )/r > 0 y 0 < < 2} y f (r, ) = (r cos , r sin ).
Hallemos f
Sean

x = r cos entonces dx = cos dr r sin d

y = r sin entonces dy = sin dr + r cos d.
 2.3. DIFERENCIAL EXTERIOR 36

Entonces

(f )(r, ) = (f (r, ))
r sin() r 2 sin2 () r cos() r 2 cos2 ()
= cos()dr + d + sin()dr + d
r2 r2 r2 r2
= d.

2.3. Diferencial Exterior

Deniremos una operacion en formas diferenciables que generaliza la diferenciacion de funcio-
nes. Sea g : Rn R una 0-forma (es decir, una funcion diferenciable). Entonces la diferencial

Xn
g
dg = dxi
i=1
xi

es una 1-forma. Queremos generalizar ese proceso deniendo la operacion que toma k-formas y lo
lleva en k + 1-formas.
P
Definicion 2.8. (Diferencial Exterior.) Sea = I aI dxI una k-forma en Rn . La diferencial
exterior d de esta denido por:
X
d = daI dxI .
I

Ejemplo 2.5. Sea = xyzdx + yzdy + (x + y)dz una 1-forma en R3 , usando la dencion anterior,
obtenemos:

d = d(xyz) dx + d(yz) dy + d(x + y) dz

= (yzdx + xzdy + xydz) dx + (ydz + zdy) dy + (dx + dy) dz
= xzdy dx + xydz dx ydy dz + dx dz + dy dz
= xzdx dy xydx dz ydy dz + dx dz + dy dz
= xzdx dy + (1 y)dy dz + (1 xy)dx dz
= xzdx dy + (1 y)dy dz + (1 xy)dx dz.

Ahora presentamos algunas propiedades de la diferencial exterior.

Teorema 2.5. Sea f : Rn Rm una funcion diferenciable, una k-forma en Rm , 1 y 2

k-formas y una s-forma, entonces se cumple:

1. d(1 + 2 ) = d(1 ) + d(2).

2. d( ) = d + (1)k d.

3. d(d).

4. d(f ) = f (d).
 2.3. DIFERENCIAL EXTERIOR 37

P P
Demostracion. 1. Sean 1 = aI dxI y 2 = I bI dxI ), enotonces
I
X X 
d(1 + 2 ) = d aI dxI + bI dxI
I I
X 
=d (aI + bI )dxI
I
X
= d(aI + bI ) dxI
I
X
= (daI + dbI ) dxI
I
X X
= daI dxI + dbI dxI
I I
= d(1 ) + d(2 ).
P P
2. Sean = I aI dxI y = J bJ dxJ entonces
X X 
d( ) = d aI dxI bJ dxJ
I J
X 
=d aI bJ dxI dxJ
IJ
X
= d(aI bJ ) dxI dxJ
IJ
X
= (bJ daI + aI dbJ ) dxI dxJ
IJ
X
= bJ daI dxI dxJ + aI dbJ dxI dxJ
IJ
X X
= bJ daI dxI dxJ + aI dbJ dxI dxJ
IJ IJ
X X X
= daI dxI bJ dxJ + aI dbJ dxI dxJ
I J IJ
X
k
= d + aI (1) dxI dbJ dxJ
IJ
X X
= d + (1)k aI dxI dbJ dxJ
I J
k
= d + (1) d.

3.
Haremos la demostracion por casos:
Caso I. Primero supongamos que es una 0-forma, es decir, es una P funcion f : Rn R,
que asigna a cada (x1 , . . . , xn ) Rn el valor f (x1 , . . . , xn ), entonces df = nj=1 x
f
j
dxj .
 2.3. DIFERENCIAL EXTERIOR 38

As
Xn
f 
d(df ) = d dxj
j=1
xj
Xn  f 
= d dxj
j=1
xj
Xn  f 
= d dxj
j=1
x j

Xn Xn 
2f
= dxi dxj ,
j=1 i=1
xi xj

2 2
como xi x
f
j
= xj x
f
i
y dxi dxj = dxi dxj .
Obtenemos que
X  2f 2f 
d(df ) = dxi dxj = 0.
i<j
x i xj xj xi

Por tanto, d(df ) = 0.

Caso II. P
Supongamos que es una k-forma dada por = I aI dxI , por 1., podemos restringir este paso
solamente a = aI dxI , aI 6= 0, ademas por 2., tenemos que d = daI dxI + aI d(dxI ). Pero

d(dxI ) = d(1) dxI = 0.

Por lo tanto
d = daI dxI ,
as

d(d) = d(daI dxI )

= d(daI ) dxI + daI d(dxI )
| {z } | {z }
0 0
= 0,

se tiene d(daI ) = 0 por el caso (I) y aI es una 0-forma (aI C (Rn )), luego se tiene que:
 X   X
d d aI dxI d = d(d(aI dxI )) = 0.
I I

Por tanto,
d(dw) = 0.
4.
Primero probems el resultado para una 0-forma. Sea g : Rm R una funcion diferenciable que
 2.3. DIFERENCIAL EXTERIOR 39

asigna a cada (y1 , . . . , ym ) Rm un valor g(y1 , . . . , ym ), entonces

X m 
g  

f (dg) = f dyi
i=1
yi
X m  g 
= f dyi
i=1
yi
X m  
g f
= dxj
i=1
yi xj
= d(g f )
= f (dg).
P
Ahora, sea = I aI dxI una k-forma entonces
 X 

d(f ) = d f aI dxI
I
X 
=d f (aI )f (dxI )
I
X
= d(f (aI )f (dxI ))
I
X
= f d(aI ) f (dxI )
I
X 
= f d(aI ) (dxI )
I

= f (d).

Teorema 2.6. Sea f : U Rn Rm y g : V Rp Rn funciones diferenciables y sean y

dos k-formas en Rm . Entonces
1. f ( ) = (f ) (f ).
2. (f g) = g (f ).
Demostracion. 1.
m n
Hagamos P
(y1 , . . . , ym ) = (f
P1 (x1 , . . . , xn ), . . . , fm (x1 , . . . , xn )) R , (x1 , . . . , xn ) R y considere-
mos = I aI dyI y = J bJ dyJ , obtenemos
X X 
f ( ) = f aI dyI bJ dyJ
I J
X 

=f aI bJ dyI dyJ
IJ
X
= f (aI bJ )f (dyI dyJ )
IJ
X
= f (aI bJ )f (dyI ) f (dyJ )
IJ
X
= (aI bJ )(f1 , . . . , fm )dfI dfJ ,
IJ
 2.4. INTEGRACION DE FORMAS EN RN . 40

esta ultima igualdad es gracias a la ecuacion (2.7) ilustrada en la seccion 2. Por lo tanto,
X
f ( ) = (aI bJ )(f1 , . . . , fm )dfI dfJ
IJ
X
= aI (f1 , . . . , fm )bJ (f1 , . . . , fm )dfI dfJ
IJ
X X
= aI (f1 , . . . , fm )dfI bJ (f1 , . . . , fm )dfJ
I J
X X
= f (aI )f (dyI ) f (bJ )f (dyJ )
I
X   JX 

=f aI dyI f bJ dyJ
I J
= f () f ().
2.

X 

(f g) = (f g) aI dyI
I
X
= (f g) (aI dyI )
I
X
= (aI )((f g)1 , . . . , (f g)m )d(f g)I
I
X
= g (aI (f1 , . . . , fm ))g (dfI )
I
X 

=g aI (f1 , . . . , fm )dfI
I
X 
= g f (aI )f (dfI )
I
X
= g f (aI dfI )
I

= g (f ).

2.4. Integracion de Formas en Rn.

Las formas fueron creadas para la integracion, pero que las hace integrandos adecuados?. Tal
vez su cualidad fundamental es que de manara automatica se transforman correctamente al cambiar
de coordenadas.
Recuerde el siguiente teorema importante del calculo.
Teorema de Cambio de Variable. Supongamos que f : V U es un difeomorfismo de
conjuntos abiertos en Rn y que a es una funcion integrable en U. Entonces
Z Z
adx1 dxn = (a f )| det(df )|dy1 dyn .
U V
 2.4. INTEGRACION DE FORMAS EN RN . 41

Y el teorema sigue siendo valido en el semi-espacio Hn Rn .

Al cambiar de variable mediante tal transformacion f , las funciones como a se transforman en
las funciones inducidas obvias a f . Pero aun con esto, esta transformacion no es natural desde
el punto de vista de la integracion. Como f distorciona el volumen al mandar a V sobre U, la
integral de a f no es igual a la integral de a. Hay una necesidad de compensar y una solucion
consiste en incluir el factor | det(df )|, el cual mide la alteracion infinitesimal del volumen. Las
formas contrarestan en forma automatica este cambio en el volumen.

Definicion 2.9. Sea una n-forma en Rn , tal que = a(x1 , . . . , xn )dx1 dxn supongamos
que el soporte K de es compacto y esta contenido en U. Denimos
Z Z
= adx1 dxn .
U K

Proposicion 2.2. Sean = adx1 dxn y = bdx1 dxn dos n-formas en U Rn con
soporte compacto y R, entonces y + son n-formas en U con soporte compacto, y
R R R
1. U ( + ) = U + U .
R R
2. U () = U .

Demostracion. 1.

Z Z
( + ) = (adx1 dxn + bdx1 dxn )
U ZU
= (a + b)dx1 dxn
ZU
= (a + b)dx1 dxn
ZU Z
= adx1 dxn + bdx1 dxn
ZU Z U

= + .
U U

2.
Z Z
() = (adx1 dxn )
U U
Z
= (a)dx1 dxn
UZ

= adx1 dxn
ZU
= .
U

Ahora vamos a desarrollar un ejemplo y es crucial contar con ello, pues se aplicara en la demos-
tracion del teorema que sigue:
 2.4. INTEGRACION DE FORMAS EN RN . 42

Ejemplo 2.6. (Forma de Volumen de U.) Sea f : V U un difeomorsmo de conjuntos

abiertos en Rn y = dx1 dxn un n-forma en U. Si f (y) = x con y = (y1 , . . . , yn ) V y x =
(x1 , . . . , xn ) U, Tanto Ty V como Tx U son iguales a Rn , aunque con la notacion de coordenadas que
hemos utilizado, la base canonica de las funciones lineales en Rn se escribe como dy1 (y), . . . , dyn (y)
para Ty V , y como dx1 (x), . . . , dxn (x) para Tx U. Pruebe que f (y) = det(dfy )dy1 (y) dyn (y).
En efecto,
f (y) = f (dx1 dxn )
= f (dx1 ) f (dxn )
= d(f x1 ) d(f xn )
= d(x1 f ) d(xn f )
= d(f1 ) d(fn )
Xn X n
f1 fn
= dyi dyi
i=1
yi i=1
yi
X Xn
f1 fn 
= sgn() ... dy1 dyn
i=1
y i y i

= det(dfy )dy1 (y) dyn (y).

Mas brevemente,
f = det(df )dy1 dyn .
Teorema 2.7. (Teorema de Cambio de Variable.) Sean f : V U un difeomorfismo entre
conjuntos abiertos de Rn o Hn y = adx1 dxn una n-forma en U con soporte compacto.
Si f preserva orientacion , entonces
Z Z

f = .
U V

Si f invierte orientacion , entonces

Z Z

f = .
U V

Demostracion. Si = adx1 dxn , por el ejemplo anterior se tiene:

f = f (adx1 dxn )
= f (a)f (dx1 dxn )
= (a f ) det(df )dy1 dyn .
As,
f = (a f ) det(df )dy1 dyn .
Luego,
Z Z

f = (a f ) det(df )dy1 dyn
V ZV
= (a f ) det(df )dy1 dyn .
V
 2.5. K-FORMAS EN VARIEDADES 43

Por otro lado, aplicando el teorema de cambio de variable tnemos:

Z Z
= adx1 dxn
U Z U

= adx1 dxn
ZU
= (a f )| det(df )|dy1 dyn .
U

Por lo que se tiene la siguiente conclusion.

f preserva orientacion si, y solo si det(df ) > 0 si, y solo si | det(df )| = det(df ).
f invierte orientacion si, y solo si det(df ) < 0 si, y solo si | det(df )| = det(df ).

Para ilustrar lo anterior, desarrollamos el siguiente ejemplo.

Ejemplo 2.7. Sea = ( x2y +y 2
)dx + ( x2y
+y 2
)dy una 1-forma en R2 {(0, 0)} y sea
f : V R2 {(0, 0)} donde V = {(r, )/r > 0 y 0 < < 2} y f (r, ) = (r cos , r sin ). Por el
ejemplo 10, se tiene f (r, ) = d, entonces
Z Z
= f
2
R {(0,0)} V
Z
= d
V
Z 2
= d
0
= 2.

2.5. k-Formas en Variedades

Ahora extenderemos a variedades diferenciables la nocion de forma diferencial. Dado un espacio
vectorial V , denotamos por k (V ) el conjunto de k-formas lineales alternantes
: V V R, donde V V tiene k factores.
Definicion 2.10. (k-Formas en Variedades.) Sea M n una variedad diferenciable, una k-forma
en M es una funcion que asigna, a cada p M, un elemento (p) del espacio k (Tp M) de
k-formas lineales alternantes del espacio tangente Tp M.
Dada una k-forma exterior y una parametizacion : U M, alrededor de p (U ), denamos
la representativa de en esa parametrizacion como la k-forma exterior en U Rn dada por:
(v1 , . . . , vk ) = (d(v1 ), . . . , d (vk )), v1 , . . . , vk Rn .
Si cambiamos de coordenadas a : U M, p (U ), obtenems que:


(1 1 1
) (v1 , . . . , vk ) = d( )(v1 ), . . . , d( )(v1 )
= (d d(1 1
))(v1 ), . . . , (d d( ))(vk )
= (v1 , . . . , vk ).
 2.5. K-FORMAS EN VARIEDADES 44

As que
(1
) = . (2.9)

Definicion 2.11. Una forma diferencial de orden k (o una k-forma) en una variedad diferenciable
M n es una k-forma exterior tal que, en algun sistema de coordenadas (por lo tanto, en todo), su
representativa es diferenciable.
Un hecho importante es que todas las operaciones denidas para formas diferenciales en Rn pueden
ser extendidas a formas diferenciales pensando en sus representativas locales. Ademas, si es una
forma diferenciable en M, d es la forma diferenciable en M cuya representativa local d viene
dada por.
d = d(1 1
) = ( ) d ,

d es una forma diferencial bien denida en M.

 3
TEOREMA DE STOKES

En este captulo antes de denir como integrar una forma en una variedad, vamos a denir
como integrarla en un cierto entorno coordenado. Luego utilizaremos la particion de la unidad (in-
troducido en el captulo 1), para integrar en una variedad. En el caso de una variedad cubierta por
una sola parametrizacion el segundo paso es innecesario. (En la practica, por tanto, generalmente
solo sera necesario el primer paso). El objetivo central es demostrar el teorema central del trabajo
que es el teorema de Stokes. Para el caso 2-dimensional, una descripcion aproximada del teorema
es como sigue.
Sea una 1-forma diferenciable denida en una variedad M 2 2-dimencional, compacta y orientable,
y sea d su diferencial exterior. Consideremos una region R de M rodeada por una curva regular
cerrada C = R. La orientacion en R induce una oreintacion en C, y la inclusion i : C M nos
pernite considerar la restriccion i de a C. Bajo esas condiciones el teorema de Stokes declara
que la integral de la 2-forma d en R es igual a la integral de i en C = R.

3.1. Integracion en Variedades

Sea K el soporte compacto de , es decir K = sop() = {p M : (p) 6= 0}
Z Z Z
= = a dx1 dxn
M V U

Ejemplo 3.1. Sea = z dx dy una 2-forma en R3 , y sea

2

M = {(x, y, z) R3 /x2 + y 2 + z 2 = 1, z 0}
R
La semiesfera superior en R3 , vamos a calcular M .
Consideremos la parametrizacion global : U M dado por:
(u, v) = (sin(u) cos(v), sin(u) sin(v), cos(u)),
donde
U = {(u, v) R2 : 0 < u < /2; 0 < v < 2}.
Notemos que M es una variedad diferenciable, compacta y orientable. Se tiene tambien a
la representacion local de en la parametrizacion , que viene dada por

45
 3.1. INTEGRACION EN VARIEDADES 46

= cos2 (u)du dv, ademas sop() (U) = M.

Por la denicion tenemos: Z Z Z
= = .
M (U ) U

Para eso primero calculemos (u, v)
entonces sean

x = sin(u) cos(v) entonces dx = cos(u) cos(v)du sin(u) sin(v)dv

y = sin(u) sin(v) entonces dy = cos(u) sin(v)du + sin(u) cos(v)dv

como

(u, v) = ((u, v))

= cos2 (u)[(cos(u) cos(v)du sin(u) sin(v)dv) (cos(u) sin(v)du + sin(u) cos(v)dv)]
= cos2 (u)[(sin2 (v) + cos2 (v)) sin(u) cos(u)du dv]
= cos3 (u) sin(u)du dv.

Luego
Z Z
=
M
ZU
= cos3 (u) sin(u)dudv
U
Z Z
!
2 2
= cos3 (u) sin(u)du dv
0 0
Z 2
cos (u)  2
4
=  dv
0 4 0

= .
2
Proposicion 3.1. La definicion anterior no depende de la eleccion de la vecindad coordenada.
Prueba. Supongamos que K esta contenido en otra vecindad coordenada V = (U ) de la
misma familia que V = (U ), y supongamos ademas que contraemos a U y U de tal forma
que V = V .
Reajustamos las parametrizaciones : U V y : U V . Y sean = a dx1 dxn
y = a dy1 dyn las representaciones locales de en U y U respectivamente, ademas
consideremos el cambio de coordenada

f = 1
: U U

dada por
xi = i (y1 , . . . , yn ) para i = 1 . . . n, (x1 , . . . , xn ) U y (y1 , . . . , yn ) U .
Como = f ( ) por el ejemplo 2.6. seccion 2.4. tenemos que

= a det(df )dy1 dyn ,

 3.1. INTEGRACION EN VARIEDADES 47

donde

a = a f1 (y1 , . . . , yn ), . . . , f1 (y1 , . . . , yn )
as, por el teorema de cambio de variable
Z Z Z
= a dx1 , . . . , dxn = a | det(df )|dy1 dyn ,
V U U

y como M es orientable det(df ) > 0.

Z Z
= .
V V

Ahora puede suceder que el soporte K de no este contenido en ninguna vecindad coordenada.
para este caso haremos uso de la proposicion 9 (captulo 1). Para que tenga sentido la siguiente
definicion.

Definicion 3.1. Sea M una variedad diferenciable n-dimensional compacta orientable. Sea una
n-forma en M. Consideremos {i } una particion de la unidad subordinada al cubrimiento {V } de
vecindades coordenadas y tal que sop(i ) Vi , para todo i = 1, . . . , m, entonces denimos
Z m Z
X
= i .
M i=1 M

Para que la integral del lado derecho tenga sentido es necesario vericar que sop(i ) Vi .
En efecto.
Sea una n-forma en M. Fijando i consideremos q {p M : i (p)(p) 6= 0} entonces i (q)(q) 6=
0 lo que implica que i (q) 6= 0 y (q) 6= 0, entonces q {p M : i (p) 6= 0}. Por lo tanto

{p M : i (p)(p) 6= 0} {p M : i (p) 6= 0}.

As
{p M : i (p)(p) 6= 0} {p M : i (p) 6= 0}.
Por lo tanto, sop(i ) sop(i ), por la proposicion 1.12. sop(i ) Vi . As, sop(i ) Vi .
Probemos ademas que la denicion dada anteriormente tiene sentido; es decir, no depende de la
eleccion del cubrimiento ni de la particion de la unidad subordinada a dicho cubrimiento.
Consideremos otro cubrimiento {W } de M el cual determina en M la misma orientacion como
{V }, y sea {j }, j = 1, . . . , l una particion de la unidad subordinada al cubrimiento {W }.
Entonces {V W } sera un cubrimiento para M y la familia i j sera una particion de la unidad
subordinada a {V W }. Ademas sop(i j ) Vi Wj el cual es compacto.
As,
m Z
X m Z
X X
l 
i = i j
i=1 M i=1 M j=1
XZ
= i j ,
ij M
 3.1. INTEGRACION EN VARIEDADES 48

donde en la ultima igualdad se uso que, para cada i, las funciones i j estan denidas en Vi .
Similarmente
l Z
X l Z
X X
m 
j = j i
j=1 M j=1 M i=1
XZ
= i j .
ij M

Luego
m Z
X l Z
X
i = j .
i=1 M j=1 M

Por lo tanto, la integral de no depende de la eleccion del cubrimiento ni de la particion de la

unidad subordinada a dicho cubrimiento.

Proposicion 3.2. Si , n (Tp M) y R, entonces

R R R
1. M + = M + M .
R R
2. M = M .

Demostracion. Sea {i }m
i=1 una particion de la unidad subordinada a la vecindad coordenada
{Vi }m
i=1 , entonces
1.

Z m Z
X m Z
X
+ = i ( + ) = (i + i )
M i=1 M i=1 M

Xm Z Z  m Z
X m Z
X
= i + i = i + i
M M M M
Zi=1 Z i=1 i=1

= + .
M M

2.
Z m Z
X m Z
X
= i () = (i )
M i=1 M i=1 M
Xm Z Xm Z
= i = i
i=1 M i=1 M
Z
= .
M
 3.2. TEOREMA DE STOKES 49

3.2. Teorema de Stokes

R
Existe una notable relacion entre los operadores y d sobre las formas y la operacion que
a cada variedad Rcon frontera le asocia su frontera (notable por que es una operacion puramente
geometrica y d, son puramente analticas). En dimension uno, la relacion es enunciada por el
teorema fundamental del calculo, y en dimensiones dos y tres es el tema de los teoremas clasicos
de Green, Gauss y Stokes.

Teorema 3.1. (Teorema de Stokes.) Sea M n una variedad diferenciable con borde, compacta
y orientable. Sea una (n-1)-forma diferenciable en M y sea i : M M la funcion inclusion
de la frontera M en M, entonces Z Z
i = d.
M M

Demostracion. Sea K el soporte de . Consideremos los siguientes casos.

Caso A.
Supongamos que K esta contenido en alguna vecindad coordenada V = (U) de una parametri-
zacion : U Hn M. En U,
n
X
= aj dx1 dxj1 dxj+1 dxn ,
j=1

( es una (n 1)-forma que se escribe como combinacion lineal de los elementos de la base, cuya
base tiene dimension n) donde aj = aj (x1 , . . . , xn ) son funciones diferenciables en U. As.
X
n
aj 
d = (1)j1 dx1 dxn .
j=1
xj

Dividamos este caso en subcasos.

Caso A1 .
Supongamos primero que (U) M = , entonces es cero en M, (pues M no contiene puntos
de K, por que K (U)). Ademas i = 0.
As, Z
i = 0.
M
R
Ahora mostremos que M
d = 0. Antes tenemos que:
Z Z Z X
aj 
n
d = d = (1)j1 dx1 dxn .
M V U j=1
xj

En efecto. Extendemos la funcion aj a Hn . Dada por

(
aj (x1 , . . . , xn ), si (x1 , . . . , xn ) U
aj (x1 , . . . , xn ) =
0, si (x1 , . . . , xn ) Hn U.

Como K (U), K es compacto, entonces 1 (K) U, por lo que las funciones aj son diferen-
ciables en Hn .
 3.2. TEOREMA DE STOKES 50

Ahora, sea Q Hn un paraleleppedo dado por x1j xj x0j , j = 1, . . . , n que contiene a 1 (K)
en su interior, Grafica 7.. Consideremos la carta coordenada (U1 , 1 ) donde U1 = U int(Q), as,
1 (K) U1 y como la integral es independiente de la eleccion de la vecindad coordenada, se
tiene que
Z X  Z X aj 
n n
j1 aj
(1) dx1 dxn = (1)j1 dx1 dxn .
U j=1
xj U1 j=1
xj

Por lo tanto.
Z Z X
aj 
n
d = (1)j1 dx1 dxn
M U j=1
xj
Z
aj 
n
X
j1
= (1) dx1 dxn
j=1 U xj
Xn Z
= (1)j1 [aj (x1 , . . . , xj1 , x0j , xj+1 , . . . , xn )
j=1

aj (x1 , . . . , xj1 , x1j , xj+1 , . . . , xn )]dx1 dxn .

Esta ultima igualdad es posible gracias al teorema de Fubini y al Teorema Fundamental del
Calculo.
As,
Z X n 
j1 aj
(1) dx1 dxn = 0.
U j=1
xj

Pues, aj (x1 , . . . , x0j , . . . , xn ) = aj (x1 , . . . , x1j , . . . , xn ) = 0 para los puntos que estan en Hn y
aj (x1 , . . . , x0j , . . . , xn ) = aj (x1 , . . . , x1j , . . . , xn ), para los puntos que estan en Hn .
Por lo tanto Z Z

i= d.
M M

1 (K) 1 (K)

Grafica 7.
Caso A2 .
Supungamos ahora que (U) M 6= entonces la funcion inclusion i puede ser escrita como:
 3.2. TEOREMA DE STOKES 51

x1 = 0, xj = xj para 2 j n. As, usando la orientacion inducida en la frontera,

n
X
i = (i aj )(i dx1 ) (i dxj1 ) (i dxj+1 ) (i dxn ). (3.1)
j=1

donde, (i dxj ) = d(ixj ) = d(xj i) = dxj y dx1 = d0 = 0

Por lo tanto, sustituyendo en (3.1), nos queda

i = a1 i(p)dx2 dxn = a1 (0, x2 , . . . , xn )dx2 dxn .

Como en el caso A1 , extendemos la funcion aj a Hn , consideremos el paraleleppedo Q dado por:

x11 x1 0, x1j xj x0j , j = 2, . . . , n,

y tal que la union de Q con el hiperplano x1 = 0 contiene a 1 (K), ver Grafica 7.. Entonces
Z n
X Z
j1 aj
d = (1) dx1 dxn
M j=1 Q xj
Z
= [a1 (0, x2 , . . . , xn ) a1 (x11 , x2 . . . , xn )]dx2 dxn
Q
n
X Z
+ (1) j1
[aj (x1 , . . . , x0j , . . . , xn ) aj (x1 , . . . , x1j , . . . , xn )]dx1 dxj1 dxj+1 dxn .
j=1 Q

Como aj (x1 , . . . , x0j , . . . , xn ) = 0 para los puntos que estan fuera de U, para todo j = 2, . . . , xn y
aj (x1 , . . . , x0j , . . . , xn ) = aj (x1 , . . . , x1j , . . . , xn ), para los puntos que estan en U y a1 (x11 , x2 , . . . , xn ) =
0, pues (x11 , x2 , . . . , xn ) Hn U.
Entonces obtenemos que
Z Z Z
d = a1 (0, x2 , . . . , xn )dx2 dxn = i .
M Q M

Caso B: (Caso general.)

Supongamos que el soporte de no esta contenido en alguna vecindad coordenada. Sea {V } un
cubrimiento de M por vecindades coordenadas compatible con la orientacion y sean 1 , . . . , m la
particion diferenciable de la unidad subordinada al cubrimiento {V }. La forma j = j , j =
1, . . . , m,P
satisface la condicion del caso A es decir, el soporte
P de j esta contenido en Vj .
Ademas j dj = 0. Por la proposicion 9 tenemos que: j = .
En efecto. X X X
j = j = j = .
j j j

Luego,
X
dj = (j )
X
= dj + (1)n j d
= d.
 3.3. EJEMPLOS 52

P
Por consiguiente, dj = d.
Por tanto,
Z m Z
X
d = dj
M j=1 M
m Z
X
= i j
j=1 M
Z m
X

= i j
M j=1
Z
= i .
M

3.3. Ejemplos
Ejemplo 3.2. Sean M = {(x, y) R2 /x2 + y 2 1} y (x, y) = (2x3 y 3)dx + (x3 + y 3 )dy una
1-forma.

Veamos: Como ya vimos M es variedad diferenciable compacta, con borde y orientable, y el

borde de M es M = {(x, y) R2 /x2 + y 2 = 1}. Y consideremos i : M M la funcion inclusion

d = d (2x3 y 3 )dx + (x3 + y 3 )dy
= d(2x3 y 3) dx + d(x3 + y 3) dy
= (6x2 dx 3y 2 dy) dx + (3x2 dx + 3y 2dy) dy
= 3(x2 + y 2 )dxdy,

es una 2-forma.
: U M es una parametrizacion global de M dada por (t) = (cos(t), sin(t)), donde U = {t
R/0 < t < 2} es un intervalo abierto en R
Z Z Z

i= d = 3(x2 + y 2 )dxdy
M M M
3
= .
2
Ejemplo 3.3. Sea M 2 R3 una supercie regular, compacta y orientable con borde M, sea v
un campo vectorial diferenciable en un conjunto abierto de R3 que contiene a M 2 . Entonces
Z Z



hrot(v), n i = hv, t ids.
M2 M


Donde
n es el campo normal unitario, es el elemento de area de M, t el vector tangente
unitario a M y ds el elemento de arco de M.
Antes de vericar dicha igualdad vamos a dar la siguiente denicion.
 3.3. EJEMPLOS 53

Definicion 3.2. (Operador estrella de Hodge.) Dada una k-forma Rn . Se dene una
(n k)-forma por:
(dxi1 dxik ) = (1) (dxj1 dxjnk ),
donde i1 < < ik , j1 < < jnk , (i1 , . . . , ik , j1 , . . . , jnk ) es una permutacion de (1, . . . , n) y
es 0 o 1 si la permutacion es par o impar y el opererador es lineal.
Ejemplo 3.4. Sea = a1 dx1 +a2 dx2 (R2p ) , entonces como n = 2 y k = 1, es una (21)-forma
dada por:
= (a1 dx1 ) + (a2 dx2 ),
tal que;
dx1 = (1) dx2 ,
cuya permutacion es (1, 2) como es par = 0.
Por tanto
dx1 = dx2 .
Por otro parte
dx2 = (1) dx1 ,
donde (2, 1) es una permutacion impar, as, = 1. Por lo que
dx2 = dx1 .
Luego
= a1 dx2 a2 dx1 .
En Primer lugar, tenemos que rot(v) = (d), donde es la 1-forma dual a v en el producto
interno natural de R3 , ver denicion (2.8) del captulo 2. Ahora escojamos un campo ortonormal
local e1 , e2 ,

n tal que e1 , e2 son tangentes M y e1 es tangente a M. As, obtenemos por la denicion
del operador estrella de Hodge.
d(e , e ) = (d)(
1 2
n ) = hrot(v),

n i.
Esta ultima igualdad es por identicacion, gracias al isomorsmo canonico.
Por otra parte,


(e1 ) = hv, e1 i = hv, t i.
Ademas,
d(e1 , e2 ) = hrot(v),

n i(e1 , e2 ),
lo que implica que
d = hrot(n),

n i,
y ademas


i = hv, t ids.
Ahora aplicando el teorema de Stokes.
Z Z



hrot(v), n i = hv, t ids.
M2 M

Que normalmente se conoce en el calculo.

Z Z



V ds = Vdl.
M2 M
 Bibliografa

[1] Manfredo P. do Carmo, Differential Forms and Aplicaciones, Springer-Verlag,(1994).

[2] V. Guillermin, A. Pollack, Topologia Diferencial, SMM,(2003).

[3] Loring W. Tu, An Introduction to Manifolds, Springer (2010).

[4] Elon Lages Lima, Variedades Diferenciaveis, IMPA, Brasil, (2007).

[5] Sergio Plaza Salinas, Variedades Diferenciables, Chile (2008).

[6] Barret ONiel, Elementary Differential Geometry, Elsevier, (2006).

[7] Elon Lages Lima, Analise Vectorial, Vol. 3, IMPA, Brasil, (2007).

[8] Michael Spivak, A Comprehencive Introduction to DIFFERENTIAL GEOMETRY, Berkeley,

(1979).

54