Teorema de Stokes

En geometría diferencial, el teorema de Stokes, también llamado Teorema de Stokes-

Thomson es una proposición sobre la integración de formas diferenciales que generaliza
varios teoremas del cálculo vectorial en variedades diferenciables. Se nombra así
por George Gabriel Stokes (1819-1903), a pesar de que la primera formulación conocida
del teorema fue realizada por William Thomson y aparece en una correspondencia que él
mantuvo con Stokes fechada el 2 de julio de 1850. 123 Stokes puso el teorema como una
pregunta en el examen de 1854 del Premio de Smith, lo que dio como resultado que ahora
lleve su nombre.34

Índice
[ocultar]

 1Introducción

 2Formulación general

 3Casos especiales

o 3.1El clásico teorema de Kelvin-Stokes

o 3.2Teorema de Green

o 3.3Teorema de la divergencia

o 3.4Más casos

 4Véase también

 5Notas

 6Enlaces externos

Introducción[editar]
El teorema fundamental del cálculo establece que la integral de una función f en
el intervalo [a, b] puede ser calculada por medio de una antiderivada F de f:
El teorema de Stokes es una generalización de este teorema en el siguiente sentido:

 Para la F elegida, . 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 función) F: dF
= f dx. El teorema general de Stokes se aplica a formas diferenciales mayores en vez
de F.

 En un lenguaje matemático, el intervalo abierto (a, b) es una variedad matemática

unidimensional. Su frontera es el conjunto que consiste en los dos puntos a y b.
Integrar f en ese intervalo puede ser generalizado como integrar formas en una
variedad matemática de mayor orden. Para esto se necesitan dos condiciones
técnicas: la variedad matemática debe ser orientable, y la forma tiene que ser
compacta de manera que otorgue una integral bien definida.

 Los dos puntos a y b forman parte de la frontera del intervalo abierto. Más
genéricamente, el teorema de Stokes se aplica a variedades orientadas M con
 frontera. La frontera ∂M de M es una variedad en sí misma y hereda la orientación
natural de M. Por ejemplo, la orientación natural del intervalo da una orientación de los
dos puntos frontera. Intuitivamente a hereda la orientación opuesta a b, al ser
extremos opuestos del intervalo. Entonces, integrando f en los dos puntos
frontera a, b es equivalente a tomar la diferencia F(b) − F(a).
Por lo que el teorema fundamental relaciona la integral de una función sobre un intervalo,
con una integral o suma de la primitiva de la función en los límites que encierran dicho
intervalo:
Por otro lado el teorema de Green hace algo similar en dos dimensiones, relaciona la
integral a lo largo de una curva simple con la integral de una combinación de derivadas
sobre un área limitada por la curva simple:
Similarmente el teorema de la divergencia relaciona la integral de una función sobre una
superficie con la integral de una combinación de derivadas sobre el interior del conjunto:
El teorema de Stokes generaliza todos estos resultados, relacionando la integral sobre una
frontera con la integral de una función "derivada" sobre el interior de la región limitada por
la frontera.

Formulación general[editar]
Dada una variedad diferenciable de dimensión , y dada una variedad con borde en , si es
una -forma, entonces se cumple que
Aquí es la derivada exterior, que se define usando solamente la estructura de variedad. El
teorema debe ser considerado como generalización del teorema fundamental del cálculo y,
de hecho, se prueba fácilmente usando este teorema.
El teorema se utiliza a menudo en situaciones donde M es una subvariedad orientada
sumergida en una variedad más grande en la cual la forma ω se define.
El teorema se extiende fácilmente 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 módulo una forma exacta se
pueden integrar sobre las cadenas definidas módulo borde. Ésta es la base para el
apareamiento entre los grupos de homología y la cohomología de de Rham.

Casos especiales[editar]
El clásico teorema de Kelvin-Stokes[editar]
El clásico teorema de Kelvin-Stokes relaciona la integral de superficie
del rotacional del campo vectorial sobre una superficie Σ en el 3-espacio euclidiano a
la integral de línea del campo vectorial sobre su borde, es un caso especial del
teorema de Stokes generalizado (con n = 2) una vez que identifiquemos el campo
vectorial con una 1-forma usando la métrica en el 3-espacio euclidiano.
Otra forma de escribir el mismo teorema es la siguiente:
Donde es un campo vectorial cualquiera.
Establece que la integral de superficie del rotacional de un campo vectorial sobre
una superficie abierta es igual a la integral (curvilínea) cerrada del campo
vectorial a lo largo del contorno que limita la superficie.
Teorema de Green[editar]
El teorema de Green es un caso especial del clásico teorema de Kelvin-
Stokes cuando es aplicado a una región en el plano-xy.
Teorema de la divergencia[editar]
 Asimismo el teorema de Ostrogradsky-Gauss o Teorema de la divergencia:
