Formas diferenciales cerradas y exactas

Formas diferenciales cerradas y exactas

Formas diferenciales cerradas y exactas

En matemáticas, en el cálculo vectorial y en la topología diferencial, los conceptos de forma cerrada y forma exacta son definidos para las formas diferenciales, por las ecuaciones

d α = 0

para que una forma dada α sea una forma cerrada, y

α = d β

para una forma exacta, con α dada y β desconocida.

Como d² = 0, ser exacta es condición suficiente de ser cerrada. En términos abstractos, el interés principal de este par de definiciones es que preguntar si ésta es también una condición necesaria es una manera de detectar la información topológica por condiciones diferenciales. No tiene ningún sentido real preguntar si una 0-forma es exacta, dado que d aumenta el grado en 1.

Los casos de formas diferenciales en R² y R³ eran ya bien conocidas en la física matemática del siglo XIX. En el plano, 0-formas son simplemente funciones, y las 2-formas son funciones por el elemento de área básica dx.dy, de modo que son las 1-formas

α =f(x, y)dx+g(x, y)dy

las que son de interés real. La fórmula para la derivada exterior d es

dα = (fygx)dx.dy

donde los subíndices denotan derivadas parciales por lo tanto la condición para que α sea cerrada es

fy = gx.

En este caso si h(x, y) es una función entonces

dh = hxdx + hydy.

La implicación de 'exacta' a 'cerrada' es entonces una consecuencia de la simetría de los segundas derivadas, con respecto a x y a y.

El resultado topológico fundamental aquí es el lema de Poincaré. Establece que para un subconjunto abierto contractible de X, cualquier p-forma diferenciable definida en X que sea cerrada, es también exacta, para cualquier número entero p > 0 (esto tiene contenido solamente cuando p es a lo sumo n).

Esto no es verdad para un anillo abierto en el plano, para algunas 1-formas que no se extienden suavemente al disco entero; de modo que una cierta condición topológica es necesaria.

En términos de la cohomología de De Rham, el lema dice que los conjuntos contractibles tienen los grupos de cohomología de un punto (considerando que los 0-formas constantes son cerradas pero vacuamente no son exactas).


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Formas diferenciales cerradas y exactas — En matemáticas, en el cálculo vectorial y en la topología diferencial, los conceptos de forma cerrada y forma exacta son definidos para las formas diferenciales, por las ecuaciones d a = 0 para que una forma dada a sea una forma cerrada, y a = d… …   Enciclopedia Universal

  • Cohomología de De Rham — En geometría diferencial, las formas diferenciales en la variedad diferenciable que son derivadas exteriores se llaman exactas; y las formas tales que sus derivadas exteriores son 0 se llaman cerradas (véase formas diferenciales cerradas y… …   Wikipedia Español

  • Cohomología de de Rham — Saltar a navegación, búsqueda En geometría diferencial, las formas diferenciales en la variedad diferenciable que son derivadas exteriores se llaman exactas; y las formas tales que sus derivadas exteriores son 0 se llaman cerradas (véase formas… …   Wikipedia Español

  • Cohomología de de Rham — En geometría diferencial, las formas diferenciales en la variedad diferenciable que son derivadas exteriores se llaman exactas; y las formas tales que sus derivadas exteriores son 0 se llaman cerradas (véase formas diferenciales cerradas y… …   Enciclopedia Universal

  • Número de Betti — En topología algebraica, los números de Betti distinguen los espacios topológicos. Intuitivamente, el primer número de Betti de un espacio, cuenta el número máximo de cortes que se pueden hacer sin dividir al espacio en dos piezas. Cada número de …   Wikipedia Español

  • Integración — La integral definida de una función representa el área limitada por la gráfica de la función, con signo positivo cuando la función toma valores positivos y negativo cuando toma valores negativos. Para otros usos de este término, véase Integración …   Wikipedia Español

  • Derivada exterior — Saltar a navegación, búsqueda En matemáticas, el operador de derivada exterior (o diferencial exterior) de la topología diferencial, amplía el concepto del diferencial de una función a formas diferenciales de un grado más alto. Fue inventado, en… …   Wikipedia Español

  • Relatividad general — Algunas partes de este artículo pueden resultar complicadas, en ese caso se recomienda Introducción a la relatividad general Representación artística de la explosión de la supernova SN 2006gy, situada a 238 millones de años luz. De ser válido el… …   Wikipedia Español

  • Función de Bessel — En matemática, las funciones de Bessel, primero definidas por el matemático Daniel Bernoulli y más tarde generalizadas por Friedrich Bessel, son soluciones canónicas y(x) de la ecuación diferencial de Bessel: (1) donde α es un …   Wikipedia Español

  • Leonhard Euler — Retrato de Leonhard Euler, pintado por Johann Georg Bruck …   Wikipedia Español

Compartir el artículo y extractos

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