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.

Matemaattinen määritelmä

Olkoon $\mathrm{\Delta }\subset ℝ$ jokin väli, $(f_n{)}_{n\in \mathbb{N}}$ jono funktioita $\mathrm{\Delta }\to ℝ$ ja väli ${\mathrm{\Delta }}^{\prime }\subset \mathrm{\Delta }$. Jono $(f_n{)}_{n\in \mathbb{N}}$ suppenee välillä ${\mathrm{\Delta }}^{\prime }$ tasaisesti kohti funktiota $f:{\mathrm{\Delta }}^{\prime }\to ℝ$, jos

$\underset{x\in {\mathrm{\Delta }}^{\prime }}{\sup }|f_n(x)-f(x)|\to 0$, kun $n\to \mathrm{\infty }$.

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

$|f_n(x)-f(x)|<\epsilon$

kaikissa pisteissä $x\in {\mathrm{\Delta }}^{\prime }$.

Tasaisen suppenemisen määritelmä voidaan yleistää reaalifunktioilta metrisille avaruuksille määritellyille kuvauksille.

Ominaisuuksia

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.

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

$f_n(x)=x^n$

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

$f(x)=0$,

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

$\underset{x\in ]0,1[}{\sup }|f_n(x)-f(x)|=\underset{x\in ]0,1[}{\sup }{x}^n=1^n=1$,

eli arvo ei suppene nollaan kun $n\to \mathrm{\infty }$. Täten jono ei suppene tasaisesti.

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

Kirjallisuutta

• Malline:Verkkoviite

Aiheesta muualla

• MathWorld. Uniform Convergence