Captulo 5

Formas: el concepto que unica

Cuando en los captulos tres y cuatro insistimos en denir los conceptos de rotacional y divergencia
(tanto en el plano como en el espacio) a traves de un lmite, fue con la idea de que estos se
entendieran como un cierto tipo de derivada. Esta manera de ver a estos conceptos, junto con la
introducci on de los conceptos de integral de lnea y de supercie, es lo que a su vez nos permiti o
interpretar a los teoremas de Green, Stokes y Gauss como una especie de generalizacion del Teorema
Fundamental del C alculo.
En este captulo vamos a mostrar que, en efecto, el rotacional y la divergencia (y el gradiente!) se
pueden ver como un caso particular del concepto de derivada de un cierto tipo de objeto matem atico
que se conoce con el nombre de forma diferenciable. As mismo, mostraremos que los conceptos de
integral de lnea y de supercie tambien son un caso particular del concepto de integral denido
para estos objetos, y lo que es mejor de todo, veremos que los teoremas de Green, Stokes y Gauss
son un caso particular de un unico teorema que involucra a todos estos conceptos.
Lo que haremos en este captulo es denir y describir de la manera m as concisa posible (y
solo eso!), todo lo necesario para entender el concepto de forma y los conceptos asociados de
derivaci on e integraci on de estos objetos. Para concluir, formularemos el teorema que generaliza a
los multicitados teoremas de los captulos 3 y 4, mostrando simplemente por que estos ultimos son
un caso particular de aquel.
Finalmente, es importante mencionar que, aun y cuando el concepto de forma se puede trabajar
en un contexto mas amplio, aqu nos limitaremos al ambito del espacio R
n
.
5.1 Formas basicas
Lo primero que hay que decir es que deniremos a las formas b asicas a traves del concepto de
funci on, y que los distintos tipos de formas b asicas con los que trabajaremos se distinguir an por
el dominio sobre el cual estar an denidas dichas funciones. Para cada p N se tendr a un n umero
nito de formas b asicas en R
n
; por ejemplo, para p = 1 deniremos (en R
n
) n distintas formas
b asicas (que denotaremos por dx
1
, . . . , dx
n
y a las que por razones obvias llamaremos 1formas
basicas), como las funciones de R
n
en R denidas como:
dx
i
(a
1
, . . . , a
n
) = a
i
(5.1)
para cada (a
1
, . . . , a
n
) = a R
n
(i = 1, . . . , n) y que geometricamente se puede(n) identicar como
la(s) proyeccion(es) del punto a sobre el i esimo eje coordenado (ver gura 5.1).
Para p = 2 deniremos (en R
n
) n
2
formas b asicas (que denotaremos por dx
i
dx
j
(con i, j =
1, . . . , n) y a las que por razones tambien obvias llamaremos 2formas b asicas), como las funciones
247
Captulo 5. Formas: el concepto que unica 5.1. Formas b asicas
yy
X
3
GG
X
2




















X
1
SS
l
l
l
l
l
l
l
l
l
l
l

a = (a
1
, a
2
, a
3
)
a
1
= dx
1
( a)
a
2
= dx
2
( a)
a
3
= dx
3
( a)
Figura 5.1: El valor de la 1forma basica dx
i
sobre el vector a es igual a la iesima coordenada
de este o, geometricamente, es la proyeccion de a sobre el eje X
i
de R
n
R
n
en R denidas como:
(dx
i
dx
j
) ((a
1
, . . . , a
n
), (b
1
, . . . , b
n
)) = det
_
a
i
b
i
a
j
b
j
_
(5.2)
para cada ((a
1
, . . . , a
n
), (b
1
, . . . , b
n
)) R
n
R
n
(con i, j = 1, . . . , n) y que geometricamente se
puede(n) identicar como la(s) funci on(es) que asignan (+ o ) el area del paralelogramo que se
forma al proyectar en el plano X
i
X
j
a los vectores (a
1
, . . . , a
n
) y (b
1
, . . . , b
n
) (ver gura 5.2).
Con base en estos dos ejemplos ya se pueden vislumbrar algunas cuestiones importantes rela-
cionadas con las formas b asicas en R
n
. Por ejemplo, n otese que en la denicion de las 2formas
b asicas dada en 5.2 se pueden usar las 1formas b asicas de la siguiente manera: si a = (a
1
, . . . , a
n
)
y

b = (b
1
, . . . , b
n
) entonces
(dx
i
dx
j
) ((a
1
, . . . , a
n
), (b
1
, . . . , b
n
)) = (dx
i
dx
j
)( a,

b)
= det
_
a
i
b
i
a
j
b
j
_
= det
_
dx
i
( a) dx
i
(

b)
dx
j
( a) dx
j
(

b)
_
Tambien vale la pena destacar, con base en la identidad 5.2 (o en algunas propiedades elemen-
tales de los determinantes), que la 2forma b asica dx
i
dx
i
resulta ser la funci on constante cero,
es decir
dx
i
dx
i
0
para cada i = 1, . . . , n, y que
dx
i
dx
j
= (dx
j
dx
i
)
para cada i, j = 1, . . . , n.
En general, dado p N, las pformas b asicas en R
n
se denen de la siguiente manera:
Denicion 5.1 Sea p N. Dado (l
1
, . . . , l
p
) {1, . . . , n} {1, . . . , n} = {1, . . . , n}
p
, denimos
la pforma b asica en R
n
asociada a este vector de ndices, y que denotamos por dx
l
1
dx
lp
,
J. P aez 248
5.1. Formas b asicas Captulo 5. Formas: el concepto que unica
yy
X
3
GG
X
2























X
1
hh

RR
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j
j

B
B
B
B
B
B
B
B
qq

RR qq
RR
qq

(0,dx
2
( a),dx
3
( a))

(0,dx
2
(

b),dx
3
(

b))
P
Figura 5.2: Geometricamente, la 2forma basica dx
i
dx
j
se puede interpretar como la funci on
que asigna (+ o ) el area del paralelogramo que se forma al proyectar en el plano X
i
X
j
a
los vectores (a
1
, . . . , a
n
) y (b
1
, . . . , b
n
). En la gura (en R
3
) se tiene que (dx
2
dx
3
)( a,

b) =
area(P)
como la funci on
dx
l
1
dx
lp
: R
n
R
n
. .
p veces
= (R
n
)
p
R
dada por
_
dx
l
1
dx
lp
_
( a
1
, . . . , a
p
) = det (dx
l
i
( a
j
))
donde i, j = 1, . . . , p.
Como ya mencionamos en el caso de las 2formas b asicas, y por razones que resultan evidentes,
en general las propiedades de los determinantes son fundamentales para deducir las propiedades
de las pformas b asicas. Por ejemplo, del hecho de que el determinante de una matriz vale cero si
esta contiene dos columnas (o dos renglones) que son iguales, se deducen las siguientes propiedades
de las pformas b asicas.
Proposicion 5.1 Sean p N y (l
1
, . . . , l
p
) {1, . . . , n}
p
.
1. si l
i
= l
j
para alguna i y una j entonces dx
l
1
dx
lp
0
2. si p > n entonces dx
l
1
dx
lp
0
Del segundo inciso de esta proposici on concluimos que las unicas pformas b asicas (en R
n
) que
vale la pena considerar son aquellas en las que p {1, . . . , n}. En cuanto al primer inciso, este nos
permite concluir que si p {1, . . . , n}, entonces el n umero de pformas b asicas no triviales (de
las n
p
que denimos) esta dado por
_
n
p
_
(el n umero de subconjuntos del conjunto {1, . . . , n} con
exactamente p elementos).
Por otra parte, usando la propiedad de los determinantes que establece que el determinante
de una matriz cambia de signo si se intercambian dos columnas (o dos renglones) adyacentes,
obtenemos que todas las pformas b asicas que comparten el mismo conjunto de ndices son iguales
249 J. P aez
Captulo 5. Formas: el concepto que unica 5.1. Formas b asicas
o dieren en el signo. Por ejemplo, de todas las 3formas que se pueden construir con los ndices
1, 2 y 3 (en cualquier R
n
), se tiene que
dx
1
dx
2
dx
3
= (dx
2
dx
1
dx
3
)
= dx
2
dx
3
dx
1
= (dx
3
dx
2
dx
1
)
= dx
3
dx
1
dx
2
= (dx
1
dx
3
dx
2
)
De estas propiedades podemos concluir que un conjunto (m aximo) de pformas b asicas que
sean no triviales e independientes entre s, se puede obtener considerando aquellas que se escriben
como

(p)
= dx
l
1
dx
lp
(5.3)
en donde 1 l
1
< < l
p
n. Por ejemplo, en R
3
un conjunto (m aximo) de 2formas b asicas
que son no triviales e independientes entre s esta dado por
{dx
2
dx
3
, dx
3
dx
1
, dx
1
dx
2
}
Para el caso de las 1formas b asicas (y en cualquier R
n
), dado que todas las que denimos son no
triviales e independientes entre s, el unico conjunto (m aximo) de 1formas b asicas que tiene estas
caractersticas esta dado por
{dx
1
, dx
2
, . . . , dx
n
}
Como las pformas b asicas son funciones de valores reales, estas se pueden multiplicar y sumar
por n umeros reales de la manera que todos conocemos. Con base en estas operaciones considera-
remos combinaciones de la forma
k

i=1

i
dx
l
(i)
1
dx
l
(i)
p
con
i
R y
_
l
(i)
1
, . . . , l
(i)
p
_
{1, . . . , n}
p
(para i = 1, . . . , k) y seguiremos llamandolas pformas
b asicas.
Observe que estas operaciones entre pformas b asicas hacen que el conjunto de todas ellas
tengan una estructura de espacio vectorial sobre el campo de los n umeros reales (de dimension
_
n
p
_
).
Denotaremos por
(p)
al espacio de todas las posibles combinaciones de pformas b asicas en R
n
y
en particular denotaremos por 0
(p)
al cero de este espacio, y que corresponde a la funcion constante
cero denida en (R
n
)
p
. De esta forma, por ejemplo, el conjunto
(1)
de todas las combinaciones de
1formas b asicas en R
n
estara dado por

