Formas Diferenciales

Definicin: Un tensor T tipo ( )

0, p
es llamado
un co-tensor completamente anti-simtrico, si
bajo el intercambio de cualquier par de
elementos de sus argumentos, dicho tensor
cambia de signo:

( )
( )
1 1
, , , , , , , , , ,
i i f f
T u u u T u u u =


Si T es caracterizado por sus componentes,
entonces es caracterizado por sus
componentes
( )
1 1
, ,
k k
a a a a
T T e e

y su completa anti-simetra es manifestada
por un cambio de signo bajo el intercambio en
un par de los ndices (
1 k
a a
)

En el estudio de los tensores tipo ( )
0, p fue
introducido el llamado producto tensorial: si
F
es un tensor tipo ( )
0, n
y
G
es un tensor
tipo ( )
0, m entonces el producto tensorial
F G
es un co-tensor tipo ( )
0, n m +
.
Sin embargo, si consideramos slo tensores
tipo ( )
0, p
completamente anti-simtricos,
entonces se encuentra que el producto
tensorial de F y
G
,
F G
da lugar a un
tensor que no es necesariamente anti-
simtrico.
Esto significa que el conjunto de todos los co-
tensores anti-simtricos no es cerrado bajo la
operacin

. Esto significa que si se trabaja

slo con co-tensores completamente anti-
simtrico es necesario introducir una nueva
operacin que llamaremos el producto cua,
bajo el cual, el conjunto de todos los co-
tensores anti-simtricos sea cerrado.

Definicin: Sea P un punto de una variedad
M, n-dimensional al cual se le asocia una
familia de espacios co-tensoriales
( )
p
T M
. El
conjunto de todos los co-tensores
completamente anti-simtricos son conocidos
como k -formas en el punto P. Este conjunto
es denotado por
( )
n
P
M
y constituye un
espacio vectorial.

Producto cua

: Sea
F
una 2 -forma. Las
bases coordenadas para 1-formas son dadas
por el conjunto
{ }
i
dx , por lo que las bases para
2-formas son dadas por
{ }
i f
dx dx . Esto
significa que podemos escribir

i f
if
F F dx dx =


Si es una 2-forma, es decir es un co-tensor
anti-simtrico, tenemos

( ) ( )
1 1
2 2
if if if if fi
F F F F F = + =

de modo que

( )
( )
( )
1
2
1
2
1
2
i f i f
if if fi
i f i f
if fi
i f f i
if if
F F dx dx F F dx dx
F F dx dx F dx dx
F F dx dx F dx dx
= =
=
=


de donde
( )
1
2
i f f i
if
F F dx dx dx dx =

Definicin: Se define el producto cua de la
1-forma
i
dx y la 1-forma
f
dx como
i f i f f i
dx dx dx dx dx dx =

de manera que
i f
if
F F dx dx =


En general si
2 i k
i i i
F

son las componentes de
F

con respecto a un determinado sistema de
coordenadas, entonces F puede ser
expandida como una combinacin lineal de de
las bases como

1 2
1 2
1
!
k
k
i i i
i i i
F F dx dx dx
k

=


donde
(1) ( 2) ( )
1 2
k
k
k
i i i
i i i
G
dx dx dx dx dx dx

Ejemplo (1)
a) Una cero-forma es una funcin f
b)
Adx Bdv Cd: = + +
es una 1-forma donde
, , A B C
son funciones y donde { }
, . dx dv d:
es
una base para 1-formas.
c)
Advd: Bd:dx Cdxdv = + +
es una 2-forma en
3
R
, donde
, , A B C
son funciones y donde
{ }
, , dvd: d:dx dxdv
es una base para 2-formas.
d)
Adxdvd: =
es una 3-forma en
3
R , donde
, , A B C
son funciones y donde { }
dxdvd:
es una
base para 3-formas.

Ejemplo (2)

a)
2 :
x v e = +
es una 0-forma
b)
2
( 1) x dx v: d: = + +
es una 1-forma
c)
2
v
xv:dvd: xe d:dx dxdv = + +
es una 2-forma
d)
2 3
( ) x xv: : dxdvd: = + +







Operaciones bsicas

1. La suma y resta de formas diferenciales
son formas diferenciales. Sin embargo, solo
tiene sentido sumar o restar dos k-formas:
no es posible sumar o restar una k-forma
con una l-forma cuando
l k
.

Ejemplo:
Si
2 3
( 2 ) ( 1) x v: dx xv dv x d: = + + + y
2 3
( 2 ) x v: dx dv x d: = + + ,
entonces
2 3
2 2
4 ( 2)
x dx xvdv x d:
v:dx xv dv


+ = + +
= +


2. La multiplicacin de formas diferenciales
por funciones, incluyendo constantes, es
como uno esperara: el producto de una k-
forma por una funcin es otra k-forma.

Ejemplo: si
2
x dvd: xd:dx vdxdv = +
una 2-
forma, entonces

a)
2
2 2 2 2 x dvd: xd:dx vdxv = +

b)
1 v
xdvd: d:dx dxd
x x

| |
= +
|
\ .

es una 2-forma.




3. La multiplicacin de formas diferenciales
es gobernada por las siguientes reglas
a)
0 dxdx dx dx dx dx dx dx = =


b)
0 dvdv dv dv dv dv dv dv = =


c)
0 d:d: d: d: d: d: d: d: = =


d)
dxdv dx dv dx dv dv dx =

( )
dxdv dv dx dx dv dv dx dvdx = = =


e)
dxd: dx d: dx d: d: dx =

( )
dxd: d: dx dx d: d: dx d:dx = = =


f)
dvd: dv d: dv d: d: dv =

( )
dvd: d: dv dv d: d: dv d:dv = = =


Ejemplo: Si
3
x vdx vdv = + y
4 2
x dx xdv : d: = + +
son 1-formas, entonces

( )( )
3 4 2
7 4 3 2
4 2
4 3 2 4 2
2 3 2
x vdx vdv x dx xdv : d:
x vdxdx x vdxdv x v: dxd:
x vdxdv xvdvdv v: dvd:
x vdxdv x v: dxd: x vdxdv v: dvd:
v: dvd: x v: dxd:

= + + +
= + +
+ + +
+ + +
= +


Teorema: Si

es una k-forma y si

es una
l-forma, entonces
( 1) =


Prueba: recordando que en el caso general,
una k-forma es una combinacin lineal de la
base
1 2 k
dx dx dx
, y una l-forma es una
combinacin lineal de la base
1 2 k k k l
dx dx dx
+ + +

.
Esto significa que si

es una k-forma,
entonces
1 2 k
Adx dx dx =

y si

es una l-forma, entonces

1 2 k k k l
Bdx dx dx
+ + +
=

As, tenemos
1 2 1 2
1 2 1 2
1 1 2 2
1 2 1 2 3
( 1)
( 1) ( 1)
( 1) ( 1) ( 1)
k k k k l
k k k l k
l
k k k l k
l l
k k k l k
l l l
k veces
ABdx dx dx dx dx dx
ABdx dx dx dx dx dx
AB dx dx dx dx dx dx
AB dx dx dx dx dx dx dx
AB

+ + +
+ + +
+ + +
+ + +

=
=
=
=
=
_
1 2 1 2 k k k k l
dx dx dx dx dx dx
+ + +

As tenemos
( )( )
1 2 1 2
1 2 1 2
( 1)
( 1)
( 1)
k
l
k k k k l
lk
k k k k l
lk
AB dx dx dx dx dx dx
Adx dx dx Bdx dx dx

+ + +
+ + +
( =

=
=



de manera que
( 1)
lk
=

lo cual prueba el teorema.

Corolario: Si

es una k-forma, entonces

2
0 = cuando
k
es un nmero impar.

Prueba: Del teorema anterior vemos que
( 1)
kk
=

Ahora, si k es un nmero impar, entonces es
de la forma
2 1 k n = +
. Esto significa que
2 2 2 2
(2 1) 4 4 1 2(2 2 ) 1 kk k n n n n n = = + = + + = + +

puesto que ( )
2
2 2 2 n n +
es un nmero par es
evidente que
2
2(2 2 ) 1 n n + +
es un nmero
impar, por lo cual
( 1) 1
kk
=

Esto significa
=

de modo que
0 + =

lo cual significa que
2
0 =
, lo que prueba el
corolario.

Hemos visto que una forma diferencial de
orden
r
o
r
-forma es un co-tensor de tipo
(0, ) r
totalmente anti-simtrico. El espacio
vectorial de las
r
-forma en un punto P M
es denotado por ( )
r
P
M .
El conjunto de las
r
-forma
{ }
1 2 r
i i i
dx dx dx
constituyen una base para
( )
r
P
M
, de modo
que un elemento ( )
r
P
M puede ser
expandida como
1 2
1 2
1
!
r
r
i i i
i i i
dx dx dx
r


=

El espacio vectorial de los co-tensores anti-
simtricos tipo
(0, ) r
, es decir el espacio
vectorial de las
r
-formas tiene dimensin
!
!( )!
n
r
n
n
C
r r n r
| |
= =
|

\ .

donde
n
es la dimensin de la variedad M .
Esto nos permite construir la siguiente tabla

r-formas bases dimensin
0
( ) ( ) M f M = { }
1
1
0
n
| |
=
|
\ .

1 *
( ) ( ) M T M =
{ }
i
dx
1
n
n
| |
=
|
\ .

2
( ) M
{ }
1 2
i i
dx dx
( 1) / 2
2
n
n n
| |
=
|
\ .

3
( ) M
{ }
3 1 2
i i i
dx dx dx
( 1)( 2) / 6
3
n
n n n
| |
=
|
\ .

1
( )
n
M

{ }
1 1 2 n
i i i
dx dx dx


1
n
n
n
| |
=
|

\ .

( )
n
M
{ }
1 2 n
i i i
dx dx dx
1
n
n
| |
=
|
\ .



El hecho que
[ ]
! !
( )! ( )! !( )!
n
n n
n r n r n n r n n r
| |
= =
|

\ .

nos dice que
n n
r n r
| | | |
=
| |

\ . \ .

lo cual significa que
( )
r
P
M
y
( )
n r
P
M

son
espacios vectoriales de la misma dimensin
dim ( ) dim ( )
r n r
P P
M M

=


de modo que
n n
r n r
C C

= .

















Derivada Exterior
Definicin: se define la derivada exterior
d

como un mapeo que toma
p
-formas y las
lleva a
( 1) p +
-formas:
1
: ( ) ( )
r r
P P
d M M
+


cuya accin sobre la
r
-forma
1 2
1 2
1
!
r
r
i i i
i i i
dx dx dx
r


=

es definida como
( )
1 2
1 2
1 2
1 2
1
!
1
!
r
r
r
r
i i i f
i i i
f
i i i f
f i i i
d dx dx dx dx
r x
d dx dx dx dx
r

| |
=
|

\ .
=

Esto significa que la derivada exterior es
equivalente al producto cua
d
.

Teorema: La derivada exterior es un
operador lineal. Esto significa que si F y
G

son
q
-formas y si
K
, entonces

a)
( ) d F G dF dG + = +

