Dual de Hodge

Dual de Hodge

En matemáticas, el operador estrella de Hodge en el espacio vectorial V es un operador lineal en el álgebra exterior de V, intercambiando los subespacios de k-vectores y el de n−k-vectores donde n = dim V, para 0 ≤ kn.

Contenido

Definición

Informalmente se define "repartiéndose la forma volumen" ω, pensada como n vectores estándar de base multiplicados exteriormente de modo que:

\alpha\wedge\;*\;\alpha = \omega

Salvo signo, siempre que α es un producto exterior de algunos vectores estándar de base. Dada una medida sobre una variedad n dimensional expresable como una n-forma μ (no todas las medidas son de esta forma, por ejemplo, la "función" delta de Dirac), el dual de Hodge de la p-forma A se define como la contracción \langle\bar{\mu},\bold{A}\rangle donde \bar{\mu} es el n-vector dual. Ver convención de signo.

Definición formal

Formalmente en una variedad de riemanniana o pseudoriemanniana de dimensión n debemos definir el dual de Hodge de una p-forma \beta\, como la (n-p)-forma *\beta\, tal que:

\forall \alpha: \alpha\wedge *\beta=\langle \alpha,\beta\rangle\omega

con \langle \alpha | \beta \rangle el producto escalar de las formas y

\omega = \varepsilon \sqrt{|g|} dx^1\land ...\land dx^n

es la n-forma de volumen, siendo g el determinante del tensor métrico y ε = sgn(g). De aquí la relación:

 \;**\;\alpha =(-1)^{k(n-k)}\varepsilon\alpha

en particular ε = 1 en una variedad de Riemann y ε=-1 en una variedad Lorentz-Minkowski (n-1,1)\;.

Usos del Dual de Hodge en física

Espacio euclídeo dotado de producto vectorial

Un ejemplo común del operador estrella es el espacio euclídeo tridimensional dotado de la métrica ordinaria. De hecho el producto vectorial no es otra cosa que el dual de Hodge del producto exterior de dos formas diferenciales construidas a partir de los vectores, formalmente el producto vectorial resulta ser:

\vec{a} \times \vec{b} = *(\phi_\vec{a} \wedge \phi_\vec{b})

Para explicar esa construcción necesitamos introducir el isomorfismo entre vectores del espacio tridimensional y 1-formas del mismo espacio:

\vec{a} = (a_x,a_y,a_z) \mapsto \phi_\vec{a} =a_x dx+a_y dy+a_z dz

Ahora conviene notar que en 3 dimensiones el dual de una 1-forma es una 2-forma antisimétrica, y el dual de una 2-forma es una 1-forma. Eso permite construir otro isomorfismo entre 1-formas y 2-formas, precisamente este isomorfismo es el dual de Hodge. Para aclarar como funciona ese isomorfimso vamos a interpretar las 2-formas como matrices antisimétricas de 3x3 del siguiente modo:

\mathbf{F} = F_{ij} dx^i \otimes dx^j \mapsto 
\begin{bmatrix} 0 & +F_{12} & -F_{13} \\ -F_{21} & 0 & +F_{23} \\ +F_{31} & -F_{32} & 0 \end{bmatrix}

Podemos ver que esa matriz tiene sólo tres componentes independientes que pueden ser interpretadas como un vector dado por el operador dual de Hodge:

\mathbf{F} \mapsto *\mathbf{F} = F_{23}dx+F_{31}dy+F_{12}dz

Es decir, en espacio euclídeo tridimensional, hay una correspondencia entre los vectores y las matrices antisimétricas 3x3. Repasemos entonces los pasos:

  1. Todo vector del espacio euclídeo tridimensional con la métrica ordinaria puede ser interpretado de manera natural como una 1-forma de dicho espacio.
  2. El producto de dos 1-formas es una 2-forma, que en el espacio euclídeo tridimensional puede hacerse corresponder con un vector, gracias al isomorfismo asociado al operador dual de Hodge.
  3. El producto vectorial, no es otra cosa un vector axial dado por el dual de Hodge del producto exterior de las dos 1-formas asociadas naturalmente a los dos vectores de los que se partía.
  • Además para toda 1-forma en \R^3 se cumple que **α = α.
  • Otro punto interesante relacionado con la física, es que todo vector axial es en realidad el dual de Hodge de una matriz antisimétrica. De hecho, cuando se construyen magnitudes relativistas asociadas a las cantidades newtonianas, puesto que el espacio de la teoría de la relatividad es cuatridimensional, el isomorfismo entre 1-formas y 2-formas desaparece. Eso implica que los vectores axiales de la mecánica newtoniana deben ser tratados como parte de tensores antismétricos en teoría de la relatividad.

Espacio de Minkowski

Otra aplicación fundamental del operador dual de Hodge en física aparece en el espacio de Minkowski de la teoría de la relatividad especial. Dada la dimensión n = 4 del espacio de Minkoski y dada la métrica existe un isomorfismo fundamental entre:

  • 0-formas y 4-formas.
  • 1-formas y 3-formas.
  • 2-formas y 2-formas (endomorfismo).