(1)
= {
1
dx
1
+
2
dx
2
+ +
n
dx
n
|
1
, . . . ,
n
R}
y el de todas las 2formas b asicas en R
3
estara dado por
{
2,3
(dx
2
dx
3
) +
3,1
(dx
3
dx
1
) +
1,2
(dx
1
dx
2
) |
1,2
,
3,1
,
2,3
R}
Finalmente, terminamos esta seccion deniendo las 0formas b asicas en R
n
. La 0forma
b asica m as elemental es solo una, que denotaremos por 1
(0)
, y esta dada por la funci on constante
J. P aez 250
5.2. Formas diferenciables Captulo 5. Formas: el concepto que unica
uno denida en el conjunto {

0} R
n
(
1
). Si a esta funci on la multiplicamos por diferentes escalares
(reales)
1
, . . . ,
k
y las sumamos, obtenemos la funcion constante (
1
+ +
k
)1
(0)
denida en
el conjunto {

0} R
n
. Como se podr a observar, al conjunto
(0)
de todas las 0formas b asicas (en
cualquier R
n
) se le puede identicar simplemente con el conjunto de los n umeros reales (R).
5.2 Formas diferenciables
Una vez que hemos descrito a las pformas b asicas en R
n
, introduciremos el concepto de forma
y el de forma diferenciable. As como a una pforma b asica
(p)
= dx
l
1
dx
lp
la podemos
multiplicar por un n umero real (y despues sumarla con otras similares), ahora podemos tomar
una regi on U R
n
, una funci on f : U R
n
R y para cada x U, considerar la pforma
b asica f( x)
(p)
. Esta es la idea que esta detr as del concepto de pforma, el cual precisamos en la
siguiente
Denicion 5.2 Sean, U R
n
una regi on, p {0, 1, . . . , n} y
(p)
= dx
l
1
dx
lp
una pforma
basica (en R
n
). Dada una funcion f : U R
n
R, la pforma asociada a la pforma basica

(p)
= dx
l
1
dx
lp
y a la funci on f, que denotamos por f
(p)
, es la funci on
f
(p)
: U R
n

(p)
denida como
(f
(p)
)( x) = f( x)
_
dx
l
1
dx
lp
_
En general, dadas las pformas b asicas

(p)
1
= dx
l
(1)
1
dx
l
(1)
p
, . . . ,
(p)
k
= dx
l
(k)
1
dx
l
(k)
p

(p)
y las funciones f
1
, . . . , f
k
: U R
n
R, diremos que la suma
f
1

(p)
1
+ +f
k

(p)
k
es una pforma denida en U R
n
.
A continuaci on, damos algunos ejemplos que ilustran esta denici on.
Ejemplo 5.1 Sean
1. la 1forma denida en U = R
2
\{(0, 0)} R
2
dada por
x
2
x
2
1
+x
2
2
dx
1
+
x
1
x
2
1
+ x
2
2
dx
2
en donde (como queda implcito)
f
1
(x
1
, x
2
) =
x
2
x
2
1
+x
2
2
y f
2
(x
1
, x
2
) =
x
1
x
2
1
+ x
2
2
Esta misma 1forma, en terminos de las variables x y y, se escribe como
y
x
2
+ y
2
dx +
x
x
2
+ y
2
dy
1
La eleccion de este dominio (que tratandose de funciones constantes, no es tan importante) obedece a la idea de
que, si para el resto de las pformas basicas su dominio es (R
n
)
p
, para las 0formas debiera de ser el conjunto (R
n
)
0
el cual podemos identicar con el conjunto {

0}.
251 J. P aez
Captulo 5. Formas: el concepto que unica 5.2. Formas diferenciables
2. la 2forma denida en U = R
3
\{(0, 0, 0)} R
3
dada por
x
1
_
x
2
1
+x
2
2
+ x
2
3
_
3/2
dx
2
dx
3
+
x
2
_
x
2
1
+ x
2
2
+x
2
3
_
3/2
dx
3
dx
1
+
x
3
_
x
2
1
+x
2
2
+ x
2
3
_
3/2
dx
1
dx
2
en donde (como nuevamente queda claro)
f
1
(x
1
, x
2
, x
3
) =
x
1
_
x
2
1
+x
2
2
+ x
2
3
_
3/2
, f
2
(x
1
, x
2
, x
3
) =
x
2
_
x
2
1
+ x
2
2
+x
2
3
_
3/2
y
f
3
(x
1
, x
2
, x
3
) =
x
3
_
x
2
1
+x
2
2
+x
2
3
_
3/2
Esta misma 2forma, en terminos de las variables x, y y z, se escribe como
x
(x
2
+y
2
+z
2
)
3/2
dy dz +
y
(x
2
+y
2
+z
2
)
3/2
dz dx +
z
(x
2
+y
2
+z
2
)
3/2
dx dy
Como es de esperarse, si la funcion f es una funci on derivable, diremos que la pforma f
(p)
es derivable, y lo que s resultar a novedoso es la manera en como deniremos a la derivada de la
pforma f
(p)
. Para ello, empezaremos por denir lo que signica la derivada de una 0forma
f
(0)
, de la siguiente manera:
Denicion 5.3 Sea f : U R
n
R una funci on de clase C
1
en U. Denimos la derivada de la
0forma f1
(0)
, que denotamos por d(f1
(0)
), como la 1forma (denida en U R
n
) dada por
d(f1
(0)
) =
f
x
1
dx
1
+ +
f
x
n
dx
n
es decir
d(f1
(0)
)( x) =
f
x
1
( x)dx
1
+ +
f
x
n
( x)dx
n
para cada x U.
Una vez hecho lo anterior, denimos en general lo que signica que una pforma f
(p)
sea
derivable (y que por razones obvias llamaremos pforma diferenciable) de la siguiente manera:
Denicion 5.4 Sean, U R
n
una regi on, p {0, 1, . . . , n} y
(p)
= dx
l
1
dx
lp
una pforma
basica (
(p)

(p)
). Denimos a la derivada de la pforma f
(p)
(asociada a la pforma basica

(p)
y a la funci on f : U R
n
R), que denotamos por d(f
(p)
), como a la (p + 1)forma
(denida en U R
n
) dada por
d(f
(p)
) = d(f1
(0)
)
(p)
=
_
f
x
1
dx
1
+ +
f
x
n
dx
n
_

(p)
=
f
x
1
_
dx
1

(p)
_
+ +
f
x
n
_
dx
n

(p)
_
=
f
x
1
_
dx
1
dx
l
1
dx
lp
_
+ +
f
x
n
_
dx
n
dx
l
1
dx
lp
_
J. P aez 252
5.2. Formas diferenciables Captulo 5. Formas: el concepto que unica
En general, dadas las pformas b asicas

(p)
1
= dx
l
(1)
1
dx
l
(1)
p
, . . . ,
(p)
k
= dx
l
(k)
1
dx
l
(k)
p

(p)
y las funciones f
1
, . . . , f
k
: U R
n
R, denimos la derivada de la pforma f
1

(p)
1
+ +f
k

(p)
k
como
d
_
f
1

(p)
1
+ + f
k

(p)
k
_
= d(f
1

(p)
1
) + +d(f
k

(p)
k
)
Sin duda un buen n umero de ejemplos ayudar a a entender mejor este concepto.
Ejemplo 5.2 Calcule la derivada:
1. de la 1forma en R
2
dada por
Pdx +Qdy
Soluci on. De la denici on de derivada, se tiene que
d (Pdx +Qdy) = d
_
P1
(0)
_
dx + d(Q1
(0)
) dy
=
_
P
x
dx +
P
y
dy
_
dx +
_
Q
x
dx +
Q
y
dy
_
dy
=
P
x
dx dx +
P
y
dy dx +
Q
x
dx dy +
Q
y
dy dy
= 0
P
y
dx dy +
Q
x
dx dy 0
=
_
Q
x

P
y
_
dx dy
= Rot F (dx dy)
en donde F = (P, Q) : U R
2
R
2
.
2. de la 1forma en R
3
dada por
Pdx + Qdy + Rdz
Soluci on. Como en el inciso anterior
d (Pdx +Qdy +Rdz) = d(P1
(0)
) dx +d(Q1
(0)
) dy + d(R1
(0)
) dz
=
_
P
x
dx +
P
y
dy +
P
z
dz
_
dx +
_
Q
x
dx +
Q
y
dy +
Q
z
dz
_
dy
+
_
R
x
dx +
R
y
dy +
R
z
dz
_
dz
=
P
x
dx dx +
P
y
dy dx +
P
z
dz dx +
Q
x
dx dy +
Q
y
dy dy
+
Q
z
dz dy +
R
x
dx dz +
R
y
dy dz +
R
z
dz dz
=
P
y
dy dx +
P
z
dz dx +
Q
x
dx dy +
Q
z
dz dy
+
R
x
dx dz +
R
y
dy dz
=
_
R
y

Q
z
_
dy dz +
_
P
z

R
x
_
dz dx +
_
Q
x

P
y
_
dx dy
253 J. P aez
Captulo 5. Formas: el concepto que unica 5.2. Formas diferenciables
3. en general, de la 1forma en R
n
dada por

(1)
= f
1
dx
1
+ f
2
dx
2
+ +f
n
dx
n
Soluci on. Una vez mas, sabemos que
d
(1)
= d(f
1
1
(0)
) dx
1
+d(f
2
1
(0)
) dx
2
+ +d(f
n
1
(0)
) dx
n
=

j=1
f
1
x
j
dx
j

dx
1
+

j=1
f
2
x
j
dx
j

dx
2
+ +

j=1
f
n
x
j
dx
j

dx
n
=

j=2
f
1
x
j
dx
1
dx
j

f
2
x
1
dx
1
dx
2

j=3
f
2
x
j
dx
2
dx
j

f
3
x
1
dx
1
dx
3
+
f
3
x
2
dx
2
dx
3

j=4
f
2
x
j
dx
2
dx
j

+ +

n1

j=1
f
n
x
j
dx
j
dx
n

=
_
f
2
x
1

f
1
x
2
_
dx
1
dx
2
+
_
f
3
x
1

f
1
x
3
_
dx
1
dx
3
+ +
_
f
n
x
1

f
1
x
n
_
dx
1
dx
n
+
_
f
3
x
2

f
2
x
3
_
dx
2
dx
3
+
_
f
4
x
2

f
2
x
4
_
dx
2
dx
4
+ +
_
f
n
x
2

f
2
x
n
_
dx
2
dx
n
.
.
.
+
_
f
n
x
n1

f
n1
x
n
_
dx
n1
dx
n
=

1i<jn
_
f
j
x
i

f
i
x
j
_
dx
i
dx
j
4. de la 2forma en R
3
dada por

(2)
= Pdy dz +Qdz dx + Rdx dy
Soluci on. En este caso se tiene que
d(
(2)
) = d(P1
(0)
) (dy dz) +d(Q1
(0)
) (dz dx) +d(R1
(0)
) (dx dy)
=
_
P
x
dx +
P
y
dy +
P
z
dz
_
(dy dz) +
_
Q
x
dx +
Q
y
dy +
Q
z
dz
_
(dz dx)
+
_
R
x
dx +
R
y
dy +
R
z
dz
_
(dx dy)
=
P
x
dx dy dz +
Q
y
dy dz dx +
R
z
dz dx dy
=
_
P
x
+
Q
y
+
R
z
_
dx dy dz
= div F (dx dy dz)
en donde F = (P, Q, R) : U R
3
R
3
.
J. P aez 254
5.2. Formas diferenciables Captulo 5. Formas: el concepto que unica
5. la 2forma en R
4
dada por