es un caso especial si identificamos un campo vectorial con la n-1 forma
obtenida contrayendo el campo vectorial con la forma de volumen euclidiano.

El teorema de Stokes
Esta es la versión tridimensional del teorema de Green, que relaciona la integral
de superficie del rotacional de un campo vectorial con una integral de línea
alrededor de la frontera de esa superficie.
Google ClassroomFacebookTwitter
Correo electrónico

Antecedentes
 El teorema de Green
 El flujo en tres dimensiones
 El rotacional en tres dimensiones
No estrictamente necesario, pero muy útil para una
comprensión más completa:

 Definición formal del rotacional en tres

dimensiones

Este artículo es para una

intuición física
Si quisieras ejemplos del uso del teorema de Stokes
para cálculos, puedes encontrarlos en el siguiente
articulo. Aquí, el objetivo es presentar el teorema de tal
manera que puedas obtener una intuición sobre lo que
realmente dice y sobre por qué es verdadero.

Qué vamos a construir

 El teorema de Stokes es la versión tridimensional
del teorema de Green.
 Relaciona la integral de superficie del rotacional de
un campo vectorial con la integral de línea de ese
mismo campo vectorial alrededor de la frontera de la
superficie:
[Descomposición de los términos]
o \blueE{\textbf{F}}(x, y, z)start color blueE, F,
end color blueE, left parenthesis, x, comma, y, comma,
z, right parenthesis
o \text{rot}\,\blueE{\textbf{F}}r, o, t, space,
start color blueE, F, end color blueE\nabla \times
\blueE{\textbf{F}}del, times, start color blueE, F, end
color blueE\blueE{\textbf{F}}start color blueE, F, end
color blueE
o \redE{S}start color redE, S, end color redE

o \greenE{\hat{\textbf{n}}}\redE{S}start color
redE, S, end color redE
o \redE{C}start color redE, C, end color
redE\redE{S}start color redE, S, end color redE
o \redE{C}start color redE, C, end color
redE\greenE{\hat{\textbf{n}}}\redE{S}start color
redE, S, end color redE\redE{C}start color redE, C, end
color redE

Interpretar una integral de línea

en 3 dimensiones
Sea \blueE{\textbf{F}}(x, y, z)F(x,y,z)start color blueE,
F, end color blueE, left parenthesis, x, comma, y,
comma, z, right parenthesis que representa un campo
vectorial tridimensional.

Piensa que este campo vectorial es el vector de

velocidad de algún gas, que pasa zumbando por el
espacio.

Ahora sea \redE{C}Cstart color redE, C, end color

redE alguna curva cerrada dentro de este campo
vectorial.

¿Cómo interprestas la integral de línea

de \blueE{\textbf{F}}Fstart color blueE, F, end color
blueE alrededor de \redE{C}Cstart color redE, C, end
color redE?
\
displaystyle\oint_\redE{C}\blueE{\textbf{F}} \
cdot d \textbf{r}∮CF⋅dr
Bueno, primero que nada, esta integral no tiene sentido
hasta que la curva esté orientada. El vector
diferencial d\textbf{r}drd, r representa un minúsculo
paso sobre la curva, ¿pero en cuál dirección? En tres
dimensiones, no puedes simplemente decir "en sentido
de las manecillas del reloj" o "en sentido contrario a las
manecillas del reloj", puesto que eso dependerá de en
dónde estés en el espacio cuando mires la curva. Más
adelante abordaremos cómo se especifica
matemáticamente la orientación, pero por ahora, es
más fácil simplemente dibujar una orientación.
Imagina que eres un pájaro que está volando por el
espacio sobre la curva \redE{C}Cstart color redE, C,
end color redEmientras que el viendo sopla de acuerdo
al campo vectorial \blueE{\textbf{F}}Fstart color blueE,
F, end color blueE. (Para los propósitos de esta
animación, eres un pájaro esférico).

