Całkowanie form różniczkowych Konstrukcja całki Całkę z formy różniczkowej po rozmaitości definiuje się w następujących krokach.
(1) Niech będzie formą różniczkową na zbiorze otartym w w Jej całkę po definiujemy jako całkę Lebesgue’a z po
(2) Jeżeli jest formą różniczkową o nośniku zwartym i zawartym w dziedzinie pewnej mapy to definiujemy
gdzie oznacza cofniętą przez parametryzację jest już formą różniczkową na zbiorze otwartym w