(2)
= Pdy dz +Qdz dw +Rdw dx +Wdx dy
Soluci on. Ahora tenemos que
d(
(2)
) = d(P1
(0)
) (dy dz) +d(Q1
(0)
) (dz dw) +d(R1
(0)
) (dw dx)
+d(W1
(0)
) (dx dy)
=
_
P
x
dx +
P
y
dy +
P
z
dz +
P
w
dw
_
(dy dz)
+
_
Q
x
dx +
Q
y
dy +
Q
z
dz +
Q
w
dw
_
(dz dw)
+
_
R
x
dx +
R
y
dy +
R
z
dz +
R
w
dw
_
(dw dx)
+
_
W
x
dx +
W
y
dy +
W
z
dz +
W
w
dw
_
(dx dy)
=
P
x
dx dy dz +
P
w
dw dy dz +
Q
x
dx dz dw +
Q
y
dy dz dw
+
R
y
dy dw dx +
R
z
dz dw dx +
W
z
dz dx dy +
W
w
=
_
P
x
+
W
z
_
dx dy dz +
_
P
w
+
Q
y
_
dy dz dw +
_
R
y
+
W
w
_
dx dy dw
+
_
R
z
+
Q
x
_
dx dz dw
6. de la 3forma en R
4
dada por

(3)
= Pdx dy dz +Qdy dz dw + Rdx dy dw + Wdx dz dw
Soluci on. Se tiene que
d(
(3)
) = d(P1
(0)
) (dx dy dz) +d(Q1
(0)
) (dy dz dw) +d(R1
(0)
) (dx dy dw)
+ d(W1
(0)
) (dx dz dw)
=
_
P
x
dx +
P
y
dy +
P
z
dz +
P
w
dw
_
(dx dy dz)
+
_
Q
x
dx +
Q
y
dy +
Q
z
dz +
Q
w
dw
_
(dy dz dw)
+
_
R
x
dx +
R
y
dy +
R
z
dz +
R
w
dw
_
(dx dy dw)
+
_
W
x
dx +
W
y
dy +
W
z
dz +
W
w
dw
_
(dx dz dw)
=
P
w
dw dx dy dz +
Q
x
dx dy dz dw +
R
z
dz dx dy dw
+
W
y
dy dx dz dw
=
_
Q
x

P
w
+
R
z

W
y
_
dx dy dz dw
255 J. P aez
Captulo 5. Formas: el concepto que unica 5.2. Formas diferenciables
Como seguramente el lector habra observado, algunos de estos ejemplos ilustran la estrecha
relacion que existe entre el concepto de derivada de una pforma, y algunos de los conceptos
que denimos en los captulos tres y cuatro (relaci on que, por cierto, viene a justicar por que
arm abamos que los conceptos de rotacional y divergencia se podan ver como una derivada).
Ademas de lo anterior, tambien vale la pena observar lo siguiente. Si en los incisos 1 y 2 del
ejemplo anterior se supusiera que existen : U R
2
R y : U R
3
R de clase C
2
(en U)
tales que
(P, Q) =
=
_

x
,

y
_
y
(P, Q, R) =
=
_

x
,

y
,

z
_
en cuyo caso se tendra que
Pdx + Qdy =

x
dx +

y
dy
= d(1
(0)
)
y
Pdx +Qdy +Rdz =

x
dx +

y
dy +

z
dz
= d(1
(0)
)
entonces
d
_
d(1
(0)
)
_
= d
_

x
dx +

y
dy
_
= d (Pdx +Qdy)
=
_
Q
x

P
y
_
dx dy
=
_

2

yx


2

xy
_
(dx dy)
= 0 (dx dy)
= 0
(2)
y
d
_
d(1
(0)
)
_
= d
_

x
dx +

y
dy +

z
dz
_
= d (Pdx +Qdy + Rdz)
=
_
R
y

Q
z
_
dy dz +
_
P
z

R
x
_
dz dx +
_
Q
x

P
y
_
dx dy
J. P aez 256
5.2. Formas diferenciables Captulo 5. Formas: el concepto que unica
=
_

2

yz


2

zy
_
dy dz +
_

2

zx


2

xz
_
dz dx +
_

2

yx


2

xy
_
dx dy
= 0
(2)
lo cual coincide con el hecho de que Rot() = 0 y Rot() = (0, 0, 0) (en R
2
y en R
3
, respecti-
vamente), como se probo en el captulo tres.
Algo an alogo sucede si combinamos los incisos 2 y 4. Observe que, si

(1)
= Pdx + Qdy + Rdz
entonces
d
_
d
_

(1)
__
= d
__
R
y

Q
z
_
dy dz +
_
P
z

R
x
_
dz dx +
_
Q
x

P
y
_
dx dy
_
=
__

x
_
R
y

Q
z
__
+

y
_
P
z

R
x
_
+

z
_
Q
x

P
y
__
dx dy dz
=
__

2
R
xy


2
Q
xz
_
+
_

2
P
yz


2
R
yx
_
+
_

2
Q
zx


2
P
zy
__
dx dy dz
= 0
(3)
lo que tambien coincide con el hecho de que div (Rot(P, Q, R)) = 0, como se prob o en el captulo
cuatro.
Lo mas interesante de esta propiedad (que dos derivadas consecutivas de una pforma nos lleva
a la (p + 2)forma constante cero), es que esta se sigue vericando aun y cuando estas derivadas
no esten relacionadas con conceptos que hayamos visto previamente. Tal es el caso del inciso 3 del
mismo ejemplo. Observe que, si existe : U R
n
R de clase C
2
(en U) tal que
f
i
=

x
i
para cada i = 1, . . . , n, entonces
d
_
d
_
1
(0)
__
= d
_

x
1
dx
1
+ +

x
n
dx
n
_
= d (f
1
dx
1
+f
2
dx
2
+ + f
n
dx
n
)
=

1i<jn
_
f
j
x
i

f
i
x
j
_
dx
i
dx
j
=

1i<jn
_

x
i
_

x
j
_

x
j
_

x
i
__
dx
i
dx
j
=

1i<jn
_

2

x
i
x
j

x
j
x
i
_
dx
i
dx
j
= 0
(2)
Y observamos la misma propiedad si combinamos los incisos 5 y 6. En efecto, si tomamos la
2forma en R
4

(2)
= Pdy dz +Qdz dw +Rdw dx +Wdx dy
257 J. P aez
Captulo 5. Formas: el concepto que unica 5.2. Formas diferenciables
entonces
d
_
d
_

(2)
__
= d
__
P
x
+
W
z
_
dx dy dz +
_
P
w
+
Q
y
_
dy dz dw
+
_
R
y
+
W
w
_
dx dy dw +
_
R
z
+
Q
x
_
dx dz dw
_
=
_

x
_
P
w
+
Q
y
_

w
_
P
x
+
W
z
_
+

z
_
R
y
+
W
w
_

y
_
R
z
+
Q
x
__
dx dy dz dw
=
_

2
P
xw
+

2
Q
xy


2
P
wx


2
W
wz
+

2
R
zy
+

2
W
zw


2
R
yz


2
Q
yx
_
dx dy dz dw
= 0
(4)
Sin duda a estas alturas el lector ya debe estar convencido de que estos ejemplos no son m as que
un caso particular de un resultado bastante m as general, y por supuesto que est a en lo correcto. Este
resultado generaliza las identidades Rot() = 0, Rot() = (0, 0, 0) y div (Rot(P, Q, R)) = 0
como mencionamos anteriormente, y su prueba es un poco m as elaborada que la de estas. Dada la
importancia de este resultado, es que le otorgamos el grado de
Teorema 5.1 Dadas las pformas b asicas

(p)
1
= dx
l
(1)
1
dx
l
(1)
p
, . . . ,
(p)
k
= dx
l
(k)
1
dx
l
(k)
p

(p)
y las funciones f
1
, . . . , f
k
: U R
n
R, de clase C
2
en U, se cumple que
d
_
d
_
f
1

(p)
1
+ + f
k

(p)
k
__
= 0
Dem. Dado que, de acuerdo con la denici on 5.4, se tiene que
d
_
f
1

(p)
1
+ +f
k

(p)
k
_
= d
_
f
1

(p)
1
_
+ +d
_
f
k

(p)
k
_
bastar a probar que, si
(p)
= dx
l
1
dx
lp
y f : U R
n
R es de clase C
2
en U, entonces
d
_
d
_
f
(p)
__
= 0
Por esta misma denici on sabemos que
d
_
f
(p)
_
=
_
f
x
1
dx
1
+ +
f
x
n
dx
n
_

(p)
=
f
x
1
dx
1

(p)
+ +
f
x
n
dx
n

(p)
=
f
x
1
dx
1
dx
l
1
dx
lp
+ +
f
x
n
dx
n
dx
l
1
dx
lp
de modo que
d
_
d
_
f
(p)
__
= d
_
f
x
1
dx
1
dx
l
1
dx
lp
+ +
f
x
n
dx
n
dx
l
1
dx
lp
_
J. P aez 258
5.3. Diferenciales exactas (primera parte) Captulo 5. Formas: el concepto que unica
= d
_
f
x
1
dx
1
dx
l
1
dx
lp
_
+ +d
_
f
x
n
dx
n
dx
l
1
dx
lp
_
=
_
n

i=1

2
f
x
i
x
1
dx
i
_
dx
1
dx
l
1
dx
lp
+
_
n

i=1

2
f
x
i
x
2
dx
i
_
dx
2
dx
l
1
dx
lp
+ +
_
n

i=1

2
f
x
i
x
n
dx
i
_
dx
n
dx
l
1
dx
lp
=
n

i=2

2
f
x
i
x
1
dx
1
dx
i
dx
l
1
dx
lp
+

2
f
x
1
x
2
dx
1
dx
2
dx
l
1
dx
lp

i=3

2
f
x
i
x
2
dx
2
dx
i
dx
2
dx
l
1
dx
lp
+ +
n1

i=1

2
f
x
i
x
n
dx
i
dx
n
dx
l
1
dx
lp
=

1i<jn
_

2
f
x
j
x
i

2
f
x
i
x
j
_
dx
i
dx
j
dx
l
1
dx
lp
= 0
(p)
5.3 Diferenciales exactas (primera parte)
Como siempre sucede con los teoremas importantes, ahora es inevitable hacerse la siguiente pre-
gunta: si una pforma diferenciable

(p)
= f
1
dx
l
(1)
1
dx
l
(1)
p
+ +f
k
dx
l
(k)
1
dx
l
(k)
p
(denida en una regi on U R
n
) es tal que
d
_

(p)
_
= 0
(p+1)
existe una (p 1)forma (denida en U R
n
)

(p1)
=

f
1
dx
n
(1)
1
dx
n
(1)
p1
+ +

f
m
dx
n
(m)
1
dx
n
(m)
p1
tal que

(p)
= d
_