Piensa en cada paso (¿aleteo?) de tu movimiento

sobre \redE{C}Cstart color redE, C, end color
redE como si fuera el diminuto vector d\textbf{r}drd, r.
Considera el producto punto entre d\textbf{r}drd, r y el
vector de la velocidad del viento del
campo \blueE{\textbf{F}}Fstart color blueE, F, end
color blueE en el que estás. Será positivo cuando el
viento te está ayudando y negativo cuando te da en la
cara.
Ahora mira de nuevo la integral de línea que
originalmente te preguntamos:
\
displaystyle\oint_\redE{C}\blueE{\textbf{F}} \
cdot d \textbf{r}∮CF⋅dr
Puedes pensar esto como que se va sumando qué tan
útil o molesto fue el viento durante el vuelo. Mide la
tendencia del fluido a circular alrededor
de \redE{C}Cstart color redE, C, end color redE. Si
es positiva, el viento fue en general útil, y podrías decir
que tiende a circular alrededor de \redE{C}Cstart color
redE, C, end color redE en la dirección de la orientación
específica. Si es negativa, podrías decir que tiende a
circular hacia el otro lado.

Cortar una superficie

Aquellos de ustedes que leyeron el artículo sobre el
teorema de Greenencontrarán lo siguiente muy familiar.

Considera una superficie \redE{S}Sstart color redE, S,

end color redE en el espacio cuya frontera es la
curva \redE{C}Cstart color redE, C, end color redE,
como si \redE{C}Cstart color redE, C, end color
redE fuera un lazo de alambre que acabas de meter en
jabón, y \redE{S}Sstart color redE, S, end color redE es
el comienzo de una burbuja de jabón que emerge del
lazo.

Corta esta superficie por la mitad, y nombra las

fronteras de las dos piezas resultantes
como \greenE{C_1}C1start color greenE, C, start
subscript, 1, end subscript, end color
greenE y \goldE{C_2}C2start color goldE, C, start
subscript, 2, end subscript, end color goldE. Si las dos
están orientadas de la misma forma que
estaba \redE{C}Cstart color redE, C, end color redE, las
integrales de línea (del mismo campo
vectorial \blueE{\textbf{F}}Fstart color blueE, F, end
color blueE) alrededor de cada una de estas curvas más
pequeñas se cancelan sobre el corte que hiciste:
Las porciones de \greenE{C_1}C1start color greenE, C,
start subscript, 1, end subscript, end color
greenE y \goldE{C_2}C2start color goldE, C, start
subscript, 2, end subscript, end color goldE que
permanecen conforman la frontera original
de \redE{C}Cstart color redE, C, end color redE. Así que
la suma de las integrales de línea alrededor de las
piezas más pequeñas es igual a la integral de línea
completa alrededor de \redE{C}Cstart color redE, C,
end color redE:
\displaystyle \underbrace{
\oint_{\greenE{C_1}} \blueE{\textbf{F}}
\cdot d\textbf{r} + \oint_{\goldE{C_2}}
\blueE{\textbf{F}} \cdot d\textbf{r} }
_{\text{Se cancela a lo largo del corte sobre
$\redE{S}$}} = \oint_{\redE{C}}
\blueE{\textbf{F}} \cdot
d\textbf{r}Se cancela a lo largo del corte sobre S∮C1
F⋅dr+∮C2F⋅dr=∮CF⋅dr
De forma más general, imagina cortar \redE{S}Sstart
color redE, S, end color redE en muchas, muchas piezas
muy pequeñas, nombras sus fronteras \redE{C_1},
\dots, \redE{C_n}C1,…,Cnstart color redE, C, start
subscript, 1, end subscript, end color redE, comma,
dots, comma, start color redE, C, start subscript, n, end
subscript, end color redE, y las orientas a todas en el
mismo sentido que \redE{C}Cstart color redE, C, end
color redE. Se pone complicado dibujar esto en tres
dimensiones, así que simplemente vamos a robar una
imagen del artículo del teorema de Green en dos
dimensiones, el cual intuitivamente es esencialmente lo
mismo.

Las integrales de línea alrededor de todos estos