b)
( ) d F dF =






Lema de Poincar: si

es una
p
-forma,
entonces
( )
0 d d =


Prueba: si

1 2
1 2
1
!
r
r
i i i
i i i
dx dx dx
r


=

entonces
( )
1 2
1 2
1
!
r
r
i i i f
f i i i
d dx dx dx dx
r


=

de modo que
( )
( )
( )
1 2
1 2
1 2
1 2
1
!
1
!
r
r
r
r
i i i k f
k f i i i
i i i k f
k f i i i
d d dx dx dx dx dx
r
d d dx dx dx dx dx
r

(
=
(

=


de donde vemos que el lado derecho de la
ltima ecuacin es el producto de tensor
simtrico
1 2 r
k f i i i

en
kf
por un tensor anti-
simtrico
1 2 r
i i i k f
dx dx dx dx dx en
kf
, por lo
que podemos escribir
( )
0 d d =

lo cual prueba el teorema.







Regla de Leibniz para formas
diferenciales

Teorema: si F es una
p
-forma y si
G
es
una q -forma, entonces

( )
( 1)
p
d F G dF G F dG = +


Prueba: teniendo en cuenta que
( )( )
1 1
1 1
1
! !
p q
p q
i k
i k
i i k k
F G F dx dx G dx dx
p q

=


tenemos

( )
( )( )
1 1
1 1
1
! !
p q
p q
i k
i k
i i k k
d F G d F dx dx G dx dx
p q

(
=



( )
( )( )
( )
( )
( )
1 1
1 1
1 1
1 1
1 1
1 1
! !
! !
! !
p q
p q
p q
p q
p q
p q
i k
i k
i i k k
i k
i k
i i k k
i k
i k
i i k k
p q d F G d F dx dx G dx dx
p q d F G d F G dx dx dx dx
p q d F G d F G dx dx dx dx



(
=

(
=

=

pero
( )
1 1 1 1 1 1 p q p q p q
l l
i i k k l i i k k i i l k k
d F G dx F G F dx G

= +

de modo que
( )
( )
( )
1 1
1 1
1 1
1 1
! !
p q
p q
p q
p q
i k
i k l
l i i k k
i k
i k l
i i l k k
p q d F G dx F G dx dx dx dx
F dx G dx dx dx dx


=
+


( )
( )( )
( )( )
1 1
1 1
1 1
1 1
! !
p q
p q
p q
p q
i k
i k l
l i i k k
i k
i k l
i i l k k
p q d F G F dx dx dx G dx dx
F dx dx dx G dx dx


=
+

teniendo en cuenta que

1 1
( 1)
p
i
i i l p l
dx dx dx dx dx dx =

podemos escribir
( )
1 1
1 1
1 1
1 1
1 1
! !
1 1
( 1)
! !
p q
p q
p q
p q
i k
i k l
l i i k k
i k
i k p l
i i l k k
d F G F dx dx dx G dx dx
p q
F dx dx G dx dx dx
p q


| || |
=
| |
\ .\ .
| || |
+
| |
\ .\ .

es decir
( )
( 1)
p
d F G dF G F dG = +

lo que prueba el teorema.


Formas diferenciales cerradas y exactas

Definicin: una
p
-forma
F
es llamada
cerrada si su derivada exterior se anula, es
decir
0 dF =


Definicin: Una
p
-forma
F
es llamada
exacta si existe una ( 1) p -forma
G
talque
F dG =


Lema de Poincar: Toda
p
-forma exacta es
cerrada
0 dF ddG = =


Sin embargo, la afirmacin inversa no es
necesariamente cierta, es decir no toda
cerrada es exacta.

Teorema: Si F es una forma cerrada y si G
es una forma exacta, entonces la forma
F G

es una forma cerrada.

Prueba: Si F es una forma cerrada,
entonces
0 dF =
. Si
G
es una forma exacta,
entonces
G dH =
.
De la regla de Leibniz sabemos que

( )
( 1)
p
d F G dF G F dG = +

Dado que
0 dF =
y que G dH = por lo que
0 dG ddH = =
, tenemos
( ) 0 d F G =

lo que prueba que F G es una forma cerrada.

Definicin: Sea F una
k
-forma y sean
1 2
, , ,
k
k campos escalares suaves.
F
ser
llamada simple, si ella puede ser
descompuesta en la forma

1 2 k
F d d d =


Teorema: Una forma simple es una forma
cerrada

Prueba: Una forma simple es dada por
1 2 k
F d d d =

de modo que
( )
1 2 k
dF d d d d =

de donde, usando el lema de Poincar,
tenemos
0 dF =

lo cual prueba el lema.

Teorema: Una forma simple es una forma
exacta
Prueba: Una forma simple es dada por
1 2 k
F d d d =

El lema de Poincar nos permite escribir
( )
1 2 k
F d d d dG = =

lo cual prueba el lema.

Ejemplos

(1) Si
A
es una
0
-forma, es decir es una
funcin, entonces su derivada exterior es
una 1-forma dada por
A A A
dA dx dv d:
x v :

= + +


donde { }
, , dx dv d:
es una base para
1
-formas y
donde ( )
/ , / , / A x A v A :
son los coeficientes
de la expansin de la 1-forma
dA
como
combinacin lineal de la base.

(2) Si
2 3
( ) / A x v : = + es una 0-forma, entonces
A A A
dA dx dv d:
x v :

= + +


( )
2 3
2
2
2 3
x v
x v
dA dx dv d:
: : :
+
= +

es una 1-forma.

(3) Si
2
( ) tan(2 ) B sen x v : = + + es una 0-forma,
entonces
B B B
dB dx dv d:
x v :

= + +


2 2 2
2 cos( ) cos( ) 2sec (2 ) dB x x v dx x v dv : d: = + + + +

es una 1-forma.

(4) Si 2 3
:
C xv :e x = + + es una 0-forma,
entonces
C C C
dC dx dv d:
x v :

= + +


( 2) ( 1)
:
dC v dx xdv : e d: = + + + +


Observacin: Dado que { }
, , dx dv d:
es una
base para 1-formas, se tiene que
dx =
es una
1-forma. Esta 1-forma es en realidad la
derivada exterior de la cero forma
( , , ) A x v : x =
.



En efecto,
1 0 0
A A A
dA dx dv d: dx dv dx dx
x v :

= + + = + + =



de manera que
dx =
es una 1-forma.

(5) Si
2 3 2 4 3 2
( ) ( 2 ) ( ) Adx Bdv Cd: x v : dx v x: dv x v : d: = + + = + + + +
es una 1-forma, entonces
d dAdx dBdv dCd: = + +

donde
2 3 2 4 3 2
( ); ( 2 ); ( ) A x v : v x: C x v : = + = = + .
Esto significa que
2 3
3 2
2 3
2 2 2
4 3 2
A A A
dA dx dv d: xdx v :dv v d:
x v :
B B B
dB dx dv d: :dx vdv xd:
x v :
C C C
dC dx dv d: x dx v dv :d:
x v :

= + + = + +


= + + = +


= + + = +



Esto implica que,
( ) ( )
( )
2 3
3 2
2 3 2 2 2
4 3 2
d xdx v :dv v d: dx :dx vdv xd: dv
x dx v dv :d: d:
= + + + +
+ +


( ) ( )
( )
2 3
3 2
2 3 2 2 2
4 3 2
d xdxdx v :dvdx v d:dx :dxdv vdvdv xd:dv
x dxd: v dvd: :d:d:
= + + + +
+ +


( ) ( ) ( )
2 3 3 2
2 3 4 3 2 d x v : dxdv v x d:dx v x dvd: = + + +

es una 2-forma.

(6) Si
Advd: Bd:dx Cdxdv = + +

( ) ( )
2 3 4 2 3 4
2 3 1 x v : dvd: x v : d:dx x v : dxdv = + + + + + + +

es una 2-forma, entonces
d dAdvd: dBd:dx dCdxdv = + +

donde
( ) ( )
2 3 4 2 3 4
; 2 3 1 A x v : B x v : C x v : = + + = ; = + + +

por lo que
( )
( ) ( )
2 3
3 4 2 2 4 2 3 3
2 3 4
2 3 4 2 3
d xdx v dv : d: dvd:
xv : dx x v : dv x v : d:dx dx dv d: dxdv
= + +
+ + + + + +


( )
( )
( )
2 3
3 4 2 2 4 2 3 3
2 2 4
2 3 4
2 3 4
2 3
2 0 0 0 3 0 0 3
d xdxdvd: v dvdvd: : d:dvd:
xv : dxd:dx x v : dvd:dx x v : dvd:dx
dxdxdv dvdxdv d:dxdv
xdxdvd: x v : dvd:dx d:dxdv
= + +
+ + +
+ + +
= + + + + + + +


2 2 4
(2 3 3) d x x v : dxdvd: = + +

es una 3-forma.

Teorema: Si
E
es un espacio tridimensional,
entonces
a) Si
A =
es una
0
-forma, entonces
A A A
dA dx dv d:
x v :

= + +


es una 1-forma.

b) Si
Adx Bdv Cd: = + +
es una 1-forma,
entonces
C B A C B A
d dvd: d:dx dxdv
v : : x x v

| | | |
| |
= + +
| | |

\ .
\ . \ .

es una 2-forma.

c) Si
Advd: Bd:dx Cdxdv = + +
es una 2-forma,
entonces
A B C
d dxdvd:
x v :

| |
= + +
|

\ .

es una 3-forma.

d) Si
Adxdvd: =
entonces
0 d =
.

Prueba
Parte (b): Si
Adx Bdv Cd: = + +
entonces
d dAdx dBdv dCd: = + +

A A A
dA dx dv d:
x v :
B B B
dB dx dv d:
x v :
C C C
dC dx dv d:
x v :

= + +


= + +


= + +


de manera que

A A A B B B
d dx dv d: dx dx dv d: dv
x v : x v :
C C C
dx dv d: d:
x v :

| | | |
= + + + + +
| |

\ . \ .
| |
+ + +
|

\ .


A A A B B B
d dxdx dvdx d:dx dxdv dvdv d:dv
x v : x v :
C C C
dxd: dvd: d:d:
x v :

| | | |
= + + + + +
| |

\ . \ .
| |
+ + +
|

\ .

A A B B
d dvdx d:dx dxdv d:dv
v : x :
C C
dxd: dvd:
x v

= + + +


+ +



C B A C B A
d dvd: d:dx dxdv
v : : x x v

| | | |
| |
= + +
| | |

\ .
\ . \ .

Parte (c ):
Si
Advd: Bd:dx Cdxdv = + +
entonces
d dAdvd: dBd:dx dCdxdv = + +

A A A
dA dx dv d:
x v :
B B B
dB dx dv d:
x v :
C C C
dC dx dv d:
x v :

= + +


= + +


= + +


de manera que

A A A B B B
d dx dv d: dvd: dx dv d: d:dx
x v : x v :
C C C
dx dv d: dxdv
x v :

| | | |
= + + + + +
| |

\ . \ .
| |
+ + +
|

\ .

A A A B B B
d dxdvd: dv d:dvd: dxd:dx dvd:dx d:d:dx
x v : x v :
C C C
dxdxdv dvdxdv d:dxdv
x v :

| | | |
= + + + + +
| |

\ . \ .
| |
+ + +
|

\ .

0 0
A B C
d dxdvd: dvd:dx dxd: d:dxdv
x v :

= + + + + +


de manera que
A B C
d dxdvd:
x v :

| |
= + +
|

\ .



La correspondencia fundamental

Definicin:
a) Una 0-forma
A =
corresponde a una
funcin
A