(p1)
_
?
Lo mas interesante de esta cuestion es que esta es una pregunta que ya nos planteamos (y que
ya resolvimos!) para algunos casos particulares.
En efecto, como se recordara, en el captulo tres nos planteamos el problema de determinar
cuando un campo era conservativo (o gradiente) y como soluci on probamos el teorema 3.5 el cual
nos aseguraba que, si
F = (F
1
, . . . , F
n
) : U R
n
R
n
259 J. P aez
Captulo 5. Formas: el concepto que unica 5.3. Diferenciales exactas (primera parte)
era una funci on de clase C
1
en U, una regi on estrellada, tal que
F
i
x
j
( x) =
F
j
x
i
( x)
para toda x U y para toda i, j {1, . . . , n} (i = j) entonces F era un campo gradiente en U, lo
que signicaba que exista : U R
n
R tal que

x
i
( x) = F
i
( x)
para cada i {1, . . . , n}.
Como el lector habra notado, este resultado resuelve la pregunta que nos hicimos al inicio de
esta seccion para el caso de las 1formas diferenciables puesto que, si la 1forma

(1)
= f
1
dx
1
+ +f
n
dx
n
es tal que
0
(2)
= d
_

(1)
_
=

1i<jn
_
f
j
x
i

f
i
x
j
_
dx
i
dx
j
(de acuerdo con el inciso 3 del ejemplo 5.2), esto signica que
f
i
x
j
( x) =
f
j
x
i
( x)
para toda x U y para toda i, j {1, . . . , n}, de tal forma que, si : U R
n
R es tal que

x
i
= f
i
entonces la 0forma

(0)
= 1
(0)
satisface que
d
_

(0)
_
= d
_
1
(0)
_
=

x
1
dx
1
+ +

x
n
dx
n
= f
1
dx
1
+ +f
n
dx
n
=
(1)
Como seguramente el lector ya se imagina, el otro caso particular que ya resolvimos es el de las
2formas diferenciables en R
3
, y que esta relacionado con el problema de determinar cu ando un
campo F (en R
3
) es un campo solenoide.
Como tambien se recordara, el teorema 4.6 del captulo cuatro nos aseguraba que, si F =
(P, Q, R) : U R
3
R
3
era una funci on de clase C
1
en U, con U una regi on estrellada tal que
div F( x) = 0
J. P aez 260
5.3. Diferenciales exactas (primera parte) Captulo 5. Formas: el concepto que unica
para toda x U, entonces F era un campo solenoide en U, lo que signicaba que exista G =
(

P,

Q,

R) : U R
3
R
3
tal que
RotG =
_

Q
z



R
y
,


R
x



P
z
,


Q
x



P
y
_
= F
= (P, Q, R)
Observese que, apoyados en este teorema, tenemos que, si

(2)
= f
1
dy dz +f
2
dz dx +f
3
dx dy
es una 2forma diferenciable denida sobre una regi on estrellada U R
3
(que es as como se
pueden escribir todas las 2formas en R
3
!) tal que d
_

(2)
_
= 0
(3)
, entonces
0
(3)
= d
_

(2)
_
=
_
f
1
x
+
f
2
y
+
f
3
z
_
dx dy dz
= div(f
1
, f
2
, f
3
)dx dy dz
lo que signica que div(f
1
, f
2
, f
3
) = 0, de modo que, por el teorema antes mencionado, sabemos
que existe G = (

f
1
,

f
2
,

f
3
) : U R
3
R
3
tal que
RotG =
_

f
3
y



f
2
z
,


f
1
z



f
3
x
,


f
2
x



f
1
y
_
= (f
1
, f
2
, f
3
)
Por tanto, si tomamos la 1forma

(1)
=

f
1
dx +

f
2
dy +

f
3
dz
esta tiene la propiedad de que
d
_

(1)
_
= d
_

f
1
dx +

f
2
dy +

f
3
dz
_
=
_

f
3
y



f
2
z
_
dy dz +
_

f
1
z



f
3
x
_
dz dx +
_

f
2
x



f
1
y
_
dx dy
= f
1
dy dz + f
2
dz dx +f
3
dx dy
=
(2)
Cuando para una pforma

(p)
= f
1
dx
l
(1)
1
dx
l
(1)
p
+ +f
k
dx
l
(k)
1
dx
l
(k)
p
(denida en una regi on U R
n
) existe una (p 1)forma (denida en U R
n
)

(p1)
=

f
1
dx
n
(1)
1
dx
n
(1)
p1
+ +

f
m
dx
n
(m)
1
dx
n
(m)
p1
261 J. P aez
Captulo 5. Formas: el concepto que unica 5.4. pvariedades parametrizadas
tal que

(p)
= d
_

(p1)
_
decimos que
(p)
es una forma diferencial exacta (en la regi on U R
n
) y la pregunta que nos
hicimos al inicio de esta seccion se puede reformular de la siguiente manera: si d
_

(p)
_
= 0
(p+1)
entonces
(p)
es una diferencial exacta?
De acuerdo con lo que acabamos de ver, ahora podemos responder que este no siempre es el caso
(al menos para las 1formas en R
n
o para las 2formas en R
3
) y que en gran medida la respuesta a
esta pregunta depende de la geometra de la regi on U R
n
sobre la cual esta denida la pforma

(p)
.
Como sucedio en el captulo tres (para el caso de los campos conservativos) y en el captulo
cuatro (para el caso de los campos solenoides), para responder esta pregunta (en el caso general)
sera indispensable denir nuevos conceptos (y teoremas relacionados con estos) a n de contar con
las herramientas necesarias.
Si en los captulos tres y cuatro hubo necesidad de introducir los conceptos de curva e integral de
lnea, y los de supercie e integral de supercie (respectivamente), ahora ser a necesario introducir
los conceptos de pvariedad parametrizada en R
n
y el de integral de una pforma sobre una
pvariedad, as como algunos teoremas relacionados con estos conceptos. Esto es justo lo que
haremos en las siguientes secciones.
5.4 pvariedades parametrizadas
As como una curva o una supercie no es m as que la imagen bajo una funci on (de clase C
1
) de
un intervalo [a, b] R, o de una regi on A R
2
(tipo I o tipo II), respectivamente, un conjunto
M R
n
sera una pvariedad parametrizada (con p = 1, . . . , n) si M se puede ver como la imagen
bajo una funci on (de clase C
1
) de alguna regi on A R
p
, en donde A sera el tipo de regi on en
R
p
que generaliza a las regiones tipo I y tipo II de R
2
(y tipo III, de R
3
).
Empezaremos por denir de manera m as precisa a este tipo de regiones, y lo haremos de forma
inductiva a partir de las regiones tipo I y tipo II que ya conocemos en R
2
, de la siguiente manera:
Denicion 5.5 Decimos que B R
2
es una regi on basica (en R
2
), si es una regi on tipo I o tipo
II, como se denieron en el captulo dos. En general, diremos que A R
n
es una region b asica en
R
n
(con n 3) si existe B R
n1
, una regi on basica en R
n1
, y existen , : B R
n1
R (de
clase C
1
) tales que
A = {(x
1
, . . . , x
n
) R
n
| x = (x
1
, . . . , x
i1
, x
1+1
, . . . , x
n
) B, ( x) x
i
( x)}
para alguna i {1, . . . , n}.
Dado que las unicas regiones b asicas que podemos dibujar se encuentran en R
2
o en R
3
, y en
el captulo dos ya dimos algunos ejemplos de ellas, continuamos con la denici on del concepto de
pvariedad parametrizada. Simplemente observe que los rect angulos de la forma
R = [a
1
, b
1
] [a
n
, b
n
]
son ejemplos de regiones basicas en R
n
(con respecto a cualquier i {1, . . . , n}) y que el n umero
de regiones basicas diferentes que se pueden construir en R
n
es n!.
La descripcion que hicimos de una pvariedad parametrizada en R
n
al inicio de esta seccion es
muy precisa, por lo que simplemente la formalizamos en la siguiente
J. P aez 262
5.4. pvariedades parametrizadas Captulo 5. Formas: el concepto que unica
Denicion 5.6 Decimos que un conjunto M R
n
es una pvariedad parametrizada, si existe
: A R
p
R
n
una funci on de clase C
1
(lo que signica que es de clase C
1
en un abierto
(en R
p
) que contiene a A) tal que M = (A), donde A es una regi on basica (o A es un intervalo
de la forma [a, b] si p = 1). En este caso diremos que es una parametrizaci on de M. Si
es inyectiva en el interior de A (int(A)) diremos que es una parametrizaci on simple de M.
Finalmente, al conjunto (Fr(A)) lo llamaremos el borde de M inducido por la parametrizaci on ,
y lo denotaremos por

M, es decir,

M = (Fr(A)).
Nuevamente, algunos ejemplos seran muy utiles para ilustrar este concepto.
Ejemplo 5.3 Considere:
1. f : A R
n
R de clase C
1
en la regi on basica A, y M =
_
( x, f( x)) R
n+1
| x A
_

