Wirtingerin lause on lause moniulotteisen kompleksisen avaruuden geometrisista ominaisuuksista. Asettaa differentiaalimuodon tyypin, joka mittaa monimutkaisten jakoputkien tilavuuksia . Sen todisti Wilhelm Wirtinger vuonna 1936 .
Antaa olla moninkertainen luokan jopa todellinen ulottuvuus . Tämän lajikkeen laajuus:
,missä tasa-arvo saavutetaan tässä jos ja vain jos on monimutkainen -ulotteinen monisto.
Tässä on differentiaalimuoto , jossa on moduulin euklidinen neliö.