b) Una 1-forma
Adx Bdv Cd: = + +

corresponde al campo vectorial
` `
F Ai B f Ck = + +
,
`

c) Una 2-forma
Advd: Bd:dx Cdxdv = + +

corresponde al campo vectorial
` `
F Ai B f Ck = + +
,
`

d) Una 3-forma
Adxdvd: =
corresponde a la
funcin
A
.


Teorema: si denotamos con

la
correspondencia fundamental y con
d
la
diferencial exterior, entonces el siguiente
diagrama conmuta:

{ }
0 formas


{ }
funciones
d
grad
{ }
1 formas

{ }
campos vectoriales
d rotacional
{ }
2 formas

{ }
campos vectoriales
d
divergencia
{ }
0 formas


{ }
funciones
Decir que un diagrama conmuta significa que
el resultado de seguir las flechas hacia el lado
y abajo es el mismo que seguirlos hacia abajo
y hacia el lado.

Teorema:
a) Si la 0-forma

la funcin A,
entonces a la 1-forma
d

el campo
vectorial
( ) grad A
.
b) Si la 1-forma

el campo vectorial F
,
,
entonces a la 2-forma d el campo
vectorial
rot F
,
.
c) Si la 2-forma

el campo vectorial F
,
,
entonces a la 3-forma
d

la funcin
( ) div F
,
.


Prueba:
a)
A =
: la 0-forma corresponde a la funcin
A. Puesto que
` `
( )
A A A
d dx dv d:
x v :
A A A
grad A i f k
x v :

= + +


= + +

`

tenemos que
d A
,
.

b) La 1-forma
Adx Bdv Cd: = + +
corresponde al
campo vectorial
` `
F Ai B f Ck = + +
,
`
. Puesto que

C B A C B A
d dvd: d:dx dxdv
v : : x x v

| | | |
| |
= + +
| | |

\ .
\ . \ .


` `
C B A C B A
rot F i f k
v : : x x v
| | | |
| |
= + +
| | |

\ .
\ . \ .
,
`


tenemos que d rot F
,
.

c) La 2-forma Advd: Bd:dx Cdxdv = + + corresponde
al campo vectorial
` `
F Ai B f Ck = + +
,
`
. Puesto que
A B C
d dxdvd:
x v :

| |
= + +
|

\ .


( ) 1
A B C
div F
x v :
| |
= + +
|

\ .
,


tenemos ( ) d div F
,
.

Este teorema puede ser probado, como hemos
visto, fcilmente. Sin embargo sus
implicaciones son importantes: el teorema
unifica las dispares operaciones de
gradiente
,
divergencia
y rotacional haciendo uso de la
correspondencia fundamental. El teorema
muestra que las citadas operaciones son todas
casos especiales de la derivada exterior.

Corolario:

a) Para toda funcin A tipo
2
C , se tiene

[ ]
( ) 0 ( ) 0 rot grad A d d = =


b) Para todo campo vectorial F
,
tipo
2
C , se
tiene
( ) 0 ( ) 0 div rot F d d
(
= =

,

Prueba:
a) Si
A
entonces ( ) d F grad A =
,
. Si

es
una 1-forma dada por
d =
, tenemos
( ) d d d =
. De manera que si F
,

entonces d rot F =
,
. De donde vemos de
inmediato que
[ ]
( ) ( ) d d rot grad A . El lema de Poincar nos dice
que
( ) 0 d d =
por lo cual [ ]
( ) 0 rot grad A =
.

b) Si F
,
entonces d G rot F =
, ,
. Si

es
una 2-forma dada por
d =
, tenemos
( ) d d d =
. De manera que si G
,

entonces d divG =
,
. De donde vemos de
inmediato que
( )
( ) d d divG div rot F =
, ,
. El lema de Poincar nos
dice que
( ) 0 d d =
por lo cual
( )
0 div rot F =
,
.

Resumen: Recordemos que:

a) Si

es una k-forma, entonces

( ) 0 d d =

b) Una k-forma

es llamada cerrada si
0 d =

c) Una k-forma

es llamada exacta si existe

una (k-1)-forma

talque
d =
.
d) Toda forma diferencial exacta es una
forma diferencial cerrada:
( ) 0 d d d = =


Ejemplos

a) Sea
4 2 3 5 3 5 2 2
5 2 3 x v : dx x v: dv x v : d: Adx Bdv Cd: = + + = + +
calcule
d
.
Solucin:
d dAdx dBdv dCd: = + +
.
Puesto que
3 2 3 4 3 4 2 2
4 3 5 3 5 2
4 2 2 5 2 5 2
20 10 15
10 2 6
15 6 6
dA x v : dx x v: dv x v : d:
dB x v: dx x : dv x v: d:
dC x v : dx x v: dv x v :d:
= + +
= + +
= + +


( )
( )
( )
3 2 3 4 3 4 2 2
4 3 5 3 5 2
4 2 2 5 2 5 2
20 10 15
10 2 6
15 6 6
d x v : dxdx x v: dvdx x v : d:dx
x v: dxdv x : dvdv x v: d:dv
x v : dxd: x v: dvd: x v :d:d:
= + +
+ + +
+ + +


4 3 4 2 2
4 3 5 2
4 2 2 5 2
10 15
10 6
15 6 0
d x v: dvdx x v : d:dx
x v: dvdx x v: d:dv
x v : d:dx x v: d:dv
= +
+
=


As tenemos
0 d =
por lo que

es cerrada.

Dada la 0-forma
5 2 3
x v : = podemos ver

4 2 3 5 3 5 2 2
5 2 3 d x v : dx x v: dv x v : d: = + +


es decir vemos que
d =
es decir que

es
una forma exacta.


b) Sea
2
2
:
x v
: dvd: x e d:dx Advd: Bd:dx
: :

| | | |
= + = +
| |
\ . \ .

calcule
d
.

Solucin:
d dAdvd: dBd:dx = +
.





Puesto que
2 2
2 2
2 2
1
2 ( 2)
2 2
: : : :
x dx x
dA dx d: d: d:
: : : :
dv v dv v
dB xe dx x e d: d: xe dx x e d:
: : : :
= = +
| |
= + + = + +
|
\ .

tenemos
2
2 2
( 2) 2
: :
dx x dv v
d d: dvd: xe dx x e d: d:dx
: : : :