pequeños lazos se cancelarán a lo largo de los cortes
dentro de \redE{C}Cstart color redE, C, end color redE,
lo que dejará solamente algo igual a la integral de línea
alrededor de la propia \redE{C}Cstart color redE, C, end
color redE.
\displaystyle \underbrace{ \sum_{k = 1}^n
\oint_{\redE{C_k}} \blueE{\textbf{F}} \cdot
d\textbf{r} }_{\text{Se cancela a lo largo del
corte sobre $\redE{S}$}} =
\oint_{\redE{C}} \blueE{\textbf{F}} \cdot
d\textbf{r}Se cancela a lo largo del corte sobre Sk=1∑n∮Ck
F⋅dr=∮CF⋅dr

El rotacional sobre cada pieza

La razón para cortar \redE{S}Sstart color redE, S, end
color redE así es que la integral de línea alrededor de
un lazo muy pequeño se puede aproximar usando el
rotacional. De forma más específica, haz un
acercamiento a una de estas piezas. Si es
suficientemente pequeña, puedes pensarla como que
es básicamente plana.
 Llama ``\redE{C_k}"‘‘Ck" a la frontera de este
pedazo.

 Escoge algún punto \goldE{(x_k, y_k, z_k)}(xk,yk

,zk)start color goldE, left parenthesis, x, start subscript,
k, end subscript, comma, y, start subscript, k, end
subscript, comma, z, start subscript, k, end subscript,
right parenthesis, end color goldE sobre la superficie,
dentro de este pequeño lazo.

 Sea \greenE{\hat{\textbf{n}}}n^ un vector

unitario normal a la superficie en el punto \goldE{(x_k,
y_k, z_k)}(xk,yk,zk)start color goldE, left parenthesis, x,
start subscript, k, end subscript, comma, y, start
subscript, k, end subscript, comma, z, start subscript, k,
end subscript, right parenthesis, end color goldE.
"¿Hacía dónde apunta?", podrías preguntar. Enrolla los
dedos de tu mano derecha alrededor del pequeño
lazo \redE{C_k}Ckstart color redE, C, start subscript, k,
end subscript, end color redE de tal forma que se
alineen son su orientación. Saca tu pulgar y esta es la
dirección de \greenE{\hat{\textbf{n}}}n^.

 Sea \redE{d\Sigma}dΣ que representa el área de

esta pequeña pieza (como anticipación a usar un área
infinitesimal para una integral de área en solo un
pedacito).

Luego, la integral de línea de \blueE{\textbf{F}}Fstart

color blueE, F, end color blueE alrededor
de \redE{C_k}Ckstart color redE, C, start subscript, k,
end subscript, end color redE se puede aproximar de la
siguiente forma:
Si no te sientes cómodo con tu intuición sobre lo que
significa el rotacional, o sobre cómo un vector puede
representar una rotación, considera revisar este artículo
sobre el rotacional.

Aquí hay un poco de intuición de por qué esta idea

funciona: \text{rot}\, \blueE{\textbf{F}} \goldE{(x_k,
y_k, z_k)}rotF(xk,yk,zk)r, o, t, space, start color blueE, F,
end color blueE, start color goldE, left parenthesis, x,
start subscript, k, end subscript, comma, y, start
subscript, k, end subscript, comma, z, start subscript, k,
end subscript, right parenthesis, end color goldEes un
vector que te dice cómo el fluido que fluye a lo largo del
campo vectorial \blueE{\textbf{F}}Fstart color blueE, F,
end color blueE tiende a rotar cerca del
punto \goldE{(x_k, y_k, z_k)}(xk,yk,zk)start color goldE,
left parenthesis, x, start subscript, k, end subscript,
comma, y, start subscript, k, end subscript, comma, z,
start subscript, k, end subscript, right parenthesis, end
color goldE. Por ejemplo, si imaginas una pequeña
pelota de tenis que flota en el espacio, centrada en el
punto \goldE{(x_k, y_k, z_k)}(xk,yk,zk)start color goldE,
left parenthesis, x, start subscript, k, end subscript,
comma, y, start subscript, k, end subscript, comma, z,
start subscript, k, end subscript, right parenthesis, end
color goldE, el vector \text{rot}\, \blueE{\textbf{F}}
\goldE{(x_k, y_k, z_k)}rotF(xk,yk,zk)r, o, t, space, start
color blueE, F, end color blueE, start color goldE, left
parenthesis, x, start subscript, k, end subscript, comma,
y, start subscript, k, end subscript, comma, z, start
subscript, k, end subscript, right parenthesis, end color
goldE describe la forma en la que tenderá a girar como
consecuencia del viento que sopla alrededor de ella. En
otras palabras, el vector va en dirección del eje de
rotación, y su magnitud es proporcional a la razón de
rotación.

