Dual de Hodge Wiki

Dual de Hodge
Ir a la navegaci�n
Ir a la b�squeda
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 = n.
�ndice
1 Definici�n
1.1 Definici�n formal
2 Usos del Dual de Hodge en f�sica
2.1 Espacio eucl�deo dotado de producto vectorial
2.2 Espacio de Minkowski
3 Referencias
Definici�n
Informalmente se define "reparti�ndose la forma volumen" ?, pensada como n vectores

est�ndar de base multiplicados exteriormente de modo que:
a ? * a = ? {\displaystyle \alpha \wedge \;*\;\alpha =\omega }

{\displaystyle \alpha \wedge \;*\;\alpha =\omega }
Salvo signo, siempre que a 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 ? � � , A ?
{\displaystyle \langle {\bar {\mu }},\mathbf {A} \rangle } {\displaystyle \langle
{\bar {\mu }},\mathbf {A} \rangle } donde � � {\displaystyle {\bar {\mu }}}
{\displaystyle {\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 � {\displaystyle \beta \,} \beta \,
como la (n-p)-forma * � {\displaystyle *\beta \,} {\displaystyle *\beta \,} tal
que:
? a : a ? * � = ? a , � ? ? {\displaystyle \forall \alpha :\alpha \wedge *\beta

=\langle \alpha ,\beta \rangle \omega } {\displaystyle \forall \alpha :\alpha
\wedge *\beta =\langle \alpha ,\beta \rangle \omega }
con ? a | � ? {\displaystyle \langle \alpha |\beta \rangle } {\displaystyle \langle

\alpha |\beta \rangle } el producto escalar de las formas y
? = e | g | d x 1 ? . . . ? d x n {\displaystyle \omega =\varepsilon {\sqrt {|

g|}}dx^{1}\land ...\land dx^{n}} {\displaystyle \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 e = sgn(g).

De aqu� la relaci�n:
* * a = ( - 1 ) k ( n - k ) e a {\displaystyle \;**\;\alpha =(-1)^{k(n-

k)}\varepsilon \alpha } {\displaystyle \;**\;\alpha =(-1)^{k(n-k)}\varepsilon
\alpha }
en particular e = 1 en una variedad de Riemann y e=-1 en una variedad Lorentz-

Minkowski ( n - 1 , 1 ) {\displaystyle (n-1,1)\;} {\displaystyle (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:
a ? � b ? = * ( ? a ? ? ? b ? ) {\displaystyle {\vec {a}}\times {\vec

{b}}=*(\phi _{\vec {a}}\wedge \phi _{\vec {b}})} {\displaystyle {\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:
a ? = ( a x , a y , a z ) ? ? a ? = a x d x + a y d y + a z d z {\displaystyle
{\vec {a}}=(a_{x},a_{y},a_{z})\mapsto \phi _{\vec {a}}=a_{x}dx+a_{y}dy+a_{z}dz}
{\displaystyle {\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 isomorfismo vamos a interpretar las 2-formas
como matrices antisim�tricas de 3x3 del siguiente modo:
F = F i j d x i ? d x j ? [ 0 + F 12 - F 13 - F 21 0 + F 23 + F 31 - F 32 0 ]
{\displaystyle \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}}} {\displaystyle \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:
F ? * F = F 23 d x + F 31 d y + F 12 d z {\displaystyle \mathbf {F} \mapsto

*\mathbf {F} =F_{23}dx+F_{31}dy+F_{12}dz} {\displaystyle \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:
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.
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.
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 {\displaystyle \mathbb {R} ^{3}} \mathbb{R}

^{3} se cumple que **a = a.
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 {\displaystyle **F=-F\,} {\displaystyle **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:
F = [ 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 ] * F = [ 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 ] {\displaystyle \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 }
{\displaystyle \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 F = 0 * d ( * F ) = 4 p c J {\displaystyle d\mathbf {F} =0\qquad *d(*\mathbf

{F} )={\frac {4\pi }{c}}\mathbf {J} } {\displaystyle d\mathbf {F} =0\qquad
*d(*\mathbf {F} )={\frac {4\pi }{c}}\mathbf {J} }
Donde J {\displaystyle \mathbf {J} } {\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).
Categor�as:
�lgebra multilinealGeometr�a diferencialTeor�as de dualidad
Men� de navegaci�n
No has accedido
Discusi�n
Contribuciones
Crear una cuenta
Acceder
Art�culo
Discusi�n
Leer
Editar
Ver historial
Buscar
Portada
Portal de la comunidad
Actualidad
Cambios recientes
P�ginas nuevas
P�gina aleatoria
Ayuda
Donaciones
Notificar un error
Imprimir/exportar
Crear un libro
Descargar como PDF
Versi�n para imprimir
Herramientas
Lo que enlaza aqu�

Cambios en enlazadas
Subir archivo
P�ginas especiales
Enlace permanente
Informaci�n de la p�gina
Elemento de Wikidata
Citar esta p�gina
En otros idiomas
Deutsch
English
Fran�ais
???
???
???????
??????????
??
Editar enlaces
Esta p�gina se edit� por �ltima vez el 9 dic 2018 a las 14:50.
El texto est� disponible bajo la Licencia Creative Commons Atribuci�n Compartir
Igual 3.0; pueden aplicarse cl�usulas adicionales. Al usar este sitio, usted acepta
nuestros t�rminos de uso y nuestra pol�tica de privacidad.
Wikipedia� es una marca registrada de la Fundaci�n Wikimedia,

Dual de Hodge Wiki

Cargado por

Copyright:

Formatos disponibles

Dual de Hodge Wiki

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Dual de Hodge Wiki

Cargado por

Copyright:

Formatos disponibles

Dual de Hodge

En matem�ticas, el operador estrella de Hodge en el espacio vectorial V es un

Informalmente se define "reparti�ndose la forma volumen" ?, pensada como n vectores

a ? * a = ? {\displaystyle \alpha \wedge \;*\;\alpha =\omega }

Salvo signo, siempre que a es un producto exterior de algunos vectores est�ndar de

Formalmente en una variedad de riemanniana o pseudoriemanniana de dimensi�n n

? a : a ? * � = ? a , � ? ? {\displaystyle \forall \alpha :\alpha \wedge *\beta

con ? a | � ? {\displaystyle \langle \alpha |\beta \rangle } {\displaystyle \langle

? = e | g | d x 1 ? . . . ? d x n {\displaystyle \omega =\varepsilon {\sqrt {|

es la n-forma de volumen, siendo g el determinante del tensor m�trico y e = sgn(g).

* * a = ( - 1 ) k ( n - k ) e a {\displaystyle \;**\;\alpha =(-1)^{k(n-

en particular e = 1 en una variedad de Riemann y e=-1 en una variedad Lorentz-

Un ejemplo com�n del operador estrella es el espacio eucl�deo tridimensional dotado

a ? � b ? = * ( ? a ? ? ? b ? ) {\displaystyle {\vec {a}}\times {\vec

Para explicar esa construcci�n necesitamos introducir el isomorfismo entre vectores

F ? * F = F 23 d x + F 31 d y + F 12 d z {\displaystyle \mathbf {F} \mapsto

Es decir, en espacio eucl�deo tridimensional, hay una correspondencia entre los

Adem�s para toda 1-forma en R 3 {\displaystyle \mathbb {R} ^{3}} \mathbb{R}

Otra aplicaci�n fundamental del operador dual de Hodge en f�sica aparece en el

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

* * F = - F {\displaystyle **F=-F\,} {\displaystyle **F=-F\,}

d F = 0 * d ( * F ) = 4 p c J {\displaystyle d\mathbf {F} =0\qquad *d(*\mathbf

Donde J {\displaystyle \mathbf {J} } {\mathbf {J}} es la 1-forma naturalmente

Charles W. Misner, Kip S. Thorne, John Archibald Wheeler, Gravitation, (1970)

�lgebra multilinealGeometr�a diferencialTeor�as de dualidad

Lo que enlaza aqu�

También podría gustarte

* * F = - F {\displaystyle F=-F\,} {\displaystyle F=-F\,}

d F = 0 * d ( * F ) = 4 p c J {\displaystyle d\mathbf {F} =0\qquad d(\mathbf