En los campos matemáticos de la geometría diferencial y la teoría de la medida geométrica , la integración homológica o integración geométrica es un método para extender la noción de integral a las variedades . En lugar de funciones o formas diferenciales , la integral se define sobre corrientes en una variedad.
La teoría es "homológica" porque las corrientes mismas se definen por dualidad con formas diferenciales. Es decir, el espacio D k de k -corrientes en una variedad M se define como el espacio dual , en el sentido de distribuciones , del espacio de k -formas Ω k en M . Por lo tanto, existe un emparejamiento entre k -corrientes T y k -formas α , denotado aquí por
Bajo este emparejamiento de dualidad, la derivada exterior
pasa a un operador de límite
definido por
para todo α ∈ Ω k . Esta es una construcción homológica en lugar de cohomológica .