Professional Documents
Culture Documents
Departamento de Matemática
Facultad de Ciencias Exactas
Universidad Nacional de La Plata
Julio de 2009
1
Índice
1. Introducción 3
1.1. El teorema en sus orı́genes . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Hacia la generalización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2. El Teorema 6
2.1. Producto tensorial y alternado . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2. Formas diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3. Integración sobre cadenas . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.4. El Teorema de Stokes en cadenas . . . . . . . . . . . . . . . . . . . . . . . 14
2.5. Variedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.6. Formas diferenciales y orientación en variedades . . . . . . . . . . . . . . . 17
2.7. El Teorema de Stokes en variedades . . . . . . . . . . . . . . . . . . . . . . 19
3. Aplicaciones 22
3.1. Los teoremas clásicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2. Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3. Cohomologı́a de de Rham y homologı́a singular . . . . . . . . . . . . . . . 28
2
Teorema de Stokes en Variedades 3
1. Introducción
El Teorema de Stokes en Variedades es una gran generalización de los Teoremas Inte-
grales del Cálculo, a saber, el Teorema Fundamental del Cálculo, el Teorema de Green, el
Teorema de Stokes (clásico) y el Teorema de Gauss (o Teorema de la Divergencia)1 , los
cuales recordamos brevemente a continuación:
Notamos que dichos teoremas tienen un importante punto en común: todos ellos rela-
cionan la integral de cierta función sobre un espacio dado, con la integral de otra función
relacionada sobre el borde de dicho espacio (el cual posee una “dimensión” menos). Sin
más preámbulos, el teorema dice lo siguiente:
Teorema de “Gauss” Este fue el primero de los tres teoremas en ser enunciado y
probado en la forma en que actualmente es conocido. A pesar de haber aparecido ciertos
casos particulares del mismo en una publicación de Carl Friedrich Gauss de 1813, en realidad
el primer registro que se tiene de una prueba del teorema en su forma más general es un
manuscrito de un trabajo presentado por el matemático ruso Michael Ostrogradsky en el
año 1826.2 Vale la pena destacar que la primera publicación del resultado por su autor
fue en 1831. Es por eso que no resulta sorprendente el hecho de que el resultado aparezca
publicado en formas idénticas o similares por Simeon-Denis Poisson en 1828 (a pesar de
que este cita una presentación de Ostrogradsky de 1827), por Frederic Sarrus, y por George
Green, el cual probó en una publicación privada del mismo año la fórmula conocida como
“segunda identidad de Green” (que es de hecho equivalente al Teorema de la Divergencia,
a pesar de que Green no lo notó en su trabajo).
Algo notable, y que explica tal vez por qué fue este resultado el primero en aparecer a
lo largo de la historia (a pesar de ser usualmente el último en mencionarse en los cursos
de Cálculo Vectorial), es que todos los matemáticos que llegaron a enunciar y demostrar
distintas versiones de este teorema estaban interesados en realidad en problemas de la
Fı́sica, y lo utilizaron como una herramienta para obtener un resultado de esa ı́ndole. En
efecto, Gauss estaba interesado en la teorı́a de atracción magnética, Ostrogradsky en la
teorı́a del calor, Green en electricidad y magnetismo, Poisson en cuerpos elásticos, y Sarrus
en cuerpos flotantes.
Teorema de “Green” Como ocurrı́a con el teorema anterior, este resultado no fue
originalmente enunciado (y mucho menos probado) por Green. Como era de esperarse,
dada su ı́ntima relación con la teorı́a de variable compleja, los protagonistas en la historia
temprana de este teorema son Augustin Cauchy y Bernhard Riemann.
Podemos encontrar en notas de 1846 de Cauchy el resultado enunciado en la forma en la
que actual lo conocemos, utilizado fuertemente en la prueba de la fórmula de Cauchy en el
2
Puede ser encontrado en [5].
Teorema de Stokes en Variedades 5
Teorema de “Stokes” La versión clásica del llamado Teorema de Stokes apareció por
primera vez públicamente como el problema número 8 del examen para el Premio Smith
en Febrero de 1854, prueba de la cual era responsable Sir George Gabriel Stokes en la
Universidad de Cambridge.4 Sin embargo, se sabe que este mismo resultado fue enviado en
una carta de William Thomson (Lord Kelvin) a Stokes en Julio de 1850.
No se sabe si alguno de los alumnos logró resolver el problema propuesto por Stokes,
pero lo que sı́ es cierto es que la primera prueba publicada del teorema se debe a Hermann
Hankel, en una monografı́a de 1861.
A pesar de toda esta enorme confusión con los nombres, vale la pena mencionar que
en las primeras publicaciones (e incluso en algunas de la actualidad) los autores rusos se
referı́an al Teorema de Gauss como Teorema de Ostrogradsky, y los franceces se referı́an al
Teorema de Green como Teorema de Riemann.
Además, se observó allı́ también que los tres teoremas eran casos particulares de este
resultado (Green tomando ω 1-forma en R2 , Stokes tomando ω 1-forma en R3 y Gauss
tomando ω 2-forma en R3 ). Veremos, en la Sección 3, cómo se prueban estas afirmaciones.
2. El Teorema
2.1. Producto tensorial y alternado
Para poder definir el conepto de forma diferencial es necesario hacer antes una incursión
algebraica en el mundo de los tensores. En el resto de esta sección V denotará un espacio
vectorial sobre R de dimension n. Se dice que ω es un tensor de orden k en V(o k-tensor
en V) si ω : V k → R es una función multilineal, es decir que si se fijan cualesquiera
k − 1 coordenadas y se piensa a ω como una función de V en R, entonces resulta es lineal.
Claramente, el conjunto de todas las funciones multilineales es un espacio vectorial sobre
R con la suma y el producto escalar definidos de manera obvia, el cual denotaremos por
=k (V ). Será sumamente útil considerar otra clase de producto entre tensores.
La definición de este producto permite expresar de una manera sencilla una base de
=k (V ), y calcular su dimensión.
X
ϕ(w1 , ..., wk ) = a1,j1 ... ak,jk ϕ(vj1 , ..., vjk )
1≤j1 ,...,jk ≤n
X
= ϕ(vj1 , ..., vjk )ϕj1 ⊗ ... ⊗ ϕjk (w1 , ..., wk )
1≤j1 ,...,jk ≤n
y por lo tanto los tensores mencionados generan =k (V ). Resta ver que son linealmente
independientes. Pero si X
ci1 ... ik ϕi1 ...ϕik = 0
1≤i1 ,...,ik ≤n
se tiene X
ci1 ... ik ϕi1 ...ϕik (vj1 , ..., vjk ) = cj1 ... jk = 0
1≤i1 ,...,ik ≤n
y como los j1 , ... jk eran arbitrarios, todos los coeficientes son nulos.
Observación 2.3. De ahora en más el ı́ndice de la sumatoria será obviado o notado por
el ı́ndice general I, y el rango será explicitado sólo en caso de posible confusión.
6
Recordar que V ∗ es el espacio de los funcionales lineales de V en R. y que ϕi (vj ) = δij
Teorema de Stokes en Variedades 7
Observese que =(V ) = V ∗ . Otros dos ejemplos, quizás de los más importantes, son el
producto interno h, i y la función determinante det : V n → R (V=Rn ) 7 , tensores de orden
2 y n en Rn , respectivamente. Como el determinante cambia de signo si se permutan dos
columnas, surge la idea del siguiente subconjunto importante de =k (V ):
Definición 2.4. Sea σ ∈ Sk . Si (v1 , ..., vk ) es una k-upla, se nota σ(v1 , ..., vk ) = (vσ(1) , ..., vσ(k) ).
Decimos que ω ∈ =k (V ) es un tensor alternado de orden k si
nados.
Definición 2.5. Sea ω ∈ =k (V ), entonces se define el tensor alternado Alt(ω) mediante
1 X
Alt(ω) = Sgn(σ) (ω ◦ σ)
k! σ∈S
k
Se ve fácilmente que Alt deja fijo a los tensores alternados, y manda tensores en alter-
nados; es decir que Alt : =k (v) → Λk (V ) y Alt|Λk (V ) = IdΛk (V ) .
Para poder expresar una base de Λk (V ) de manera elegante, se introduce un nuevo
producto, esta vez entre tensores alternados.
Definición 2.6. Sean ω ∈ Λk (V ), η ∈ Λl (V ), el producto exterior entre ω y η, ω ∧ η ∈
Λk+l (V ) está dado por
(k + l)!
ω∧η = Alt(ω ⊗ η)8
k! l!
El producto exterior tiene ciertas propiedades básicas que no se demostrarán aquı́ 9 ,
como la asociatividad, bilinealidad, y su análogo a la conmutatividad: ω ∧ η = (−1)kl η ∧ ω.
10
Proposición 2.7. Los k-tensores alternados ϕi1 ∧ . . . ∧ ϕik , con 1 ≤ i1 < . . . < ik ≤ n,
son una base de Λk (V ), cuya dimensión es por lo tanto nk .
Demostración. Sea ω ∈ Λk (V ), entonces
X X
ω = Alt(ω) = Alt( cI ϕi1 ⊗ ... ⊗ ϕik ) = cI Alt(ϕi1 ⊗ ... ⊗ ϕik )
I I
Y como Alt(ϕi1 ⊗ . . . ⊗ ϕik ) = ±( k!1 )ϕi1 ∧ . . . ∧ ϕik se tiene que el conjunto de tensores
genera Λk (V ).
La independencia lineal es trivial agrupando los productos exteriores con los mismos fac-
tores y diferente orden, y usando la identidad ϕi1 ∧ . . . ∧ ϕik (vj1 , . . . vjk ) = δi1 ,j1 . . . δik ,jk (al
igualar la expresión de ω a 0 y aplicarla a vi1 , . . . vik se anulan todos exceptuando el i1 . . . ik -
ésimo).
Observación 2.8. Siguiendo la lı́nea de la observación hecha con anterioridad, mientras
no dé lugar a confusión notaremos ϕI = ϕi1 ∧ . . . ∧ ϕik para abreviar notaciones.
7
pensando en que det(v1 , ..., vn ) es el determinante de la matriz A cuyas columnas son v1 , . . . , vn
el factor (k+l)!
8 n
k! l! está para que en R valga la igualdad ϕi1 ∧ ... ∧ ϕik (ei1 , . . . , eik ) = 1 con ϕ1 , . . . , ϕn
la base dual de e1 , . . . , en
9
Ver [8] p. 80-81.
10
de ahora en más el ı́ndice I usado en las sumatorias indica esta clase de k-uplas.
Teorema de Stokes en Variedades 8
Por la proposición anterior, se tiene que cada tensor alternado de orden k se escribe de
forma única como X X
cI ϕi1 ∧ ... ∧ ϕik = cI ϕ I
I I
Se concluye esta sección escapando un poco de la abstracción
Pn y notando la estrecha
relación entre tensores alternados y el determinante. Si wi = j=1 aij vj , entonces
ϕi1 ∧ ... ∧ ϕik (w1 , ... , wk ) = k! Alt(ϕi1 ⊗ . . . ⊗ ϕik )(w1 , . . . , wk )
X
= Sgn(σ) aσ(1)i1 ... aσ(k) ik
σ∈Sn
w1 i1 . . . w1 ik
= det ... .. ..
. .
i1
wk . . . w 1 ik
Es decir, cada ω ∈ Λk (V ) es combinación lineal de funciones
que aplicadas a (w1 ... wk ) son
w1
..
el determinante de un menor de k × k de la matriz . , pensando sus coordenadas en
wk
11
la base v1 , ..., vn . Por lo tanto, si vi = ei es la base canónica, entonces ϕ1 ∧ ... ∧ ϕn = det.
Como consecuencia inmediata, si notamos det(w1 , ... , wn ) = det([a]i,j ), se lo siguiente.
Corolario 2.9. Si ω ∈ Λn (V ) entonces ω = ω(v1 , ... , vn ) det
donde el multiı́ndice I recorre todas las k-uplas ordenadas de números distintos entre 1 y
n.
11
Especı́ficamente, del menor formado por las k columnas de los ı́ndices de I
12
Otros matemáticos, ası́ como Grassmann y Poincarè influenciaron en el desarrollo de la teorı́a
13
y también asi como del producto externo y de la derivada exterior, lo que va a permitir más tarde
redefinir todos estos conceptos sobre variedades
Teorema de Stokes en Variedades 9
La forma será diferenciable si cada una de las ωI lo es. Una 0-forma no es más que una
función de Rn → R. Se define la suma, producto exterior ω ∧ η y producto por una funcion
f ω, que también puede ser visto como producto por una 0-forma, de la siguiente manera:
(ω + η)(p) = ω(p) + η(p)
(w ∧ η)(p) = ω(p) ∧ η(p)
(f ω)(p) = (f ∧ ω)(p) = f (p) ω(p)
donde las operaciones del lado derecho de las igualdades son operaciones entre tensores
alternados. Una de las formas más importantes, y la motivadora del concepto, proviene
del diferencial de una función f : Rn → R. Manejando adecuadamente las operaciones, se
puede construir la 1-forma df mediante:
df (p)(vp ) = Df (p)(v)
donde Df (p) = f 0 (p), la matrix diferencial de f evaluada en p, es una aplicación lineal de
Rn en R. Obsérvese que la 1-forma recién construida en p, aplicada a un vector vp no es
más que la derivada direccional de f en la dirección v en p14 . Y como f es diferenciable se
tiene que df (p)(vp + wp ) = df (p)(vp ) + df (p)(wp ), como era de esperarse.
Las funciones más simples son las funciones coordenadas xi : Rn → R, xi (p1 , . . . , pn ) =
pi , y es natural que podamos expresar a cualquier k-forma ω en función de ellas. En efecto,
observando que
dxi (p)(vp ) = Dxi (p)(v) = v i
se ve que dx1 (p), . . . , dxn (p) es la base dual de (ep )1 , . . . , (ep )n , y por lo tanto toda k-forma
en Rn ω se escribe como:
X X
ω= ωI dxi1 ∧ . . . ∧ dxik = ωI dxI
I I
como se querı́a.
14
estos juegos de palabras ayudan a comprender que los conceptos en cuestión son coherentes con la
teorı́a clásica
Teorema de Stokes en Variedades 10
Introduciremos ahora otro de los grandes aportes de Cartan. Del hecho de que f se puede
considerar una 0-forma y el operador d convierte 0-formas en 1-formas, se define:
ωI dxI una k-forma, la derivada exterior de ω es una
P
Definición 2.12. Sea ω =
(k + 1)-forma dada por
n n
X XX ∂ωI XX ∂ωI
dw = dωI ∧dxi1 ∧ . . . ∧dxik = dxj ∧dxi1 ∧. . .∧dxik = dxj ∧dxI
I I j=1
∂xj I j=1
∂xj
2. d(ω ∧ η) = dω ∧ η + (−1)k ω ∧ dη
3. d2 = 0
Demostración. Para 1.,
X
d(ω + η) = d( (ωI + ηI )dxI )
I
n
XX ∂ωI + ηI j
= dx ∧ dxI
I j=1
∂xj
n n
XX ∂ωI j
XX
I ηI
= dx ∧ dx + dxj ∧ dxI
I j=1
∂xj I j=1
∂xj
= d(ω) + d(η)
Y 3. vale pues:
n X n
XX ∂ 2 wI
d(dω) = dxj ∧ dxi ∧ dxI
I i=1 j=1
∂xi ∂xj
n X n X
XX ∂ 2 wI j i I
XX ∂ 2 wI
= dx ∧ dx ∧ dx − dxj ∧ dxi ∧ dxI
I i=1 j<i
∂xi ∂xj I i=1 j>i
∂xi ∂xj
= 0
Vale la pena notar la analogı́a entre el inciso 2. del teorema y la fórmula clásica para la
derivación del producto de funciones.
El último concepto que hay que definir para poder comenzar a hablar de integración
de formas es el de pullback. Una aplicación lineal entre espacios vectoriales λ : V →
W induce el morfismo entre λ∗ : Λk (W ) → Λk (V ) a través de (λ∗ ω)(v1 , . . . , vk ) =
w(λ(v1 ), . . . , λ(wk )). Por lo tanto si f : Rn → Rm es una función diferenciable, quedan
definidas las funciones f∗ : Tp Rn → Tp Rm , y f ∗ que envı́a k-formas en Rm a k-formas en
Rn , dadas por:
f∗ (vp ) = (Df (p)(v))f (p)
(f ∗ ω)(p)((vp )1 , . . . , (vp )k ) = ω(f (p))(f∗ ((vp )1 ), . . . , f∗ ((vp )k ))
Con algunos abusos de notación17 llamaremos f ∗ también a la función que envı́a alternados
en Tf (p) Rm a alternados en Tp Rn ; esto permite ahorrar escritura ya que las todas las opera-
ciones definidas sobre formas se hacen explicitándolas sobre los alternados de su imagen,
entonces cualquier propiedad del pullback que valga para alternados, automáticamente vale
sobre formas. Por ejemplo, si ω y η son k-tensores alternados en Tp Rm y vi ∈ Tp Rn , se tiene
que
f ∗ (ω + η)(v1 , . . . , vk ) = (ω + η)(f∗ (v1 ), . . . , f∗ (vk ))
= (f ∗ ω)(v1 , . . . , vk ) + (f ∗ η)(v1 , . . . , vk )
por lo tanto se tiene que la misma fórmula vale si ω y η son k-formas en lugar de alternados.
Del mismo modo,
f ∗ (ω ⊗ η)(v1 , . . . , v2k ) = (ω ⊗ η)(f∗ (v1 ), . . . , f∗ (v2k ))
= ω(f∗ (v1 ), . . . f∗ (vk )) η(f∗ (vk+1 ), . . . , f∗ (v2k ))
= (f ∗ ω ⊗ f ∗ η)(v1 , . . . , v2k )
Y como el producto exterior es una combinación lineal de productos tensoriales(compuesto
con permutaciones), se tiene también que:
f ∗ (ω ∧ η) = f ∗ ω ∧ f ∗ η
para ω y η k-formas18 . En palabras: el pullback del producto exterior es el producto exterior
de los pullback.
Veamos cómo actúa f ∗ sobre las 1-formas elementales dxi :
Proposición 2.14. Sea f : Rn → Rm una función diferenciable, entonces
n
∗ i
X ∂f i
f (dx ) = dxj
j=1
∂xj
17
siguiendo la notación de [8]
18
haciendo el cálculo adecuado esta igualdad vale en realidad para ω k-forma y η l-forma.
Teorema de Stokes en Variedades 12
Es decir; Z Z
1 k
f dx ∧ . . . ∧ dx = f (x1 , . . . , xk )dx1 . . . dxk .
[0,1]k [0,1]k
Por linealidad se define entonces la integral sobre cualquier k-forma sobre [0, 1]k . Y se define
la integral de la k-forma ω sobre el k-cubo singular c como:
Z Z
ω = c∗ ω
c [0,1]k
Observese que como (I k )∗ dxi = dxi se tiene, como era de esperarse, que
Z Z Z
k ∗
ω = (I ) ω = ω
Ik [0,1]k [0,1]k
es una (k − 1)-forma en [0, 1]k (esto no pierde generalidad, pues toda (k − 1)-forma es
combinación lineal entera de formas de este tipo, y además la derivada exterior d es lin-
eal). Y tomemos en principio c = I k . Enunciaremos el siguiente resultado como un Lema
independiente dentro de la prueba del Teorema, puesto que representa el paso crucial de la
integral (k − 1)-dimensional a la integral k-dimensional.
Lema 2.18.
si j 6= i;
Z
0,
k
(I(j,α) )∗ Ii
(f dx ) = R 1 k 1 k
[0,1]k−1 [0,1]k
f (x , . . . , α, . . . , x ) dx . . . dx , si j = i.
k
Demostración. Por la proposición 2.15, si g = I(j,α) se tiene que
∂(g 1 , . . . , g i−1 , g i+1 , . . . , g k ) 1
Z Z
∗ Ii dx ∧ . . . ∧ dxk−1 = (∗)
g (f dx ) = (f ◦ g)
1 , . . . , dxk−1 )
[0,1]k−1 [0,1] k−1 ∂(dx
Si j 6= i, g j es una de las funciones del jacobiano, y como es constante el mismo tiene una
fila nula y su determinante es por lo tanto nulo. Si j = i el jacobiano es la identidad y, por
definición de la integral,
Z
(∗) = (f ◦ g)(x1 , . . . , xk−1 ) dx1 . . . dxk−1
[0,1]k−1
Z
= f (x1 , . . . , xi−1 , α, xi , . . . , xk−1 ) dx1 . . . dxk−1
[0,1]k−1
Z
= f (x1 , . . . , xi−1 , α, xi+1 , . . . , xk ) dx1 . . . dx
ci . . . dxk
[0,1] k−1
Z
= f (x1 , . . . , xi−1 , α, xi+1 , . . . , xk ) dx1 . . . dxk , por el TFC en la variable xi .
[0,1]k
21
Ver [9], p 251.
22
el sombrero indica que el término i-ésimo se omite
Teorema de Stokes en Variedades 15
1
X Z
i+α
= (−1) f (x1 , . . . α, . . . , xk )dx1 . . . dxk
α=0 [0,1]k
X1 Z
i+α
= (−1) f (x1 , . . . , α, . . . , xk )dx1 · · · dxk
α=0 [0,1]k
Z
= ω
∂I k
donde en la cuarta igualdad se hizo uso reiterado del teorema fundamental del cálculo para
una variable, y el teorema de Fubbini para ordenar adecuadamente los diferenciales. Y en
la quinta igualdad simplemente se evaluó la integral que está entre paréntesis.
Para el caso en que c sea un k-cubo singular arbitrario, basándonos en lo recien probado
se observa que
Z Xk X1 Z
ω = (−1) i+α k
(c ◦ I(i,α) )∗ ω
∂c i=1 α=0 [0,1]k−1
Xk X 1 Z
= (−1) i+α k
(I(i,α) )∗ (c∗ ω)
i=1 α=0 [0,1]k−1
Xk X 1 Z
= (−1) i+α
c∗ ω
k
I(i,α)
α=0
Zi=1
= c∗ ω
∂I k
Y por lo tanto Z Z Z Z Z
∗ ∗
dω = c (dω) = d(c ∗ ω) = cω= ω
c Ik Ik ∂I k ∂c
P
Finalmente, para c = i ai ci una cadena cualquiera tenemos que
Z X Z X Z Z
dω = ai dω = ai ω= ω
c i ci i ∂ci ∂c
Teorema de Stokes en Variedades 16
2.5. Variedades
Comencemos ahora a desarollar el contexto en el cual el Teorema de Stokes en su versión
más general puede enunciarse. En primer lugar, veamos qué son finalmente las variedades.
(i) f (W ) = M ∩ U ,
(iii) f −1 : f (W ) → W es continua.
Llamaremos a la condición que cumple cada punto “condición local de variedad k-dimensional”
Presentamos esta definición también pues suele ser más fácil de extender hacia el con-
cepto de variedades con borde.
Ambas definiciones pueden ser probadas equivalente sin mayor dificultad. Deberı́amos
remarcar sin embargo varias cosas en este momento:
En primer lugar, el lector que ya conociera la definición del concepto de variedad habrı́a
esperado tal vez que se hable de topologı́a, cartas, atlas, etc. Al respceto podemos decir que
se podrı́a pensar a la condición de la definición 1. como la existencia de un cubrimiento de
M por cartas con base en Rk . Los cambios de coordenadas (i.e., las funciones de transición
que se presentan en las intersecciones de dos cartas) son claramente suaves; para verlo se
puede utilizar también la definición 2. (que vale pues son equivalentes), en la cual esto
es mucho más evidente. Y lógicamente la topologı́a que adquiere nuestra variedad será la
heredada por ser subconjunto de Rn .
Por otro lado, y a pesar de que no hay incongruencias con la definición mediante car-
tas, las definiciones aquı́ presentadas suponen que M es un subconjunto de algún espacio
euclı́deo. Gracias al Teorema del embedding de Whitney, esto no es una pérdida de gener-
alidad, puesto que toda variedad abstractamente definida puede sumergirse en un Rm .
Llamemos semi-espacio Hk en Rk al subconjunto {x ∈ Rk : xk ≥ 0}.
23
siguiendo [8]
Teorema de Stokes en Variedades 17
donde las funciones ωi1 ,...,ip están definidas en M únicamente. Serı́a bueno poder definir
en este momento la derivada exterior d para formas en variedades de manera análoga a lo
hecho en Rn . Sin embargo, esto no se puede pues no tendrı́a sentido hablar de derivadas
parciales de las funciones ωi1 ,...,ip . Es por eso que necesitamos el siguiente resultado.
Proposición 2.25. Dada ω p-forma en M , existe una única (p + 1)-forma η en M tal que
para todo sistema de coordenadas f : W → Rn se tiene que
si y sólo si
[f∗ ((eb )1 ), . . . , f∗ ((eb )k )] = µf (b)
En el caso en que para alguna f y para algunn a ∈ W se dé la igualdad de orientaciones
(luego se dará para todo a ∈ W ), diremos que f preserva la orientación. Es claro que si
tenemos un sistema de coordenadas que no preserva la orientación, lo podemos componer
con una transformación lineal de Rk en Rk de determinante −1 y luego obtenemos un
sistema de coordenadas que sı́ la preserva (o sea que para todo punto hay un sistema de
coordenadas que preserva la orientación).
24
Ver corolario 2.9.
Teorema de Stokes en Variedades 19
y la integral sobre p-cadenas queda definida por linealidad. Si p = k, que es el caso que
nos interesa, consideraremos k-cubos en M con la condición de que exista un sistema de
coordenadas f : W → Rn , con [0, 1]k ⊆ W , tal que c = f en [0, 1]k . Si M es orientable,
diremos que el k-cubo c preserva la orientación si f lo hace. Antes de continuar con la
definición de integración necesitaremos el siguiente resultado técnico.
Proposición 2.26. Si c1 , c2 : [0, 1]k → M son dos k-cubos singulares que preservan la
orientación, en una variedad orientable M de dimensión k, y ω es una k-forma diferenciable
en M tal que es nula afuera de c1 ([0, 1]k ) ∩ c2 ([0, 1]k ), entonces
Z Z
ω= ω
c1 c2
y por otro, Z Z
ω= c∗2 (ω)
c2 [0,1]k
entonces bastarı́a ver que esas dos últimas expresiones son iguales. Llamemos g = c−1
2 ◦ c1
∗ 1 k
y supongamos que c2 (ω) = f dx ∧ . . . ∧ dx . Entonces, por la Proposición 2.15,
(c−1 ∗ ∗ ∗ 1 k
2 ◦ c1 ) c2 (ω) = g (f dx ∧ . . . ∧ dx )
= (f ◦ g) det(Dg) dx1 ∧ . . . ∧ dxk
Teorema de Stokes en Variedades 20
Luego como det(Dg) > 0 (pues c1 y c2 preservan la orientación) podemos usar la fórmula
de cambio de variables, que dice que integrar (f ◦ g)| det(Dg)| sobre A es lo mismo que
integrar f sobre g(A), se llega rápidamente a que
Z Z
−1 ∗ ∗
(c2 ◦ c1 ) c2 (ω) = c∗2 (ω)
[0,1]k [0,1]k
Ahora dada ω una k-forma en una variedad M de dimensión k, supongamos que existe un
k-cubo singular c en M que preserva la orientación y tal que el soporte de ω está contenido
en c([0, 1]k ). Entonces, definimos Z Z
ω= ω
M c
que por la proposición anterior está bien definido.
Para dar la definición más general de integral de una k-forma sobre M es fundamental
utilizar el siguiente resultado sobre la topologı́a de las variedades25 .
(ii) Para cada x ∈ A existe un entorno V tal que allı́ todas las ϕ son nulas, salvo finitas.
P
(iii) ϕ∈Φ ϕ(x) = 1 para cada x ∈ A
(iv) Para cada ϕ ∈ Φ existe un abierto U ∈ O tal que el soporte de ϕ está contenido en
U.
Luego, usando esto, y que dω también tiene soporte contenido en c([0, 1]k ) (ya que
d0 = 0), Z Z Z
dω = dω = ω=0
M c ∂c
y la última igualdad se debe a que por hipótesis w = 0 en ∂c. Pero por otro lado, como ω
k
es cero en ∂M R (pues es cero fuera de c([0, 1] ) y esto último está contenido en M − ∂M ),
se tiene que ∂M ω = 0, o sea que queda probado el Caso 1.
Caso 2. Existe un k-cubo singular c en M que preserva la orientación, con c(k,0) la única
cara del borde de c que está en ∂M , y tal que ω = 0 afuera de c([0, 1]k ).
Haciendo la misma cuenta que se hizo en el caso anterior,
Z Z Z
dω = dω = ω.
M c ∂c
R
Esta última integral coincide con (−1)k c(k,0)
pues el resto de las caras del borde de c están
k
en M − ∂M , luego allı́ ω = 0 (y (−1) es el coeficiente con el que aparece c(k,0) en ∂c). De
lo mencionado luego de la definición de orientación inducida se deduce que
Z Z
k
= (−1) ω
c(k,0) ∂M
luego Z Z Z Z
k 2k
dω = ω = (−1) ω = (−1) ω
M (−1)k c(k,0) c(k,0) ∂M
con lo cual X
dϕ ∧ ω = 0.
ϕ∈Φ
Teorema de Stokes en Variedades 22
Utilizando esto, junto la regla para la derivada exterior de un producto exterior de formas
(recordar que ϕ es una 0-forma), y que el resultado vale para las formas ϕω, se obtiene
Z Z X XZ
dω = ϕdω = ϕdω
M M ϕ∈Φ ϕ∈Φ M
XZ XZ
= dϕ ∧ ω + ϕdω = d(ϕ ∧ ω)
ϕ∈Φ M ϕ∈Φ M
XZ XZ
= d(ϕω) = ϕω
ϕ∈Φ M ϕ∈Φ ∂M
Z
= ω.
∂M
3. Aplicaciones
Discutiremos en esta sección algunas de las tantas implicaciones que trae la forma general
del Teorema de Stokes. Por un lado, veremos cómo en efecto éste es una generalización de los
clásicos teoremas del Cálculo Vectorial. En segundo lugar enunciaremos (sin demostración
rigurosa), junto con alguna introducción a las variedades complejas, una generalización del
Teorema de Cauchy (la fórmula de Cauchy para funciones analı́ticas) para Cn . Por último,
mencionaremos brevemente cómo el Teorema de Stokes permite definir un morfismo entre
la Cohomologı́a de de Rham y el dual de la Homologı́a de Cadenas (o singular).
Se podrı́an haber incluido en esta sección diversas aplicaciones de los teoremas clásicos
del cálculo vectorial a problemas de la Fı́sica y de ecuaciones diferenciales. Éstas son por
ejemplo: la Ley de Ampère para campos magnéticos de circuitos 27 ; la ecuación de conser-
vación (de masa o de carga, dependiendo del contexto); la ecuación de Euler para un fluido
perfecto; la Ley de Gauss; las ecuaciones de Maxwell 28 ; los incontables usos de estos resul-
tados (junto con el Teorema de la Divergencia en su versión n-dimensional y las famosas
identidades de Green) en el desarrollo teórico de las ecuaciones diferenciales parciales, entre
otros. Sin embargo, dado que no son aplicaciones directas del Teorema de Stokes en Var-
iedades (sino de sus clásicos corolarios), optaremos por no extendernos en esta dirección y
haremos únicamente esta mención al respecto.
Demostración. Por un lado, vemos que ∂M consta simplemente de los puntos a y b. Como
suponemos que la orientación dada es “desde a hacia b”, tenemos que
Z
g = g(b) − g(a)
∂M
F · dx = F1 dx1 + . . . + Fn dxn
∂g ∂g
= dx1 + . . . + dxn
∂x1 ∂xn
= dg
con lo cual Z Z
F · dx = dg
M M
y luego nuestro resultado se deduce del Teorema de Stokes para la 0-forma g.
Seguiremos ahora lo hecho en [8] para ver como se traduce el Teorema 2.28 en los bien
conocidos Teoremas de Green, Gauss y Stokes (versión clásica).
Teorema 3.2. (Green) Sea M ⊆ R2 una variedad compacta de dimensión 2, con borde.
Supongamos que le damos a ∂M la orientación inducida por M (es decir, la orientación
de “la mano izquierda hacia adentro”). Si α, β : M → R son diferenciables, entonces
Z ZZ
∂β ∂α
α dx + β dy = − dx dy.
∂M M ∂x ∂y
dA = n1 dy ∧ dz + n2 dz ∧ dx + n3 dx ∧ dy
Y además,
n1 dA = dy ∧ dz
n2 dA = dz ∧ dx
n3 dA = dx ∧ dy
Demostración. Veamos primero las tres últimas identidades. Vemos que podemos escribir
al elemento de volumen como dA(x)(v, w) = hv × w, n(x)i. Pero además v × w es paralelo
al normal, luego existe α tal que v × w = αn(x). Entonces,
Con lo cual n1 dA = dy ∧dz, y las otras dos identidades se ven de la misma manera. (usando
e2 y e3 en lugar de e1 ). Finalmente, para ver la primera fórmula utilizamos estas tres y el
hecho de que n es unitario en cada x ∈ M.
Estamos en condiciones ahora de probar el Teorema de la Divergencia, también conocido
como Teorema de Gauss.
Teorema 3.4. (Teorema de la Divergencia) Sea M ⊆ R3 una variedad compacta con
borde de dimensión 3, y n el normal unitario exterior a ∂M . Sea F = (F1 , F2 , F3 ) un campo
vectorial diferenciable en M . Entonces,
Z Z
div F dV = hF, ni dA.
M ∂M
n1 dA = dy ∧ dz
n2 dA = dz ∧ dx
n3 dA = dx ∧ dy
Luego en ∂M se tiene
hF, nidA = F1 n1 dA + F2 n2 dA + F3 n3 dA
= F1 dy ∧ dz + F2 dz ∧ dx + F3 dx ∧ dy
= ω
Haciendo exactamente el mismo trabajo presentado aquı́ se prueba la versión más general
del Teorema de la Divergencia, la cual se enuncia de manera análoga, pero para variedades
n-dimensionales en Rn , n > 3.
Notemos por ds al elemento de volumen correspondiente a una variedad L de dimensión
1 contenida en R3 , y sea X un campo vectorial en L de modo que ds(X) = 1 (es decir,
ds(a) X(a) = 1 para todo a ∈ L). Entonces, dado a ∈ L,
X1 ds (a) X(a) = X1 (a) = dx(a) X(a)
es decir,
X1 ds(X) = dx(X)
Y como el espacio tangente Ta L es de dimensión 1, el vector X(a) resulta una base para
el mismo, con lo cual la igualdad anterior se puede ver como una igualdad de 1-formas
diferenciales en L:
X1 ds = dx
Análogamente, vale lo mismo para las otras 2 coordenadas:
X2 ds = dy
X3 ds = dz
En particular, si F = (F1 , F2 , F3 ) es un campo vectorial en L,
hF, Xids = F1 X1 ds + F2 X2 ds + F3 X3 ds = F1 dx + F2 dy + F3 dz
En ese caso, decimos que la forma es del tipo (r, s) (se puede ver que el tipo no depende de
las coordenadas locales elegidas). Diremos que una forma es analı́tica si s = 0 (también
se ve que esto no depende del sistema de coordenadas).
Estudiando un poco la derivada exterior de formas diferenciales d, se ve que si ω es
una forma de tipo (r, s) entonces dω se puede escribir como suma de dos formas, de tipos
(r + 1, s) y (r, s + 1) respectivamente. Se puede descomponer entonces d = ∂ + ∂, ¯ donde
¯ del tipo (r, s + 1). Es trivial verificar que los operadores ∂
∂ω es del tipo (r + 1, s) y ∂ω
y p̄ tienen propiedades análogas a las de d, y además una forma ω es analı́tica si y sólo si
¯ = 0.
∂ω
Veamos la siguiente aplicación del Teorema de Stokes, obtenida por Martinelli.
y
n
X
ω(z) = (−1)k z̄k ωk (z).
k=1
Entonces,
(n − 1)!
Z
f (z)
f (ζ) = (n) ω(z − ζ)
(2πi)n SR |z − ζ|2n
donde (n) = (−1)n(n+1)/2 .
f (z)
ψ(z) = ω(z),
|z|2n
y entonces dψ = 0. Luego, aplicando el Teorema de Stokes al espacio entre las dos esferas
SR y Sr (0 < r < R) se obtiene Z Z
ψ− ψ=0
SR Sr
Luego Z Z
1
ψ = 2n f (z)ω(z).
SR r Sr
Con lo cual, como ∂ω = 0, usamos nuevamente el Teorema de Stokes y obtenemos que esta
última expresión es igual a Z
1 ¯
f ∂ω.
r2n Br
Teorema de Stokes en Variedades 28
Cuando r → 0, f (z) se parecerá mucho a f (0), luego se puede probar que nuestra expresión
se vera como
Z Z
1
ψ = f (0) 2n (−1)n+1 n dz ∧ dz̄
SR r Br
Z
1 n n n(n+1)/2
= f (0) 2n i 2 n(−1) dx1 ∧ . . . ∧ dxn ∧ dy1 ∧ . . . ∧ dyn
r Br
1
= f (0) 2n n(2i)n (−1)n(n+1)/2 V (Br )
r
(2πi)n
= f (0)(−1)n(n+1)/2 .
(n − 1)!
con lo cual quedarı́a probado el Teorema (arriba, V (Br ) denota el volumen de la bola de
radio R en R2n ).
Entonces, si la integral de una forma ω es distinta de cero, esta forma no puede ser exacta.
Consideremos entonces la siguiente pregunta acerca de formas diferenciales en M : ¿cuántas
n-formas diferenciales no exactas pueden definirse en M ? En primer lugar, observemos que
ω es exacta si y sólo si ω + dη lo es (pues d2 = 0). Luego deberı́amos considerar el espacio
cociente de las formas diferenciales en M con las exactas. Como toda n-forma diferencial es
cerrada (pues al ser M de dimensión n las n + 1-formas son nulas), serı́a entonces natural
considerar el espacio vectorial cociente
n
HdR (M ) = Z n (M )/B n (M )
Se puede ver también a los grupos de cohomologı́a de de Rham a partir del complejo
de de Rham:
d d d
0 → Ω0 (M ) → − Ω1 (M ) →
− Ω2 (M ) →
− Ω3 (M ) → . . .
donde d es la derivada exterior de formas diferenciales. Si uno se preguntara cuán lejos esta
el complejo de ser exacto en cada posición, es natural considerar entonces el grupo de coho-
mologı́a previamente definido. Esto es porque si llamamos (para facilitar la comprensión)
dk a la derivada exterior de k-formas, entonces
dk−1 d dk+1
· · · → Ωk−1 −−→ Ωk −→
k
Ωk+1 −−→ · · ·
Como toda forma exacta es cerrada, im(dk−1 ) ⊆ ker(dk ). El complejo serı́a exacto en k si
en lugar de inclusión tenemos una igualdad. Surge entonces naturalmente la consideración
k
del espacio cociente ker dk /im dk−1 , que no es otra cosa que HdR (M ).
Teorema de Stokes en Variedades 29
Por otro lado, se define el grupo abeliano Ck (M ) como el grupo libre generado por
n-cubos singulares, y consideramos la aplicación borde
∂k : Ck (M ) → Ck−1 (M )
definida en los n-cubos singulares como se ha hecho previamente. Como ∂k+1 ∂k = 0 tenemos
un complejo
∂k+1 k ∂
· · · → Ck+1 (M ) −−→ Ck (M ) −→ Ck−1 (M ) → · · ·
y se define entonces el k-ésimo grupo de homologı́a singular mediante Hk (M ) =
ker ∂k /im ∂k+1 .
Ahora bien, dadas ω ∈ Z k (M ) y σ ∈ ker ∂k se puede definir un pairing bilineal
Z
(ω, σ) 7→ ω.
σ
Pero gracias al Teorema de Stokes, si tomamos la k-forma ω +dη y el n-cubo σ +∂c entonces
Z
(ω + dη, σ + ∂c) 7→ ω + dη
σ+∂c
Z Z Z Z
= ω + dη + ω+ dη
Zσ Zσ Z∂c ∂c
Z
= ω+ η + dω + d2 η
Zσ Z∂k σ Z c Z c Z
= ω+ η+ 0+ 0= ω
σ 0 c c σ
Luego este pairing pasa a los cocientes, y queda bien definida la aplicación bilineal en las
k
clases de HdR (M ) y Hk (M ): Z
([ω], [σ]) 7→ ω
σ
Georges de Rham (1903 - 1990) probó en 1931 (basándose en ideas previamente publicadas
por Henri Poincaré y Élie Cartan) el actualmente llamado Teorema de de Rham, el cual
dice que este morfismo es en realidad un isomorfismo (para una demostración ver [11], p.
206). La importancia de este resultado recae principalmente en el hecho de que relaciona
la cohomologı́a de de Rham (que se define en términos de las formas diferenciales) con
la homologı́a singular (una cuestión puramente topológica de la variedad). Por ejemplo,
hablando sin mucha precisión, si Hk (M ) fuese de dimensión finita entonces ésta coincide
con la de su espacio dual, con lo cual
k
dim (HdR (M )) = dim (Hk (M ))
Referencias
[1] E. Cartan, Les Systèmes Différentiels Extérieurs et leurs Applications Géométriques,
Hermann, 1945.
[2] V. J. Katz, The History of Stokes’ Theorem, Mathematics Magazine, Vol.52 N◦ 3:146-
156, 1979.
[6] B. Riemann, Grundlagen für eine allgemeine Theorie der Functionen einer veränder-
lichen complexen Grösse, Göttingen, 1851; Werke, pp. 3-48.
[7] H. M. Schey, Div, Grad, Curl and All That, W. W. Norton, 1973.
[10] G. G. Stokes, Mathematical and Physical Papers, Vol. 5, p.320, Cambridge University
Press, 1905.