Una identidad general en geometría diferencial que relaciona la integral de la derivada exterior de una forma diferencial sobre una variedad orientada M con la integral de la forma sobre la frontera orientada ∂M: ∫_M dω = ∫_{∂M} ω.

Principio

La integración y la diferenciación exterior conmutan en variedades orientadas con frontera bajo regularidad adecuada; equivalentemente, la frontera de una frontera es nula, conectando derivadas locales con valores integrados en la frontera.

Demostración

En R^3, aplicar el teorema de Stokes a una 1-forma dual a un campo vectorial da el teorema clásico del rotor: ∫_S (curl F)·n dS = ∮_{∂S} F·dr para una superficie orientada S con frontera ∂S.

Aplicación incorrecta

Usar el teorema de Stokes en variedades no orientables, en dominios con singularidades o con formas que no tienen la suavidad requerida, produciendo igualdades inválidas.

Consecuencia

Unifica y generaliza resultados fundamentales del cálculo vectorial (teorema de Green, teoremas clásicos del rotor y la divergencia), sustenta formulaciones de leyes de conservación y convierte afirmaciones diferenciales locales en relaciones integrales globales.

Inversión

Identidades diferenciales locales (igualdades puntuales de derivadas) frente a la afirmación integral global sobre la frontera: invertir el foco enfatiza la estructura infinitesimal en lugar de los efectos integrados en la frontera.

Límite

Requiere una variedad diferenciable orientada con frontera (frontera orientada), formas diferenciales de la suavidad apropiada y ausencia de singularidades en M y ∂M; no se aplica directamente a dominios fractales o no varietales sin extensión.

Tensión semántica

Frente al teorema fundamental del cálculo: Stokes generaliza el caso unidimensional usando formas diferenciales en dimensiones superiores, pero surgen confusiones cuando las expresiones en coordenadas esconden la invariancia de las formas.

Síntesis

El teorema de Stokes iguala la integral de la derivada de una forma sobre una región con la integral de la forma sobre la frontera de la región, unificando la estructura diferencial local con los balances integrales globales.