1 Supremum ja infimum

Samankaltaiset tiedostot
1 sup- ja inf-esimerkkejä

1 sup- ja inf-esimerkkejä

Reaaliluvut. tapauksessa metrisen avaruuden täydellisyyden kohdalla. 1 fi.wikipedia.org/wiki/reaaliluku 1 / 13

reaalifunktioiden ominaisuutta, joiden perusteleminen on muita perustuloksia hankalampaa. Kalvoja täydentää erillinen moniste,

Lukujoukot. Luonnollisten lukujen joukko N = {1, 2, 3,... }.

Täydellisyysaksiooman kertaus

1 Määrittelyjä ja aputuloksia

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 3: Jatkuvuus

Konvergenssilauseita

DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1. Ritva Hurri-Syrjänen/Syksy 1999/Luennot 6. FUNKTION JATKUVUUS

MS-C1540 Euklidiset avaruudet

Funktiojonon tasainen suppeneminen

Funktiot. funktioita f : A R. Yleensä funktion määrittelyjoukko M f = A on jokin väli, muttei aina.

Jonot. Lukujonolla tarkoitetaan ääretöntä jonoa reaalilukuja a n R, kun indeksi n N. Merkitään. (a n ) n N = (a n ) n=1 = (a 1, a 2, a 3,... ).

Tällöin on olemassa reaalilukuja c, jotka kuuluvat jokaiselle välille I n = [a n, b n ]. Toisin sanoen a n c b n kaikilla n.

Luku 2. Jatkuvien funktioiden ominaisuuksia.

x > y : y < x x y : x < y tai x = y x y : x > y tai x = y.

Analyysi III. Jari Taskinen. 28. syyskuuta Luku 1

Sarjojen suppenemisesta

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

4.3 Moniulotteinen Riemannin integraali

Analyysi 1. Harjoituksia lukuihin 1 3 / Syksy Osoita täsmällisesti perustellen, että joukko A = x 4 ei ole ylhäältä rajoitettu.

Derivaattaluvut ja Dini derivaatat

1 Reaaliset lukujonot

Cantorin joukon suoristuvuus tasossa

3 Lukujonon raja-arvo

3 Lukujonon raja-arvo

DIFFERENTIAALI- JA INTEGRAALILASKENTA I.1 1. ALUKSI. Joukko-oppia

Miten osoitetaan joukot samoiksi?

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

5 Funktion jatkuvuus ANALYYSI A, HARJOITUSTEHTÄVIÄ, KEVÄT Määritelmä ja perustuloksia

IV. TASAINEN SUPPENEMINEN. f(x) = lim. jokaista ε > 0 ja x A kohti n ε,x N s.e. n n

Topologia I Harjoitus 6, kevät 2010 Ratkaisuehdotus

5 Funktion jatkuvuus ANALYYSI A, HARJOITUSTEHTÄVIÄ, KEVÄT Määritelmä ja perustuloksia. 1. Tarkastellaan väitettä

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.

Raja-arvot ja jatkuvuus

Jordanin sisältö ja Lebesguen ulkomitta

MS-A0202 Differentiaali- ja integraalilaskenta 2 (SCI) Luento 1: Parametrisoidut käyrät ja kaarenpituus

Analyysi I (mat & til) Demonstraatio IX

Joukot metrisissä avaruuksissa

Johdatus matemaattiseen päättelyyn

Analyysi 1. Harjoituksia lukuihin 4 7 / Syksy Tutki funktion f(x) = x 2 + x 2 jatkuvuutta pisteissä x = 0 ja x = 1.

Matematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus Malliratkaisut (Sauli Lindberg)

Toispuoleiset raja-arvot

8 Potenssisarjoista. 8.1 Määritelmä. Olkoot a 0, a 1, a 2,... reaalisia vakioita ja c R. Määritelmä 8.1. Muotoa

Johdatus matematiikkaan

Injektio. Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim.

MS-A0102 Differentiaali- ja integraalilaskenta 1

7. Tasaisen rajoituksen periaate

Analyysi 1. Pertti Koivisto

Sarjat ja integraalit

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Matematiikan tukikurssi

Reaalifunktion epäjatkuvuus

Ratkaisuehdotus 2. kurssikoe

