TEOREMA DE STOKES

DEFINICIN
Elteorema de Stokesengeometra
diferenciales una proposicin sobre
laintegracindeformas diferencialesque
generaliza variosteoremasdelclculo
vectorial. Se nombra as porGeorge Gabriel
Stokes(1819-1903), a pesar de que la
primera formulacin conocida del teorema
fue realizada porWilliam Thomsony
aparece en una correspondencia que l
mantuvo con Stokes fechada el 2 de julio de
1850. Stokes puso el teorema como una
pregunta en el examen de 1854 delPremio
de Smith, lo que dio como resultado que
ahora lleve su nombre.

INTRODUCCIN
Elteorema fundamental del clculoestablece que
laintegralde una funcinfen elintervalo[a,b] puede
ser calculada por medio de unaantiderivadaFdef:

 El teorema de Stokes es una generalizacin de este

teorema en el siguiente sentido:
Para laFelegida
En el lenguaje de las formas diferenciales es decir que
f(x) dx es la derivada exterior de la 0-forma (como por
ejemplo una funcin) F: dF = f dx. El teorema general de
Stokes se aplica a formas diferenciales mayores
en
vez de F.

 En un lenguaje matemtico, el intervalo abierto (a,b) es

unavariedadmatemtica unidimensional. Su frontera es el conjunto
que consiste en los dos puntosayb. Integrarfen ese intervalo
puede ser generalizado como integrar formas en una variedad
matemtica de mayor orden. Para esto se necesitan dos condiciones
tcnicas: la variedad matemtica debe ser orientable, y la forma
tiene que ser compacta de manera que otorgue una integral bien
definida.
Los dos puntosaybforman parte de la frontera del intervalo
abierto. Ms genricamente, el teorema de Stokes se aplica a
variedades orientadasMcon frontera. La frontera MdeMes una
variedad en s misma y hereda la orientacin natural deM. Por
ejemplo, la orientacin natural del intervalo da una orientacin de
los dos puntos frontera. Intuitivamenteahereda la orientacin
opuesta ab, al ser extremos opuestos del intervalo. Entonces,
integrandoFen los dos puntos fronteraa,bes equivalente a tomar

Por lo que el teorema fundamental relaciona la integral de una

funcin sobre un intervalo, con una integral o suma de la primitiva
de la funcin en los lmites que encierran dicho intervalo:

GENERAL
SeaMuna variedad de dimensinndiferenciable por
trozos orientada compacta y sea una forma
diferencial enMde gradon-1 y de clase C. Si
Mdenota el lmite deMcon su orientacin inducida,
entonces

 Aqu d es la derivada exterior, que se define usando solamente la estructura de

variedad. El teorema debe ser considerado como generalizacin del teorema
fundamental del clculo y, de hecho, se prueba fcilmente usando este teorema.
El teorema se utiliza a menudo en situaciones donde M es una subvariedad
orientada sumergida en una variedad ms grande en la cual la forma se define.
El teorema se extiende fcilmente a las combinaciones lineales de las
subvariedades diferenciables por trozos, las, as llamadas, cadenas. El teorema de
Stokes demuestra entonces que las formas cerradas definidas mdulo una forma
exacta se pueden integrar sobre las cadenas definidas mdulo borde. sta es la
base para el apareamiento entre los grupos de homologa y la cohomologa de
Rham.

EJERCICIO