Forma diferencial

Forma diferencial

En geometría diferencial, es un objeto matemático perteneciente a un espacio vectorial que aparece en el cálculo multivariable, cálculo tensorial o en física. Comúnmente una forma diferencial puede ser entendida como un operador multilineal antisimétrico definido sobre el espacio vectorial tangente a una variedad diferenciable. En un espacio o variedad de dimensión n, pueden definirse 0-formas, 1-formas, ... y n-formas.

El concepto de forma diferencial es una generalización sobre ideas previas como el gradiente, la divergencia, el rotacional, etc. Esa generalización y la moderna notación usada en el estudio de las formas difenciales se debe a Élie Cartan.


Contenido

0-formas, 1-formas y k-formas

El ejemplo no trivial más sencillo de una forma diferencial lo constituyen las 1-formas, también llamadas formas pfaffianas. Estas formas son la manera rigurosa de tratar los diferenciales de las funciones reales sobre una variedad (para funciones ordinarias la variedad es simplemente el espacio euclídeo, \mathbb{R}^n). Las 1-formas también aparecen en física, así por ejemplo las "diferenciales" de las variables de estado usadas en termodinámica son de hecho 1-formas (aunque el tratamiento informal de las mismas descuida ese hecho). En la geometría diferencial o estudio de las variedades diferenciables, las 1-formas actúan como funciones lineales reales definidas sobre el espacio vectorial tangente a la variedad diferencial que se esté considerando. Así pues el conjunto de todas las 1-formas definidas en un punto de la variedad es isomorfo al espacio dual del espacio vectorial tangente en dicho punto.

Otro ejemplo, un tanto trivial son las funciones reales definidas sobre una variedad, que pueden ser tratadas formalmente como 0-formas. El nombre se justifica porque existe un operador denominado diferencial exterior, que aplica k-formas en k+1-formas, puesto que la diferencial exterior de una función real es 1-forma, se conviene en llamar 0-formas a los objetos matemáticos, como las funciones reales, cuya diferencial es una 1-forma. Así por ejemplo las funciones de estado de la termodinámica, el lagrangiano de la mecánica lagrangiana o el hamiltoniano de la mecánica hamiltoniana son de hecho 0-formas definidas sobre los respectivos espacios de configuración o espacios de fases del sistema físico.

Finalmente y usando el mayor nivel de generalidad se definen las k-formas. Una forma de grado k o k-forma es una sección diferenciable de la k-ésima potencia exterior del fibrado cotangente de la variedad. En cualquier punto P en una variedad, una k-forma da una función multilineal desde la potencia cartesiana k-ésima del espacio tangente en P a ℝ.

Algunas definiciones formales

  1. El conjunto de todas las k-formas definidas en el espacio vectorial tangente de un punto x de una variedad se llama \Lambda_x^k.
  2. El conjunto de todas las formas diferenciales sobre una variedad de dimensión n, que resulta ser \Lambda_x = \Lambda_x^0 \oplus \Lambda_x^1 \oplus \dots \oplus \Lambda_x^n , es el álgebra de Grassmann de la variedad y es en sí misma un espacio vectorial de dimensión 2n.
  3. Existe un operador, llamado diferencial exterior d: \Lambda_x^{k-1} \to \Lambda_x^{k} \qquad 1 \le k \le n
  4. Una k-forma diferencial \omega \, se llama cerrada si su diferencial exterior es cero, es decir, d\omega = 0 \,.
  5. Una k-forma diferencial \alpha \, se denomina exacta si existe otra una (k-1)-forma \beta \, tal que su derivada exterior es precisamente \alpha \,, es decir, \alpha = d\beta \,.

Integración de las formas

Artículo principal: teorema de Stokes

En una variedad diferenciable de dimensión n \ge k se puede definir el análogo de la longitud de una curva, el área de una la superficie, el volumen, o en general el k-volumen. Cada uno de los conceptos métricos anteriores se calcula como la integración de una forma diferencial sobre un subconjunto de la variedad diferenciable. Así el concepto de longitud está asociado con 1-formas, el de área con 2-formas (elemento de área), el de volumen con 3-formas (elemento de volumen), etc.

