(Basado en Tensor Analysis on Manifolds, Goldberg & Bishop)

Sea , , una base ortonormal de cierto espacio vectorial (dual de ).

Estrella de Hodge:

() ()

Donde , , , , , es una permutacin par de (1, 2, , ).

Propiedades:

= (1)()

Donde es la identidad en ().

1 =

Por ejemplo, para la base ortonormal {d, d, d } de :

d = dd

1
d = ddr

(Se ha suprimido el smbolo de producto exterior).

d = dd

(ddd) =

Diferencial exterior:

d () + ()

<<

d,, d d

Equivalentemente, es la operacin definida por las propiedades:

1.
2.
3.
4.

d() = () con funcin, campo vectorial.

d( ) = d + (1) d , siendo el orden de .
d = 0.
Es lineal respecto del producto por escalares.

Operadores y productos con vectores en el espacio:

= ( )

= ( )
grad = d

curl = d

div = d

div grad = d d

(Se considera el isomorfismo que induce la mtrica entre formas y campos, i.e. bemol y sostenido).
De esta forma, es posible demostrar propiedades como:

grad () = grad + grad

curl () = grad + curl

div () = grad + div

div ( ) = curl + curl

curl grad = 0
div curl = 0