Ratkaisuehdotus 2. kurssikokeeseen

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.

(iv) Ratkaisu 1. Sovelletaan Eukleideen algoritmia osoittajaan ja nimittäjään. (i) 7 = , 7 6 = = =

Cantorin joukko LUKU 8

Poistumislause Kandidaatintutkielma

Matemaattisen analyysin tukikurssi

MS-A0102 Differentiaali- ja integraalilaskenta 1

MS-A010{3,4,5} (ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat

MS-A0102 Differentiaali- ja integraalilaskenta 1

Todista raja-arvon määritelmään perustuen seuraava lause: Jos lukujonolle a n pätee lima n = a ja lima n = b, niin a = b.

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat

Matematiikan tukikurssi

Määrätty integraali. Markus Helén. Mäntän lukio

3.1 Väliarvolause. Funktion kasvaminen ja väheneminen

Funktiot ja raja-arvo. Pekka Salmi

Sinin jatkuvuus. Lemma. Seuraus. Seuraus. Kaikilla x, y R, sin x sin y x y. Sini on jatkuva funktio.

MS-A010{2,3,4,5} (SCI, ELEC*, ENG*) Differentiaali- ja integraalilaskenta 1 Luento 2: Sarjat

Johdatus matemaattisen analyysin teoriaan

Analyysin peruslause

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Vastaoletuksen muodostaminen

Todennäköisyyslaskenta IIa, syys lokakuu 2019 / Hytönen 3. laskuharjoitus, ratkaisuehdotukset

Epälineaaristen yhtälöiden ratkaisumenetelmät

Oletetaan, että funktio f on määritelty jollakin välillä ]x 0 δ, x 0 + δ[. Sen derivaatta pisteessä x 0 on

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

Kaikkia alla olevia kohtia ei käsitellä luennoilla kokonaan, koska osa on ennestään lukiosta tuttua.

Vektorilaskenta Luennot / 42. Vektorilaskenta Napakoordinaatit

Reaaliarvoisen yhden muuttujan funktion raja arvo LaMa 1U syksyllä 2011

Derivaatasta ja derivoituvuudesta

Reaalifunktioista 1 / 17. Reaalifunktioista

Positiivitermisten sarjojen suppeneminen

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

Reaalilukujonoista ja niiden merkityksestä kouluopetuksessa

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 4: Derivaatta

Luku 4. Derivoituvien funktioiden ominaisuuksia.

Vieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne.

YHDEN REAALIMUUTTUJAN ANALYYSIN PERUSTEET. Tero Kilpeläinen

Todistusmenetelmiä Miksi pitää todistaa?

Matematiikan peruskurssi 2

Esimerkki kaikkialla jatkuvasta muttei missään derivoituvasta funktiosta

MS-A0205/MS-A0206 Differentiaali- ja integraalilaskenta 2 Luento 1: Parametrisoidut käyrät ja kaarenpituus

Differentiaali- ja integraalilaskenta 1 Ratkaisut 2. viikolle /

Topologia Syksy 2010 Harjoitus 4. (1) Keksi funktio f ja suljetut välit A i R 1, i = 1, 2,... siten, että f : R 1 R 1, f Ai on jatkuva jokaisella i N,

Transkriptio:

Pekka Alestalo, 2018 Tämä moniste täydentää reaalilukuja ja jatkuvia reaalifunktioita koskevaa kalvosarjaa lähinnä perustelujen ja todistusten osalta. Suurin osa määritelmistä jms. on esitetty jo kalvoissa, eikä niitä toisteta tässä. 1 Supremum ja infimum Seuraavassa kaksi esimerkkiä supremumin ja infimumin käytöstä differentiaalija integraalilaskennassa. Esimerkki 1.1 Riemann-integraali. Olkoon f : [a, b] R rajoitettu funktio; ts. on olemassa sellainen vakio C R, että f(x) C kaikilla x [a, b]. Muodostetaan välin [a, b] jako a = x 0 < x 1 < x 2 < < x n = b ja siihen liittyvä yläsumma n S = M k (x k x k 1 ), M k = sup{f(x) x k 1 x x k }, ja alasumma s = k=1 n m k (x k x k 1 ), m k = inf{f(x) x k 1 x x k }. k=1 Näille on voimassa: (i) Kun lisätään uusia jakopisteitä, niin s kasvaa ja S pienenee. (ii) Aina pätee s S, vaikka ne laskettaisiin eri jakopisteillä. Perustelu: (i) Tutkitaan tilannetta, kun lisätään yksi uusi jakopiste kerrallaan. Tulos näkyy hyvin jo kuviosta, mutta voidaan toki perustella tarkemminkin. (ii) Jos s ja S lasketaan samoilla jakopisteillä, niin väite on selvä, koska m k M k kaikilla k. Muussa tapauksessa tarkastellaan tihennettyä jakoa, jossa on mukana molempien jakojen kaikki pisteet. Väite seuraa tällöin kohdasta (i). Funktion f yläintegraali välillä [a, b] on I + = inf{s S on johonkin jakoon liittyvä yläsumma}, ja vastaava alaintegraali välillä [a, b] on Aina pätee I I +. I = sup{s s on johonkin jakoon liittyvä alasumma}. 1

Määritelmä 1.1 Funktio f : [a, b] R on Riemann-integroituva välillä [a, b], jos I + = I. Tällöin merkitään b a f(x) dx = I +. Supremumin ja infimumin määritelmistä seuraa melko suoraan seuraava tulos. Lause 1.1 Funktio f on Riemann-integroituva välillä [a, b] Jokaista ε > 0 vastaa sellainen jako, jossa S s < ε. Esimerkki 1.2 Kaarenpituus. Olkoon r: [a, b] R n jatkuva; ts. tapauksessa n = 2 on r(t) = (x(t), y(t)) ja funktiot x, y : [a, b] R ovat jatkuvia. Käyrän C = r[a, b] = {r(t) t [a, b]} kaarenpituus on { n l = sup r(t k ) r(t k 1 ) } a = t 0 < t 1 < < t n = b, n N. k=1 Supremum otetaan siis kaikkien parametrivälin [a, b] äärellisten jakojen suhteen. Ainoastaan murtoviivan C tapauksessa kaarenpituus saadaan suoraan jonkin yksittäisen jaon avulla. Toisaalta voidaan osoittaa, että kaarenpituus saadaan aina myös tasaväliseen jakoon perustuvan raja-arvon kautta, eli tapauksessa [a, b] = [0, 1] muodossa l = lim n r(k/n) r((k 1)/n). k=1 Todistus ei ole aivan alkeellinen, koska se vaatii ns. tasaisen jatkuvuuden käsitteen tuntemisen. Jos parametrisointi r on (paloittain) jatkuvasti derivoituva, niin r(t k ) r(t k 1 ) r (t k ) t k t k 1. Kun tutkitaan tarkemmin tämän approksimaation virhettä, niin tästä seuraa kaarenpituudelle käytännöllinen laskukaava l = b a r (t) dt. 2

2 Täydellisyysaksioma Reaalilukujen joukon erottaa rationaalilukujen joukosta Q Täydellisyysaksioma, eli jokin seuraavista keskenään yhtäpitävistä ominaisuuksista (i), (ii) ja (iii). Esimerkiksi ominaisuus (i) ei ole voimassa rationaalilukujen osajoukolle A = {x Q x 2 < 2}, koska 2 Q lauseen 3.1 nojalla. Tärkein yhteys on (i) (ii), jonka todistaminen onnistuu helposti myös ilman kohtaa (iii). Aksioma 2.1 (i) Jos A R on ylhäältä rajoitettu joukko, niin sillä on pienin yläraja sup A R. (ii) Nouseva ja ylhäältä rajoitettu reaalilukujono (a n ) n N suppenee kohti raja-arvoa L R. (iii) Jos (I n ) n N on pienenevä jono (inkluusion suhteen, eli I n+1 I n kaikilla n N) suljettuja välejä I n R, niin leikkaus I n. n=1 Kohdilla (i) ja (ii) on myös yhtäpitävät käänteiset versiot: (i) Jos B R on alhaalta rajoitettu joukko, niin sillä on suurin alaraja inf B R. (ii) Laskeva ja alhaalta rajoitettu reaalilukujono (b n ) n N suppenee kohti raja-arvoa L R. Luentokalvoissa on hahmoteltu perustelut (i) (i) ja (ii) (ii). Ehdon (iii) kohdalla on huomattava, ettei se päde yleensä avoimien sisäkkäisten välien leikkaukselle: ]0, 1/n[=. n=1 Aksioman eri versioiden ekvivalenssin idea: (i) (ii) (iii) (i). Todistus: (i) (ii): Oletetaan, että (i) on voimassa ja olkoon (a n ) nouseva ja ylhäältä rajoitettu jono. Oletuksesta (i) seuraa, että on olemassa L = sup{a n n N} R. Osoitetaan, että lim a n = L. Olkoon ε > 0. Koska L ε ei ole joukon {a n n N} yläraja, niin on olemassa sellainen n ε N, että a nε > L ε. Koska (a n ) on nouseva, niin a n a nε > L ε kaikilla n n ε. Tällöin siis L ε < a n L < L + ε a n L < ε aina, kun n n ε. Tästä seuraa, että lim a n = L, joten ominaisuus (ii) on todistettu. (ii) (iii): Oletetaan, että (ii) on voimassa ja olkoon (I n ) n = ( [a n, b n ] ) n N pienenevä jono suljettuja välejä. Ehdosta I n+1 I n seuraa, että a n+1 a n ja b n+1 b n kaikilla n N. Lisäksi a n b n b 1 ja b n a n a 1 kaikilla n. Näin ollen jono (a n ) on nouseva ja ylhäältä rajoitettu, jono (b n ) laskeva ja 3

alhaalta rajoitettu. Oletuksesta (ii) ja sen käänteisestä muodosta (ii) seuraa, että on olemassa raja-arvot a = lim a n R, b = lim b n R. Lisäksi suppiloperiaatteen nojalla pätee a b. Kun osoitetaan, että I n = [a, b], n=1 niin ominaisuus (iii) on todistettu. Tapaus a = b on myös mahdollinen, muttei aiheuta ongelmia. a) n=1i n [a, b]: Olkoon x n=1i n. Tällöin x I n kaikilla n, ts. a n x b n kaikilla n, joten suppiloperiaatteen nojalla a x b; ts. x [a, b]. b) [a, b] n=1i n : Olkoon x [a, b]. Koska (a n ) on nouseva ja (b n ) laskeva, niin a n a x b b n kaikilla n; ts. x I n kaikilla n. Näin ollen x n=1i n. (iii) (i): Oletetaan, että (iii) on voimassa ja olkoon A R ylhäältä rajoitettu joukko. Valitaan aluksi sellainen a 0 Z, joka ei ole joukon A yläraja, mutta b 0 = a 0 +1 on. Merkitään c 0 = (a 0 +b 0 )/2 R ja tarkastellaan kahta eri tapausta. Jos c 0 on joukon A yläraja, niin valitaan a 1 = a 0 ja b 1 = c 0. Jos c 0 ei ole joukon A yläraja, niin valitaan a 1 = c 0 ja b 1 = b 0. Yleisessä tapauksessa jatketaan samalla periaatteella: Jos pisteet a n ja b n on valittu, niin merkitään c n = (a n + b n )/2 R ja tarkastellaan kahta eri tapausta. Jos c n on joukon A yläraja, niin valitaan a n+1 = a n ja b n+1 = c n. Jos c n ei ole joukon A yläraja, niin valitaan a n+1 = c n ja b n+1 = b n. Näin saadaan jono sisäkkäisiä välejä I n = [a n, b n ] R, jossa n:nnen välin pituus on 1/2 n. Ehdosta (iii) seuraa nyt, että n=1i n. Koska välien pituus lähestyy nollaa, niin leikkauksessa voi olla ainoastaan yksi piste c R; toisin sanoen I n = {c} ja lisäksi epäyhtälöiden n=1 lim a n = lim b n = c c 2 n a n c b n c + 2 n perusteella. Osoitetaan vielä lopuksi, että c = sup A, jolloin ominaisuus (i) on todistettu. a) Luku c on joukon A yläraja: Jos x A, niin x b n kaikilla n, joten suppiloperiaatteen nojalla x lim b n = c. b) Jos c R on joukon A yläraja, niin c c: Vastaoletus: Joukolla A on yläraja c < c. Koska lim a n = c, niin jollakin indeksillä n 1 on voimassa a n1 > c (valitaan raja-arvon määritelmässä esim. ε = (c c )/2). Jonon (a n ) valinnan perusteella a n1 ei ole joukon A yläraja, joten sitä pienempi luku c ei voi sekään olla yläraja. Tämä ristiriita osoittaa vastaoletuksen vääräksi, joten väite on todistettu. 4