(
( | |
= + + + +
|
(
(
\ .



2
2 2
( 2) 2
: :
dx x dv v
d dvd: d:dvd: xe dxd:dx d:dx x e d:d:dx
: : : :

| |
= + + + +
|
\ .

0
dx dv dxdvd: dxdvd:
d dvd: d:dx
: : : :
= = =

As tenemos
0 d =
por lo que

es cerrada.

Dada la 0-forma
2 2 :
xv
x e dx : dv d:
:
= + + podemos ver

2
2
2
2
:
:
v x
d x e d:dx :d:dv dxd: dvd:
: :
x v
d : dvd: x e d:dx
: :

= + + +
| | | |
= +
| |
\ . \ .


es decir vemos que
d =
es decir que

es
una forma exacta.

Los resultados anteriores muestran que es
mas fcil decidir si una forma es o no cerrada
que decidir si dicha forma es o no exacta.
Para saber si una forma

es o no cerrada
debemos solamente calcular
d
, mientras que
para saber si una forma es o no exacta
debemos encontrar una apropiada forma

.
Hemos visto dos ejemplos de formas cerradas
que son formas exactas. Parece razonable
preguntar son todas las formas cerradas
exactas?. La respuesta es no siempre. Para
ser precisos, esto depende de la regin donde
las formas estn definidas. Hasta ahora no
hemos puesto atencin a este hecho. En
realidad para que

d dx dv d:
x v :

= + +



este bien definida, es necesario que las
derivadas parciales estn bien definidas, es
decir deben ser de clase
r
C
.

Definicin:
Una funcin
f
sobre una regin R es
llamada de clase C

, si todas sus derivadas

parciales de todos los ordenes estn
definidas y son continuas sobre
R
.
Una forma diferencial

es llamada de clase
r
C sobre una regin R si todas las funciones
involucradas en

son de clase
r
C sobre R:
0,1, 2, , r = .
Ejemplo:
a) Si
( ) ( ) ( ) xsen v dx vsen : dv :sen x d: = + +

entonces

esta definida y es de clase C

sobre
3
R .
b) Si

2 2 2 2 2 2
1 1 1
dvd: d:dx dxdv
v : : x x v
= + +
+ + +

vemos que esta definido y es de clase C

excepto donde a lo menos uno de los
denominadores se anula, es decir sobre
3
R
menos los ejes coordenados. Este es un
ejemplo de forma cerrada pero no exacta.

Ejemplo: Sea a = para toda 0 a numero real =
es decir

es una funcin constante. Esto

significa que

esta definida sobre

3
R .
Claramente
0 d =
, es decir

es una forma
cerrada. Sin embargo

no es una forma
exacta. Esto resulta evidente ya que de otra
forma

debera ser la derivada exterior de

una ( 1) -forma.
En realidad, si

es una funcin, es decir es

una 0-forma sobre
3
R con
0 d =
, entonces

es constante, es decir
a =
para algn
a
. Las
0-formas son triviales. Mas interesante son
las
k
-formas para
0 k >
.


Ejemplo: Sea
1
2 2 2 2
v x
Adx Bdv dx dv
x v x v

= + = +
+ +


podemos considerar a
1
como definida sobre
2
R menos el origen
(0, 0)
o sobre
3
R menos el
eje
, ( 0) : x v = =
.

1
d dAdx dBdv = +

pero
( ) ( )
( ) ( )
2 2 2 2
2 2 2 2
2
2 2 2 2
2 2 2 2
2 2
2 2
v dv v
dA xdx vdv
x v
x v x v
xv dv v
dA dx dv
x v
x v x v
= +
+
+ +
= +
+
+ +


( ) ( )
2
2 2 2 2
2 2 2 2
2 1 2 xv v
dA dx dv
x v
x v x v
| |
|
=
| +
+ +
\ .


( )
( )
( )
2 2
2 2
2 2 2 2
2
x v
xv
dA dx dv
x v x v

=
+ +


( ) ( )
( ) ( )
( ) ( )
2 2 2 2
2 2 2 2
2
2 2 2 2
2 2 2 2
2
2 2 2 2
2 2 2 2
2 2
2 2
1 2 2
dx x xdx x vdv
dB
x v
x v x v
dx x xv
dB dx dv
x v
x v x v
x xv
dB dx dv
x v
x v x v
=
+
+ +
=
+
+ +
| |
|
=
| +
+ +
\ .


( )
( )
( )
( ) ( )
2 2
1
2 2
2 2 2 2
2 2
2 2
2 2 2 2
2
2
x v
xv
d dxdx dvdx
x v x v
v x xv
dxdv dvdv
x v x v

=
+ +

+
+ +


( )
( ) ( )
2 2
2 2
1
2 2
2 2 2 2
0
v x
v x
d dvdx dxdv
x v x v

= + =
+ +


de modo que
1

es una forma cerrada. Sin

embargo
1

no es exacta.


Ejemplo: Sea

( ) ( ) ( )
2
3/ 2 3/ 2 3/ 2
2 2 2 2 2 2 2 2 2
xdvd: vd:dx :dxdv
x v : x v : x v :
= + +
+ + + + + +


Es directo ver que
2
est definido sobre
3
R
menos el origen (0, 0, 0) . Es tambin directo ver
que
2
0 d = . Es decir
2
es cerrada. Sin embargo
2
no es exacta.

Definicin: Una regin R es simplemente
conectada, si toda curva cerrada en R puede
ser continuamente deformada a un punto por
medio de deformaciones que permanecen en
R.

Teorema: Si R es una regin simplemente
conectada, entonces toda 1-forma cerrada
definida sobre R es exacta.

Para aplicar este teorema necesitamos definir
una regin simplemente conectada. Antes de
dar la definicin debemos notar que
n
R es
simplemente conectada para todo
n
, de
modo que cualquier 1-forma cerrada

sobre
n
R es exacta.

Consideremos un resultado que identifica
regiones simplemente conectadas en
2
R . Se
dice que una curva es cerrada si ella finaliza
donde ella comienza. Una curva es simple si
ella no se corta a si misma.


Teorema: Una regin
2
R que es el interior de
una curva cerrada simple es simplemente
conectada.

Ejemplo: El disco unitario en
2
R , el cual es el
interior del circulo unitario, es simplemente
conectado. As toda 1-forma cerrada

definida sobre el disco unitario es exacta.

Ejemplo: La regin { }
2
(0, 0) R = R
no es
simplemente conectada. El crculo unitario es
una curva en R que no puede ser deformada a
un punto mientras permanezca en R. Esto
significa que una 1-forma

cerrada definida
en R no es exacta. Esta es la razn del por
que
1
no es exacta.

Hemos dicho que una 1-forma cerrada sobre
n
R es exacta para cualquier
n
debido a que
n
R
es simplemente conectada. En otras palabras,
si

es una k -forma definida sobre

n
R con
0 d = , entonces existe una
( 1) k
-forma
definida sobre
n
R con
d =
.
Veamos ahora como encontrar

para
pequeos valores de
k
y
n
.

Ejemplo: Sea
3 3 2 2
( , ) (2 4 ) (3 2 ) x v xv x dx x v v dv = + + +
una 1-forma cerrada sobre
2
R .
Sea
3 3 2 2
(2 4 ) (3 2 )
A A
dA dx dv xv x dx x v v dv
x v

= = + = + + +



de donde vemos
( )
3 3
3 3 2 3 4
2 4
2 4 ( )
A
xv x de donde
x
A
A dx xv x dx x v x C v
x

= +

= = + = + +

} }


donde
( ) C v
es una constante de integracin
con respecto a
x
pero es una funcin con
respecto a
v
.
Dado que
2 3 4
( ) A x v x C v = + +
se tiene
2 2
( )
3
A dC v
x v
v dv

= +

y dado que, por otro lado, sabemos que
2 2
3 2
A
x v v
v

= +

de donde
2
( )
2 ( ) 2
dC v
v C v vdv v C
dv
= = = +
}

donde ahora C es una constante. As tenemos
que
2 3 4 2
A x v x v C = + + +

Hemos resuelto el problema integrando
primero con respecto a
x
y luego con
respecto a
v
. El mismo resultado puede ser
obtenido integrando primero con respecto a v
y luego con respecto a x .
Ejemplo: Sea
3 2 2 3 3
2 2 2
( , , ) (2 4 2) ( 2 2 1)
(3 6 4 4 )
x v : xv: v : dx x : xv : dv
x v: v: x : d:
= + + + + + +
+ + +

una 1-forma cerrada sobre
3
R . Si
A A A
dA dx dv d:
x v :

= = + +


tenemos
( )
3 2 3 2
2 3 2
1
2 4 2 2 4 2
2x C , )
A
xv: v : xv: v : dx
x
x v: xv x: v :

= + + + = + + +

= + + 4 + (
}


de donde,
2 3
1
2 '( , )
A
x : xv C v :
v

= + +

por otro lado de sabemos que
2 3 3
2 2 1
A
x : xv :
v

= + +

esto significa que
( )
3 3
1
1 1
3
1 2
'( , ) 2 1 , 1
, ( )
C
C v : : C v : : dv
v
C v : v: v C :

= = ( ) = 2

( ) = 2 +
}

de manera que
2 3 2 3
2
2x ( ) x v: xv x: v: v C : = + + 4 + 2 +
de donde
2 2 2
2
3 6 4 '( )
A
x v: v: x C :
:

= + + +

Por otro lado de sabemos que
2 2 2
3 6 4 4
A
x v: v: x :
:

= + +

Esto nos dice que
( )
2
2
2 2
'( ) 4 ) 4 2
C
C : : C : : d: : C
:

= = ( = = +

}

donde C es una constante. As tenemos

2 3 2 3 2
2x 2 x v: xv x: v: v : C = + + 4 + 2 +
De manera que hemos encontrado que
dA =

donde
A
es dada por la expresin anterior.

Debe ser notado que en los ejemplos
precedentes fue crucial el uso de la condicin
que es una forma cerrada.

Co-homologa de De-Rham

Hasta ahora hemos estudiado la relacin entre
formas cerradas y exactas en algunos casos
particulares. Consideremos ahora una breve
discusin de esta relacin.
La diferencia entre formas cerradas y exactas
es medida por medio de la llamada Co-
homologa de De-Rham.
Denotamos con ( )
k
Z M al conjunto de todas las
k-formas cerradas sobre
M
, el cual es un
espacio vectorial.
Denotaremos con
( )
k
B M
al conjunto de todas
las
k
-formas exactas. Este conjunto es un
sub-espacio de ( )
k
Z M .
Esto significa que podemos construir el
espacio vectorial cuociente:

( )
( )
( )
k
k
k
Z M
H M
B M
=


