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 formula_1 donde formula_2 es el n-vector dual.