Professional Documents
Culture Documents
1 de noviembre de 2014
Indice
1. Introduccion. 1
2. Un poco de geometra. 2
2.1. Curvas y superficies simples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.1.1. Orientacion de curvas y superficies simples . . . . . . . . . . . . . . . . . . . . . . . 4
2.2. Curvas y superficies. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2.1. Orientacion de curvas y superficies . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1. Introduccion.
El equipo docente de Ampliacion de Calculo ha elaborado este resumen sobre integracion en curvas y
superficies para que lo lean los estudiantes preferiblemente despues de haber estudiado los captulos 15 y
16 del texto-base. Se trata de relacionar entre s los conceptos que ya se conocen, para que el alumno vea que
los diferentes tipos de integrales (de funciones de variable real, dobles, tripes, curvilneas y de superficie)
responden todas a un mismo esquema y que los resultados fundamentales (teoremas fundamental del
calculo, de Green, de Stokes y de Gauss) son casos particulares de una idea mas general.
En este resumen se ha intentado evitar el rigor y la precision, en las notaciones y en la terminologa propios
de las matematicas, por lo que este documento no debera sustituir el estudio de los captulos 15 y 16 del
texto base.
Nota. Se incluye hipertexto (aparece recuadrado en rojo) para facilitar la navegacion por el documento. Re-
cuerde que en la mayora de los visualizadores de pdf puede avanzar o retroceder en las paginas consultadas
mediante la combinacion de teclas Alt y Alt respectivamente.
2. Un poco de geometra.
2.1. Curvas y superficies simples.
Empecemos dando algunas definiciones previas (no se trata de terminologa generalmente aceptada, sino
de la que nos conviene en este contexto).
Diremos que dos subconjuntos de R3 tienen la misma forma si podemos obtener uno a partir del otro,
doblandolo suavemente, estirando y encogiendo en cualquier direccion, pero sin marcar dobleces, ni cortar,
ni pegar.
A estos efectos, vamos a considerar a R y a R2 como partes de R3 , identificando R con la recta {(x, y, z)
R3 : y = z = 0}, as como a R2 con el plano {(x, y, z) R3 : z = 0}.
Por ejemplo, todos los intervalos cerrados (independientemente de su longitud) tienen la misma forma;
todos los triangulos tienen la misma forma; todos los cuadrilateros tienen la misma forma; todos los
paraleleppedos tienen la misma forma; una circunferencia tiene la misma forma que una elipse; una recta
tiene la misma forma que una parabola, pero no que una circunferencia. Un cubo no tiene la misma forma
que una esfera, porque el primero tiene vertices y aristas. En este sentido, podramos afirmar que una taza
y una rosquilla tienen la misma forma, siempre que la taza no tenga perfiles agudos.
Tecnicamente, estamos diciendo que dos subconjuntos C y D de R3 tiene la misma forma si existe una
difeomorfismo suave r : R3 R3 tal que r(C) = D.
Vamos a denominar curvas simples a los conjuntos con la misma forma que un intervalo cerrado y superficies
simples a los conjuntos con la misma forma que un crculo cerrado o que un polgono convexo cerrado.
Recordemos que un polgono convexo cerrado es la interseccion en el plano (con mas de un punto) de un
numero finito de semiplanos cerrados. El permetro de ese polgono es una lnea poligonal, de la misma
manera que el permetro de un crculo es la circunferencia que lo limita.
El borde de una curva simple esta formada por sus dos puntos extremos (imagenes de los extremos del
intervalo), mientras que el borde de una superficie simple es la imagen de la lnea poligonal o de la
circunferencia correspondiente. Vamos a llamar lados de una superficie simple a las imagenes de los lados
del polgono de su misma forma o a todo el borde, en el caso de que tenga la misma forma que un crculo.
De las definiciones anteriores se deduce que tanto las curvas simples, como las superficies simples, se pueden
parametrizar mediante aplicaciones suaves de rango constante k (k = 1 para las curvas, k = 2, para las
superficies)
r : R R3 , con r(I) = C, para las curvas simples C, siendo I un intervalo.
r : R2 R3 , con r(D) = S, para las superficies simples S. Aqu D es un polgono o un crculo.
Observe que estamos incluyendo tambien a las curvas planas al considerar R2 como una parte de R3 .
En una curva simple parametrizada por r(t) = (x(t), y(t), z(t)), la orientacion viene dada por el
sentido del vector r0 (t) = (x0 (t), y 0 (t), z 0 (t)) (la derivada de r(t), que es tangente a la curva simple en
el punto r(t)).
En una superficie simple parametrizada por r(s, t) = (x(s, t), y(s, t), z(s, t)), la orientacion viene dada
por el sentido del vector rs rt (que es un vector perpendicular a la superficie simple en el punto
r(s, t), que hemos omitido para aligerar la notacion). Escribimos rs para simplificar la notacion de
la derivada parcial r/s. Recordemos que es el producto vectorial de R3 .
Figura 6: Orientacion de una curva y de una superficie simples con sus bordes resaltados
Al orientar una curva simple (eligiendo un sentido de recorrido), orientamos su borde, que esta formado
por dos puntos: asignamos +1 al punto final y 1 al inicial (orientacion inducida). La orientacion de un
punto equivale a asignar un +1 o un 1 a ese punto.
Al orientar un crculo o un polgono (eligiendo una cara), estamos orientando su permetro (regla de
la mano derecha). Como una superficie simple tiene la misma forma que un crculo o que un polgono,
resulta que al orientar un superficie simple estamos orientando, al mismo tiempo, a su borde (orientacion
inducida).
Al escoger una parametrizacion de la curva o de la superficie simple, automaticamente queda esta orientada.
Esto es as porque en R y en R2 tenemos una orientaciones fijadas por convenio (sentido izquierda a derecha
en R, giro en sentido antihorario en R2 ).
Figura 9: A partir de la parametrizacion, la orientacion viene dada por un vector en cada punto
En cada punto r(t0 ) de una curva simple C parametrizada por r : I C, el sentido de recorrido (orienta-
cion) viene dado por el sentido del vector r0 (t0 ). En cada punto r(s0 , t0 ) de una superficie S parametrizada
por r : I S, la orientacion viene dada por el vector N = rs (s0 , t0 ) rt (s0 , t0 ), en donde rs y rt denotan,
de forma abreviada, a las derivadas parciales r/s, r/t y denota al producto vectorial.
Recordemos que rt y rs son vectores tangentes a la superficie y que el producto vectorial de dos vectores
u, v es un vector ortogonal a u y a v, que su modulo es el area del paralelogramo que definen esos dos
vectores y su sentido es el que hace que el determinante de u, v y u v (en ese orden) sea positivo.
1. Solo se pueden pegar piezas de igual dimension y nunca se pegan entre s puntos de una misma pieza.
2. Dos curvas simples se pegan por uno o por sus dos extremos. En un punto solo se pueden unir dos
curvas simples.
3. Dos superficies simples se pegan por uno de sus lados; ningun punto de ese lado (salvo quiza los
extremos) puede estar pegado a otra pieza de nuestra construccion.
4. En nuestra construccion tiene que ser posible pasar de una pieza a otra cualquiera mediante una
secuencia de piezas bien pegadas. Si la pieza inicial y la final tenan un punto en comun, tiene que
ser posible formar una de esas secuencias con piezas que contengan a ese punto.
El borde, M , de una curva M (no confundir con derivada parcial, que no tiene nada que ver!) esta formado
por los extremos de las piezas en los que no se ha pegado nada. El borde puede ser vaco (curva cerrada)
o estar formado por dos puntos.
El borde, M , de una superficie M esta formado por los lados de las piezas en los que no se ha pegado
nada. El borde de una superficie puede ser vaco (superficie sin borde) o estar formado por una o varias
curvas cerradas.
Resulta conveniente utilizar una termino generico que designe a las curvas y a las superficies. Vamos a
utilizar la palabra variedad (en realidad, aqu solo estamos hablando de un tipo particular de variedades
compactas con borde). As, una variedad de dimension 2 es una superficie y una variedad de dimension 1
es una curva.
Para conseguir una exposicion mas coherente, llamaremos variedades de dimension cero a los puntos (su
borde es vaco) y variedades de dimension 3 a las regiones de R3 acotadas por una superficie sin borde,
superficie que sera, a su vez, el borde de esa variedad tridimensional. Por ejemplo, una esfera maciza es una
variedad tridimensional, cuyo borde es una superficie esferica (variedad de dimension 2). Otro ejemplo, un
toro macizo (rosquilla) es una variedad tridimensional, cuyo borde (superficie toroidal) es una variedad de
dimension 2.
De esta manera, el borde de una variedad de dimension k es vaco o esta esta formado por una o varias
variedades de dimension k 1.
Si convenimos en llamar borde de la union de variedades a la union de los bordes de esas variedades,
entonces, para cualquier variedad M se cumple
(M ) = .
Figura 13: Curva orientada mediante la orientacion coherente de las cuatro curvas simples que la forman
Para orientar una superficie tenemos que orientar cada una de sus piezas de una manera coherente: las dos
superficies simples que se pegan tienen que inducir orientaciones opuestas en el lado comun. Si la superficie
tena borde, al orientarla, el borde (formado por una o varias curvas) tambien quedara orientado.
Figura 14: Superficies orientadas a partir de las orientaciones coherentes de sus superficies simples
Figura 15: Banda de Moebius. Superficie no orientable formada por tres superficies simples rectangulares.
Su borde es una circunferencia. Banda de Mobius http://es.wikipedia.org/
Finalmente, uno se imagina que la trama se va haciendo mas y mas fina, de manera que las celdas seran
infinitesimales. Idealmente, llegamos a una especie de suma de infinitos sumandos infinitamente pequenos.
La idea intuitiva es que una funcion suave se considera constante en cada celda infinitesimal. Estas celdas
infinitesimales a las que nos referimos deben considerarse orientadas (distinguimos los dos sentidos de un
segmento infinitesimal, las dos caras de una rectangulo infinitesimal, etc.). La manera de formalizar esta
orientacion es asignar un vector a la medida de la celda en cuestion.
No debemos pensar que tenemos definiciones completamente diferentes para la integracion de funciones
escalares o vectoriales. Recordemos que las funciones o campos escalares (o reales) son las que tienen
una sola componente (por ejemplo, F (x, y, z) = x2 + y z 3 es un campo escalar); las funciones o campos
vectoriales son las que tienen mas de una componente (en nuestro caso, 3 componentes porque las imagenes
estan en R3 , por ejemplo, f (x, y, z) = (xyz, x + y + z, x y 2 + z) es un campo vectorial). Logicamente, cada
componente u, v y w de un campo vectorial, f (x, y, z) = (u(x, y, z), v(x, y, z), w(x, y, z), ), es un campo
escalar.
1. Integrar un campo vectorial f sobre una variedad es equivalente a integrar el campo escalar que
resulta de multiplicar f por el vector unitario de la direccion de cada celda infinitesimal (producto
escalar de vectores).
2. Integrar un campo escalar F sobre una variedad es equivalente a integrar el campo vectorial que
resulta de multiplicar F por el vector unitario de la direccion de cada celda infinitesimal (producto
de un escalar por un vector).
Repasemos todos los tipos de integral que se estudian en esta unidad. Las cinco primeras son integrales
de campos escalares, mientras que, en las dos ultimas, se integran campos vectoriales. En este apartado
interpretamos dx, dy, dz como segmentos infinitesimales en las direcciones positivas de los ejes coordena-
dos de R3 . Analogamente, ds, dt denotan segmentos infinitesimales en las direccion positivas de los ejes
coordenados de R2 , mientras que dt denotan el segmento infinitesimal en la direccion positiva de R.
1. En la integral de una funcion escalar de una variable, f (t), las celdas son intervalos; la medida de la
celda es la diferencia entre los extremos derecho
Z e izquierdo y la cantidad infinitesimal correspondiente
es dt. La integral sobre un intervalo I es f (t)dt.
I
2. En la integral de una funcion real de dos variables, f (s, t), las celdas son rectangulos de lados paralelos
a los ejes; la medida de la celda es el producto deZsus lados, y la cantidad infinitesimal correspondiente
es ds dt. La integral sobre un rectangulo D es f (s, t)dsdt.
D
3. En la integral de una funcion real de tres variables, f (x, y, z), las celdas son paraleleppedos de lados
paralelos a los ejes x, y, z; la medida de la celda es el producto de sus tres dimensiones (largo, ancho
y alto),
Z y la cantidad infinitesimal correspondiente es dx dy dz. La integral sobre un paraleleppedo
R es f (x, y, z)dx dy dz.
R
En los casos 2 y 3, las integrales se calculan transformandolas en dos o tres integrales anidadas
(reiteradas) como las del caso 1.
4. La integral de un campo escalar, F (x, y, z), sobre una curva es igual a la suma de las integrales
sobre las curvas simples que la forman. Si una curva simple C viene parametrizada por r(t) =
(x(t), y(t), z(t)) con t I, las celdas son las imagenes por r de los intervalos (arcos de la curva) y la
cantidad infinitesimal es la longitud del arco correspondiente a dt, esto es, dl = kr0 (t)k dt (espacio
igual a velocidad por tiempo). La integral es
Z Z
F dl = F (r(t)) kr0 (t)k dt
C I
En particular, la longitud de C se halla integrando el campo escalar que vale 1 en todo punto,
Z Z
`(C) = dl = kr0 (t)k dt
C I
5. La integral de un campo escalar, F (x, y, z), sobre una superficie es igual a la suma de las integrales
sobre las superficies simples que la forman. Si una superficie simple S esta parametrizada por r(s, t) =
(x(s, t), y(s, t), z(s, t)), con (s, t) D, las celdas son las imagenes por r de rectangulos en el plano
6. La integral de un campo vectorial, f (x, y, z) = (u(x, y, z), v(x, y, z), w(x, y, z)), sobre una curva es
igual a la suma de las integrales sobre las curvas simples que la forman. Si una curva simple C
esta parametrizada por r(t) = (x(t), y(t), z(t)) con t I, las celdas son arcos de la curva orientados
y la cantidad infinitesimal es el vector r0 (t) dt. La integral es
Z Z
f dr = f (r(t)) r0 (t) dt (1)
C I
7. La integral de un campo vectorial, f (x, y, z) = (u(x, y, z), v(x, y, z), w(x, y, z)), sobre una superficie
es igual a la suma de las integrales sobre las superficies simples que la forman. Si una superficie
simple S esta parametrizada por r(s, t) = (x(s, t), y(s, t), z(s, t)), con (s, t) B, las celdas son las
imagenes por r de rectangulos en el plano st, pero orientadas, por lo que la celda infinitesimal tiene
la direccion de un vector normal a la superficie cuyo modulo es el area del paralelogramo de lados
rs ds y rt dt, esto es, (rs ds) (rt dt). Se suele usar la notacion N = rs rt , as como n = N/kNk, de
manera que (rs ds) (rt dt) = N ds dt o lo que es igual, (rs ds) (rt dt) = nkNk ds dt = n dS (ver
el apartado 5 anterior). La integral queda as
Z Z
(f n) dS = (f (r(s, t)) (rs rt )) ds dt (2)
S D
Cuando pasamos a integrar de una a varias variables, hay dos dimensiones a considerar: n, que representa
la dimension del espacio ambiente Rn y, k que corresponde a la dimension de la variedad sobre la que se
integra, camino orientado (k = 1), superficie orientada (k = 2) o solido orientado (k = 3). Observese que
hay tres huecos en el cuadro que no hemos rellenado. Esto se debe a que siempre n k, dado que no
podemos integrar sobre un objeto de dimension mayor que nuestro espacio ambiente (un crculo no cabe
en una recta). El caso n = k corresponde a integrar sobre variedades no curvadas (abiertos del espacio
ambiente); por ejemplo, un segmento en la recta, un crculo en el plano o una esfera (maciza) en el espacio.
Una idea fundamental que debemos tener presente es que cualquiera de las integrales que aparecen en el
cuadro, se puede reducir a una integral de tipo (1). Como podemos reducir una integral de tipo (2)-(7)
a una de tipo (1)?
Recordemos que t es el vector tangente unitario a la curva, n es el vector normal unitario a la superficie,
Z Z Z
Fubini
(2) f (s, t)dsdt = f (s, t)ds dt dos de tipo (1)
D
Z Z Z Z
Fubini
(3) f (x, y, z)dxdydz = f (x, y, z)dx dy dz tres de tipo (1)
R
Z Z
(4) F dl = F (r(t)) kr0 (t)k dt tipo (1)
C I
Z Z
(5) F dS = F (r(s, t)) krs rt k ds dt tipo (2) dos de tipo (1)
S D
r0 (t)
Z Z Z
(6) (f t) dl = (f 0 )dl = f (r(t)) r0 (t) dt tipo (1)
C C kr (t)k I
rs rt
Z Z Z
(7) (f n)dS = (f )dS = (f (r(s, t)) (rs rt )) ds dt
S S krs rt k D
Para acabar, recordemos que las curvas y las superficies orientables admiten infinitas parametrizaciones.
Por ejemplo, el segmento en R2 que une el punto (0, 0) con el (1, 2) se puede parametrizar como r1 (t) =
(1 t)(0, 0) + t(1, 2) = (t, 2t) con t [0, 1]. Pero tambien se puede parametrizar comor2 (t) = (2 t)(0, 0) +
(t 1)(1, 2) = (t 1, 2t 2) con t [1, 2]. Por tanto, es natural plantearse si la integral de lnea o de
superficie se ve afectada al cambiar de parametrizacion. No es difcil probar que:
Uno tambien se puede plantear que ocurre si consideramos las dos posibles orientaciones de una curva (o
de una superficie). Por ejemplo, consideramos el segmento s1 en R2 que une el punto (0, 0) con el (1, 2) y
el segmento s2 que une el punto (1, 2) con el (0, 0) Como se ve afectada la integral cuando cambiamos la
orientacion? Se puede probar que:
Comencemos con una analoga. Al estudiar un ser vivo podemos distinguir, a grandes rasgos, tres niveles
de organizacion: el macroscopico (que puede apreciarse a simple vista), el nivel celular y el nivel molecular.
De forma similar, en el espacio R3 podramos distinguir, de forma intuitiva, tres niveles de organizacion:
un nivel macroscopico (rectas, planos, superficies,..), un nivel molecular (los puntos y los vectores, con sus
operaciones algebraicas) y un nivel celular intermedio: las cantidades infinitesimales. Al igual que en el
ejemplo biologico, los tres niveles estaran interrelacionados.
En el nivel infinitesimal (para nosotros unicamente intuitivo) distinguiremos las celdas infinitesimales de
dimensiones 1, 2 y 3, esto es, segmentos infinitesimales, rectangulos de lados infinitesimales y paraleleppe-
dos de caras infinitesimales (ademas de los puntos, que interpretaremos como celdas de dimension 0). Estas
celdas infinitesimales formaran las variedades, de manera similar a como las superficies simples forman
las superficies: as, las celdas infinitesimales de dimension 1 seran las celulas que, al unirse, formaran las
curvas, mientras que las de dimension 2 formaran las superficies y las de dimension 3, los cuerpos solidos
(supondremos siempre que el ambiente es tridimensional!).
Figura 20: En el nivel infinitesimal, una curva esta formada por segmentos infinitesimales
Todas estas celdas se consideraran dotadas de una cierta orientacion, entre las dos posibles, de manera
que la cara en la que se unan dos celdas reciba de cada una de ellas orientaciones opuestas (exactamente
igual que cuando formamos curvas a partir de curvas simples y superficies a partir de superficies simples).
Cuando consideremos una integral sobre una variedad, nos imaginaremos que cada integrando es una
especie de escaner que va recorriendo la variedad sobre la que se integra, convirtiendo cada celda infinite-
simal que la constituye en una cantidad infinitesimal, que va sumando a los anteriormente detectados. La
suma final sera el valor de la integral. Estos escaneres solo veran las celdas infinitesimales de su misma
dimension.
Por ejemplo, dx sera el escaner que al detectar un segmento infinitesimal orientado de R3 nos proporciona
la incremento total (infinitesimal) de la variable x sobre el segmento.
As mismo, si se aplica dxdy sobre un rectangulo infinitesimal R de R3 , nos da el area infinitesimal del
rectangulo que tiene por lados los incrementos totales de las variables x e y sobre R (con un signo, que
nuevamente depende de las orientaciones).
Nos referiremos a estos escaneres que detectan celdas de una determinada dimension k como k-formas
diferenciales. El estudiante de ingeniera las encontrara, no solo en otras asignaturas de matematicas, sino
tambien en las de mecanica, ciencia de los materiales, etc., pues, a fin de cuentas, son ejemplos de tensores.
Hay una circunstancia que suele provocar malentendidos, y es que visualizamos tambien las formas dife-
renciales como segmentos, paralelogramos o paraleleppedos infinitesimales (por ejemplo, nos imaginamos
dx como un segmento en la direccion del eje Ox). No debera extranarnos esa circunstancia, pues ocurre
en otros contextos (por ejemplo, las aplicaciones lineales de R3 en R se representan por matrices fila y
frecuentemente las matrices fila se identifican o confunden con vectores de la misma dimension; as la
aplicacion lineal f (x, y, z) = 2x + 5y + z se suele identificar con la matriz (2 5 1) y hace falta un poco
de pedantera para distinguirla del vector (2, 5, 1)).
= u dx + v dy + w dz (5)
Vemos que {dx, dy, dz} funciona como una base de un espacio vectorial y, en ese sentido, las 1-formas se
comportan, en cada punto, como elementos de un espacio vectorial de dimension 3. Inspirandonos en la
con lo que a cada campo vectorial f = (u, v, w) se le puede asociar la 1-forma = f (dx, dy, dz).
Las 2-formas diferenciales se construyen multiplicando dos 1-formas con reglas analogas a las del producto
vectorial (lo escribimos simplemente como dx dy) y las 3-formas diferenciales multiplicando tres 1-formas
con reglas analogas a las del producto mixto ( dx dy dz). Es logico que as sea: por ejemplo dx dx tiene que
ser cero, porque un cuadrado aplastado tiene que tener area cero; dx dy representa el mismo rectangulo
infinitesimal que dy dx, pero con la orientacion opuesta, por eso dx dy = dy dx; etc.
Tal y como ocurra con las 1-formas diferenciales, el espacio de las 2-formas tambien tiene dimension 3:
cualquiera de ellas se puede escribir como
= u dy dz + v dz dx + w dx dy (6)
La base que escogemos es {dy dz, dz dx, dx dy}. No es lo mismo poner en la base dz dx que dx dz (distinta
orientacion). Si lo hicieramos, estaramos invirtiendo la orientacion de ese espacio (sera algo como confundir
la letra E con el smbolo ).
y a cada campo vectorial f = (u, v, w) se le puede asociar la 2-forma diferencial = f (dy dz, dz dx, dx dy).
No es difcil ver que el espacio de las 3-formas tiene dimension uno, pues todas las 3-formas en R3 se
pueden escribir de la siguiente manera
= u dx dy dz
ya que dxdydz = dxdzdy = dzdxdy = dzdydx . . . etc.
3.4. La diferencial
Si f es una funcion escalar de una variable, sabemos que la derivada f 0 (x) es el lmite del cociente
f (x + h) f (x)
h
df [x, x + h] = f (x + h) f (x) ,
df [x, x + h] = f 0 (x)h .
La diferencial de f se aplica sobre los segmentos infinitesimales. Se trata de una 1-forma diferencial.
En general, la diferencial de una k-forma sera una k + 1-forma d. Para definirla, hacemos un razona-
miento similar al del parrafo anterior: para aplicar d a una celda R de dimension k + 1, calculamos la
diferencia entre los valores de en dos caras opuestas de la celda [L + h] [L] y despues sumamos las
diferencias en las k + 1 dimensiones de la celda R: d[R] = ([L + h] [L]) + ([L0 + h0 ] [L0 ]) + . . . .
Al considerar orientada la celda R del parrafo anterior, tendremos una orientacion inducida en el borde
R, con lo que la diferencial de podra escribirse como
X
d[R] = [L] (7)
LR
Nota importante. Vale la pena detenernos para hacer una puntualizacion. Es posible que alguien haya
reflexionado como sigue:
Puesto que una curva simple o una superficie simple son conjuntos de contenido cero en R3 , la integral de
cualquier funcion sobre esa curva o esa superficie debera salir cero.
El fallo en este razonamiento es no tener en cuenta la dimension de las celdas con las que estamos integran-
do. Las curvas y superficies simples tienen contenido cero respecto de las cajas tridimensionales de R3 , pero
cuando hacemos una integral de lnea o de superficie, estamos considerando cajas unidimensionales o bidi-
mensionales de R3 , respectivamente.
Z Por ejemplo,Z si C es la semicircunferencia x = cos t, y = sen t, z = 0,
con 0 t , tendremos 2 dxdydz = 0, pero 2 dl = 2`(C) = 2.
C C
Analogamente, un conjunto que conste de un solo punto, A = {P }, tiene contenido cero, tanto si el punto
esta en R, como en R2 o en R3 . Sin embargo, cuando integramos respecto de celdas cero-dimensionales
(puntos), la integral de una funcion f (0-forma) Zsobre A (celda cero-dimensional)
Z es precisamente f (a).
Por ejemplo, si f (t) = 2t, por una parte tenemos f (t) dt = 0, mientras que f f (5) = 10.
{5} {5}
Al integrar d sobre una variedad M de dimension k+1, se nos van a cancelar las integrales sobre los bordes
de las celdas infinitesimales, porque cada una de sus porciones pertenece a dos celdas, que le confieren
orientacion opuesta.
Figura 26: Se cancelan las integrales sobre los bordes de las celdas que estan en el interior de M; solo
quedan las del borde de M
La unica excepcion son las partes de los bordes de las celdas que estan en el borde de M , de manera que
finalmente quedara Z Z
d = (8)
M M
Esta es una version general del Teorema Fundamental del Calculo, que, como veremos en las siguientes
secciones, resume en un formula simple y bellsima muchos de los teoremas mas importantes de esta unidad
didactica (entre otros, los teoremas de Green, Stokes y Gauss).
Antes de continuar, vamos a aplicar la formula (8) en el caso mas simple, cuando es una 0-forma de R,
es decir, una funcion real de variable real f (x) y M es un intervalo cerrado M = [a, b].
Z b Z Z Z
0
f (x)dx = d = = f = f (b) f (a)
a M M {a,b}
Como vemos, obtenemos la version del teorema Fundamental del Calculo que utilizamos desde la ensenanza
secundaria para hacer integrales (regla de Barrow).
d(d)) = 0 (9)
As que X X
d(d)[R] = d[R] = [P ]
LR P L
Ahora bien, cada P esta en el borde de dos L diferentes y recibe orientaciones opuestas de cada una,
Figura 27: Cada Pi pertenece a dos segmentos Li y Li1 y cada uno le confiere orientaciones opuestas
de manera que cada sumando se cancela con otro y la suma total es cero, es decir, d(d) = 0.
solo hay que reemplazar u, v, w, x, y, z por sus valores y hacer las operaciones indicadas. As que, en cierta
manera, la expresion sirve tambien como regla mnemotecnica.
Como ejemplo de calculo con la diferencial de funciones escalares, podemos desarrollar los elementos de la
base {dx, dy, dz} en funcion del parametro de una curva simple parametrizada por r(t) = (x(t), y(t), z(t)):
(dx, dy, dz) = (x0 (t) dt, y 0 (t) dt, z 0 (t) dt) = r0 (t) dt (10)
Es interesante ahora comparar (10) con (1) (pag. 11), teniendo en cuenta (3) (pag. 14).
En el caso de una superficie simple parametrizada por r(t, s) = (x(t, s), y(t, s), z(t, s)), podemos expresar,
en funcion los parametros, la base {dy dz, dz dx, dx dy} mediante
dy dz = (yt dt + ys ds)(zt dt + zs ds) = yt zt dtdt + yt zs dtds + ys zt dsdt + ys zs dsds =
= 0 + yt zs dtds ys zt dtds + 0 = (yt zs ys zt ) dtds
Si comparamos este resultado con 2) (pag. 12), teniendo en cuenta (4) (pag. 14), vemos que todo cuadra.
d = du dx + dv dy + dw dz =
= (ux dx + uy dy + uz dz) dx + (vx dx + vy dy + vz dz) dy + (wx dx + wy dy + wz dz) dz =
= (wy vz ) dydz + (uz wx ) dzdx + (vx uy ) dxdy = (rot f ) (dy dz, dz dx, dx dy) .
rot f = (wy vz , uz wx , vx uy )
3.10. Conclusiones.
Anotemos a continuacion las principales conclusiones de nuestra exposicion:
1. Como la diferencial de la diferencial es cero (ver (9) en la pagina 21), teniendo en cuenta que el
gradiente, el rotacional y la divergencia se asocian, respectivamente, a las diferenciales de las formas
de dimensiones 0, 1 y 2, resulta que el rotacional del gradiente es igual a cero y que la divergencia
del rotacional tambien es igual a cero.
rot(grad F ) = 0
div(rot f ) = 0
Todos estos resultados se han enunciado aqu en condiciones mas generales que en el texto-base, aunque
no hemos aportado demostraciones rigurosas. Por ejemplo, observe que el borde de S, en el parrafo 3 de
la lista anterior, puede estar formado por varias curvas.
Funcion suave, difeomorfismo suave El termino suave, en este documento, se considera equivalente a
clase infinito (que tiene derivadas de todos los ordenes). Un difeomorfismo suave o de clase infinito
h : Rn Rn es una aplicacion continua que tiene derivadas parciales de todos los ordenes (prime-
ras, segundas, etc.) y que tiene inversa que cumple la misma propiedad. Es facil comprobar que el
determinante jacobiano de una funcion de ese tipo nunca es nulo.
Si la matriz jacobiana existe y ademas h(x) h(a) + h0 (a)x cuando x a, decimos que f es
diferenciable en a. No es facil ver si una funcion es diferenciable, por lo que en las ciencias y en la
tecnologa se usa constantemente el siguiente criterio (a veces de forma inconsciente): si h es continua
y tiene derivadas parciales continuas (respecto de todas sus variables), entonces podemos asegurar
que h es diferenciable (el recproco puede no ser cierto).
En el caso n = m, el determinante de la matriz cuadrada h0 (a) se denomina jacobiano de h en a.
Recordemos del curso de Algebra que una matriz cuadrada tiene inversa si y solo si tiene determinante
no nulo.
Es facil ver que h es diferenciable si y solo si lo son cada una de sus componentes hk : Rn R.
Observe que la matriz jacobiana de una componente hk tiene una fila y n columnas y, esencialmente,
es lo mismo que el gradiente de hk .