Weierstrassin lause

Weierstrassin lause (myös Weierstrassin min-max-lause) on matematiikassa lause, jonka mukaan jatkuva funktio saa suljetulla välillä suurimman ja pienimmän arvon.

Olkoon $f:[a,b]\to ℝ$ jatkuva funktio. Weierstrassin lause tarkoittaa sitä, että väliltä $[a,b]$ löytyy luvut $c$ ja $d$ siten, että kaikilla pisteillä $x\in [a,b]$ funktion arvo pysyy arvojen $f(c)$ ja $f(d)$ välissä. Matemaattisesti

On olemassa luvut $c\in [a,b]$ ja $d\in [a,b]$ siten, että kaikilla $x\in [a,b]$ pätee $f(c)\le f(x)\le f(d)$.

Weierstrassin lause on merkittävä muun muassa siksi, että sen avulla voidaan todistaa Rollen lause, jota puolestaan käytetään differentiaalilaskennan keskeisimmän lauseen, differentiaalilaskennan väliarvolauseen todistuksessa.

Todistus

Todistetaan, että löydetään suurin arvo kuten edellä määritelty. Pienin arvo löydetään vastaavalla tavalla, kun tutkitaan funktiota $-f$.

Merkitään ${\mathbb{N}}_0=\mathbb{N}\cup \{0\}$ ja ${\mathbb{N}}_1=\mathbb{N}\setminus \{0\}$.

Väite: $f$ on rajoitettu välillä $[a,b]$.

Tehdään vastaoletus: $f$ ei ole rajoitettu välillä $[a,b]$. Tällöin kaikilla $n\in {\mathbb{N}}_0$ on olemassa $x_n\in [a,b]$, jolla $|f(x_n)|\ge n$. Koska lukujono $(x_n)$ on rajoitettu, niin Bolzanon–Weierstrassin lauseen nojalla lukujonolla $(x_n)$ on suppeneva osajono $(x_{n_k})$ eli $x_{n_k}\to x_0$ kun $k\to \mathrm{\infty }$. Koska $a\le x_{n_k}\le b$ kaikilla $k\in {\mathbb{N}}_0$, niin $a\le x_0\le b$.

Koska $f$ on jatkuva pisteessä $x_0$, niin on olemassa $\delta >0$ siten, että $|f(x)-f(x_0)|<1$, kun $x\in (x_0-\delta ,x_0+\delta )\cap [a,b]$. Koska $x_{n_k}\to x_0$, kun $k\to \mathrm{\infty }$, niin on olemassa $k_0$ siten, että $|x_{n_k}-x_0|<\delta$, kun $k\ge k_0$. Näillä $k$ pätee $|f(x_{n_k})-f(x_0)|<1$. Mutta koska $|f(x_{n_k})|\ge n_k$ ja koska $n_k\to \mathrm{\infty }$, kun $k\to \mathrm{\infty }$, niin saadaan ristiriita. Täten väite pätee.

Koska $f$ on rajoitettu välilä $[a,b]$, joten on olemassa $\sup \{f(x)\mid x\in [a,b]\}$. Merkitään $M=\sup \{f(x)\mid x\in [a,b]\}$. Nyt on osoitettava vielä $f(x)=M$ jollakin $x\in [a,b]$.

Pienimmän ylärajan määritelmän nojalla kaikilla $n\in {\mathbb{N}}_1$ on olemassa $y_n\in [a,b]$, jolle $f(y_n)>M-1/n$. Bolzanon–Weierstrassin lauseen nojalla lukujonolla $(y_n)$ on olemassa suppeneva osajono $(y_{n_k})$, jolla $y_{n_k}\to y_0$, kun $k\to \mathrm{\infty }$. Funktion $f$ jatkuvuuden nojalla $f(y_{n_k})\to f(y_0)$, kun $k\to \mathrm{\infty }$. Tällöin $M\ge f(y_{n_k})>M-1/n_k\ge M-1/k$, mistä seuraa kuristusperiaatteen nojalla $f(y_0)=M$. $◻$

Lähteet

• Malline:Kirjaviite

Aiheesta muualla

• Extreme value theorem (cut-the-knot) Malline:En