El espacio vectorial
( )
k
H M
es un espacio
vectorial k-dimensional conocido como el
espacio vectorial de las clases de co-
homologa de De-Rham. El teorema de De-
Rham establece que este espacio vectorial es
isomorfo a cierto espacio vectorial conocido
como "el grupo de co-homologa k-
dimensional de
M
. En resumen tenemos:

1. El grupo de co-homologa de De-Rham
( )
k
dR
H R determina si toda k-forma cerrada
definida en una regin
R
es o no exacta.

2. Si todas las k-formas cerradas sobre R
son exactas, entonces
( ) 0
k
dR
H R =

3. Si no todas las k -formas cerradas sobre
R
son exactas, entonces
( ) 0.
k
dR
H R

As tenemos,
a)
0
( ) ; ( ) 0
n k n
dR dR
H H = = R R R para
0 k >
, para
cualquier
n
.
b) Si R es contractible entonces
0
( ) ; ( ) 0
n k n
dR dR
H H = = R R R para
0 k >
.
c)
1 2 1 3
(0, 0)
dR dR
H H efe : ( ( = =

R R R


d)
1 3
(0, 0, 0)
dR
H ( =

R R

Definicin: Sea ( )
p
Z M el conjunto de las p -
formas cerradas y sea ( )
p
B M el conjunto de las
p
-formas exactas sobre M :

{ }
{ }
1
( ) ( ) / 0
( ) ( ) /
p p
p p p
Z M M d
B M M d



= =
= = ()

Dado que
2
0 d = , tenemos que las formas
exactas son un subconjunto de las formas
cerradas. El p-esimo grupo de co-homologa
de De-Rham es definido por

( )
( )
( )
p
p
p
Z M
H M
B M
=


donde
p
Z : es el espacio de las formas cerradas
p
B : es el espacio de las formas exactas

es decir
p
H es el conjunto de todas las formas
cerradas que no son exactas.
Dos formas cerradas
1

y
2

pertenecen a la
misma clase de equivalencia es decir son co-
homologas
1 2
~
si y solo si difieren en una
forma exacta:
1 2
d = +


Lema: La diferencial exterior
1
: ( ) ( )
k k
d M M
+


satisface la condicin
1 1 2 2 1 1 2 2
( ) d c c c d c d + = +

Lema: Si es una k-forma, entonces
( ) 0 d d =

Corolario: Toda k-forma exacta es cerrada.

Estos lemas y el corolario son resultados
conocido para
( )
k
R
, donde
R
es una regin
de
n
R .
Por otro lado cualquier variedad suave puede
ser cubierta por cartas coordenadas, donde
cada una de ellas es la imagen de un
subconjunto abierto de
n
R , y d puede ser
calculada "localmente; es decir para calcular
d cerca de un punto, necesitamos considerar
solamente lo que sucede sobre la carta
coordenada que contiene el punto, y entonces
podemos transferir el clculo a
n
R donde
sabemos como funciona.

Mapeos Lineales Imgenes y Ncleos
Si
J
y
W
son dos espacios vectoriales,
entonces un mapeo
: f J W
es llamado un
mapeo lineal si satisface la condicin
( ) ( )
1 1 2 2 1 1 2 2
( ) f a a a f a f + = +
para cualquier
1 2
, a a y
1
, J

.
La imagen de
f
es definida como
( ) f J W
y
es denotada por ( )
Im f .
El ncleo de
f
, denotado por
( ) Ker f
es
definido como { }
( ) 0 J f = v / v .
As tenemos,
Definicin: Si
: f J W
es un mapeo lineal
entre dos espacios vectoriales J y W ,
entonces se define el ncleo y la imagen del
mapeo, respectivamente, como
{ }
{ }
( ) ( ) 0
Im( ) / ( )
Ker f J f
f W f
= =
= =
v / v
v


Teorema: Si
: f J W
es un mapeo lineal,
entonces
( ) ( )
dim dim ( ) dim Im( ) J Ker f f = + .

Hemos visto que:
a) Una k-forma

sobre M es cerrada si
0 d =
, donde el conjunto de todas las
formas cerradas es denotada por ( )
k
Z M .
b) Una k-forma

sobre
M
es exacta si
d =
para una (k-1)-forma

, donde el
conjunto de todas las formas exactas es
denotada por ( )
k
B M .
c) La diferencial exterior es un mapeo lineal
entre los espacios ( )
k
M y
1
( )
k
M
+
dado por
1
: ( ) ( )
k k
d M M
+



