Residylause on funktioteoriassa tulos, jonka avulla voidaan määrittää annetun funktion määrättyjä integraaleja. Sen mukaan jos funktio on analyyttinen alueessa pisteitä lukuun ottamatta ja jos on nollahomotooppinen polku :ssa, joka ei kulje pisteiden kautta, on
missä res(f,zk) on funktion f residy pisteessä zk.
Lähteet
Luokka:Funktionaalianalyysi