1 sup- ja inf-esimerkkejä

Samankaltaiset tiedostot
1 sup- ja inf-esimerkkejä

1 Supremum ja infimum

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,... }.

MS-C1540 Euklidiset avaruudet

1 Määrittelyjä ja aputuloksia

Täydellisyysaksiooman kertaus

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,... ).

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

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

Konvergenssilauseita

4.3 Moniulotteinen Riemannin integraali

Funktiojonon tasainen suppeneminen

Luku 2. Jatkuvien funktioiden ominaisuuksia.

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

Miten osoitetaan joukot samoiksi?

3 Lukujonon raja-arvo

3 Lukujonon raja-arvo

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

Analyysi III. Jari Taskinen. 28. syyskuuta Luku 1

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

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

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

Cantorin joukon suoristuvuus tasossa

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.

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

Funktion raja-arvo ja jatkuvuus Reaali- ja kompleksifunktiot

Sarjojen suppenemisesta

Johdatus matemaattiseen päättelyyn

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.

Sarja. Lukujonosta (a k ) k N voi muodostaa sen osasummien jonon (s n ): s 1 = a 1, s 2 = a 1 + a 2, s 3 = a 1 + a 2 + a 3,...,

Johdatus matematiikkaan

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

Derivaattaluvut ja Dini derivaatat

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

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

Analyysi I (mat & til) Demonstraatio IX

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

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

Vektorilaskenta Luennot / 42. Vektorilaskenta Napakoordinaatit

Todistamisessa on tärkeää erottaa tapaukset, kun sääntö pätee joillakin tai kun sääntö pätee kaikilla. Esim. On olemassa reaaliluku x, jolle x = 5.

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

Jordanin sisältö ja Lebesguen ulkomitta

Vastaoletuksen muodostaminen

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

Raja-arvot ja jatkuvuus

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

Vektorilaskenta. Luennot / 54

Topologia I Harjoitus 6, kevät 2010 Ratkaisuehdotus

Sarjat ja integraalit

Toispuoleiset raja-arvot

Epälineaaristen yhtälöiden ratkaisumenetelmät

Joukot metrisissä avaruuksissa

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Matemaattisen analyysin tukikurssi

1 Reaaliset lukujonot

V. POTENSSISARJAT. V.1. Abelin lause ja potenssisarjan suppenemisväli. a k (x x 0 ) k M

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

7. Tasaisen rajoituksen periaate

Analyysi 1. Pertti Koivisto

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

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

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

Poistumislause Kandidaatintutkielma

Matematiikan tukikurssi

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

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

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

Johdatus matematiikkaan

Matematiikan tukikurssi

Analyysin peruslause

Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta.

Matematiikan tukikurssi

Funktiot ja raja-arvo. Pekka Salmi

Esimerkki kaikkialla jatkuvasta muttei missään derivoituvasta funktiosta

Ratkaisuehdotus 2. kurssikokeeseen

Alkulukujen harmoninen sarja

Ratkaisuehdotus 2. kurssikoe

Reaalifunktioista 1 / 17. Reaalifunktioista

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

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

Johdatus lukuteoriaan Harjoitus 11 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

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

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21

MS-A0102 Differentiaali- ja integraalilaskenta 1

x j x k Tällöin L j (x k ) = 0, kun k j, ja L j (x j ) = 1. Alkuperäiselle interpolaatio-ongelmalle saadaan nyt ratkaisu

Todistusmenetelmiä Miksi pitää todistaa?

Tenttiin valmentavia harjoituksia

2 Konveksisuus ja ratkaisun olemassaolo

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

Johdatus matemaattiseen päättelyyn

Derivaatasta ja derivoituvuudesta

1 Lineaariavaruus eli Vektoriavaruus

YHDEN REAALIMUUTTUJAN ANALYYSIN PERUSTEET. Tero Kilpeläinen

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä

Johdatus matematiikkaan

Määritelmä, alkuluku/yhdistetty luku: Esimerkki . c) Huomautus Määritelmä, alkutekijä: Esimerkki

