Tag Archives: formas diferenciales

álgebra exterior y formas diferenciales


una busqueda sencilla en la red (web) para álgebra exterior dará como resultado los items de la wikipedia, que proporciona una versión ranchera en wiki.es. También ranchera es la versión wiki.en.

El item en inglés, dice que el álgebra exterior se construye a partir de la base de un espacio vectorial V={\rm gen}\{e_1,e_2,...,e_n\} y entonces

\bigwedge^0(V)=\mathbb{R}

\bigwedge^1(V)={\rm gen}\{e_i\}=V

\bigwedge^2(V)={\rm gen}\{e_i\wedge e_j\}

\bigwedge^3(V)={\rm gen}\{e_i\wedge e_j\wedge e_k\}

\bigwedge^{n-1}(V)={\rm gen}\{e_{i_1}\wedge...\wedge e_{i_{n-1}}\}

\bigwedge^n(V)={\rm gen}\{e_1\wedge...\wedge e_n\}

para finalmente determinar como el álgebra de Grassmann de V es:

\bigwedge(V)=\bigwedge^0(V)\oplus\bigwedge^1(V)\oplus...\oplus\bigwedge^n(V)

Esta construcción es posible. Pero al comparar contra la explicada en este web-blog hemos elegido

\bigwedge^0(V)=\mathbb{R}

\bigwedge^1(V)={\rm gen}\{e^i\}=V^*

\bigwedge^2(V)={\rm gen}\{e^i\wedge e^j\}

\bigwedge^3(V)={\rm gen}\{e^i\wedge e^j\wedge e^k\}

\bigwedge^{n-1}(V)={\rm gen}\{e^{i_1}\wedge...\wedge e^{i_{n-1}}\}

\bigwedge^n(V)={\rm gen}\{e^1\wedge...\wedge e^n\}

¿Observas la diferencia? En la f-wikipedia les da lo mismo que los vectores sean filas o columnas, a nosotros no.

Nosotros elegimos la construcción del álgebra exterior acordemente para que las formas diferenciales coincidan con las convenciones de indexación como en Flanders del 1989 en su famoso artículo: “Differential forms” en el Studies in Mathematics 27 (“Global Differential Geometry”) de la Mathematical Asociation of America.

Del tal artículo la primera página es:

¿quieres más de esto?… síguete a  flanders27-35 por aquí mismo…

Más evidencias… checa en la página 99 del “Gravitation” de Misner-Thorne-Wheeler:

1 Comment

Filed under differential geometry, geometry, multilinear algebra