R
n+1
. En este caso M es una nvariedad en R
n+1
y una parametrizaci on de M esta dada
por : A R
n
R
n+1
denida como
( x) = ( x, f( x))
Como se podr a observar, en este caso M es la gr aca de f.
2. M = (A) R
4
, en donde A = [0, 2] [0, ] [0, ] R
3
y
(, , ) = (r sen() sen() cos(), r sen() sen() sen(), r sen() cos(), r cos())
con r > 0. Observe que
(, , )
2
= (r sen() sen() cos(), r sen() sen() sen(), r sen() cos(), r cos())
2
= r
2
por lo que a esta 3variedad M bien se le puede bautizar como la 3esfera (en R
4
) de radio
r > 0 con centro en el origen.
3. M = (A) R
4
, en donde A = [0, 2] [0, 2] R
2
y
(, ) = ((cos() + 2) cos() + sen() sen() sen(/2), (cos() + 2) sen() sen() cos() sen(/2)
, sen() cos(/2), sen(/2))
Observe que en este caso M es una 2variedad (o una supercie) en R
4
que tiene las siguien-
tes caractersticas geometricas. La primera de ellas es que la imagen bajo de las lneas
verticales de A, es decir, la imagen de los puntos de la forma (
0
, ), con
0
[0, 2] jo,
es tal que
(
0
, ) (2 cos(
0
), 2 sen(
0
), 0, sen(
0
/2))
2
= (cos() cos(
0
) + sen() sen(
0
) sen(
0
/2))
2
+ (cos() sen(
0
) sen() cos(
0
) sen(
0
/2))
2
+ (sen() cos(
0
/2))
2
= (cos() cos(
0
))
2
+ (sen() sen(
0
) sen(
0
/2))
2
+ (cos() sen(
0
))
2
+ (sen() cos(
0
) sen(
0
/2))
2
+ sen
2
() cos
2
(
0
/2)
= 1
263 J. P aez
Captulo 5. Formas: el concepto que unica 5.4. pvariedades parametrizadas
lo que signica que la imagen del conjunto {
0
} [0, 2] es una circunferencia de radio 1 con
centro en el punto
(2 cos(
0
), 2 sen(
0
), 0, sen(
0
/2))
Esto quiere decir que la funci on pega las lneas horizontales [0, 2] {0} y [0, 2] {2}
(que forman parte de la Fr(A)) con lo que forma un cilindro (en R
4
). Si ahora observamos
que, en particular, las dos lneas verticales {0} [0, 2] y {2} [0, 2] (que forman el resto
de la Fr(A)) son tales que
(0, ) = (cos() + 2, cos() + 2, sen(), 0)
y
(2, ) = (cos() + 2, cos() + 2, sen(), 0)
concluimos que su imagen bajo es la misma circunferencia, s olo que recorridas en direcciones
opuestas (si ambas lneas verticales se recorren de abajo hacia arriba). Por esta raz on, si la
lnea {0} [0, 2] es recorrida de arriba hacia abajo (que es como queda recorrida cuando
la Fr(A) se recorre en el sentido contrario al de las manecillas del reloj), concluimos que
pega a las circunferencias que forman los extremos del cilindro inicial, pero de tal forma
que estas queden recorridas en la misma direcci on (a diferencia de lo que sucede cuando
pegamos los extremos de un cilindro para formar un toro (o una dona). Para lograr esta
forma de pegado en R
3
es necesario cruzar la pared del cilindro, y al hacerlo obtenemos
la ya conocida botella de Kline (gura 4.8). La parametrizaci on de este ejemplo hace lo
mismo (por lo que la 2variedad M de este inciso es la botella de Kline) pero sin necesidad
de cruzar la pared del cilindro. De hecho, es una parametrizaci on simple de la botella
de Kline, la que, por supuesto, s olo es posible obtener en R
4
(o en R
n
, con n 4).
Por supuesto que el concepto de pvariedad se puede generalizar al de pvariedad por pedazos,
justo de la misma forma en que lo hicimos para el caso de las supercies. Dado que nuestra intenci on
no es extendernos en este concepto, simplemente lo formalizamos en la siguiente
Denicion 5.7 Decimos que un conjunto M R
n
es una pvariedad parametrizada por pedazos,
si existen M
1
, . . . , M
k
R
n
pvariedades parametrizadas tales que
M = M
1
M
k
Si
i
: A R
p
R
n
es una parametrizaci on de M
i
(para i = 1, . . . , k), escribimos =
1
+ +
k
y decimos que es una parametrizaci on de M.
S olo una observacion es necesario hacer con respecto a este concepto. Si se revisa con cuidado la
denici on 5.5 se podra notar que, si A R
p
(con p 2) es una region b asica, entonces la frontera de
A (Fr(A) o A) es una (p1)variedad parametrizada por pedazos (en R
p
). En efecto, n otese que
en este caso la Fr(A) esta formada por la gr aca de dos funciones denidas sobre una regi on b asica
B R
p1
, y algunos otros pedazos cilndricos (que se levantan sobre la Fr(B)) (ver gura 5.3
que ilustra el caso p = 3). De hecho, esta caracterstica de la frontera de una regi on b asica A nos
permitira denir lo que signicara que una parametrizaci on de esta (p 1)variedad indujera
vectores normales que apuntan hacia afuera de A, justo a traves de los vectores normales a las
gr acas de las funciones que la determinan. Hacer esto con m as formalidad nos llevara algunas
p aginas mas, raz on por la cual s olo nos quedamos con esta idea intuitiva.
J. P aez 264
5.5. Integrando formas Captulo 5. Formas: el concepto que unica
GG
Y
yy
Z














X
B




































.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
......................
S
1
S
3
S
2
A
Figura 5.3: Si A R
3
es una regi on basica, la Fr(A) = A = S
1
S
2
S
3
esta formada por la
graca de dos funciones denidas sobre una regi on basica B R
2
(en la gura las supercies
S
1
y S
3
), y algunos pedazos cilndricos que se levantan sobre la Fr(B) (en la gura la
supercie S
2
)
Una consecuencia de lo anterior es que, si M R
n
es una pvariedad parametrizada por
(sobre A), el conjunto

M = (Fr(A)) tambien sera una (p 1)variedad parametrizada por

pedazos (en R
n
).
De las pvariedades parametrizadas habra muchas cosas interesantes que decir, pero por ahora
con estas ideas elementales nos es suciente para lograr nuestro objetivo. Con este n, lo que sigue
es denir la integral de una pforma
(p)
sobre una pvariedad parametrizada M, cuestion que
abordaremos en la siguiente seccion.
5.5 Integrando formas
Como se recordara, en el captulo tres denimos la integral de un campo F = (F
1
, . . . , F
n
) : U
R
n
R
n
sobre una curva U parametrizada por una funci on = (
1
, . . . ,
n
) : [a, b] R R
n
(que denotamos por
_

F d y bautizamos con el nombre de integral de lnea), como

_

F d =
b
_
a
F((t))

(t)dt
=
b
_
a
_
F
1
((t))

1
(t) + + F
n
((t))

n
(t)
_
dt
Lo interesante de esta denicion, y de acuerdo con los conceptos que hemos denido en este
captulo, es que el integrando que aparece en la segunda identidad de arriba se puede obtener como
el resultado de evaluar una cierta 1forma.
En efecto, considere la 1forma (en R
n
) denida en U R
n
dada por

(1)
= F
1
dx
1
+ +F
n
dx
n
Dado que
(1)
es una funci on denida en U y que toma valores en el conjunto de las 1formas
265 J. P aez
Captulo 5. Formas: el concepto que unica 5.5. Integrando formas
b asicas
(1)
(denidas en R
n
), observe que para cada t [a, b] se tiene que

(1)
((t)) = F
1
((t))dx
1
+ + F
n
((t))dx
n
la que a su vez es una 1forma b asica que se aplica en vectores de R
n
y para la cual, en particular
aplicada a

(t), se tiene que

_

(1)
((t))
_
_

(t)
_
= (F
1
((t))dx
1
+ +F
n
((t))dx
n
)
_

(t)
_
= F
1
((t))dx
1
_

(t)
_
+ +F
n
((t))dx
n
_

(t)
_
= F
1
((t))

1
(t) + +F
n
((t))

n
(t)
De hecho, con base en esta ultima identidad es que denimos el concepto de integral de una
1forma F
1
dx
1
+ +F
n
dx
n
sobre la 1variedad parametrizada por la funci on = (
1
, . . . ,
n
) :
[a, b] R R
n
, la cual denotamos por
_

(F
1
dx
1
+ +F
n
dx
n
) d
como
_

(F
1
dx
1
+ + F
n
dx
n
) d =
b
_
a
((F
1
dx
1
+ + F
n
dx
n
) ((t)))
_

(t)
_
dt
=
b
_
a
_
F
1
((t))dx
1
_

(t)
_
+ +F
n
((t))dx
n
_

(t)
__
dt
=
b
_
a
_
F
1
((t))

1
(t) + +F
n
((t))

n
(t)
_
dt
=
_

F d
o, si simplemente escribimos
(1)
= F
1
dx
1
+ +F
n
dx
n
, como
_

(1)
d =
b
_
a
_

(1)
((t))
_
_

(t)
_
dt
Para deducir la manera en que se dene la integral de una 2forma sobre una 2variedad (o
si se preere decir una supercie), como es de suponerse, recurriremos a la denici on que dimos en
el captulo cuatro del concepto de integral de supercie de un campo vectorial denido en alguna
region de R
3
.
Como se recordara, si F = (F
1
, F
2
, F
3
) : U R
3
R
3
es continua y S U es una supercie
parametrizada por una funci on = (
1
,
2
,
3
) : A R
2
R
3
de clase C
1
tal que, A es una regi on
tipo I o tipo II, y (A) = S, se deni o la integral de F sobre la supercie S como
_
S
F d =
_
A
F((u, v))

u
(u, v)

v
(u, v)
J. P aez 266
5.5. Integrando formas Captulo 5. Formas: el concepto que unica
en donde

u
(u, v) =
_

1
u
(u, v),

2
u
(u, v),

3
u
(u, v)
_
y

v
(u, v) =
_

1
v
(u, v),

2
v
(u, v),

3
v
(u, v)
_
Del mismo modo que sucede en el caso de la integral de lnea, observe que el integrando
F((u, v))

u
(u, v)

v
(u, v)
se puede obtener a partir de una cierta 2forma denida en U R
3
.
Considere la 2forma
(2)
dada por

(2)
= F
1
dy dz +F
2
dz dx + F
3
dx dy
Si esta 2forma la evaluamos en (u, v) U, para cada (u, v) A, tenemos que

(2)
((u, v)) = F
1
((u, v))dy dz +F
2
((u, v))dz dx +F
3
((u, v))dx dy
que a su vez es una 2forma b asica, que como se recordar a, se eval ua en elementos de R
3
R
3
=
_
R
3
_
2
; si en particular a esta 2forma b asica la evaluamos en
_

u
(u, v),

v
(u, v)
_
=
_
a,

b
_
R
3
R
3
obtenemos, de acuerdo con 5.2, que
_

(2)
((u, v))
__
a,

b
_
= (F
1
((u, v))dy dz)
_
a,

b
_
+ (F
2
((u, v))dz dx)
_
a,

b
_
+ (F
3
((u, v))dx dy)
_
a,

b
_
= F
1
((u, v)) det
_
dy( a) dy(

b)
dz( a) dz(

b)
_
+F
2
((u, v)) det
_
dz( a) dz(

b)
dx( a) dx(

b)
_
+ F
3
((u, v)) det
_
dx( a) dx(

b)
dy( a) dy(

b)
_
= F
1
((u, v))
_

2
u

3
v


3
u

2
v
_
(u, v) + F
2
((u, v))
_

3
u

1
v


1
u

3
v
_
(u, v)
+ F
3
((u, v))
_

1
u

2
v


2
u

1
v
_
(u, v)
= (F
1
((u, v)), F
2
((u, v)), F
3
((u, v)))

u
(u, v)

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

u
(u, v)

v
(u, v)
Como en el caso de las 1formas, todo indica que lo m as razonable es entonces denir la integral
de la 2forma (en R
3
)

(2)
= F
1
dy dz +F
2
dz dx + F
3
dx dy
sobre la 2variedad S R
3
parametrizada por , que denotaremos por
_
S
(F
1
dy dz + F
2
dz dx +F
3
dx dy) d
267 J. P aez
Captulo 5. Formas: el concepto que unica 5.5. Integrando formas
o simplemente
_

(2)
d
como:
_
S
(F
1
dy dz +F
2
dz dx + F
3
dx dy) d =
_
A
F((u, v))

u
(u, v)

v
(u, v)
=
_
S
F d
o
_
S

(2)
d =
_
A
_

(2)
((u, v))
_
_

u
(u, v),

v
(u, v)
_
De hecho, seguramente al lector ya le resultara natural concluir que, si ahora
(2)
representa
una 2forma en R
n
dada por

(2)
= f
1
dx
l
1
dx
m
1
+ +f
k
dx
l
k
dx
m
k
(con l
i
, m
i
{1, . . . , n} para i = 1, . . . , k) y S R
n
es una 2variedad parametrizada por una
funci on = (
1
, . . . ,
n
) : A R
2
R
n
, entonces la integral de
(2)
sobre S = (A), que
denotaremos por
_
S
(f
1
dx
l
1
dx
m
1
+ + f
k
dx
l
k
dx
m
k
) d
o simplemente
_
S

(2)
d
deber a estar denida como
_
S
(f
1
dx
l
1
dx
m
1
+ +f
k
dx
l
k
dx
m
k
) d =
_
A
k

i=1
f
i
((u, v)) (dx
l
i
dx
m
i
)
_

u
(u, v),

v
(u, v)
_
=
_
A
k

i=1
f
i
((u, v)) det

l
i
u
(u, v)

l
i
v
(u, v)
m
i
u
(u, v)
m
i
v
(u, v)

en donde ahora

u
(u, v) =
_

1
u
(u, v), . . . ,

n
u
(u, v)
_
y

v
(u, v) =
_

1
v
(u, v), . . . ,

n
v
(u, v)
_
Una vez que hemos revisado y discutido todo lo anterior, sin duda estamos en condiciones de dar
una denici on general del concepto de integral de una pforma
(p)
en R
n
sobre una pvariedad
parametrizada M R
n
, para p {1, . . . , n 1}, de la siguiente manera.
J. P aez 268
5.5. Integrando formas Captulo 5. Formas: el concepto que unica
Denicion 5.8 Sean, p {1, . . . , n},
(p)
una pforma en R
n
dada por

(p)
=
k

i=1
f
i
dx
l
(i)
1
dx
l
(i)
p
donde f
i
: U R
n
R es una funci on continua sobre la regi on U (para cada i = 1, . . . , k),
y M R
n
una pvariedad parametrizada por la funcion = (
1
, . . . ,
n
) : A R
p
R
n
.
Denimos la integral de
(p)
sobre M, que denotamos por
_
M
_
f
1
dx
l
(1)
1
dx
l
(1)
p
+ + f
k
dx
l
(k)
1
dx
l
(k)
p
_
d =
_
M
_
k

i=1
f
i
dx
l
(i)
1
dx
l
(i)
p
_
d
o simplemente
_
M

(p)
d
como
_
M
_
k

i=1
f
i
dx
l
(i)
1
dx
l
(i)
p
_
d =
_
A
_
k

i=1
f
i
(( u))
_
dx
l
(i)
1
dx
l
(i)
p
_
_

u
1
( u), . . . ,

u
p
( u)
_
_
=
_
A
_
k

i=1
f
i
(( u)) det
_
dx
l
(i)
m
_

u
j
( u)
__
p
m,j=1
_
=
_
A

i=1
f
i
(( u)) det
_

l
(i)
m
u
j
( u)
_
p
m,j=1

o
_
M

(p)
d =
_
A
_

(p)
(( u))
_
_

u
1
( u), . . . ,

u
p
( u)
_
en donde u = (u
1
, . . . , u
p
) y

u
j
( u) =
_

1
u
j
( u), . . . ,

n
u
j
( u)
_
para j = 1, . . . , p.
Todas la integrales de lnea y de supercie de campos vectoriales que hicimos en los captulos tres
y cuatro, son ejemplos de integrales de 1formas y 2formas sobre 1variedades y 2variedades
parametrizadas (respectivamente). Para ilustrar a un mejor este concepto de la integral de formas,
daremos un ejemplo de como se integra una 3forma sobre una 3variedad parametrizada, ambas
en R
4
.
Ejemplo 5.4 Considere, la 3forma en R
4
dada por

(3)
= Pdx dy dz + Qdy dz dw + Rdx dy dw +Wdx dz dw
en donde
P(x, y, z, w) =
w
(x
2
+ y
2
+z
2
+w
2
)
2
269 J. P aez
Captulo 5. Formas: el concepto que unica 5.5. Integrando formas
Q(x, y, z, w) =
x
(x
2
+ y
2
+z
2
+w
2
)
2
R(x, y, z, w) =
z
(x
2
+ y
2
+z
2
+w
2
)
2
y
W(x, y, z, w) =
y
(x
2
+ y
2
+ z
2
+w
2
)
2
con (x, y, z, w) U = R
4
\{(0, 0, 0, 0)}; y la 3variedad parametrizada M R
4
dada por la funcion
del ejemplo 5.3
: A = [0, 2] [0, ] [0, ] R
3
R
4
que est a denida como
(, , ) = (r sen() sen() cos(), r sen() sen() sen(), r sen() cos(), r cos())
Calcule
_
M

(3)
d
Soluci on. Sabemos que

(, , ) = (r sen() sen() sen(), r sen() sen() cos(), 0, 0)

(, , ) = (r sen() cos() cos(), r sen() cos() sen(), r sen() sen(), 0)

(, , ) = (r cos() sen() cos(), r cos() sen() sen(), r cos() cos(), r sen())

de modo que
dx dy dz
_

_
= r
3
det

sen() sen() sen() sen() cos() cos() cos() sen() cos()

sen() sen() cos() sen() cos() sen() cos() sen() sen()
0 sen() sen() cos() cos()

= r
3
sen() sen() sen()
_
sen() cos
2
() sen() cos()
+sen() sen
2
() cos() sen()

r
3
sen() sen() cos()
_
sen() cos
2
() cos() cos()
+sen() sen
2
() cos() cos()

= r
3
sen
2
() sen() sen
2
() cos()
r
3
sen
2
() sen() cos
2
() cos()
= r
3
sen
2
() cos() sen()
Analogamente
dy dz dw
_

_
= r
3
det

sen() sen() cos() sen() cos() sen() cos() sen() sen()

0 sen() sen() cos() cos()
0 0 sen()

= r
3
sen
3
() sen
2
() cos()
J. P aez 270
5.5. Integrando formas Captulo 5. Formas: el concepto que unica
y
dx dy dw
_

_
= r
3
det

sen() sen() sen() sen() cos() cos() cos() sen() cos()

sen() sen() cos() sen() cos() sen() cos() sen() sen()
0 0 sen()

= r
3
sen() [sen() sen() sen() sen() cos() sen()
sen() sen() cos() sen() cos() cos()]
= r
3
sen
3
() sen() cos()
y por ultimo
dx dz dw
_

_
= r
3
det

sen() sen() sen() sen() cos() cos() cos() sen() cos()

0 sen() sen() cos() cos()
0 0 sen()

= r
3
sen()r sen() sen() sen()r sen() sen()
= r
3
sen
3
() sen
2
() sen()
Por lo tanto
_
M

(3)
d =
_
A
_

(3)
((, , ))
_
_

_
=
_
A
_
P((, , ))dx dy dz
_

_
+Q((, , ))dy dz dw
_

_
R((, , ))dx dy dw
_

_
+ W((, , ))dx dz dw
_

__
=
_
A
_
r cos()
r
4
_
r
3
sen
2
() cos() sen()
_
+
r sen() sen() cos()
r
4
_
r
3
sen
3
() sen
2
() cos()
_
+
r sen() cos()
r
4
_
r
3
sen
3
() sen() cos()
_
+
r sen() sen() sen()
r
4
_
r
3
sen
3
() sen
2
() sen()
_
_
=
_
A
_
sen
2
() cos
2
() sen() + sen
4
() sen
3
() cos
2
()
+sen
4
() sen() cos
2
() + sen
4
() sen
3
() sen
2
()
_
=
_
A
sen
2
() sen()
_
cos
2
() + sen
2
() sen
2
() + sen
2
() cos
2
()
_
=
_
A
sen
2
() sen()
=

2
_
0
d

_
0
sen()d

_
0
sen
2
()d

= (2)
_
cos()

0
__

2
_
= 2
2
271 J. P aez
Captulo 5. Formas: el concepto que unica 5.5. Integrando formas
Un caso particular en el que la integral de una pforma (en R
n
) tiene un cierto interes, es justo
cuando p = n, es decir, la integral de una nforma sobre una nvariedad parametrizada, ambas
en R
n
.
Como se recordara de la seccion 5.2, las nformas denidas sobre una regi on U R
n
, se
corresponden con las funciones (de valores reales) denidas sobre U en virtud de que todas ellas se
escriben como
fdx
1
dx
n
en donde f : U R
n
R.
Por otra parte, si A U es una regi on b asica, entonces dicha regi on tambien se puede ver como
una nvariedad parametrizada en la medida de que A =
I
(A), tomando a
I
como la funci on
identidad (de R
n
en R
n
), es decir

I
( x) = x
N otese que en este caso se tiene que

I
x
i
( x) = e
i
para toda x = (x
1
, . . . , x
n
) R
n
, en donde e
i
es el iesimo vector basico de R
n
. De esta manera,
tenemos que
dx
1
dx
n
_

I
x
1
( x), . . . ,

I
x
n
( x)
_
= det

1 0
.
.
.
.
.
.
.
.
.
0 1

= 1
Con base en lo anterior, tenemos entonces que
_
A
(fdx
1
dx
n
) d
I
=
_
A
f(
I
( x))dx
1
dx
n
_

I
x
1
( x), . . . ,

I
x
n
( x)
_
=
_
A
f( x)
=
_
A
f
lo que signica que la integral de la nforma fdx
1
dx
n
sobre la nvariedad parametrizada
A R
n
(con A una regi on b asica parametrizada por la funci on identidad), coincide con la integral
(de Riemann) de la funci on f sobre la regi on A.
Lo mejor de esta identidad es que (como siempre), tambien la podemos leer al reves; esto es, la
integral (de Riemann) de la funci on f sobre la regi on b asica A R
n
se puede ver como la integral
de la nforma fdx
1
dx
n
sobre la nvariedad parametrizada (por la funci on identidad) A.
Una consecuencia importante de lo anterior, es que las identidades que se obtienen en los
teoremas de Green, Stokes y Gauss, se pueden reformular ahora en terminos de integrales de
pformas.
Por ejemplo, como se recordara el teorema de Green establece que, si F = (P, Q) : U R
2
R
2
es de clase C
1
y U es una regi on b asica (una 2variedad en R
2
) tal que = = Fr() es
una curva suave por pedazos (una 1variedad por pedazos en R
2
) entonces
_

F d =
_

Rot F
J. P aez 272
5.5. Integrando formas Captulo 5. Formas: el concepto que unica
=
_

_
Q
x

P
y
_
(en donde es una paramatrizaci on de que la recorre en el sentido contrario al de las manecillas
del reloj). Pues bien, si como vimos al principio de esta secci on, se tiene que
_

F d =
_

(Pdx +Qdy) d
y como acabamos de ver, tambien se tiene que
_

_
Q
x

P
y
_
=
_

__
Q
x

P
y
_
dx dy
_
d
I
(
I
representa a la funci on identidad denida sobre la regi on b asica ), entonces tenemos que la
identidad de la cual nos habla el teorema de Green se puede escribir como
_
==
I

(Pdx + Qdy) d =
_

__
Q
x

P
y
_
dx dy
_
d
I
Lo mejor de todo esto es que, si ahora recordamos que
_
Q
x

P
y
_
dx dy = d (Pdx + Qdy)
entonces el teorema de Green asegura que
_
==
I

(Pdx + Qdy) d =
_

(d (Pdx + Qdy)) d
I
(en donde =
I
, que en este caso = dado que
I
es la funci on identidad de R
2
en R
2
)
igualdad que, por cierto, justica el porque armabamos que dicho teorema era una especie de
generalizaci on del Teorema Fundamental del C alculo.
Procediendo de manera an aloga, del teorema de Stokes obtenemos que
_
S
(Pdx + Qdy + Rdz) d =
_
=S
F d
=
_
S
RotF d
=
_
S
__
R
y

Q
z
_
dy dz +
_
P
z

R
x
_
dz dx +
_
Q
x

P
y
_
dx dy
_
d
=
_
S
(d (Pdx +Qdy +Rdz)) d
en donde : A R
2
R
3
es una parametrizaci on de la supercie (o 2variedad) S R
3
, y
= , en donde es una parametrizaci on (en el sentido contrario al de las manecillas del reloj)
de la frontera de la regi on b asica A (Fr(A)).
273 J. P aez
Captulo 5. Formas: el concepto que unica 5.5. Integrando formas
Finalmente, si ahora
I
representa a la funci on identidad de R
3
en R
3
, del teorema de Gauss
concluimos que
_
S==
I

(Pdy dz + Qdz dx +Rdx dy) d =

_
S==
I

F d
=
_

div F
=
_

(d (Pdy dz + Qdz dx +Rdx dy)) d

I
en donde, R
3
es una regi on b asica cuyo borde S = =

I
es una supercie (o 2variedad)
por pedazos parametrizada por una funci on : A R
2
R
3
que induce vectores normales (a S)
que apuntan hacia afuera de S, y =
I
(que en este caso resulta igual a dado que
I
es
la funci on identidad).
Finalmente, y para completar el cuadro, el propio Teorema Fundamental del C alculo que todos
conocemos (o su equivalente expresado en la identidad 3.11 del captulo tres) se puede formular
en terminos de integrales de formas. Para ello, s olo hace falta denir los conceptos de 0variedad
parametrizada y el de integral sobre este tipo de variedades, lo cual se puede hacer de la siguiente
manera: diremos que M R
n
es una 0variedad parametrizada si existe : {0, 1} R
n
tal
que M = ({0, 1}) (lo que signica que una 0variedad en R
n
es simplemente cualquier conjunto
formado por uno o dos puntos).
Por otra parte, si f1
(0)
es una 0forma denida en una regi on U R
n
y M U es una
0variedad parametrizada por : {0, 1} R
n
, denimos la integral de f1
(0)
sobre M, que
denotamos por
_
M
f1
(0)
d, como
_
M
f1
(0)
d = f((1)) f((0))
Finalmente, si U es una curva (o una 1variedad) suave parametrizada por : [a, b]
R R
n
, denimos el borde de inducido por su parametrizaci on , que denotamos por

, como
la 0variedad (en R
n
) formada por los puntos {(a), (b)}.
Ahora, si : U R
n
R es de clase C
1
en U, p arrafos arriba vimos que
_

d =
_

_

x
1
dx
1
+ +

x
n
dx
n
_
d
=
_

d
_
1
(0)
_
d
Por otra parte, si a la 0variedad (en R) formada por los puntos {a, b} (que no es mas que el
borde de la 1variedad (en R) dada por el intervalo [a, b], el que a su vez se puede ver como una
region b asica en R) la parametrizamos por la funci on : {0, 1} R dada por (0) = a y (1) = b,
entonces _

1
(0)
d = ((b)) ((a))
en donde = es una parametrizaci on de la 0variedad

= {(a), (b)}.
J. P aez 274
5.6. El Gran Teorema Fundamental del C alculo Captulo 5. Formas: el concepto que unica
Por lo tanto, con base en estas dos ultimas identidades, la identidad 3.11 del captulo tres se
puede escribir como
_

1
(0)
d =
_

d
_
1
(0)
_
d
5.6 El Gran Teorema Fundamental del Calculo
La reformulaci on de los teoremas de Green, Stokes, Gauss y Fundamental del C alculo que acabamos
de hacer en la seccion anterior, nos hacen pensar que estos deben de ser casos particulares de un
teorema mas general, y sin duda estamos en lo correcto. Lo siguiente que haremos sera formular
dicho teorema el cual, adem as del valor que tiene por si mismo, tendr a un papel relevante en la
soluci on del problema que planteamos en la seccion anterior acerca de las diferenciales exactas.
Este teorema es conocido tradicionalmente como el Teorema de Stokes (sobre formas diferenciales)
pero aqu preferimos llamarlo el Gran Teorema Fundamental del C alculo (nombre que, sin duda,
reeja mejor su contenido). Por otra parte, y como seguramente el lector ya lo sospechar a, entre
los objetivos de este texto no esta el de dar la prueba de este teorema.
Teorema 5.2 (Fundamental del Calculo (Gran)) Sean, p {1, . . . , n},
(p1)
una (p1)forma
diferenciable denida en la regi on U R
n
, y M U una pvariedad, parametrizada por : A
R
p
R
n
. Entonces _
M

(p1)
d =
_
M
d
_

(p1)
_
d
en donde = y es una parametrizaci on de la (p 1)variedad (por pedazos) Fr(A).
2
Este es sin duda el teorema m as importante de todo este texto, aun y cuando no hayamos
incluido su prueba. En el se encuentran sintetizados los conceptos y teoremas mas relevantes que
hemos desarrollado a lo largo de todos estos captulos.
Para concluir esta breve seccion, aplicaremos este teorema en algunos ejemplos que posterior-
mente nos seran utiles, cuando en la siguiente secci on regresemos al problema de las diferenciales
exactas.
Ejemplo 5.5 Considere:
1. la 1variedad (o curva) R
n
parametrizada por la funci on : [0, 2] R R
n
denida
como
(t) = (r cos(t), r sen(t), 0, . . . , 0)
Muestre que
_
M
d
_

(0)
_
d = 0
para cualquier 0forma diferenciable
(0)
denida en una region U R
n
tal que U.
Soluci on. Por el Gran Teorema Fundamental del C alculo, tenemos que
_
M
d
_

(0)
_
d =
_
M

(0)
d
2
Aqu habra que agregar que la parametrizaci on induce vectores normales a la Fr(A) que apuntan hacia
afuera de A, de acuerdo con la idea descrita en la observacion que sigue a la denicion 5.7.
275 J. P aez
Captulo 5. Formas: el concepto que unica 5.6. El Gran Teorema Fundamental del C alculo
por lo que basta probar que
_
M

(0)
d = 0
Ahora, si al borde (o frontera) del intervalo [0, 2] lo parametrizamos por la funci on :
{0, 1} R dada por (0) = 0 y (1) = 2, entonces
_
M

(0)
d =
(0)
( (1))
(0)
( (0))
=
(0)
(((1)))
(0)
(((0)))
=
(0)
((2))
(0)
((0))
= 0
ya que (2) = (0).
2. la 2variedad (o supercie) M R
n
(n 3) parametrizada por la funci on : A = [0, 2]
[0, ] R
2
R
n
denida como
(u, v) = (r sen(v) cos(u), r sen(v) sen(u), r cos(v), 0, . . . , 0)
Muestre que
_
M
d
_

(1)
_
d = 0
para cualquier 1forma diferenciable
(1)
denida en una region U R
n
tal que M U.
Soluci on. Por el Gran Teorema Fundamental del C alculo, tenemos que
_
M
d
_

(1)
_
d =
_
M

(1)
d
por lo que basta probar que
_
M

(1)
d = 0
As, si parametrizamos a la Fr(A) en el sentido contrario al movimiento de las manecillas
del reloj, se tiene que
_
M

(1)
d =
2
_
0
_

(1)
((t, 0))
_
_

u
(t, 0)
_
dt +

_
0
_

(1)
((2, t))
_
_

v
(2, t)
_
dt

2
_
0
_

(1)
((t, ))
_
_

u
(t, )
_
dt

_
0
_

(1)
((0, t))
_
_

v
(0, t)
_
dt
=
2
_
0
_
_

(1)
((t, 0))
_
_

u
(t, 0)
_

(1)
((t, ))
_
_

u
(t, )
__
dt
+

_
0
_
_

(1)
((2, t))
_
_

v
(2, t)
_

(1)
((0, t))
_
_

v
(0, t)
__
dt
J. P aez 276
5.6. El Gran Teorema Fundamental del C alculo Captulo 5. Formas: el concepto que unica
Ahora, dado que

u
(t, 0) = (0, 0, 0, 0, . . . , 0) =

u
(t, )
para toda t [0, 2], y por otra parte
(2, t) = (0, t) y

v
(2, t) =

v
(0, t)
para toda t [0, ], concluimos que
_
M

(1)
d = 0
3. la 3variedad M R
n
(n 4) parametrizada por la funci on : A = [0, 2] [0, ] [0, ]
R
3
R
n
denida como
(u, v, w) = (r sen(w) sen(v) cos(u), r sen(w) sen(v) sen(u), r sen(w) cos(v), r cos(w), 0, . . . , 0)
Muestre que
_
M
d
_

(2)
_
d = 0
para cualquier 2forma diferenciable
(2)
denida en una region U R
n
tal que M U.
Soluci on. Nuevamente, por el Gran Teorema Fundamental del C alculo, tenemos que
_
M
d
_

(2)
_
d =
_
M

(2)
d
por lo que basta probar que
_
M

(2)
d = 0
Ahora, si parametrizamos a cada una de las caras que forman parte de la Fr(A) R
3
de tal
manera que cada una de estas parametrizaciones induzcan vectores normales que apunten ha-
cia afuera de A, y agrupamos las correspondientes integrales sobre caras opuestas, tenemos
que
_
M

(2)
d =
_
[0,][0,]
_
_

(2)
((2, t, s))
_
_

v
(2, t, s),

w
(2, t, s)
_

(2)
((0, t, s))
_
_

v
(0, t, s),

w
(0, t, s)
__
+
_
[0,2][0,]
_
_

(2)
((t, 0, s))
_
_

u
(t, 0, s),

w
(t, 0, s)
_

(2)
((t, , s))
_
_

u
(t, , s),

w
(t, , s)
__
+
_
[0,2][0,]
_
_

(2)
((t, s, 0))
_
_

u
(t, s, 0),

v
(t, s, 0)
_
277 J. P aez
Captulo 5. Formas: el concepto que unica 5.7. Diferenciales exactas (segunda parte)

(2)
((t, s, ))
_
_

u
(t, s, ),

v
(t, s, )
__
En la primera integral, se tiene que
(2, t, s) = (0, t, s),

v
(2, t, s) =

v
(0, t, s) y

w
(2, t, s) =

w
(0, t, s)
para toda t, s [0, ] de tal manera que el integrando es cero y por tanto, dicha integral es
igual a cero.
En cuanto a la segunda integral, se cumple que

u
(t, 0, s) = (0, 0, 0, 0, 0, . . . , 0) =

u
(t, , s)
lo que es suciente para concluir que
_

(2)
((t, 0, s))
_
_

u
(t, 0, s),

w
(t, 0, s)
_
= 0
=
_

(2)
((t, , s))
_
_

u
(t, , s),

w
(t, , s)
_
para toda (t, s) [0, 2] [0, ], y por tanto, que la segunda integral tambien es igual a cero.
Finalmente, en la tercera integral se tiene que

u
(t, s, 0) = (0, 0, 0, 0, 0, . . . , 0) =

u
(t, s, )
lo que tambien es suciente para concluir que
_

(2)
((t, s, 0))
_
_

u
(t, s, 0),

v
(t, s, 0)
_
= 0
=
_

(2)
((t, s, 0))
_
_

u
(t, s, ),

v
(t, s, )
_
para toda (t, s) [0, 2] [0, ], y por tanto, que la tercera integral tambien es igual a cero.
Por lo tanto
_
M

(2)
d = 0
5.7 Diferenciales exactas (segunda parte)
Para concluir este captulo (y este trabajo!), en esta seccion regresaremos al problema de las
diferenciales exactas que planteamos en la seccion 5.3. Como se recordara, ah nos hicimos la
siguiente pregunta: si
(p)
es una pforma diferenciable (con p {1, . . . , n 1}) denida en una
region U R
n
tal que d
_

(p)
_
= 0
(p+1)
, existe
(p1)
, una (p 1)forma diferenciable denida
en U, tal que d
_

(p1)
_
=
(p)
?
El Gran Teorema Fundamental del C alculo y los ejemplos que dimos en la seccion anterior, nos
seran de gran ayuda para contestar esta pregunta. De hecho, as como esta planteada, su respuesta
es negativa.
J. P aez 278
5.7. Diferenciales exactas (segunda parte) Captulo 5. Formas: el concepto que unica
En efecto, ahora podemos mostrar, por ejemplo, que en cualquier R
n
existe una regi on U y
una 1forma
(1)
denida ah, tal que d
_

(1)
_
= 0
(2)
, y que sin embargo no puede existir una
(0)
denida en U tal que d
_

(0)
_
=
(1)
.
Tomese, en cualquier R
n
(con n 2), la 1forma
(1)
dada por

(1)
=
x
2
x
2
1
+x
2
2
dx
1
+
x
1
x
2
1
+ x
2
2
dx
2
que esta denida en U = R
n
\ {(x
1
, . . . , x
n
) R
n
| x
1
= x
2
= 0}. Un c alculo sencillo mostrar a que
d
_

(1)
_
= 0
(2)
.
Por otra parte, si tomamos la 1variedad (o curva) R
n
parametrizada por la funci on
: [0, 2] R R
n
denida como
(t) = (r cos(t), r sen(t), 0, . . . , 0)
se tiene que U y otro c alculo sencillo mostrar a que
_

(1)
d = 2
= 0
de tal manera que, por el primer inciso del ejemplo 5.5, podemos concluir que no existe una 0forma

(0)
denida en U tal que d
_

(0)
_
=
(1)
.
Cual es el problema en este ejemplo? Como seguramente el lector intuira, el problema se
encuentra en la regi on U R
n
mas que en la 1forma
(1)
que elegimos. En particular, n otese
que la curva (cerrada) U no se puede contraer o llevar a un punto sin salirnos de la regi on
U, es decir, U no es una regi on simplemente conexa.
Otro ejemplo que resultar a bastante ilustrativo, es el siguiente. Sea, en cualquier R
n
(con
n 3), la 2forma
(2)
dada por

(2)
=
x
1
_
x
2
1
+x
2
2
+ x
2
3
_
3/2
dx
2
dx
3
+
x
2
_
x
2
1
+ x
2
2
+x
2
3
_
3/2
dx
3
dx
1
+
x
3
_
x
2
1
+x
2
2
+ x
2
3
_
3/2
dx
1
dx
2
que esta denida en U = R
n
\ {(x
1
, . . . , x
n
) R
n
| x
1
= x
2
= x
3
= 0}. Ya sea por un c alculo directo,
o con base en los ejemplos 5.2 (cuarto inciso) y 4.8 (del captulo cuatro), sabemos que d
_

(2)
_
= 0
(3)
.
Ahora, si tomamos la 2variedad (o supercie) M R
n
(n 3) parametrizada por la funci on
: A = [0, 2] [0, ] R
2
R
n
denida como
(u, v) = (r sen(v) cos(u), r sen(v) sen(u), r cos(v), 0, . . . , 0)
se tiene que M U y con base en el ejemplo 4.3 del captulo cuatro (o calcul andola directamente)
podemos concluir que
_
M

(2)
d = 4
= 0
de tal manera que, ahora por el segundo inciso del ejemplo 5.5, podemos concluir que no existe una
1forma
(1)
denida en U tal que d
_

(1)
_
=
(2)
.
279 J. P aez
Captulo 5. Formas: el concepto que unica 5.7. Diferenciales exactas (segunda parte)
Como en el ejemplo anterior, al parecer el problema no est a en la 2forma
(2)
sino en la regi on
U sobre la cual esta denida. En particular, n otese ahora que la supercie (cerrada) M U no
se puede contraer o llevar a un punto sin salirnos de la regi on U, es decir, U no es una regi on
doblemente conexa (de acuerdo con el termino que usamos en la seccion 7 del captulo cuatro).
Para terminar con esta ilustrativa serie de contraejemplos, considerese el siguiente. Sea, en
cualquier R
n
(con n 4), la 3forma
(3)
dada por

(3)
= Pdx
1
dx
2
dx
3
+ Qdx
2
dx
3
dx
4
+Rdx
1
dx
2
dx
4
+ Wdx
1
dx
3
dx
4
en donde
P(x
1
, x
2
, x
3
, x
4
) =
x
4
_
x
2
1
+x
2
2
+ x
2
3
+ x
2
4
_
2
Q(x
1
, x
2
, x
3
, x
4
) =
x
1
_
x
2
1
+x
2
2
+ x
2
3
+ x
2
4
_
2
R(x
1
, x
2
, x
3
, x
4
) =
x
2
_
x
2
1
+x
2
2
+ x
2
3
+ x
2
4
_
2
y
W(x
1
, x
2
, x
3
, x
4
) =
x
2
_
x
2
1
+x
2
2
+x
2
3
+x
2
4
_
2
que esta denida en U = R
n
\ {(x
1
, . . . , x
n
) R
n
| x
1
= x
2
= x
3
= x
4
= 0}.
De acuerdo con el ultimo inciso del ejemplo 5.2, se tiene que
d(
(3)
) =
_
Q
x
1

P
x
4
+
R
x
3

W
x
2
_
dx
1
dx
2
dx
3
dx
4
de donde, haciendo los respectivos c alculos (los cuales se dejan al lector!), obtenemos que
d(
(3)
) = 0
(4)
Por otra parte, si ahora tomamos la 3variedad M R
n
(n 4) parametrizada por la funci on
: A = [0, 2] [0, ] [0, ] R
3
R
n
dada por
(u, v, w) = (r sen(w) sen(v) cos(u), r sen(w) sen(v) sen(u), r sen(w) cos(v), r cos(w), 0, . . . , 0)
se tiene que M U y con base en el ejemplo 5.4 tenemos que
_
M

(3)
d = 2
2
= 0
de tal manera que ahora, por el tercer inciso del ejemplo 5.5, podemos concluir que no existe una
2forma
(2)
denida en U tal que d
_

(2)
_
=
(3)
.
Como seguramente el lector ya intuye, por supuesto que el problema no est a en la 3forma
(3)
sino en la regi on U R
n
sobre la cual esta denida. Como seguramente tambien el lector ya habr a
notado, ahora lo que se puede observar es que la 3variedad M U (la cual es cerrada, dado
J. P aez 280
5.7. Diferenciales exactas (segunda parte) Captulo 5. Formas: el concepto que unica
que es una esfera de dimensi on cuatro) no se puede contraer o llevar a un punto sin salirse
de la regi on U (como llamara el lector a las regiones U R
n
en las que cualquier 3variedad
(cerrada) se pueda contraer o llevar a un punto sin salirse de ella?).
Despues de esta serie de contraejemplos (y las observaciones que hemos hecho sobre ellos) se
vislumbra lo que ser a el resultado m as importante con relaci on a las diferenciales exactas. Antes
de formularlo, describiremos de manera intuitiva un par de conceptos que ser an necesarios.
El primero de ellos se reere a las pvariedades parametrizadas que llamaremos cerradas.
Si una pvariedad M R
n
esta parametrizada por una funci on : A R
p
R
n
, diremos
que M es cerrada si pega a los puntos de la frontera de A (Fr(A)), es decir, si para cada
x Fr(A) existe y Fr(A), y = x, tal que ( x) = ( y). Observe que este concepto abarca a
mas pvariedades que las que geometricamente parecen ser cerradas. Por ejemplo, un simple
segmento puede ser una 1variedad cerrada (o curva cerrada) si lo recorremos de tal manera que
empecemos y terminemos en el mismo punto.
El segundo concepto, y sin duda muy relevante, se reere a ciertas regiones U R
n
. Dada
p {1, . . . , n1}, diremos que U es una regi on pconexa si toda pvariedad parametrizada M U
que sea cerrada, se puede contraer o llevar a un punto sin salirse de U. De esta manera, las
regiones 1conexas ser an aquellas a las que en el captulo tres llamamos simplemente conexas, y
las 2conexas ser an aquellas a las que en el captulo cuatro llamamos doblemente conexas.
Con base en estos conceptos, ahora estamos en condiciones se establecer un teorema que nos da
condiciones sucientes para garantizar cu ando una forma diferencial es una diferencial exacta.
Teorema 5.3 Sean, p {1, . . . , n 1}, U R
n
una regi on pconexa, y
(p)
una pforma
diferencial denida sobre U. Si d(
(p)
) = 0
(p+1)
entonces existe
(p1)
una (p1)forma diferencial
denida sobre U tal que d(
(p1)
) =
(p)
.
Como hicimos notar en los captulos tres y cuatro, las regiones estrelladas son regiones simple-
mente conexas y doblemente conexas, y no es difcil convencerse de que tambien son pconexas,
para cualquier p {1, . . . , n 1}. De este hecho, y del teorema anterior se desprende el siguiente
corolario, que sera el ultimo resultado de este texto.
Corolario 5.1 Sean, p {1, . . . , n 1}, U R
n
una regi on estrellada, y
(p)
una pforma
diferencial denida sobre U. Si d(
(p)
) = 0
(p+1)
entonces existe
(p1)
una (p1)forma diferencial
denida sobre U tal que d(
(p1)
) =
(p)
.
281 J. P aez