Seuraava topologisluonteinen lause on nk. Bairen lause tai Bairen kategorialause, n=1

saadaan kvanttorien järjestystä vaihtamalla ehto Tarkoittaako tämä ehto mitään järkevää ja jos, niin mitä?

Transkriptio:

Alla olevat kohdat (erityisesti todistukset) ovat lähinnä oheislukemista reaaliluvuista, mutta joihinkin niistä palataan myöhemmin kurssilla. 1 sup- ja inf-esimerkkejä Nollakohdan olemassaolo. Kaikki tuntevat lukiomatematiikasta tutun lauseen, jonka mukaan jatkuvalla funktiolla on nollakohta sellaisella välillä, jolla funktio vaihtaa merkkiä. Tämä on kuitenkin yksi niistä 3 4:stä perustuloksesta, joiden todistaminen "alkeellisesti" on hankalaa. Lause seuraa erikoistapauksena tämän kurssin loppuosan yhtenäisyyttä koskevista tuloksista, mutta tässä esimerkkinä todistus, jossa tarvitaan ainoastaan supremumin käsitettä ja sen ominaisuuksia. Lause 1.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. Jatkamalla tällä tavalla 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 c n+1 max(c n, c 1/n). Huomaa, että tapauksessa c C ei aina voida muodostaa aidosti nousevaa jonoa. Seuraava jatkuvuuden määritelmä on yhtäpitävä tavallisen ε-δ-määritelmän kanssa; tähän palataan myöhemmin kurssilla. Määritelmä 1.1 Olkoon A R, f : A R ja a A. Funktio f on jatkuva pisteessä a, jos kaikille joukon A jonoille (a n ) pätee: lim a n = a lim f(a n ) = f(a). Funktio f on jatkuva joukossa A, jos se on jatkuva jokaisessa pisteessä a A. 1

Käytännössä jatkuvuus tarkoittaa siis kaavaa ( ) lim f(a n) = f lim a n suppeneville jonoille (a n ). Lause 1.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. 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. Supremum otetaan siis kaikkien parametrivälin [a, b] äärellisten jakojen suhteen. Ainoastaan murtoviivan C tapauksessa kaarenpituus saadaan suoraan jonkin yksittäisen jaon avulla. 2

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). Todistus ei ole aivan alkeellinen, koska se vaatii ns. tasaisen jatkuvuuden käsitteen tuntemisen. 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 ja siihen liittyvä yläsumma a = x 0 < x 1 < x 2 < < x n = b S = n M k (x k x k 1 ), M k = sup{f(x) x k 1 x x k }, ja alasumma s = n m k (x k x k 1 ), m k = inf{f(x) x k 1 x x k }. Aina pätee: (i) Kun jako tihenee, niin s kasvaa ja S pienenee. (ii) s S, vaikka ne laskettaisiin eri jakopisteillä. Perustelu: (i) Tutkitaan, mitä tapahtuu, kun lisätään yksi uusi jakopiste kerrallaan. (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 I = sup{s s on johonkin jakoon liittyvä alasumma}. 3

Aina pätee I I +. Funktio f 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: Funktio f on Riemannintegroituva välillä [a, b] jokaista ε > 0 vastaa sellainen jako, jossa S s < ε. 2 Täydellisyysaksioma Reaalilukujen joukon erottaa rationaalilukujen joukosta Q Täydellisyysaksioma, eli jokin seuraavista keskenään yhtäpitävistä ominaisuuksista: (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) suljettuja välejä I n R, niin leikkaus I n. n=1 Todistuksen idea: (i) (ii) (iii) (i). (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 + ε 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 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. 4

Näin ollen jono (a n ) on nouseva ja ylhäältä rajoitettu, jono (b n ) laskeva ja 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 mahdollinen, mutta OK!) 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, että a 0 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. 5

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. 3 Ylinumeroituvuus Lause 3.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}. Tarkastellaan luettelosta muodostettua diagonaalijonoa d = a 11 a 22 a 33... ja muodostetaan uusi jono d vaihtamalla jonon d jokainen alkio 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. 6

4 Irrationaaliluvut Lause 4.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 4.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. 7