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

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

On olemassa luvut ${\displaystyle c\in [a,b]}$ ja ${\displaystyle d\in [a,b]}$ siten, että kaikilla ${\displaystyle x\in [a,b]}$ pätee ${\displaystyle f(c)\leq f(x)\leq 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.

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

Merkitään ${\displaystyle \mathbb {N} _{0}=\mathbb {N} \cup \{0\}}$ ja ${\displaystyle \mathbb {N} _{1}=\mathbb {N} \setminus \{0\}}$.

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

Tehdään vastaoletus: ${\displaystyle f}$ ei ole rajoitettu välillä ${\displaystyle [a,b]}$. Tällöin kaikilla ${\displaystyle n\in \mathbb {N} _{0}}$ on olemassa ${\displaystyle x_{n}\in [a,b]}$, jolla ${\displaystyle |f(x_{n})|\geq n}$. Koska lukujono ${\displaystyle (x_{n})}$ on rajoitettu, niin Bolzanon–Weierstrassin lauseen nojalla lukujonolla ${\displaystyle (x_{n})}$ on suppeneva osajono ${\displaystyle (x_{n_{k}})}$ eli ${\displaystyle x_{n_{k}}\to x_{0}}$ kun ${\displaystyle k\to \infty }$. Koska ${\displaystyle a\leq x_{n_{k}}\leq b}$ kaikilla ${\displaystyle k\in \mathbb {N} _{0}}$, niin ${\displaystyle a\leq x_{0}\leq b}$.

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

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

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

• Harjulehto, P., Klén, R. & Koskenoja, M.: ”4.3. Funktion suurin ja pienin arvo”, Analyysia reaaliluvuilla, s. 87–93. (6., uudistettu painos) Turku & Helsinki: Gaudeamus Oy, 2023. ISBN 978-952-345-249-7

• Extreme value theorem (cut-the-knot) (englanniksi)