Esto significa que
( ) { }
1
: ( ) ( ) ( ) / 0
k k k
Ker d M M M d d
+
( = =


{ }
1 1
Im : ( ) ( ) ( ) / ,
k k k k
d M M M d

( = =


Esto nos permite escribir,
1
( ) : ( ) ( )
k k k
Z M Ker d M M
+
( =


1
( ) Im : ( ) ( )
k k k
B M d M M

( =



donde tanto
( )
k
Z M
como ( )
k
B M son
subespacios de ( )
k
M .

Definicin: El k-esimo grupo de co-
homologa de De-Rham de
M
es el espacio
vectorial cuociente
1
1
: ( ) ( )
( )
( )
( ) Im : ( ) ( )
k k
k
k
dR k k k
Ker d M M
Z M
H M
B M d M M
+

(

= =
(



Dado que ( )
k
dR
H M es un cuociente de ( )
k
Z M ,
tenemos que toda forma ( )
k
dR
h H M puede ser
representada por alguna forma cerrada

. En
este caso escribimos
[ ]
h = .
As tenemos que
[ ] [ ]
1 2
= si y slo si
1 2

es
exacta, es decir si y slo si
1 2
d = +
para
algn

.

Operador Estrella o de Hodge

Hemos considerado tensores completamente
antisimtricos del tipo
(0, N)
, pero por supuesto
un lgebra del mismo tipo puede ser
construida para tensores del tipo
(N, 0)
en una
manera anloga. Un tensor completamente
antisimtrico del tipo (N, 0) es llamado un N-
vector. Al igual que en caso de las formas, el
espacio vectorial de todos los p -vectores en
algn punto P de una variedad n-dimensional
tiene dimensin
n
p
n!
C
p!(n p)!
=

Notemos que en un punto existen cuatro
espacios que tienen igual dimensin:
a) El espacio vectorial de las p-formas, cuya
dimensin es
n
p
n!
C
p!(n p)!
=

b) El espacio vectorial de las
(n p)
-formas,
cuya dimensin es

( ) [ [
n n
n p p
n! n!
C C
n p ! n (n p) ! p!(n p)!

= = =



c) El espacio vectorial de los p-vectores, cuya
dimensin es
n
p
n!
C
p!(n p)!
=

d) El espacio vectorial de los
(n p)
-vectores,
cuya dimensin es

( ) [ [
n n
n p p
n! n!
C C
n p ! n (n p) ! p!(n p)!

= = =



As tenemos que los cuatro espacios tienen la
misma dimensin

n n
p n p
n!
C C
p!(n p)!

= =

bajo ciertas circunstancias es posible
encontrar un mapeo
1 1
entre estos espacios.
Es un hecho conocido que un tensor mtrico
proporciona un mapeo
1 1
desde el espacio
de los tensores tipo (0, p) al espacio de los
tensores tipo
(p, 0)
. No es difcil ver que este
mapeo preserva anti-simetra, de modo que
mapea
p
-formas en p -vectores
invertiblemente.
Sea que est o no definida una mtrica, existe
una
n
-forma volumen
q
, es decir una
n
-
forma distinta de cero, que proporciona una
mapeo entre
p
-formas y
(n p)
-vectores. Este
mapeo es llamado mapeo dual y ahora
veremos como construirlo.

Mapeo dual (o mapeo *) entre q -vectores
y
(n q)
-formas

Consideremos un mapeo
q
desde el espacio
de los q -vectores en el espacio de las (n q) -
formas:
: q vectores (n q) Iormas q


Esto significa que un
q
-vector T con
componentes
1 q 1 q
i i i
T T
l

l
l
= define una
(n q)
-
forma con componentes
q 1 n
i i

en la siguiente
manera
1 q
q 1 n 1 q q 1 n
i i
i i i i i i
1
T
q!

= q
(1)

o en forma abreviada
(T) = q
. Es comn
escribir
*T =
y llamar a

el dual de
T
. Esto
significa que podemos escribir
1 q
q 1 n 1 q q 1 n
i i
i i i i i i
1
*T T
q!

= q

La ecuacin (1) y la anti-simetra de
1 q q 1 n
i i i i

q

nos dicen que es un cotensor
completamente antisimtrico de rango
(n q)
,
el cual es el nmero de ndices de
q
que
sobrevive despus que se contraen con los
ndices de
T
. As tenemos que

es una
(n q)
-forma.

Mapeo dual entre una
p
-forma y un
(n p)
-
vector

Consideremos un mapeo
q
desde el espacio
de las p -formas en el espacio de los
(n p)
-
vectores:
: p Iormas (n p) vectores q


El mapeo entre T y *T dado por
1 q
q 1 n 1 q q 1 n
i i
i i i i i i
1
*T T
q!

= q

es, como hemos visto, un mapeo
q
desde el
espacio de los
q
-vectores en el espacio de las
(n q)
-formas. Este mapeo es invertible
debido a que en la contraccin de
T
con
q
no
se pierde informacin debido a que
T
ya es
antisimtrico en todos sus ndices.
Para una p-forma

existe un nico
( ) n p
-
vector T para el cual se cumple que
*T =
.
Esto significa que podemos definir un n -vector
1 n
i i

como el inverso de
1 n
i i
q
. As tenemos
1
1
!
n
n
i i
i i
n

=
(2)
El factor
! n
es usado debido a que la suma (2)
tiene
! n
trminos iguales
( )
12 12
12 12
1
12
12
n n
n n
n
n

= =
=
(3)
As tenemos que si

es una p-forma,
entonces, el dual de es dado por
* =
:

1 1 1 1
1
1
*
!
p n p n p p n
p
i i i i i i i i
i i
p

+ + +

= =
(4)
el cual es un (n-p)-vector.

Para ilustrar que las relaciones (1) y (4) son
inversas, consideremos:

a) Funciones Escalares: la funcin
f
, vista
como un 0-vector, tiene como dual a la
n
-
forma
f =
. En efecto,

1
0!
i n i n i n
i i i i i i
f f

= =

As el dual del 0-vector
f
es la
n
-forma
* f f =
(5)

Por otro lado la n-forma * f f = tiene como dual
a un 0-vector f . En efecto,
( )
( )
( )
1 1
*
! !
1
* !
!
i n i n
i n i n
i i i i
i i i i
f f f
n n
f f n f
n

= =
= =
(6)

De (5) y (6) podemos ver ( ) ( )
* * * f f f = =
es
decir
** f f =
.

b) Caso general: si

es una p-forma,
entonces su dual
*
es un (n-p)-vector que
denotaremos por
* =
, dado por

1 1 1 1
1
1
*
!
p n p n p p n
p
i i i i i i i i
i i
p

+ + +

= =

lo que significa que el dual de la p -forma

es
el (n-p)-vector * = .

Por otro lado, el (n-p)-vector

tiene como
dual a la [ ]
( ) n n p p
-forma
*
dada por

1
1 1 1
1
*
( )!
n p
n p n n p n p n
i i
i i i i i i
n p


+ +

(8)

para introducir (4) en (8) consideremos

1 1 1
1
1
!
n p p n p
f f
p
i i f f i i
p

=

de modo que

( )
1 1
1 1 1
1
1 1
1 1 1
1
( )
1 1
*
( )! !
1
*
!( )!
p n p
n p n n p n p n f f
p
n p p
n p n n p n p n f f
p
f f i i
i i i i i i
p n p
i i f f
i i i i i i
n p p
p n p

+ +

+ +

Puesto que
1 1 1 1
1 1 1 1
1 1 1
1 1 1
( )!
n p p n p p
n p n p n n p n p n
n p p p
n p n p n n p n
i i f f i i f f
i i i i i i i i
i i f f f f
i i i i i i
n p



+ +

+ +




=
=


( )
1
1 1
1
( )
1
* ( )!
!( )!
p
n p n n p n f f
p
p n p
f f
i i i i
n p
p n p

+ +

renombrando los ndices
1 n p n
i i
+
como
1 p
k k
podemos escribir

( )
1
1 1
1
( )
1
*
!
p
p p f f
p
p n p
f f
k k k k
p

=


de donde
( )
1
1
( )
* 1
p k k
p
p n p
k k

=
(9)
o bien
( )
( )
* 1
p n p

=


y puesto que * = tenemos

( )
( )
** 1
p n p

=

De manera anloga, si hubisemos partido
con un
q
-vector T habramos encontrado
( )
( )
** 1
q n q
T T

=


Ejemplos
1. Gradiente: Hemos visto que si f es una
funcin, es decir una 0-forma, entonces al
gradiente de f , f
,
, le corresponde la 1-
forma

1 2 3
1 2 3
i
i
f f f f
df dx dx dx dx
x x x x

| |
= = + +
|

\ .


2. Rotacional: Si
` `
x v :
A A i A f A k = + +
,
`
le
corresponde la 1-forma
1 2 3
1 2 3
i
i
dx dx dx dx = = + +


entonces al rotacional A
, ,
le corresponde la
2-forma d :
1 2 3
1 2 3
1 2 3
3 1 2
f f f
f f f
d d dx dx dx
d dx dx dx dx dx dx
x x x

( = + +


= + +



2 1 3 1 1 2
1 1 2
2 3 1
3 2 1 3 2 3
3 3 2
3 1 2
d dx dx dx dx dx dx
x x x
dx dx dx dx dx dx
x x x

= + +


+ + +



2 1 3 2
3 1 2 2
2 1 3 2
1 3
3 1
1 3
d dx dx dx dx
x x x x
dx dx
x x

| | | |
= +
| |

\ . \ .

| |
+
|

\ .


para ver que esta expresin es el dual del
rotacional, consideremos su dual de Hodge:

( ) ( )
( )
2 1 3 2
3 1 2 2
2 1 3 2
1 3
3 1
1 3
* * *
*
d dx dx dx dx
x x x x
dx dx
x x

| | | |
= +
| |

\ . \ .

| |
+
|

\ .

y puesto que
( )
( )
( )
2 1 213
3 3
3 2 321
1 1
1 3 132
2 2
*
*
*
dx dx
x x
dx dx
x x
dx dx
x x

= =


= =


= =



tenemos

3 1 2 2
2 1 3 3 2 1
3 1
1 3 2
*d
x x x x x x
x x x

| | | |
=
| |

\ . \ .

| |

|

\ .


de manera que:
3 3 2 1
2 3 1 1 3 2
2 1
1 2 3
*d
x x x x x x
x x x

| | | |
=
| |

\ . \ .

| |
+
|

\ .


de donde vemos que

*d =
, ,
(10)

es decir el operador rotacional en 3-
dimensiones es
*d
.

3. Divergencia: Consideremos el vector

1 2 3
1 2 3
A A A A
x x x

= + +

,


tomando el dual, podemos escribir

( )
1 2 3
1 2 3
* * * * A A A A
x x x

| | | | | |
= + +
| | |

\ . \ . \ .
,


pero
2 3 3 2
1 123 132
1
2 3 3 2 2 3
1 1 1
*
2 2 2
1 1
2 2
f k
fk
dx dx dx dx dx dx
x
dx dx dx dx dx dx

| |
= = +
|

\ .
= =


3 1 1 3
2 231 213
2
3 1 1 3 3 1
1 1 1
*
2 2 2
1 1
2 2
f k
fk
dx dx dx dx dx dx
x
dx dx dx dx dx dx

| |
= = +
|

\ .
= =


1 2 2 1
3 312 312
3
1 2 2 1 1 2
1 1 1
*
2 2 2
1 1
2 2
f k
fk
dx dx dx dx dx dx
x
dx dx dx dx dx dx

| |
= = +
|

\ .
= =


As tenemos

( )
1 2 3 2 3 1 3 1 2
* A A dx dx A dx dx A dx dx = + +
,


Consideremos ahora la derivada exterior de
esta ltima ecuacin

( ) ( )
1 2 3 2 3 1 3 1 2
1 2 3
2 3 3 1 1 2
*
f f f
f f f
d A d A dx dx A dx dx A dx dx
A A A
dx dx dx dx dx dx dx dx dx
x x x
= + +

= + +

,


( )
1 2 3
1 2 3 2 3 1 3 1 2
1 2 3
*
A A A
d A dx dx dx dx dx dx dx dx dx
x x x

= + +

,


( )
1 2 3
1 2 3 1 2 3 1 2 3
1 2 3
*
A A A
d A dx dx dx dx dx dx dx dx dx
x x x

= + +

,


( )
1 2 3
1 2 3
1 2 3
*
A A A
d A dx dx dx
x x x
| |
= + +
|

\ .
,


de modo que
( ) ( )
1 2 3
*
i
i
d A A dx dx dx =
,


es decir
( ) ( )
* d A A =
, , ,
(11)
donde
1 2 3
dx dx dx = es el elemento de volumen
en coordenadas cartesianas.


















La forma Volumen

Definicin: una 1-forma sobre M es una
aplicacin lineal suave sobre los vectores
tangentes a M . Esto significa que una 1-forma
en un punto P M asocia a cada vector
,
v
tangente a M en P, un nmero real:
( )

: ( )
P P
T M

,
,
R
_
v
v

Definicin: una k -forma sobre M es una
aplicacin multilineal alternante sobre una k -
upla de vectores tangentes a M . Esto significa
que una k -forma en un punto P M asocia a
cada k -upla de vectores tangentes a M en P,
un nmero real.

( )
( )

1
1
, ,
, ,
: ( )
k
k
P P
T M

, ,
, ,
R
_
v v
v v


Ejemplo: si
` `
1 1 1 1 1 1
( , , ) x v : x i v f : k = = + +
,
`
v entonces

( ) ( )
`
( )
`
( )
( ) ( )
`
( )
`
( )
1 1 1 1 1 1
1 1 1 1 1 1
( , , )
( , , )
x v : x i v f : k
x v : x i v f : k


= = + +
= = + +
,
`
,
`
v
v


esto significa determinar
( )
`
( )
`
( )
, , i f k
`
.
Definicin: , , dx dv d: son 1-formas definidas de
la siguiente manera
a)
` `
( ) 1; ( ) ( ) 0 dx i dx f dx k = = =
`

b)
` `
( ) 1; ( ) ( ) 0 dv f dv i dv k = = =
`

c)
` `
( ) 1; ( ) ( ) 0 d: k d: i dx f = = =
`


Ejemplo: Sea M la variedad
3
R y sea la 1-
forma dada por
2 3 dx dv d: = +

Si
,
v es el vector (2, 4,3) se tiene

( )
` `
( )
` `
( 2 3 )(2 4 3 )
2 ( ) 8 ( ) 9 ( ) 1
dx dv d: i f k
dx i dv f d: k

= + + +
= + =
,
`
,
`
v
v


Ejemplo: Sea M la variedad
3
R y sea la 1-
forma dada por
dx =

Si ai =
,
`
v es un vector tangente a M , se tiene
( ) ( ) ( ) ( )
dx dx ai adx i a = = = =
, ,
` `
v v
de manera que
( ) ( )
dx a = =
, ,
v v


donde a es el modulo de ai =
,
`
v .

Esto puede ser interpretado como que dx es
en realidad el volumen 1-dimensional
euclidiano.

( )
dx a =
,
v nos dice que dx es la forma volumen
uni-dimensional. Si a es positiva entonces
ai =
,
`
v apunta hacia la derecha. La 1-forma dx
da la orientacin opuesta.

2-formas en
3
R : Si es una 2-forma, y si 1
,
v
y 2
,
v son dos vectores tangentes a M en P,
tenemos
( ) ( )
1 2 2 1 , , =
, , , ,
v v v v


de manera que ( , ) 0 =
, ,
v v .

Ejemplos: Sea una 2-forma y sean
` `
1
1 1 1
x i v f : k = + +
,
`
v y
` `
2
2 2 2
x i v f : k = + +
,
`
v dos vectores de
3
R , entonces

( )
` ` ` `
( )
( )
`
( )
`
( )
`
( )
` `
( )
` `
( )
`
( )
` `
( )
`
( )
1 2
1 1 1 2 2 2
1 2 1 2 1 2
1 2 1 2 1 2
1 2 1 2 1 2
, ,
, , ,
, , ,
, , ,
x i v f : k x i v f : k
x x i i x v i f x : i k
v x f i v v f f v : f k
: x k i : v k f : : k k




= + + + +
= + +
+ + +
+ + +
, ,
` `
` ` ` `
`
`
v v


y dado que

`
( )
`
( )
`
( )
`
( )
` `
( )
` `
( )
, , ; , , ; , , i f f i i k k i f k k f = = =
` ` ` `


tenemos
( )
( )
`
( )
( )
`
( )
( )
` `
( )
1 2
1 2 1 2 1 2 1 2
1 2 1 2
, , ,
,
x v v x i f x : : x i k
v : : v k f

= +
+
, ,
` `
v v


Definicin: dxdy, dydz, dzdx son 2-formas
definidas como

a)
` ` ` `
( , ) 1; ( , ) ( , ) 0 dxdv i f dxdv f k dxdv k i = = =
` `

b)
` ` ` `
( , ) 1; ( , ) ( , ) 0 dvd: f k dvd: i f dvd: k i = = =
` `

c)
` ` ` `
( , ) 1; ( , ) ( , ) 0 d:dx k i d:dx i f d:dx f k = = =
` `


