Tasainen suppeneminen

Tasainen suppeneminen on funktiojonon ominaisuus, joka on pisteittäistä suppenemista vahvempi. Sitä voi kuvailla karkeasti niin, että funktion arvot suppenevat samanaikaisesti jokaisessa pisteessä kohti rajafunktiota.

Tasaisesta suppenemisesta seuraa käytännöllisiä tuloksia funktiojonojen integraaleille, derivaatoille ja summille.

Olkoon ${\displaystyle \Delta \subset \mathbb {R} }$ jokin väli, ${\displaystyle (f_{n})_{n\in \mathbb {N} }}$ jono funktioita ${\displaystyle \Delta \rightarrow \mathbb {R} }$ ja väli ${\displaystyle \Delta '\subset \Delta }$. Jono ${\displaystyle (f_{n})_{n\in \mathbb {N} }}$ suppenee välillä ${\displaystyle \Delta '}$ tasaisesti kohti funktiota ${\displaystyle f:\Delta '\rightarrow \mathbb {R} }$, jos

${\displaystyle \sup _{x\in \Delta '}|f_{n}(x)-f(x)|\rightarrow 0}$, kun ${\displaystyle n\rightarrow \infty }$.

^[1]

Yhtäpitävä ehto tasaiselle suppenevuudelle on, että jokaista lukua ${\displaystyle \varepsilon >0}$ kohti on luku ${\displaystyle n_{\varepsilon }\in \mathbb {N} }$ siten, että kun ${\displaystyle n>n_{\varepsilon }}$, niin

${\displaystyle |f_{n}(x)-f(x)|<\varepsilon }$

kaikissa pisteissä ${\displaystyle x\in \Delta '}$.

Tasaisen suppenemisen määritelmä voidaan yleistää reaalifunktioilta metrisille avaruuksille määritellyille kuvauksille.^[2]

Jos funktiojono suppenee tasaisesti jollakin välillä, se suppenee tasaisesti sen jokaisella osavälillä. Tasaisesti suppeneva funktiojono suppenee myös pisteittäin kohti samaa rajafunktiota.^[1]

Kaikki pisteittäin suppenevat funktiojonot eivät suppene tasaisesti. Tavallinen ja helppo esimerkki tällaisesta jonosta on funktiot

${\displaystyle f_{n}(x)=x^{n}}$

välillä ${\displaystyle ]0,1[=\{x\,|\,0<x<1\}}$. Tämä jono suppenee pisteittäin kohti funktiota

${\displaystyle f(x)=0}$,

jolloin jos se suppenisi tasaisesti, se suppenisi tasaisesti kohti samaa funktiota. Toisaalta kuitenkin pätee

${\displaystyle \sup _{x\in ]0,10,1[}x^{n}=1^{n}=1}$,

eli arvo ei suppene nollaan kun ${\displaystyle n\rightarrow \infty }$. Täten jono ei suppene tasaisesti.^[1]

Tasainen suppenevuus on ehto, mikä vaaditaan, että raja-arvon oton ja Riemannin integraalin välinen järjestys voidaan vaihtaa.^[3]

• Pitkäranta, Juhani: Calculus Fennicus – TKK:n 1. lukuvuoden laaja matematiikka (2000–2013) (pdf) Helsinki: Avoimet oppimateriaalit ry. ISBN 978-952-7010-12-9 ISBN 978-952-7010-13-6 (pdf).

• MathWorld. Uniform Convergence