Rungen lause (myös Rungen approksimaatiolause ) kompleksisessa analyysissä on väite holomorfisen funktion tasaisen approksimoinnin mahdollisuudesta polynomeilla . Muotoili Carl Runge vuonna 1885 .
Jos on kompakti avaruus , on joukko , joka sisältää vähintään yhden pisteen jokaisesta joukon rajatusta yhdistetystä komponentista ja on holomorfinen joukon naapurustossa , niin joukossa on polynomifunktioiden sarja, joissa on napoja ja joka approksimoi funktiota tasaisesti.
Mikä tahansa holomorfinen funktio mielivaltaisessa toimialueessa voidaan yhdenmukaisesti approksimoida rationaalisten funktioiden sarjalla, jonka navat ovat ulkopuolella , tämä väite esiintyy myös Rungen lauseena .
Vielä yleisempi tulos on Mergelyanin lause, joka väittää, että funktion, joka on holomorfinen sisällä kompaktissa ja jatkuvassa funktiossa, on välttämätöntä ja riittävää tasainen approksimaatio polynomeilla , holomorfinen jatke joukon kaikkiin rajoitettuihin yhdistettyihin komponentteihin .
Runge Theorem - Encyclopedia of Mathematics -artikkeli . Chirka E.M.