Cuando sacamos el producto punto entre este vector

rotacional y \greenE{\hat{\textbf{n}}}n^, el vector
unitario normal a la superficie, se extrae la componente
del vector rotacional que es perpendicular a la
superficie. Esto describirá la razón de la rotación de
flujo sobre la superficie misma. Por otro lado, ese
pedacito de rotación de flujo también está descrito por
la integral de línea alrededor de la frontera del pequeño
pedazo: \displaystyle \oint_{\redE{C_k}}
\blueE{\textbf{F}} \cdot d\textbf{r}∮CkF⋅dr.

En realidad, esa integral de línea produce un número

muy pequeño (pues \redE{C_k}Ckstart color redE, C,
start subscript, k, end subscript, end color redEes muy
corto), pero \text{rot}\, \blueE{\textbf{F}} \goldE{(x_k,
y_k, z_k)}rotF(xk,yk,zk)r, o, t, space, start color blueE, F,
end color blueE, start color goldE, left parenthesis, x,
start subscript, k, end subscript, comma, y, start
subscript, k, end subscript, comma, z, start subscript, k,
end subscript, right parenthesis, end color
goldE produce un número al que no le importa el
tamaño del pedazo que contiene a \goldE{(x_k, y_k,
z_k)}(xk,yk,zk)start color goldE, left parenthesis, x, start
subscript, k, end subscript, comma, y, start subscript, k,
end subscript, comma, z, start subscript, k, end
subscript, right parenthesis, end color goldE. Esta es la
razón de por qué reducimos la componente relevante
del rotacional por el área del pedazo pequeño.

(Para una comprensión más profunda de esta

aproximación, echa un vistazo a la definición formal del
rotacional en tres dimensiones).

Integral de superficie del

rotacional
Al combinar las ideas de las últimas dos secciones, esto
es lo que obtenemos:

A medida que cortamos cosas más y más finamente,

esta última suma se aproxima a la integral de superficie
de \big(\text{rot}\,\blueE{\textbf{F}} \cdot
\greenE{\hat{\textbf{n}}}\big)(rotF⋅n^) sobre la
superficie \redE{S}Sstart color redE, S, end color redE.
(Si esto no tiene sentido para ti, considera revisar
el artículo sobre integrales de superficie).

\begin{aligned} &\sum_{k = 1}^n

\text{rot}\,\blueE{\textbf{F}} \goldE{(x_k, y_k, z_k)}
\cdot \greenE{\hat{\textbf{n}}} \;\redE{d\Sigma} \\\\
&\qquad\qquad \downarrow \small{\gray{\text{A
medida que $\redE{S}$ se corta más y más
finamente}}} \\\\ &\iint_{\redE{S}}
\text{rot}\,\blueE{\textbf{F}}\cdot\greenE{\hat{\textbf
{n}}} \; \redE{d\Sigma} \end{aligned}k=1∑nrotF(xk,yk
,zk)⋅n^dΣ↓A medida que S se corta maˊs y maˊs finamente
∬SrotF⋅n^dΣ
Al poner esto junto, tenemos la siguiente ecuación
maravillosa, conocida como el teorema de Stokes:

\begin{aligned} \oint_{\redE{C}} \blueE{\textbf{F}}

\cdot d\textbf{r} = \iint_{\redE{S}}
\text{rot}\,\blueE{\textbf{F}}\cdot\greenE{\hat{\textbf
{n}}} \; \redE{d\Sigma} \end{aligned}∮CF⋅dr=∬S
rotF⋅n^dΣ
[Espera un momento. ¿Cómo obtuviste esa igualdad de una serie de
aproximaciones?]

Alinear la orientación
Las superficies están orientadas por la dirección
escogida para sus vectores normales unitarios. Por
ejemplo, frecuentemente verás una superficie orientada
por medio de sus vectores normales
unitarios exteriores (aunque no en todas las superficies
se tiene una noción de vectores normales unitarios
exteriores vs. vectores normales unitarios interiores).

Las curvas se orientan por la dirección elegida por sus

vectores tangentes.

Para que el teorema de Stokes funcione, la orientación