Matemáticamente, las formas diferenciales de grado k pueden integrarse sobre sobre cadenas k dimensionales o más generalmente conjuntos de dimensión topológica k. Si k = 0, esto es simplemente la evaluación de funciones en los puntos. Otros valores de k = 1, 2, 3 corresponden a las integrales de línea, a las integrales superficiales, a las integrales de volumen, etc. Un resultado muy importante, relacionado con la integración de formas se llama teorema de Stokes (del cual la regla de Barrow para integrales o el teorema de la divergencia son casos particulares).

Operaciones en formas

El conjunto de todas las k-formas en un variedad son un espacio vectorial. Además, hay otras dos operaciones: producto exterior y derivada exterior. Véase cohomología de de Rham para más detalles.

La relación fundamental entre la derivada exterior y la integración viene dada por el teorema de Stokes generalizado, que también proporciona la dualidad entre la cohomología de de Rham y la homología de cadenas.

Formas diferenciales en física

En física el uso de formas diferenciales es común en varias áreas, por ejemplo, la termodinámica y la teoría de la relatividad. En termodinámica la práctica común llamar formas pfaffianas a las 1-formas. Lamentablemente la mayoría de manuales recurren al uso convencional de dichos objetos de una forma poco o nada rigurosa. Igualmente se suele llamar diferenciales exactas a las 1-formas exactas

Obtenido de "Forma diferencial"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Forma diferencial — En geometría diferencial, una forma diferencial de grado k es una sección diferenciable de la k ésima potencia exterior del fibrado cotangente de la variedad. En cualquier punto p en una variedad, una k forma da una función multilineal desde la… …   Enciclopedia Universal

  • Diferencial (cálculo) — Saltar a navegación, búsqueda Este artículo trata sobre las nociones de la diferencial en matemática, de interés para el cálculo. Para otros usos de este término, véase diferencial. En matemática, el termino diferencial posee varios significados …   Wikipedia Español

  • Diferencial total — Saltar a navegación, búsqueda En matemática, el diferencial total de una función real de varias variables reales corresponde a una combinación lineal de diferenciales cuyos componentes (coeficientes) son los del gradiente de la función.… …   Wikipedia Español

  • Forma de curvatura — Saltar a navegación, búsqueda En geometría diferencial, la forma de curvatura es una generalización del tensor de curvatura a un fibrado principal con conexión arbitrario. Sea E → B un fibrado con grupo de estructura el grupo de Lie G y el… …   Wikipedia Español

  • Forma del universo — Saltar a navegación, búsqueda La forma del universo es un nombre informal de un tema de investigación que busca determinar la morfología del universo dentro de la cosmología física, que es la ciencia encargada de estudiar el origen, la evolución… …   Wikipedia Español

  • Diferencial — ► adjetivo 1 De la diferencia. 2 MATEMÁTICAS Se aplica a la cantidad que es infinitamente pequeña. ► sustantivo masculino 3 MECÁNICA Mecanismo de un automóvil que permite transmitir a una rueda un movimiento igual a la suma o a la diferencia de… …   Enciclopedia Universal

  • Diferencial (automóvil) — Un diferencial es el elemento mecánico que permite que las ruedas derecha e izquierda giren a revoluciones diferentes, según el vehículo esté tomando una curva hacia un lado o hacia el otro. Cuando un vehículo toma una curva, por ejemplo hacia la …   Enciclopedia Universal

  • Forma de curvatura — En geometría diferencial, la forma de curvatura es una generalización del tensor de curvatura a un fibrado principal con conexión arbitrario. Sea E → B un fibrado con grupo de estructura el grupo de Lie G y el …   Enciclopedia Universal

  • 1-forma — Una 1 forma o uno forma o covector, intuitivamente es un objeto matemático definido sobre un cierto dominio (o de una variedad diferenciable) que operado con un campo vectorial da lugar un campo escalar o función definida sobre el mismo dominio.… …   Wikipedia Español

  • Ecuación diferencial ordinaria — Saltar a navegación, búsqueda En matemáticas, una ecuación diferencial ordinaria (comúnmente abreviada EDO ) es una relación que contiene funciones de una sola variable independiente, y una o más de sus derivadas con respecto a esa variable. Las… …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.