Documentos de Académico
Documentos de Profesional
Documentos de Cultura
9 de diciembre de 2014
1.
lgebra exterior
0 (V ) = R
y para
k 1 definimos
k (V ) = f f : V k ! R : f
es multilineal y alternanteg:
vi 7! f (v1 ; : : : ; vi ; : : : ; vk )
es una transformacin lineal para cada i, una vez fijos los vj con j 6= i. Por otro lado,
decimos que f es alternante si para cada par 1 i < j k se tiene que
f (: : : ; vi ; : : : ; vj ; : : :) = f (: : : ; vj ; : : : ; vi ; : : :)
(1)
2 R,
= 1 m :
sgn = ( 1)m :
Se dice que es una permutacin par (resp. impar ) si sgn = 1 (resp. sgn = 1).
Observemos que Sk acta en en el espacio de transformaciones multilineales en Vk
de la siguiente manera: si 2 Sk y f : Vk ! R es multilineal, se define f como
3.
f = (sgn )f
para toda
i 6= j ;
2 Sk .
) 1 sean i < j
0 = f (v1 ; : : : ; v| i +
vj ; : : : ; v| i +
vj ; : : : ; v k )
{z }
{z }
lugar
lugar
= f (v1 ; : : : ; vi ; : : : ; vi ; : : : ; vk ) + f (v1 ; : : : ; vi ; : : : ; vj ; : : : ; vk ) +
f (v1 ; : : : ; vj ; : : : ; vi ; : : : ; vk ) + f (v1 ; : : : ; vj ; : : : ; vj ; : : : ; vk )
= f (v1 ; : : : ; vi ; : : : ; vj ; : : : ; vk ) + f (v1 ; : : : ; vj ; : : : ; vi ; : : : ; vk );
luego se cumple (1). Para probar 3 ) 1 observemos que para i;j 2 Sk , se tiene
i;j f = (sgn i;j )f = f;
y por ende se cumple (1). Finalmente, si 2 Sk y escribimos = 1 m
producto de transposiciones, entonces
como
1.1.
Producto exterior
Dadas
X
(f ^ g)(v1 ; : : : ; vk+` ) = 1
(sgn )f (v(1) ; : : : ; v(k) )g(v(k+1) ; : : : ; v(k+`) )
k!`! 2Sk+`
(2)
Llamaremos a f ^ g el producto exterior de f con g . Sigue de la siguiente proposicin, entre otras propiedades, que f ^ g es efectivamente un elemento de k+` (V ).
Proposicin 1.2. Sean
1.
f ^ g 2 k+` (V );
^ es asociativo, o sea, f ^ (g ^ h) = (f ^ g) ^ h;
3. ^ es anticonmutativo, o sea f ^ g = ( 1)k` g ^ f ;
4. para todo 2 R, valen
f ^ (g + g0 ) = f ^ g + f ^ g0 ;
(f + f 0 ) ^ g = f ^ g + f 0 ^ g:
Demostracin. Sean 1 i < j k + `, v 2 V, y calculemos (f ^ g )(: : : ; v; : : : ; v; : : :), en
donde el vector v aparece en los lugares i y j . Dada 2 Sk+` , si i; j 2 f (1); : : : ; (k)g
o i; j 2 f (k + 1); : : : ; (k + `)g, entonces el sumando correspondiente a en (2) es
nulo. En el otro caso, podemos suponer sin perder generalidad que i 2 f (1); : : : ; (k)g
y j 2 f (k + 1); : : : ; (k + `)g. Luego, si
~ = i;j , entonces
2.
sgn = sgn ~ ,
f ^ (g ^ h)(v1 ; : : : ; vk+`+s ) =
X
1
(sgn )f (v(1) ; : : : ; v(k) )(g ^ h)(v(k+1) ; : : : ; v(k+`+s) )
=
k!(` + s)! 2Sk+`+s
X
X
1
=
(sgn )(sgn )
(3)
k!`!s!(` + s)! 2Sk+`+s 2S`+s
f (v(1); : : : ; v(k))g(v(k+(1)); : : : ; v(k+(`)))h(v(k+(`+1)); : : : ; v(k+(`+s))):
3
(i) = ~ (i)
i = 1; : : : ; k
y para cada con esta propiedad, existe una nica 2 S`+s tal que
(k + (i)) = ~ (k + i)
para i = 1; : : : ; ` + s:
Adems, observemos que se puede escribir como
~ = ~ con ~ 2 Sk+`+s
como
para
definida
8
<
i;
i = 1; : : : ; k
~(i) = :
k + (i k); i = k + 1; : : : ; k + ` + s:
Se ve fcilmente que sgn
~ = sgn (considerando el monomorfismo cannico de S`+s en
Sk+`+s que consiste en permutar los ltimos `+s elementos dejando fijos los primeros k).
Luego, reordenamos la suma (3) y obtenemos que
f ^ (g ^ h)(v1 ; : : : ; vk+`+s ) =
(4)
X
(sgn ~ )f (v~(1) ; : : : ; v~(k) )g(v~(k+1) ; : : : ; v~(k+`) )h(v~(k+`+1) ; : : : ; v~(k+`+s) ):
= 1
k!`!s! ~2Sk+`+s
Razonando de manera anloga se prueba que (f ^ g ) ^ h(v1 ; : : : ; vk+`+s ) coincide con (4).
Veamos 3. En efecto,
X
(g ^ f )(v1 ; : : : ; vk+` ) = 1
(sgn )g(v(1) ; : : : ; v(`) )f (v(`+1) ; : : : ; v(`+k )
`!k! 2Sk+`
Sea 2 Sk+` definida por
8
<` + i;
i = 1; : : : ; k
(i) = :
i k; i = k + 1; : : : ; k + `
(f ^ g ^ h)(v1 ; : : : ; vk+`+s ) =
X
= 1
(sgn )f (v(1) ; : : : ; v(k) )g(v(k+1) ; : : : ; v(k+`) )h(v(k+`+1) ; : : : ; v(k+`+s) ):
k!`!s! 2Sk+`+s
Nota 1.4. Observemos que si
c^f =
V como
1
M
(V ) = k (V ):
k=0
k
Los elementos de (V ) son sumas formales del tipo f = 1
k=0 fk , con fk 2 (V ), en
donde hay slo una cantidad finita de sumandos no nulos. Por lo tanto, tiene sentido
P
extender el producto exterior a todo (V ), poniendo para g = 1
`=0 g` ,
P
f ^g =
1 1
XX
k=0 `=0
fk ^ g` =
r=0 k+`=r
fk ^ g` :
Esto hace de (V ) un lgebra asociativa sobre los nmeros reales. A continuacin
probarmos que el lgebra exterior de un espacio de dimensin finita es tambin de
dimensin finita.
Proposicin 1.5. Sea n
su base dual. Entonces:
1.
= dim V
y sean
2. Ms generalmente, si f1 ; : : : ; fk
2 V y v1; : : : ; vk 2 V, entonces
f1 (v1 ) f1 (v2 ) f1 (vk )
f2 (v1 ) f2 (v2 ) f2 (vk )
B
B
B
B
B
@
C
C
C
C
C
A
..
.
..
.
..
..
.
manera inductiva.
(f1 ^ ^ fk )(v1 ; : : : ; vk ) =
X
= 1
(sgn )f1 (v(1) )(f2 ^ ^ fk )(v(2) ; : : : ; v(k) )
(k 1)! 2Sk
k X
X
= 1
(sgn )f1 (vj )(f2 ^ ^ fk )(v(2) ; : : : ; v(k) )
(k 1)! j=1 2Sk
=
=
=
=
k
X
j =1
k
X
j =1
k
X
j =1
k
X
j =1
(1)=j
f1 (vj )
f1 (vj )
(k 1)! 2Sk
1)j+1
(1)=j
X
(
(sgn )2 (f2 ^ ^ fk )(v2 ; : : : ; vj 1 ; vj+1 : : : ; vk )
(k 1)! 2Sk
(5)
(1)=j
(6)
= 1;2 2;3 j
2;j 1 j 1;j ;
(1; 2; : : : ; k) = (j; 2; : : : ; j 1; j + 1; : : : ; k)
sgn = ( 1)j+1 :
Luego
= (j1 ; : : : ; jk )
para una
f (v1 ; : : : ; vk ) =
kX1
i=1
ai f (v1 ; : : : ; vk 1 ; vi ) = 0;
lo cual prueba 1.
P
Para probar 2, sea f 2 k (V ) y sean v1 ; : : : ; vk 2 V. Escribimos vj = ni=1 aij ei .
Luego, usando la multilinealidad de f y reordenando los ndices de menor a mayor para
los elementos de la base (usando la alternancia), tenemos que
f (v1 ; : : : ; vk ) =
1i1 <<ik n
i1 ;:::;ik =
2Sk
Por otro lado, usando la segunda parte del Ejemplo 1.6, tenemos que
2Sk
f=
1i1 <<ik k
Para verificar la independencia lineal, observemos que usando nuevamente el Ejemplo 1.6 se tiene que si 1 i1 < < ik n y 1 j1 < < jk n entonces
8
<
1;
(ei1 ^ ^ eik )(ej1 ; : : : ; ejk ) = :
0;
si i1 = j1 ; : : : ; ik = jk ;
en caso contrario.
0=
1i1 <<ik n
1.2.
Transformaciones lineales en
Un endomorfismo lineal
1. un homomorfismo de lgebras si
2. una derivacin si
si
3. una antiderivacin si
g 2 (V );
4. de grado
(V)
`(f1 ^ ^ fk ) =
i=1
( 1)i+1 f1 ^ ^ `(fi ) ^ ^ fk
2 1(V)
como la
=
=
`=1
k
X
`=1
k
`=1
i(v1 )(f1 ^ ^ fk ) =
`=1
1.3.
Transformaciones inducidas
` : V ! W es lineal,
(V ) ! (W ) definiendo
Si
entonces
`:
2.
: V ! W
Formas diferenciales
k (M ) =
y el fibrado lgebra exterior sobre
p2M
k 0,
definimos el
k-fibrado
exterior
((Tp M ) )
(M ) =
p2M
((Tp M ) )
escribirse en la forma
!=
1i1 <<ik n
n
Luego, tenemos definida una funcin de 1 (U ) en Rn+(k ) que le asigna a ! las coordenadas x1 ( (! )); : : : ; xn ( (! )) y ai1 ;:::;ik con 1 i1 < < ik n. Un trabajo anlogo
puede hacerse con (M ), pero en este caso la dimensin ser n +2n , pues en este caso,
un elemento ! 2 (M ) con (! ) 2 U se escribe como
!=
Si uno pide que estas funciones sean sistemas de coordenadas, se obtienen las estructuras
naturales de variedad diferenciable para los fibrados k (M ) y (M ). Los detalles de la
prueba son similares a los que ya se hicieron para el fibrado tangente T M y el fibrado
cotangente T M . Ms an, notar que 1 (M ) = T M .
Proposicin 2.1. Para k 0, los fibrados k (M ) y (M ) tienen una estructura
natural de variedad diferenciable de dimensin n + nk y n + 2n respectivamente.
Ms an, con esta estructura diferenciable, la proyeccin cannica sobre M es
una funcin C 1 .
Definicin 2.2. Una funcin C 1 de M en k (M ) o (M ) cuya composicin con la
proyeccin cannica es la identidad se dice una k-forma diferencial en el primer caso
o una forma diferencial en el segundo.
En lo que sigue omitiremos la palabra diferencial y nos referiremos a k-formas y
formas, asumiendo diferenciabilidad, salvo que sea necesario indicar lo contrario.
Nota 2.3. Un levantamiento (es decir, una funcin que compuesta con la proyeccin
cannica da la identidad) : M ! k (M ) es una k-forma (diferencial) si y slo si para
cada sistema de coordenadas (U; ' = (x1 ; : : : ; xn )) de M , se escribe
jU =
1i1 <<ik n
Luego la k-forma
(7)
k veces
@
@
!
;:::;
;
@xi1
@xik
1 i1 < < ik n;
en donde ests ltimas son funciones diferenciables por (7). (En realidad, uno debera
extender los campos coordenados a campos globales en M para aplicar la definicin,
pero esto siempre puede hacerse.)
Probemos entonces la afirmacin anterior. Antes que nada, notemos que razonando
de manera inductiva, basta probarlo para k = 1. Es decir, hay que ver que si ! :
X(M ) ! C 1 (M ) es C 1 (M )-lineal, entonces ! (X )(p) depende solo de X (p). Usando la
linealidad, basta ver que si X (p) = 0, entonces ! (X )(p) = 0. Sea (U; ' = (x1 ; : : : ; xn ))
P
un sistema de coordenadas en p y escribamos X = ni=1 ai (@=@xi ) en U . Entonces
ai (p) = 0 para todo i. Sea f 2 C 1 (M ) una funcin que vale idnticamente 1 en un
entorno V U , p 2 V , y se anula en M U . Sea Xi el campo que vale f (@=@xi ) en
U y 0 en M U y a~i la funcin que vale fai en U y 0 en M U . Entonces Xi 2 X(M ),
a~i 2 C 1 (M ) y se cumple
n
X
X = a~i Xi + (1 f 2 )X:
i=1
Luego
n
X
!(X )(p) = a~i (p)!(Xi )(p) + (1 f (p)2 )!(X )(p) = 0
i=1
como queramos probar.
11
Observemos que si
determinante
!; 2 E 1 (M )
X; Y 2 X(M )
d2 = 0;
2.
df
es la diferencial de
para toda
f 2 C 1 (M ) = E 0 (M ) .
Demostracin. Antes que nada, observemos que un operador con estas propiedades, es
un operador local. Es decir, si !; 2 E (M ) son tales que ! jU = jU para algn abierto
U en M , entonces (d!)p = (d)p para todo p en U . Por la linealidad, basta probar que
si ! jU = 0 entonces (d! )p = 0 para p 2 U . En efecto, dado p 2 U , sea f 2 C 1 (M ) tal
que f vale idnticamente 1 en un abierto V U que contiene a p y f es idnticamente
nula en M U . Luego f! = 0 y por ende
!=
con ai1 ;:::;ik
2 C 1(U ). Sea
d(U;') ! =
(8)
n
X
@f
@f
d(U;') (d(U;') f ) = d(U;') (df ) = d(U;')
dxi = d
dx
@xi i
i=1 @xi
i=1
n X
n @ 2f
X
dxj ^ dxi
=
i=1 j =1 @xj @xi
!
X
@ 2f
@ 2f
=
dxi ^ dxj = 0;
1i<j n @xi @xj @xj @xi
X
13
de la forma
`=1
2.1.
f :M !N
una funcin
14
C 1 . Entonces,
1.
f : E (N ) ! E (M ) es un homomorfismo de lgebras;
2.
f
3.
conmuta con d, es decir d(f (! )) = f (d! ), para toda ! 2 E (N ) (observar que utilizamos la misma letra d para denotar a los operadores de
diferenciacin exterior de M y N );
para toda
! 2 E k (M )
!=
f (!) =
lo que prueba que
15
2.2.
Ya hemos probado que t 7! dXt (YXt (p) ) es una curva diferenciable en Tp M para
valores pequeos de t y por ende este lmite siempre existe. Ms an (LX Y )p = [X; Y ]p
para todo p 2 M . En particular, LX Y es un campo diferenciable en M .
dXt
YXt (p)
dXt(Yxt(p))
Xt (p)
Yp
p
Si ahora ! es una forma diferencial en M , entonces !Xt (p) es una forma algebraica
en TXt (p) M , y haciendo pull-back por el flujo de X , obtenemos una forma algebraica
Xt (!Xt (p) ) en Tp M . Dejamos como ejercicio verificar que t 7! Xt (!Xt (p) ) define una
curva diferenciable en (el espacio vectorial) ((Tp M ) ). Luego, tiene sentido definir la
derivada de Lie de ! con respecto a X en p como
X (! X ) !p d X
(LX !)p = lt!m0 t t (p)
= t (!Xt (p) ):
t
dt 0
X 2 X(M ). Entonces
1.
LX f = X (f ) para toda f 2 C 1 (M ).
2.
3.
4. En
E (M ), LX = i(X ) d + d i(X ).
5. Sean
! 2 E k (M ), Y0 ; Y1 ; : : : ; Yk 2 X(M ), entonces
i=1
d!(Y0 ; : : : ;Yk ) =
i=0
0i<j k
(LX f )p = d Xt (f (Xt (p))) = d f (Xt (p)) = Xp (f ):
dt 0
dt 0
La parte 2 ya ha sido probada. Para la parte 3 consideremos LX como un operador sobre E (M ) que devuelve formas a priori no necesariamente diferenciables. Sean
!; 2 E (M ). Por la Proposicin 2.11, tenemos que el pull-back de formas es un
homomorfismo de lgebras (incluso punto a punto si no se asume diferenciabilidad).
17
Luego,
C 1 (M ) y p 2 M ,
LX
conmuta con
f2
(9)
Como ambos miembros de esta igualdad son elementos de (Tp M ) , basta verificar que
coinciden aplicados a un vector cualquiera v 2 Tp M . El lado derecho aplicado a v da
(LX (df ))p (v) = d Xt (df jXt (p) ) (v) = d Xt (df jXt (p) )(v)
dt 0
dt 0
= d df (dXt (v)) = d v(f Xt )
dt 0
dt 0
!
= v d (f Xt ) = v(X (f ));
dt 0
d
d
d
X
X
X
( f t ) (q ) =
(f t )(q ) =
f ( (q )) = Xq (f ) = X (f )(q ):
dt 0
dt 0
dt 0 t
Esto prueba (9). Para ver que LX ! es diferenciable y que LX conmuta con d, escribimos
! en coordenadas locales y usamos lo ya probado. Completar los detalles como ejercicio.
Para probar 4, primero observamos que tanto LX como i(X ) d + d i(X ) son
derivaciones que conmutan con d. En efecto, ya probamos esto para LX . Si ! 2 k (M )
18
2 (M ), entonces
3.
Orientacin
orientacin en V queda determinada por una n-forma no nula ! . En este caso, una
base (e01 ; : : : ; e0n ) se dice positivamente orientada si ! (e01 ; : : : ; e0n ) > 0.
Estas dos enfoques sobre orientacin son equivalentes, pues dada una base (e1 ; : : : ; en )
de V, tenemos que n (V ) = fc e1 ^ ^ en : c 2 Rg.
Ejemplo 3.1. Por un clculo directo pueden probarse las siguientes afirmaciones.
1. Si
2. Si
par.
Definicin 3.2. Una variedad diferenciable M de dimensin n se dice orientable si
existe una n-forma continua en M que no se anula en ningn punto.
Aclaremos que una n-forma continua ! es una funcin ! : M ! n (M ) tal que
! = idM y ! compuesta con cualquier carta coordenada de n (M ) da una funcin
continua. Es decir, ! es una funcin continua de M en n (M ).
M=
i2 I
Mi ;
M , decimos que un
con
@
@
;:::;
>0
!
@x1
@xn
en
M=
2A
det @ @xi A > 0
@xj ij
!=
f dx1 ^ ^ dxn ;
2A
en donde el sumando f dx1
dxn vale cero fuera de U . Es estndar probar que !
es diferenciable usando que la familia sop f : A es localmente finita. Veamos que
! es nunca nula. Dado p M sea B = A : p U . Observemos que si ; B ,
^ ^
f 2
2 g
2 g
entonces
dx
1
^ ^
dxn
= (dx
1
^ ^
dxn )
= det @ @xi A dx1 ^ ^ dxn :
@xj ij
21
@
@
;:::;
dx1 ^ ^ dxn
@x1
@xn
Luego, fijado
2 B , tenemos que
0
!p =
2B
f (p) dx1 jp ^ ^
X
@xi A C
B
@
dxn = @ f (p) det
A dx1 p
@xj p ij
2B
j ^ ^ dxnjp
dx1 jp ^ ^ dxn jp en Tp M .
!p (v1 ; : : : ; vn ) = det(v1 ; : : : ; vn ; p)
en donde (v1 ; : : : ; vn ; p) denota la matriz cuyas columnas son v1 ; : : : ; vn ; p. Verificar que
! define una n-forma diferencial nunca nula.
Un ejercicio importante es probar que el espacio proyectivo P n es orientable si y
slo si n es impar. La idea es ver cundo la n-forma ! definida para la esfera, desciende
a una n-forma en el espacio proyectivo P n = S n =, donde es la relacin antipodal.
El ejemplo anterior puede generalizarse a hipersuperficies que admiten un campo
normal nunca nulo. Por una hipersuperficie de Rn+1 entendemos una subvariedad ndimensional i : M ! Rn+1 . Un campo normal N a lo largo de M , es un campo
N : M ! T Rn+1 a lo largo de M , tal que N (p) es ortogonal a dijp (Tp M ) para todo
p 2 M (con las identificaciones usuales).
N (p) 2 (T M )?
p
p
M
Teorema 3.5. Sea M una hipersuperficie de Rn+1 . Entonces M es orientable si y
slo si existe un campo normal continuo y nunca nulo a lo largo de M . Ms an,
si M es orientable, entonces existe un campo normal C 1 y nunca nulo a lo largo
de M .
Demostracin. Ejercicio.
Ejercicio 3.6. Probar usando el teorema anterior que la cinta de Mebius no es orientable y que las hipersuperficies que se obtienen por el teorema de la funcin implcita
s son orientables.
22
4.
Definicin de la integral
= f dt1 ^ ^ dtn ;
Rn. Definimos
Rn
=
f=
Rn
Z 1
1
1 f (t1; : : : ; tn) dt1 : : : dtn;
1
la cual est bien definida porque f es una funcin continua y con soporte compacto
en Rn .
Supongamos ahora que es una n-forma continua en M con soporte compacto
contenido en U , donde (U; ' = (x1 ; : : : ; xn )) es un sistema de coordenadas positivo en
M . En este caso definimos
Z
=
Rn
'
1 ( ) =
Rn
f ' 1;
(10)
@xi
jU \V = f det
@yj
Como
que
ij
dy1 ^ ^ dyn :
det(@xi =@yj )ij > 0, usando el teorema del cambio de variables para Rn , vemos
0
Rn
(f
1 ) @det
@xi
@yj
ij
1A =
Rn
1 )J ('
(f
1) =
Rn
f ' 1:
( + c) =
23
+c
:
Para dar la definicin en el caso general, sea una n-forma continua en M con
soporte compacto. Como M es orientable y orientada, podemos elegir una familia de
sistemas de coordenadas positivos f(U ; ' ) : 2 Ag que satisfacen la condicin del
Teorema 3.3 (es decir, tales que el determinante del jacobiano de cada cambio de coordenadas es positivo). Tomemos una particin de la unidad ff : 2 Ag subordinada
al cubrimiento fU : 2 Ag con la misma familia de ndices. Definimos = f .
P
Entonces es claro que el soporte de est contenido en U y que = 2A . Luego,
definimos
Z
Z
X
M
=
2A M
:
Esta suma est bien definida, pues al ser sop compacto, tenemos que sop U slo
para una cantidad finita de ndices . Luego, en la suma anterior slo hay una cantidad
finita de sumandos no nulos. Sin embargo, debemos verificar que nuestra definicin no
depende de la eleccin de la familia f(U ; ' ) : 2 Ag. Para ver esto, tomemos otra
familia de sistemas de coordenadas positivos f(V ; ) : 2 B g como en las hiptesis
del Teorema 3.3 y una particin de la unidad fg : 2 B g subordinada al cubrimiento
fV : 2 B g con la misma familia
de ndices. Como antes, escribimos = g . Ahora
P
P
bien, observemos que = 2A f = 2A f g , en donde esta suma tiene a lo
sumo una cantidad finita de sumandos no nulos, pues sop es compacto, y por ende est
contenido en a lo sumo una cantidad finita de abiertos U . Adems, sop(f ) V para
todo . Luego, por la propiedad de linealidad que ya probamos para formas contenidas
en un solo entorno coordenado tenemos
Z
y por consiguiente
=
M 2A
X
f =
2B M
Anlogamente
2A M
=
=
2A M
X X
f =
Z
2B 2A M
X X
2A 2 B M
2A M
f g
f g :
g f :
Como estas dos sumas coinciden (estn bien definidas y se puede intercambiar el orden
de los sumandos pues ambas son sumas finitas), queda bien definida la integral de
sobre M para una n-forma continua con soporte compacto arbitraria.
Probar como ejercicio las propiedades de linealidad para la integral de n-formas.
Definicin 4.1. Sea M una variedad diferenciable orientable y orientada. Una n-forma
diferencial nunca nula ! en la clase de equivalencia de la orientacin de M se dice
un elemento de volumen de M . Si f 2 C 1 (M ) tiene soporte compacto, definimos la
R
integral de f con respecto a ! como M f! .
En particular, si M es compacta, se define el volumen de M (con respecto a ! como
vol! (M ) =
24
1! =
!:
4.1.
D
D
U
En este caso, puede probarse que @D es una subvariedad cerrada de M de dimensin
(n 1). Ms an, si M es orientable entonces @D es orientable. Se dice que una orientacin en @D es compatible con la orientacin de M si para todo sistema de coordenadas
positivo (U; ' = (x1 ; : : : ; xn )) que satisface (11), se tiene que (x1 ; : : : ; xn 1 ) define un
sistema de coordenadas positivo en @D.
Observemos que si es una (n 1)-forma diferenciable en M , y denotamos por
i : @D ! M la inclusin, entonces i(R) es una (n 1)-forma diferencial en @D y por
ende tiene sentido calcular su integral @D i(), la cual a veces se denota simplemente
R
por @D .
Teorema 4.2 (Stokes). Sea M una variedad diferenciable n-dimensional orienta es
ble y orientada. Sea D un dominio con borde diferenciable en M tal que D
compacto. Sea una (n 1)-forma diferencial en M , entonces
Z
d =
@D
;
d = 0:
Ejemplo 4.4 (Teorema de Green). Denotemos por (x; y ) las coordenadas usuales en
R2 y sea D un dominio un dominio en el plano encerrado por una curva regular C . Una
1-forma en R2 se escribe como
= P dx + Q dy
y su diferencial como
@P
dx ^ dy
@y
@Q
d =
@x
D
C = D
d = (Qx
Py ) dx
^ dy
= P dx + Q dy
Luego por el Teorema 4.2 tenemos que
I
(P dx + Q dy) =
ZZ
26
@Q
@x
@P
dx dy:
@y