de la superficie y su frontera deben "coincidir" en la
dirección correcta. De lo contrario, la ecuación será
diferente en un factor de -1−1minus, 1. Aquí hay
diferentes formas en las que escucharás que la gente
describe cómo se ve esta coincidencia; todas describen
lo mismo:
 Si te fijas en la superficie de tal forma que los
vectores untarios normales estén todos apuntando a tu
cara, la curva debería estar orientada en sentido
contrario a las manecillas del reloj.

 La orientación de la curva debería seguir la regla

de la mano derecha, en el sentido de que si sacas tu
pulgar de tu mano derecha en la dirección de un vector
unitario normal cerca del borde de la superficie y
enrollas tus dedos, la dirección en la que apuntan sobre
la curva debería coincidir con su orientación.

 Cuando estés caminando a lo largo de la frontera

de la curva con tu cuerpo apuntando en la dirección del
vector unitario normal, deberías estar caminando en
una dirección tal que la superficie esté a tu
lado izquierdo.

Soplar burbujas
Aquí hay algo muy impresionante acerca del teorema
de Stokes: La superficie misma no importa, lo que
importa es lo que es su frontera.

Por ejemplo, imagina un lazo particular en el espacio y

piensa en todas las diferentes superficies que podrían
tener este lazo como frontera; todas las diferentes
burbujas de jabón que podrían emerger de este lazo:

Para cualquier campo vectorial dado \blueE{\textbf{F}}

(x, y, z)F(x,y,z)start color blueE, F, end color blueE, left
parenthesis, x, comma, y, comma, z, right parenthesis,
la integral de superficie \displaystyle \iint_{\redE{S}}
\text{rot} \, \blueE{\textbf{F}} \cdot
\greenE{\hat{\textbf{n}}} \; \redE{d\Sigma}∬S
rotF⋅n^dΣ será la misma para cada una de estas
superficies. ¿No está buenísimo? Estas integrales de
superficie implican sumar valores completamente
diferentes en puntos del espacio completamente
diferentes, sin embargo, resultan ser los mismos
simplemente porque comparten una frontera.

Lo que esto te dice es cuán especiales son los campos

vectoriales rotacionales, puesto que, con la mayoría de
los campos vectoriales, la integral de superfice
depende absolutamente de la superficie específica de la
que se trate. Si sabes acerca de los campos vectoriales
conservativos, esto es análogo a la independencia de la
ruta, y cómo eso señala cuán especiales son los campos
vectoriales gradientes.

¿Qué pasa si no hay frontera?

Si tienes una superficie cerrada, como una esfera o un
toro, entonces no hay frontera. Esto significa que "la
integral de línea sobre la frontera" es cero, y el teorema
de Stokes se lee así:

\begin{aligned} \iint_{\redE{S}}
\text{rot}\,\blueE{\textbf{F}}\cdot\greenE{\hat{\textbf
{n}}} \; \redE{d\Sigma} = 0 \end{aligned}∬S
rotF⋅n^dΣ=0

Si piensas volver a cortar la superficie para conseguir

muchas integrales de línea pequeñas, esto básicamente
 dice que todas esas integrales de línea se cancelan sin
nada más que agregar.

Resumen
 El teorema de Stokes es la versión tridimensional
del teorema de Green.

 La integral de línea \displaystyle \int_{\redE{C}}

\blueE{\textbf{F}} \cdot d\textbf{r}∫CF⋅drintegral, start
subscript, start color redE, C, end color redE, end
subscript, start color blueE, F, end color blueE, dot, d,
r te dice cuánto del fluido que fluye junto
con \blueE{\textbf{F}}Fstart color blueE, F, end color
blueE tiende a circular alrededor de la
frontera \redE{C}Cstart color redE, C, end color redE de
la superficie \redE{S}Sstart color redE, S, end color
redE.

 La integral de superficie del lado izquierdo se

puede ver como la suma de todas las pequeñas partes
de rotación del fluido sobre la superficie \redE{S}Sstart
color redE, S, end color redE. El
vector \text{rot}\,\blueE{\textbf{F}}rotFr, o, t, space,
start color blueE, F, end color blueE describe la rotación
del fluido en cada punto, y al hacerle el producto punto
con un vector unitario normal a la
superficie, \greenE{\hat{\textbf{n}}}n^, se extraen las
componentes de esa rotación del fluido que ocurren en
la superficie misma.