Ejemplo: Sea M la variedad
2
R y sea la 2-
forma dada por dxdv = . Si 1 ai =
,
`
v y
`
2 b f =
,
v ,
entonces

( ) ( )
`
( )
( )
`
( )
1 2 1 2
1 2
, , ,
, ,
dxdv dxdv ai b f
abdxdv i f ab

= =
= =
, , , ,
`
, ,
`
v v v v
v v


As tenemos
( ) ( )
1 2 1 2 , , dxdv ab = =
, , , ,
v v v v




Esto significa que dxdv nos da la orientacin
estndar.

`
( , ) 1 dxdv i f =
`
: la direccin va desde i
`
a
`
f es decir
contra las manecillas del reloj, la cual es
conocida como orientacin estndar.

`
( , ) 1 dvdx i f =
`
.
`
( , ) 1 dvdx f i =
`
da la orientacin no
estndar de
2
R .

Lema: Si
( ) 1
1 1
, x v =
,
v y
( ) 2
2 2
, x v =
,
v son dos
vectores en
2
R , entonces
( )
1 2 , dxdv
, ,
v v es igual a
el rea del paralelogramo generado por 1
,
v y
2
,
v , donde el signo es positivo si la direccin
que va desde 1
,
v a 2
,
v es contrario a las
manecillas del reloj, y el signo es negativo si
la direccin que va desde 2
,
v a 1
,
v es la de las
manecillas del reloj.

3-formas en
3
R : Si es una 3-forma y si
` `
1
1 1 1
x i v f : k = + +
,
`
v ,
` `
2
2 2 2
x i v f : k = + +
,
`
v y
` `
3
3 3 3
x i v f : k = + +
,
`
v son
tres vectores de
3
R , entonces
( )
` ` ` ` ` `
( )
1 2 3
1 1 1 2 2 2 3 3 3
, , , , x i v f : k x i v f : k x i v f : k = + + + + + +
, , ,
` ` `
v v v

Teniendo en cuenta que,
` ` ` ` ` `
` ` ` ` `
( , , ) ( , , ) ( , , ) 0
( , , ) ( , , ) ( , , ) 0
i i i f f f k k k
i f i i k i f k f


= = =
= = =
` ` `
` ` ` `


( )
( )
( )
` `
( )
1 2 3
1 2 3 2 3 1 3 1 2
1 3 2 2 1 3 3 2 1
, ,
, ,
x v : x v : x v :
x v : x v : x v : i f k

= + +

( + +

, , ,
`
v v v


Definicin:
dxdvd:
es una 3-forma definida
como
` `
( , , ) 1 dxdvd: i f k =
`
.

Ejemplo: Sea M la variedad
3
R y sea la 3-
forma dada por
dxdvd: =
. Si 1 ai =
,
`
v ,
`
2 b f =
,
v ,
`
3 ck =
,
v entonces

( ) ( )
` `
( )
( )
( )
` `
( )
1 2 3 1 2 3
1 2 3
, , , , , ,
, , , ,
dxdvd: dxdvd: ai b f ck
abc dxdvd: i f k abc

= =
= =
, , , , , ,
`
, , ,
`
v v v v v v
v v v


As tenemos
( ) ( )
1 2 3 1 2 3 , , , , dxdvd: abc = =
, , , , , ,
v v v v v v


As la 3-forma
dxdvd:
es el volumen euclidiano
3-dimensional.
dxdvd:
es la forma volumen en
tres dimensiones:
dxdvd: dx dv d: =
.

Observacin: del resultado anterior podemos
concluir

a) dx : forma volumen 1-dimensional. ( ) 1 dx i =
`
.
b)
dxdv
: forma volumen 2-dimensional.
`
( , ) 1 dxdv i f =
`

c)
dxdvd:
: forma volumen 3-dimensional.
` `
( , , ) 1 dxdvd: i f k =
`



Generalizacin
Consideremos una n-upla de vectores
unitarios
` ` `
( )
1 2 , , , n u u u generadores de un
paraleleppedo. Para calcular el volumen n-
dimensional de dicho paraleleppedo,
introducimos las coordenadas
( )
1 2
, , ,
n
x x x y
siguiendo la idea de los ejemplos euclidianos
anteriores, postulamos que el volumen es
dado por

` ` `
( )

` ` `
( )
?
1 2
1 2 1 2 , , , , , ,
n
n n Jol u u u dx dx dx u u u =


Sin embargo se debe tener cuidado debido a
que el sistema generado por
( )
1 2
, , ,
n
x x x no
necesariamente es ortonormal.

Definicin: Sea
{ }
0 0
1 , , n e e
` `
un sistema
ortonormal y sea una n-upla arbitraria de
vectores
( )
, , ,
, , ,
1 2 n v v v donde
0
i
i
f
B e =
,
`
j v . Los
vectores
( )
, , ,
, , ,
1 2 n v v v generan un paraleleppedo
cuyo volumen es dado por
( ) ( )
( )
( )
( )
1
1
1 2
1 2
1 2
0 0
1 2
1
0 0 0
1 2
1 2
, , , , , ,
, , , , ,
, ,
n
n
n
n
n
i i n
i i
n
i i i n
i i i
n
Jol dx dx dx
Jol dx dx dx B e B e
B B B dx dx dx e e e
=
=
=
, , , , , ,
, , ,
` `
` ` `
1 2 n 1 2 n
1 2 n
v v v v v v
v v v

pero
( ) [ ]
1 2
1 2 1 2
0 0 0
1 2 12
, ,
n
n n
n n
i i i
i i i i i i
dx dx dx e e e

= =
` ` `


( )
1 2
1 2
1 2
, , ,
n
n
i i i
n i i i
Jol B B B

=
, , ,
1 2 n v v v

de donde
( )
1 2
1 2
1 2
, , ,
n
n
i i i
i i i n
Jol B B B

=
, , ,
1 2 n v v v



Dado que el determinante de una matriz n n
de elementos
if
A es dado por

1 2
1 2
1 2
det
n
n
i i i
i i i n
A A A A

=


tenemos que
( )
1 2
1 2
1 2
, , , det
n
n
i i i
i i i n
Jol B B B B

= =
, , ,
1 2 n v v v
(12)

Esto significa que
( )
, , ,
, , ,
1 2 n v v v genera la misma
orientacin que
{ }
0 0
1 , , n e e
` `
si y slo si el
det B

es positivo.

Consideremos ahora la introduccin de otras
coordenadas alrededor del punto P. Estas
coordenadas generan el sistema
{ }
1, , n e e
` `
el
cual no necesariamente es ortonormal. El
sistema puede ser expandido en el sistema
{ }
0 0
1 , , n e e
` `
:
0
i
f i
f
e E e =
,
`


Sea
( )
1 2 , , , n u u u
, , ,
una n-upla de vectores
tangentes, donde f u
,
es caracterizada por las
componentes
i
f
A :
i
f i
f
u A e =
, ,

de manera que
( )
0 0
i i k i k
f i f k k
f f i f i
u A e e A E e A E e = = = =
, , ,
` `

De (12) sabemos que si
{ }
0
k e
`
es un sistema
ortonormal y que si
( )
, , ,
, , ,
1 2 n v v v es una n-upla
de vectores, entonces dicha n-upla genera un
paraleleppedo cuyo volumen es

( )
, , , det Jol B =
, , ,
1 2 n v v v


siempre que
0
i
i
f
B e =
,
`
j v . Esto significa que el
volumen del paraleleppedo generado por la n-
upla
( )
1 2 , , , n u u u
, , ,
es, teniendo en cuenta que
( )
0 0
i i k i k
f i k k
f f i f i
u A e A E e A E e = = =
, ,
` `
, dado por:

( )
( ) ( )( ) 1 2
, , , det det det
n
Jol u u u AE A E = =
, , ,
(13)

de manera que
( )
( )( ) 1 2
, , , det det
n
Jol u u u E A =
, , ,