3 Irrationaaliluvut Lause 3.1 Reaaliluku 2 on irrationaalinen. Todistus. Vastaoletus: On olemassa sellaiset p Z ja q N, että 2 = p/q. Voidaan olettaa, että p ja q ovat keskenään jaottomia, eli niiden suurin yhteinen tekijä on 1. Oletuksesta seuraa 2 = p 2 /q 2, eli p 2 = 2q 2. Tämä tarkoittaa, että p 2 on parillinen, joten p on parillinen (koska parittoman neliö on pariton: (2n+1) 2 = 2(2n 2 +2n)+1). On siis olemassa k N, jolle p = 2k. Sijoittamalla aikaisempaan yhtälöön saadaan (2k) 2 = 2q 2 eli q 2 = 2k 2. Näin ollen q 2 on parillinen, joten myös q on parillinen. Molemmat luvut p ja q ovat siis parillisia, joka on ristiriita. Vastaoletus on siis väärä, ja lause on todistettu. Lause 3.2 (i) Kahden eri reaaliluvun välissä on aina rationaaliluku (ja itse asiassa äärettömän monta). (ii) Kahden eri reaaliluvun välissä on aina irrationaaliluku (ja itse asiassa äärettömän monta). Todistus. (i) Olkoot r < s reaalilukuja. Koska s r > 0, niin on olemassa q N, jolle 1/q < s r. Koska jonon (p/q) p N peräkkäisten termien erotus on 1/q, täytyy jonkin niistä sijaita avoimella välillä ]r, s[. Toistamalla vastaava päättely nähdään, että tällaisia rationaalilukuja on äärettömän monta. (ii) Olkoon taas r < s. Valitaan aluksi kohdassa (i) saatu rationaaliluku r < p/q < s. Tämän jälkeen voidaan valita niin suuri n N, että 2 n < s p q. Luku x = p q + 2 n ]r, s[ on nyt vaadittu irrationaaliluku, koska vastaoletuksesta x = a/b, a Z, b N, seuraa ristiriita ( a 2 = n b p ) Q. q Toistamalla päättely saadaan äärettömän monta tällaista irrationaalilukua. 5

4 Ylinumeroituvuus Lause 4.1 Reaalilukujen joukko on ylinumeroituva, ts. ei ole olemassa surjektiota f : N R. Todistus. (Cantorin diagonaalimenetelmä) Riittää osoittaa, että äärettömien 0 1-jonojen joukko on ylinumeroituva, koska tällaiset jonot a vastaavat yksikäsitteisellä tavalla desimaalilukuja 0,a [0, 1]. Vastaoletus: Kaikki 0 1-jonot voidaan indeksöidä luonnollisten lukujen avulla muodossa 1. jono = a 1 = a 11 a 12 a 13... 2. jono = a 2 = a 21 a 22 a 23... 3. jono = a 3 = a 31 a 32 a 33...... Tässä siis a mn = m:nnen jonon n:s alkio {0, 1}; historiallisista syistä 0 1- jonot kirjoitetaan ilman sulkuja ja pilkkuja kuten 011010100... Tarkastellaan luettelosta muodostettua diagonaalijonoa d = a 11 a 22 a 33... ja muodostetaan uusi jono d vaihtamalla jonon d jokainen termi operaatiolla a 1 a. Tällöin siis 0 1 ja 1 0. Saatu jono d ei kuitenkaan voi esiintyä yllä olevassa listassa: se ei ole a 1, koska jonojen 1. termit ovat erisuuret; se ei ole a 2, koska jonojen 2. termit ovat erisuuret. Yleisesti, d ei ole a n, koska jonojen n:nnet termit ovat erisuuret. Tämä ristiriita osoittaa vastaoletuksen vääräksi, joten lause on todistettu. 5 Jatkuvien funktioiden väliarvolause Seuraava aputulos kertoo, että joukon supremumia ja infimumia voidaan lähestyä jonon raja-arvona joukon sisältä. Tätä ominaisuutta tarvitaan joissakin sup/inf-sovelluksissa. Lause 5.1 Olkoon C R ja c = sup C. Tällöin on olemassa (nouseva) jono (c n ) joukon C alkioita, jolle lim c n = c. Todistus: Voisimme yrittää valita c n = c 1/n, mutta nämä luvut eivät yleensä kuulu joukkoon C. Sen vuoksi päättelyä täytyy tarkentaa seuraavalla tavalla. Koska c 1 ei ole joukon C yläraja, niin on olemassa c 1 C, jolle c 1 > c 1. Koska c 1/2 ei ole joukon C yläraja, niin on olemassa c 2 C, jolle c 2 > c 1/2. Koska c 1/3 ei ole joukon C yläraja, niin on olemassa c 3 C, jolle c 3 > c 1/3. Yleisesti, luku c 1/n ei ole joukon C yläraja, 6

joten on olemassa c n C, jolle c n > c 1/n. Näin saadaan joukon C alkioista jono (c n ), jolle c 1/n < c n c kaikilla n N. Suppiloperiaatteesta (tai helposti suoraankin) seuraa, että lim c n = c. Jos halutaan muodostaa nouseva jono, niin ensimmäisen vaiheen jälkeen valitaan aina joukon C alkio c n+1 max(c n, c 1/n). Huomaa, että tapauksessa c C ei aina voida muodostaa aidosti nousevaa jonoa 1. Seuraava jatkuvuuden määritelmä on yhtäpitävä tavallisen ε δ-määritelmän kanssa; tähän palataan myöhemmin kurssilla. Määritelmä 5.1 Olkoon A R, f : A R ja a A. Funktio f on jatkuva pisteessä a, jos kaikille joukon A suppeneville jonoille (a n ) pätee: lim a n = a lim f(a n ) = f(a). Funktio f on jatkuva, jos se on jatkuva jokaisessa määrittelyjoukon pisteessä. Käytännössä jatkuvuus tarkoittaa siis kaavaa ( ) lim f(a n) = f lim a n suppeneville jonoille (a n ). Lause 5.2 Olkoon f : [a, b] R jatkuva funktio, jolle f(a)f(b) < 0. Tällöin f(c) = 0 jollakin c ]a, b[. Todistus: Voidaan olettaa, että f(a) > 0 ja f(b) < 0, koska vastakkainen tapaus palautuu tähän tutkimalla jatkuvaa funktiota f. Merkitään C = {x [a, b] f(x) > 0}. Tällöin a C ja b on joukon C yläraja, joten joukko C on epätyhjä ja ylhäältä rajoitettu. On siis olemassa c = sup C [a, b]. Osoitetaan, että f(c) = 0. Jatkuvuudesta seuraa, että c b. Valitaan niin suuri n 0 N, että c + 1/n 0 < b. Koska c = sup C, niin c + 1/n C, joten f(c + 1/n) 0 kaikilla n n 0. Jatkuvuuden perusteella tästä saadaan ( f(c) = f ) lim (c + 1/n) = lim f(c + 1/n) 0. Vastakkainen epäyhtälö saadaan seuraavalla tavalla. Valitaan edellisen lauseen perusteella joukon C pisteistä jono (c n ), joka suppenee kohti lukua c. Koska c n C, niin f(c n ) > 0. Jatkuvuuden perusteella tästä seuraa ( f(c) = f lim c n ) 0. Näistä epäyhtälöistä seuraa, että f(c) = 0, ja lause on todistettu. Edellisen lauseen yleistyksenä saadaan seuraava tulos. 1 Esimerkki: C = [0, 1] {2} 7

Lause 5.3 Olkoon I R väli ja f : I R jatkuva funktio. Tällöin funktion f arvojoukko f[i] = {f(x) x I} R on myös väli. Todistus: Olkoon u, v I ja esimerkiksi f(u) < f(v). Riittää osoittaa, että jokainen f(u) < y < f(v) on funktion arvo, eli muotoa y = f(x) jollakin x I. Jos näin ei ole, niin jatkuvalla apufunktiolla g : I R, g(x) = f(x) y, ei ole nollakohtaa välillä [u, v] I, vaikka sen merkki vaihtuu tällä välillä. Tämä ristiriita todistaa alkuperäisen väitteen. Erityisesti tapauksessa I = [a, b] pätee f[i] = [min f, max f], sillä seuraavassa kappaleessa todistetaan, että suljetulla välillä jatkuva funktio saavuttaa maksiminsa ja miniminsä joissakin välin pisteissä. 6 Jatkuvan funktion maksimi ja minimi Tässä kappaleessa todistetaan jatkuvien funktioiden maksimi- ja minimilause. Todistuksen tärkeä apuväline on osajonon käsite, joka löytyy luentokalvoista. Lause 6.1 Jokaisella reaalilukujonolla on monotoninen osajono. Ennen todistusta muutama huomautus. Todistus on helppo keksiä, jos jono ei ole rajoitettu. Todistus on suoraviivainen myös silloin, jos tiedetään jonon suppenevan. Näin ei voida kuitenkaan olettaa, koska lausetta on tarkoitus soveltaa suppenevien osajonojen olemassaoloon. Alla oleva todistus käsittelee kuitenkin kaikki tapaukset yhdellä kertaa. Lauseesta 6.1 seuraa yhdessä reaalilukujen Täydellisyysaksioman kanssa seuraava tulos. Lause 6.2 Jokaisella rajoitetulla reaalilukujonolla on suppeneva osajono. Lauseen 6.1 todistus: Olkoon (a n ) jokin reaalilukujono. Tarkastellaan indeksijoukkoa S = {n N a m a n kaikilla m > n}. Jos joukko S on ääretön, niin se voidaan esittää muodossa S = {n 1, n 2,... }, 8

jossa n k+1 > n k kaikilla k N. Joukon S määritelmästä seuraa silloin, että osajono (a nk ) k N on nouseva. Jos taas S on äärellinen joukko, niin joukon S yläpuolelta löytyy aidosti kasvava jono indeksejä, joita vastaava osajono on vähenevä. Tarkemmin: Jos S =, niin valitaan n 1 = 1; jos S, niin valitaan n 1 = max S + 1. Molemmissa tapauksissa n 1 S, joten on olemassa sellainen indeksi n 2 > n 1, että a n2 < a n1. Yleisesti, jos indeksi n k S on valittu, niin on olemassa sellainen indeksi n k+1 > n k, että a nk+1 < a nk. Tällä tavalla saadaan alkuperäisen jonon vähenevä osajono. Lause 6.3 Olkoon f : [a, b] R jatkuva. Tällöin funktio f (i) on rajoitettu; (ii) saavuttaa maksiminsa ja miniminsä välillä [a, b]. Todistus: (i) Vastaoletus: f ei ole rajoitettu. Voidaan olettaa, ettei f ole ylhäältä rajoitettu, koska vastaava alhaalta rajoittamaton tapaus on samanlainen. Tällöin jokaista n N vastaa sellainen piste x n [a, b], että f(x n ) > n. Lauseen 6.2 perusteella jonosta (x n ) voidaan valita suppeneva osajono (x ϕ(n) ); olkoon sen raja-arvo x 0 [a, b]. Tällöin f(x ϕ(n) ) > ϕ(n) n kaikilla n N, joka on ristiriidassa jatkuvuudesta seuraavan ehdon lim f(x ϕ(n)) = f(x 0 ) R kanssa. Vastaoletus on siis väärä, ja kohta (i) on todistettu. (ii) Riittää osoittaa, että maksimi saavutetaan, koska minimille vastaava tulos saadaan tutkimalla jatkuvan funktion f maksimia. Merkitään M = sup{f(x) x [a, b]} ja osoitetaan, että f(c) = M jollakin c [a, b]. Edellisen kohdan perusteella M <, joten jokaista n N kohti voidaan valita sellainen piste x n [a, b], että f(x n ) > M 1/n. Lauseen 6.2 nojalla jonosta (x n ) voidaan valita suppeneva osajono (x ψ(n) ). Koska M f(x ψ(n) ) > M 1/ψ(n) M 1/n, niin suppiloperiaatteen nojalla (tai helposti suoraankin) kun merkitään c = lim x ψ(n). M = lim f(x ψ(n) ) = f(c), 9