Además resulta para toda 2-forma la siguiente relación fundamental:

**F = -F \,


Esa relación puede ser usada para formular muy escuetamente las ecuaciones de Maxwell del electromagnetismo, teniendo en cuenta que el campo electromagnético vienen dado por una 2-forma o tensor antisimétrico, que en componentes cartesianas es:

\mathbf{F} = 
\begin{bmatrix}
0 & E_x/c & E_y/c & E_z/c \\
-E_x/c & 0 & B_z & -B_y \\
-E_y/c & -B_z & 0 & B_x \\
-E_z/c & B_y & -B_x & 0
\end{bmatrix} \qquad 
*\mathbf{F} = 
\begin{bmatrix}
0 & B_x & B_y & B_z \\
-B_x & 0 & E_z/c & -E_y/c \\
-B_y & -E_z/c & 0 & E_x/c \\
-B_z & E_y/c & -E_x/c & 0
\end{bmatrix} \qquad


Las ecuaciones de Maxwell pueden ser escritas en términos de la 2-forma del campo electromagnético y operador dual de Hodge tan sencillamente como (sistema cgs):

d\mathbf{F} = 0 \qquad *d(*\mathbf{F}) = \frac{4\pi}{c}\mathbf{J}


Donde \mathbf{J} es la 1-forma naturalmente asociada al cuadrivector densidad de corriente.

Referencias

  • Charles W. Misner, Kip S. Thorne, John Archibald Wheeler, Gravitation, (1970) W.H. Freeman, New York; ISBN 0-7167-0344-0. (Provides a basic review of differential geometry in the special case of four-dimensional space-time.)
  • Jurgen Jost, Riemannian Geometry and Geometric Analysis, (2002) Springer-Verlag, Berlin ISBN 3-540-42627-2. (Provides a detailed exposition starting from basic principles, but does not treat the pseudo-Riemannian case).
  • David Bleecker, Gauge Theory and Variational Principles, (1981) Addison-Wesley Publishing, New York' ISBN 0-201-10096-7. (Provides condensed review of non-Riemannian differential geometry in chapter 0).
Obtenido de "Dual de Hodge"

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Dual de Hodge — En matemáticas, el operador estrella de Hodge en el espacio vectorial V es un operador lineal en el álgebra exterior de V, intercambiando los subespacios de k vectores y el de n−k vectores donde n = dim V, para 0 ≤ k ≤ …   Enciclopedia Universal

  • Hodge dual — In mathematics, the Hodge star operator or Hodge dual is a significant linear map introduced in general by W. V. D. Hodge. It is defined on the exterior algebra of a finite dimensional oriented inner product space. Contents 1 Dimensions and… …   Wikipedia

  • Hodge structure — In mathematics, a Hodge structure, named after W. V. D. Hodge, is an algebraic structure at the level of linear algebra, similar to the one that Hodge theory gives to the cohomology groups of a smooth and compact Kähler manifold. A mixed Hodge… …   Wikipedia

  • Hodge conjecture — The Hodge conjecture is a major unsolved problem in algebraic geometry which relates the algebraic topology of a non singular complex algebraic variety and the subvarieties of that variety. More specifically, the conjecture says that certain de… …   Wikipedia

  • Dual Alliance —    A term commonly applied alternatively to the Austro German alliance dating to 1879, which, with the later addition of Italy, became the Triple Alliance, or to the Franco Russian alliance of 1890. The first was a secret alliance, a centerpiece… …   Encyclopedia of the Age of Imperialism, 1800–1914

  • Dualite de Hodge — Dualité de Hodge En algèbre linéaire, l opérateur de Hodge est un opérateur sur l algèbre extérieure d un espace vectoriel euclidien orienté. Il est usuellement noté par une étoile qui précède l élément auquel l opérateur est appliqué. On parle… …   Wikipédia en Français

  • Dualité de Hodge — En algèbre linéaire, l opérateur de Hodge, introduit par William Vallance Douglas Hodge, est un opérateur sur l algèbre extérieure d un espace vectoriel euclidien orienté. Il est usuellement noté par une étoile qui précède l élément auquel l… …   Wikipédia en Français

  • W. V. D. Hodge — William Vallance Douglas Hodge FRS (17 June 1903 7 July 1975) was a Scottish mathematician, specifically a geometer. His discovery of far reaching topological relations between algebraic geometry and differential geometry mdash; an area now… …   Wikipedia

  • Cálculo tensorial — Un tensor de segundo orden, en tres dimensiones. En matemáticas y en física, un tensor es cierta clase de entidad algebraica de varias componentes, que generaliza los conceptos de escalar, vector y matriz de una manera que sea independiente de… …   Wikipedia Español

  • Producto vectorial — Saltar a navegación, búsqueda Esquema En álgebra lineal, el producto vectorial es una operación binaria entre dos vectores de un espacio euclídeo tridimensional que da como resultado un vector ortogonal a los d …   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.