Teniendo en cuenta que
i
f i
f
u A e =
, ,
podemos
escribir
( ) ( )
( )
1
1
1
1
1 1
1
1
1 2
1
, , , ,
, ,
n
n
n
n
i i n n
n i i
n
i i n
i i
n
dx dx u u dx dx A e A e
A A dx dx dx e e
=
=
, ,
` `
` `

Pero
( )
[ ]
1
1 2 1 2
1 2 12
, ,
n
n n
n n
i i
i i i i i i
dx dx dx e e

= =
` `


( )
1
1 2
1
1
1
, , det
n
n
i i n
n
n i i i
dx dx u u A A A

= =
, ,

de manera que

( )
( )
( )
1
1 2 1 , , , det , ,
n
n n Jol u u u E dx dx u u =
, , , , ,
(14)

Interpretacin: Consideremos el cambio de
coordenadas
i i f
f
v E x = donde /
i i f
f
E v x = .
Notemos que el sistema ortonormal
{ }
0 0
1 , , n e e
` `

es generado a partir de las coordenadas
1
( , , )
n
v v
.
Los coeficientes mtricos
if
g correspondientes
a
1
( , , )
n
v v vienen dados por
if

. La ley de
transformacin para
if
g es dada, como
sabemos, por
k l
o
k l k k
if i f kl i f kl
i f
v v
g g E E E E
x x


= = =



es decir
f
g E E =

de manera que
( ) ( )( )
f f
det( ) det det det
if
g g E E E E = = =

( )
2
det det g E E g = =


resultado que permite escribir la forma
volumen en el espacio tangente ( )
P
T M como
( ) ( )
1
1 2 1 , , , , ,
n
n n Jol u u u gdx dx u u =
, , , , ,





As tenemos que la forma volumen denotada
por es dada por

1 n
gdx dx =
(15)
por otro lado, de la definicin de forma
sabemos que
1 2
1 2
1
!
n
n
i i i
i i i
dx dx dx
n


=
(16)

1 2
1 2
1 2
1 2
1 12
1
1
!
1
!
n
n
n
n
i i i n n
i i i
i i i n
i i i
dx dx dx dx dx
n
dx dx dx dx dx
n

=
=


de manera que
1 2
1 2
1
!
n
n
i i i
i i i
g dx dx dx
n


=
(17)
de (16) y (17) vemos que

1 2 1 2 n n
i i i i i i
g

=











Productos Interior de Formas
Sea X
,
un campo vectorial, sea ( )
r
M es el
espacio de formas y sea ( )
r
M . Se define el
producto interior como
1
: ( ) ( )
r r
X
i M M

,

es decir como una operacin que mapea p -
formas en
( )
1 p -formas. Esencialmente esta
operacin es hecha fijando la primera
variable de la r -forma en X
,
, dejando las
restantes
( )
1 p -variables libres.
Para ( )
r
M tenemos
1 2 1 2 1
( , , , ) ( , , , )
r r
X
i X X X X X X


,


Para
X X

=
,
y
1
1
1
!
r
r
dx dx
r




= , tenemos

2
2
1
( 1)!
r
r X
i X dx dx
r




=

,


Ejemplo: Si
( , , ) x v :
son las coordenadas de
3
R , entonces

( )
x
e x
i dx dv e dx dv dv = =


( ) 0
x
e x x
i dv d: e dv d: dv e d: = =

( )
x
e x x
i d: dx e d: dx d: e dx d: = =
Teorema: El operador
X
i
,
es una derivacin de
formas, esto significa que, para una p -forma
y una q -forma

, el operador
X
i
,
satisface la
regla del producto
( ) ( 1)
p
X X X
i i i = +
, , ,


Teorema: El producto de operadores
interiores es anti-simtrico:

X Y Y X
i i i i =
, , , ,

Teorema: La derivada de Lie sobre formas
diferenciales es dada por

X X X
i d di = +
, , ,
L


Teorema: Para toda p -forma se tiene
X X
d d =
, ,
L L


Ejemplo: Sea dx

= una 1-forma.
Consideremos la combinacin
( ) ( ) ( )
( ) ( )
( )
1
2
X X X
di i d d X i dx dx
X X dx X dx
X X dx









(
+ = +
(

= + +
= +
, , ,

Por otro lado sabemos que
( )
X
X X dx


= +
,
L


de donde
( )
X X X
di i d = +
, , ,
L





Teorema: Sea X
,
, Y
,
campos vectoriales y sea
( )
r
M , entonces

( ) ( )
,
2
0
Y X X Y
X
i X i Y i
i

(

=
=
, , , ,
,
, ,



Co-diferencial y Laplaciano

Hemos visto que la divergencia de un vector
corresponde a la forma diferencial
( )
1 2 3
*
i
i
d A A dx dx dx =
,

para ver que esta expresin es el dual de la
divergencia consideremos su dual de Hodge
( ) ( ) ( )
1 2 3
* * *
i
i
d A A dx dx dx =
,

Teniendo en cuenta que el operador * de
Hodge es un operador que toma k -formas y
los lleva a
( ) n k
-vectores. Esto significa que
en tres dimensiones
( )
1 2 3 123
* 1 1 dx dx dx = = de
modo que
1 2 3
*1 dx dx dx = . As tenemos
( ) ( ) ( )
* *
i
i
d A A A = =
, , ,

Definicin: Si
T
es una k -forma arbitraria,
entonces se define la co-diferencial de T ,
denotada por T , como la ( 1) k -forma dada
por

( 1)
( 1) * *
k n k
T d T
+
=
(mtrica euclidiana)


( 1)
( 1) * *
k n k
T d T
+
=

(mtrica de Minkowski)

De este modo hemos construido el operador
diferencial
1
: ( ) ( )
k k
M M



Este operador es un operador lineal debido a
que esta compuesto de mapeos lineales, a
saber * y d. Notemos que

tiene una
propiedad dada por

Teorema:
2
0 =

Prueba: ( )( )
2
* * * * * * 0 d d dd = = = =

Debe ser notado, sin embargo, que no hay
una regla analoga a la regla a la regla de
Leibniz para el operador

. Sin embargo
existe una generalizacin de la regla de
Leibniz para dada en el siguiente teorema:

Teorema: Si
1 k m +
entonces

( ) ( 1) ( 1)
n m n k
T U T U T dU

= +


Observacin: El operador puede ser
pensado como una generalizacin de la
divergencia. Consideremos la mtrica
euclidiana

a) Sea una 0-forma, entonces
0 =
, lo cual
resulta obvio debido a que baja el grado
de una 1-forma.
b) Sea
A
es una 1-forma. Si
B A =
,
entonces B es un escalar dado por
( 1) * *
n
B d A = es decir * ( 1) *
n
B d A = .

Teorema: Si { }
1
, ,
n
x x
es un sistema
coordenado, entonces para toda
p
-forma
( )
P
M
, se cumple que

( )
( ) ( )
1 1 1 1 1 1
/
1 1
p p p
i i ki i ki i
k
k
g g
g g




= =


por ejemplo:
Para una
0
-forma

:
0 =


Para una 1-forma
A
:
( )
1
i
i
A g A
g
=

Para una 2-forma
F
:
( )
( )
1 f
if
i
F gF
g
=
Prueba: Tarea








El Operador Laplaciano

Una vez conocida la co-diferencial , es
posible generalizar el operador Laplaciano a
variedades de Riemann arbitrarias. Esto no es
difcil de hacer para un campo escalar .
Consideremos un espacio euclidiano con las
usuales coordenadas cartesianas. El
Laplaciano es definido como
( )
i f f
if f
g = = =
, ,

En el lenguaje de las formas diferenciales esta
definicin es generalizada a
( )
1
i
i
d g
g
= =

es decir es la generalizacin covariante de la
expresin
i
i
, la cual es slo vlida para
coordenadas cartesianas. Esto sugiere que
podramos generalizar la definicin de
operador Laplaciano en la forma
d =

Sin embargo esto no es correcto.
Para ver esto consideremos una 1-forma A.
Esto significa que
( ) dA
es una 1-forma
caracterizada por las componentes
( )
f
dA . Dado
que
dA =
es una 2-forma, tenemos de
acuerdo con el teorema anterior que
( )
1
( )
1 1
( )
f i f f i
i
f i f f i
i i
dA g A A
g
dA g A g A
g g

(
=

( (
=

^


El ltimo trmino impide que d = . Por otro
lado, podemos considerar el operador
diferencial
d
. Cuando este operador opera
sobre
A
tenemos que A es la 0-forma:
1
i
i
A g A
g

(
=


de donde vemos que
( )
( )
1 f
f i
i
d A g A
g

(
=
(
(


En un sistema coordenado cartesiano 1 g = y
las expresiones se reducen a
( )
( )
f
i f f i
i i
f
f i
i
dA A A
d A A

=
=

De aqu podemos ver que la suma de las dos
expresiones anteriores
( )
f f
i
i
d d A A ( + = (


As tenemos que la correcta generalizacin del
operador Laplaciano es dada por una
expresin simtrica:

Definicin: Se define el Laplaciano como
d d = +

En analoga con la derivada exterior es posible
definir dos importantes tipos de formas co-
diferenciales:

Definicin: Una forma diferencial
F
es
llamada co-cerrada si su co-diferencial se
anula, es decir si 0 F = .

Definicin: Una forma diferencial F es
llamada co-exacta si ella es la co-diferencial
de otra forma diferencia
G
, es decir si F G = .

Debe ser notado que una forma co-exacta es
automticamente co-cerrada: si F G =
entonces
2
0 F G F = = =


Definicin: Una forma diferencial
T
es
llamada armnica si 0 T = .

Una importante clase de formas armnicas
son aquellas para las cuales la derivada
exterior y la co-diferencial se anula.

Definicin: Una forma diferencial
T
es
llamada primitivamente armnica si ella es
tanto cerrada como co-cerrada, es decir
0 dT T = =

Una forma primitivamente armnica es
armnica pero el inverso no necesariamente
es verdad.