Analyysi 1. Pertti Koivisto

Samankaltaiset tiedostot
Analyysi A. Raja-arvo ja jatkuvuus. Pertti Koivisto

3 Lukujonon raja-arvo

3 Lukujonon raja-arvo

1 Määrittelyjä ja aputuloksia

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

1 sup- ja inf-esimerkkejä

1 Supremum ja infimum

Luku 2. Jatkuvien funktioiden ominaisuuksia.

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

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

1 sup- ja inf-esimerkkejä

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

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

Johdatus matemaattiseen päättelyyn

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

Täydellisyysaksiooman kertaus

Analyysi III. Jari Taskinen. 28. syyskuuta Luku 1

Sarjojen suppenemisesta

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

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

Johdatus matemaattiseen päättelyyn

1 Reaaliset lukujonot

Raja-arvot ja jatkuvuus

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

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

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Todistusmenetelmiä Miksi pitää todistaa?

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

(2n 1) = n 2

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi

Konvergenssilauseita

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

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

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

1. Logiikan ja joukko-opin alkeet

Johdatus matematiikkaan

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

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.

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

Johdatus matemaattiseen päättelyyn

Joukot. Georg Cantor ( )

Matematiikan tukikurssi, kurssikerta 3

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

Johdatus matemaattiseen päättelyyn (5 op)

Funktiot ja raja-arvo. Pekka Salmi

MS-A0402 Diskreetin matematiikan perusteet

Matematiikan tukikurssi

Kuinka määritellään 2 3?

Vastaoletuksen muodostaminen

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120

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

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.

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.

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

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

Tehtävä 3. Määrää seuraavien jonojen raja-arvot 1.

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

Tenttiin valmentavia harjoituksia

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B.

Matemaattisen analyysin tukikurssi

Matematiikan tukikurssi

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

Matematiikan tukikurssi, kurssikerta 5

Johdatus matematiikkaan

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

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Lukujonon raja-arvo 1/7 Sisältö ESITIEDOT: lukujonot

2 Funktion derivaatta

Johdatus matematiikkaan

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.

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

2 Funktion derivaatta

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

Derivaattaluvut ja Dini derivaatat

Positiivitermisten sarjojen suppeneminen

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

1. Osoita juuren määritelmän ja potenssin (eksponenttina kokonaisluku) laskusääntöjen. xm = ( n x) m ;

Luonnollisten lukujen ja kokonaislukujen määritteleminen

Johdatus matematiikkaan

Outoja funktioita. 0 < x x 0 < δ ε f(x) a < ε.

Funktiot ja raja-arvo P, 5op

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg

1 Peruslaskuvalmiudet

Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi

Matematiikan peruskurssi 2

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

1 Lineaariavaruus eli Vektoriavaruus

Olkoon funktion f määrittelyjoukkona reaalilukuväli (erityistapauksena R). Jos kaikilla määrittelyjoukon luvuilla x 1 ja x 2 on voimassa ehto:

Reaaliluvuista. Yleistä funktio-oppia. Trigonometriset funktiot. Eksponentti- ja logaritmifunktiot. LaMa 1U syksyllä 2011

802320A LINEAARIALGEBRA OSA I

=p(x) + p(y), joten ehto (N1) on voimassa. Jos lisäksi λ on skalaari, niin

Sisältö. Sarjat 10. syyskuuta 2005 sivu 1 / 17

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko?

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

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011

Tehtävä 1. Arvioi mitkä seuraavista väitteistä pitävät paikkansa. Vihje: voit aloittaa kokeilemalla sopivia lukuarvoja.

MS-A0102 Differentiaali- ja integraalilaskenta 1

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016

Johdatus matemaattisen analyysin teoriaan

Transkriptio:

Analyysi Pertti Koivisto Syksy 204

Alkusanat Tämä moniste on tarkoitettu oheislukemistoksi Tampereen yliopistossa pidettävälle kurssille Analyysi. Monisteen tavoitteena on tukea luentojen seuraamista, harjoitustehtävien ratkaisemista ja tentteihin valmistautumista. Moniste sisältää melko kattavasti kurssilla käsiteltävät asiat, mutta paikoitellen lisäselitykset ja mahdollinen lisämateriaali helpottanevat tekstin seuraamista ja esitettyjen asioiden ymmärtämistä. Moniste ei varsinaisesti ole tarkoitettu kattavaksi itseopiskelupaketiksi. Monisteen rakenne ja sisältö pohjautuvat suurelta osin jo edesmenneen Seppo Vepsäläisen aikoinaan Tampereen yliopistossa pitämiin luentoihin. Sisältöä on jonkin verran muokattu kevyempään suuntaan ja myös rakenteessa on tehty muutoksia. Kurssin menestyksellinen seuraaminen edellyttää lukion pitkän matematiikan hyvää hallintaa. Tampereen yliopiston opintojaksot Matematiikan peruskäsitteitä ja Johdatus analyysiin pitäisi suorittaa vähintään samanaikaisesti kurssin Analyysi kanssa. Matematiikan opiskelu saattaa tuntua joskus työläältä, ja tämänkin kurssin opiskelu vaatii useimmilta melko lailla aikaa ja välillä kovaakin ponnistelua. Pelkkä luentojen kuunteleminen tai luentomonisteen toistuvakaan läpilukeminen ei kuitenkaan johda oppimiseen. Oppimisen kannalta tärkeintä on itsenäinen työskentely. Esitetyt todistukset ja esimerkit pitää käydä yksityiskohtaisesti läpi kynää ja paperia käyttäen sillä tarkkuudella, että kaikki yksityiskohdat ja päättelyt tulevat ymmärretyksi. Myös harjoitustehtävien ratkominen on olennaista, sillä esitetyn asian hallitsee vasta, kun pystyy itsenäisesti käsittelemään siihen liittyviä tehtäviä. Kurssin suorittamisen vaatimaa ajankäyttöä suunnitellessa kannattaa huomioida edellä mainitun itsenäisen työn suuri osuus. Jos lukion matematiikka tai muut esitiedot ovat päässeet unohtumaan tai niiden hallinnassa on muusta syystä puutteita, myös esitietojen kertaamiseen pitää varata riittävästi aikaa (kurssin Analyysi seuraamisen ohessa). Todistuksien ja esimerkkien huolellinen läpikäynti synnyttää usein paperijätettä. Harjoitustehtäviä ratkaistaessa taas ensimmäinen yritelmä ei läheskään aina tuota oikeaa lopputulosta. Roskakori tai paperinkeräyslaatikko onkin kurssin asioita opiskeltaessa kynän ja paperin ohella hyödyllinen apuväline. Lopuksi esitän kiitokset kaikille, jotka ovat kommenteillaan, ehdotuksillaan ja neuvoillaan auttaneet minua tämän monisteen teossa. Pertti Koivisto

Sisältö Reaalilukujen teoriaa. Merkintöjä ja peruskäsitteitä.......................2 Itseisarvo................................ 8.3 Reaaliluvut............................... 4.4 Reaalilukujen joukon täydellisyys................... 7 2 Lukujonon raja-arvo 23 2. Määritelmä ja perusominaisuuksia................... 23 2.2 Laskusääntöjä.............................. 32 2.3 Monotonisista jonoista......................... 4 2.4 Cauchyn jonoista............................ 53 2.5 Raja-arvokäsitteen laajentaminen................... 56 3 Funktion raja-arvo 58 3. Reaauuttujan funktioista...................... 58 3.2 Raja-arvon määritelmä ja perustuloksia................ 6 3.3 Toispuoleiset raja-arvot......................... 76 3.4 Monotoniset funktiot.......................... 8 3.5 Raja-arvokäsitteen laajentaminen................... 83 4 Funktion jatkuvuus 89 4. Määritelmä ja perustuloksia...................... 89 4.2 Jatkuvia funktioita koskevia tuloksia................. 95 4.3 Suljetulla välillä jatkuvan funktion ominaisuuksia.......... 0 4.4 Käänteisfunktion jatkuvuudesta.................... 07 4.5 Tasainen jatkuvuus........................... 0 5 Funktion derivaatta 4 5. Määritelmiä ja perusominaisuuksia.................. 4 5.2 Yhdistetyn funktion ja käänteisfunktion derivaatta......... 23 5.3 Rollen lause ja väliarvolause...................... 30 6 Transkendenttisia alkeisfunktioita 39 6. Trigonometristen funktioiden käänteisfunktiot............ 39 6.2 Eksponenttifunktio........................... 53

6.3 Logaritmifunktio............................ 62 6.4 Yleinen eksponentti-, logaritmi- ja potenssifunktio.......... 66 7 Derivoituvan funktion ominaisuuksia 72 7. Väliarvolauseen yleistys, l Hospitalin sääntö............. 72 7.2 Funktion ääriarvot........................... 79

Reaalilukujen teoriaa. Merkintöjä ja peruskäsitteitä Aluksi esitetään lyhyesti muutamia käytettäviä merkintöjä ja peruskäsitteitä. Käytännön syistä asioita esitetään vain siinä laajuudessa kuin on tarpeen kurssin seuraamiseksi. Täsmällisesti näitä ja muita vastaavia asioita tutkitaan muilla matematiikan kursseilla... Loogisia symboleja ja merkintöjä Konnektiiveja ja kvanttoreita käytetään tällä kurssilla lähinnä lyhennysmerkintöinä luonnollisen kielen ilmaisuille. negaatio ei konjunktio ja Konnektiivit disjunktio tai implikaatio jos... niin ekvivalenssi silloin ja vain silloin eksistenssi on olemassa Kvanttorit universaali kaikilla Merkintää käytetään lyhenteenä merkityksessä ei ole olemassa. Esimerkki.. Kvanttorien ja konnektiivien avulla voidaan esittää matemaattisia väitteitä täsmällisessä muodossa: (i) (x 2 + < 0) x 2 + 0, (ii) x > 0: x 2 = 0, (iii) x > 0: y > 0: y 2 = x. Selvästi ensimmäinen väite on tosi, mutta kahden jälkimmäisen totuus riippuu siitä, missä perusjoukossa tarkastelu suoritetaan (ks. esimerkki.7, s. 4). Edellä mainittujen loogisten symbolien lisäksi käytetään merkintää tarkoittamaan seurausta. Merkintä voidaan tulkita lyhenteeksi esimerkiksi sanoille siis, siten, täten, tällöin jne. Kaksoispistettä käytetään joskus lyhenteenä sanonnalle siten, että.

..2 Joukko ja osajoukko Joukko voidaan antaa esimerkiksi luettelemalla sen alkiot tai ilmoittamalla sen alkiot määrittävä ominaisuus. Esimerkki.2. A = {, 2, 3} = {, 2, 3,, 3} = joukko, jonka alkiot ovat, 2 ja 3. Esimerkki.3. A = {x on kokonaisluku x 2 = 4} = { 2, 2}. Kurssilla käytetään seuraavia joukko-opillisia merkintöjä. a A a on joukon A alkio, ts. a kuuluu joukkoon A. a / A a ei ole joukon A alkio, ts. a ei kuulu joukkoon A. A B A B Joukko A on joukon B osajoukko, jos kaikki A:n alkiot ovat myös joukon B alkioita. Tällöin sanotaan, että A sisältyy joukkoon B. Jos A B ja A B, niin tällöin A on joukon B aito osajoukko. T yhjä joukko on joukko, johon ei kuulu yhtään alkiota. Huomautus. Jos A on joukko, niin A ja A A...3 Tärkeimpien lukujoukkojen merkinnät Tärkeimmillä lukujoukoilla on vakiintuneet merkintänsä. Tällä kurssilla N = {0,, 2, 3,...} on luonnollisten lukujen joukko, Z = {..., 2,, 0,, 2,...} on kokonaislukujen joukko, Z + = {, 2, 3,...} on positiivisten kokonaislukujen joukko, Z = {x x Z + } on negatiivisten kokonaislukujen joukko, Q = { p p Z, q Z, q 0} on rationaalilukujen joukko, q R on reaalilukujen joukko, C = {a + bi a, b R, i 2 = } on kompleksilukujen joukko. Joukot Q +, Q, R + ja R määritellään vastaavalla tavalla kuin kokonaisluvuillekin. 2

Huomautus. Vaikka termit ovat vakiintuneet, ne eivät kuitenkaan ole täysin standardeja. Luonnollisten lukujen joukko nimittäin tarkoittaa toisinaan nyt määritellyn joukon sijasta joukkoa {, 2, 3,...}. Tällä kurssilla tuota joukkoa kutsutaan positiivisten kokonaislukujen joukoksi (= Z + ). Huomautus. Nyt pätee Z + N Z Q R C. Esimerkki.4. Parillisten ja parittomien luonnollisten lukujen joukot voidaan esittää {0, 2, 4,...} = {n N k N : n = 2k}, {, 3, 5,...} = {n N k N : n = 2k + }. Esimerkki.5 (Bernoullin epäyhtälö). Jos x R, x >, niin ( + x) n + nx kaikilla n N. Bernoullin epäyhtälö on helppo todistaa käyttämällä induktioperiaatetta (harjoitustehtävä)...4 Joukkojen perusoperaatiot Seuraavaksi esitetään muutamia joukko-opillisia operaatioita, joita käyttäen voidaan muodostaa tunnetuista joukoista uusia joukkoja. Olkoot siis A ja B joukkoja. Tällöin joukkojen A ja B yhdiste (unioni) A B = {x x A tai x B}, leikkaus A B = {x x A ja x B}, erotus A \ B = {x x A ja x B}. Usein joukkoja tarkastellaan jonkin laajemman joukon osajoukkoina. Tällaista joukkoa sanotaan perusjoukoksi ja sitä merkitään usein symbolilla Ω. Tällöin voidaan muodostaa joukon A komplementti A c = Ω \ A = {x Ω x A}. Komplementista käytetään joskus myös muita merkintöjä, esimerkiksi A, A, Ã, A, \A, A, C(A). 3

Esimerkki.6. (a) N = Z + {0}, (b) Z + \ { x Z + x 2 Z +} = {, 3, 5,...}, (c) A \ A = aina, kun A on joukko. Esimerkki.7. Jatketaan esimerkin. väitteiden (ii) x > 0: x 2 = 0 ja (iii) x > 0: y > 0: y 2 = x käsittelyä. Jos väitteitä tarkastellaan esimerkiksi joukossa R, molemmat väitteet ovat tosia. Väitteessä (ii) voidaan nimittäin valita x = ja väitteessä (iii) vastaavasti y = x (kun x > 0). Joukossa R \ {2} väite (ii) on edelleen tosi, mutta väite (iii) muuttuu epätodeksi. Jos nimittäin x = 4, niin minkään joukkoon R \ {2} kuuluvan positiivisen reaaliluvun neliö ei ole x. Joukossa R \ {, 2} taas kumpikaan väite ei päde, ja jos perusjoukoksi valitaan R \ {}, niin väite (ii) on epätosi ja väite (iii) tosi...5 Reaalilukuvälit Reaalilukuväliä eli lyhyemmin väliä merkitään usein kirjaimella I tai. Olkoon a, b R ja a < b. Tällöin voidaan määritellä (äärelliset) reaalilukuvälit [a, b] = {x R a x b} (suljettu väli), ]a, b[ = {x R a < x < b} (avoin väli), [a, b[ = {x R a x < b} (puoliavoin väli), ]a, b] = {x R a < x b} (puoliavoin väli). Koska a < b, niin tyhjä joukko tai yksittäinen piste ei ole väli. Myös seuraavista joukoista käytetään väli-nimitystä (a R): [a, [ = {x R x a}, ]a, [ = {x R x > a}, ], a] = {x R x a}, ], a[ = {x R x < a}, ], [ = R. Huomautus. Yllä on symboli, joka on suurempi kuin mikä tahansa reaaliluku. Tällöin on pienempi kuin mikä tahansa reaaliluku. Siis tai eivät ole reaalilukuja. 4

..6 Rajoitettu joukko Tarkastellaan seuraavaksi vielä lyhyesti, mitä rajoitetulla reaalilukujen osajoukolla tarkoitetaan. Määritelmä.. Olkoon A R, A. Joukko A on ylhäältä rajoitettu, jos on olemassa M R siten, että a M kaikilla a A. Tällöin M on (eräs) joukon A yläraja. Määritelmä.2. Olkoon A R, A. Joukko A on alhaalta rajoitettu, jos on olemassa m R siten, että a m kaikilla a A. Tällöin m on (eräs) joukon A alaraja. Huomautus. Joukko R ei itse ole ylhäältä eikä alhaalta rajoitettu. Huomautus. Olkoon A R, A. Jos M R on joukon A yläraja ja M > M, niin myös M on joukon A yläraja. Vastaavasti jos m R on joukon A alaraja ja m < m, niin myös m on joukon A alaraja. Huomautus. Olkoon A R, A. Jos M R on joukon A yläraja, niin A ], M], ja jos m R on joukon A alaraja, niin A [m, [. Esimerkki.8. Olkoon A = ], 5]. Tällöin joukon A ylärajoja ovat luku 5 ja kaikki lukua 5 suuremmat reaaliluvut. Alarajoja ovat vastaavasti luku ja kaikki lukua pienemmät reaaliluvut. Erityisesti on syytä huomata, että joukon ylä- tai alarajan ei tarvitse kuulua joukkoon, mutta se voi kuulua. Määritelmä.3. Joukko on rajoitettu, jos se on sekä ylhäältä että alhaalta rajoitettu. Huomautus. Jos A R, A, niin seuraavat väitteet ovat yhtäpitäviä. (i) Joukko A on rajoitettu. (ii) On olemassa sellaiset m R ja M R, että m a M kaikilla a A. (iii) On olemassa sellaiset m R ja M R, että A [m, M]. (iv) On olemassa sellainen M > 0, että A [ M, M]. 5

..7 Summa ja tulo Jos n Z + ja a, a 2,..., a n R, niin merkitään a + a 2 + + a n = n a i (= i= n+2 i=3 a i 2 = n a k ). k= Summan rajoja voidaan muuttaa, jos muutos kompensoidaan vastaavalla muutoksella summattavassa lausekkeessa. Summausindeksin merkintäkirjaimella ei myöskään ole merkitystä. Huomautus. Merkintä voidaan laajentaa tapaukseen n < (tai yleisemmin tapaukseen yläraja < alaraja) sopimalla, että kyseessä on ns. tyhjä summa, jonka arvoksi määritellään 0. Esimerkki.9. Lukujen, 2, 3, 4 neliöiden summa + 4 + 9 + 6 = 4 i 2. i= Esimerkki.0. Lukujen, 2,..., 00 neliöiden summa voidaan merkitä 00 i= i 2 = 99 i=0 (i + ) 2 = 0 k=2 (k ) 2. Esimerkki.. Summattaessa tapahtuu usein kumoutumista. Esimerkiksi n (a i a i ) = (a a 0 ) + (a 2 a ) + + (a n a n ) i= = a n a 0. Esimerkki.2. Jos summattava ei sisällä summausindeksistä riippuvia lausekkeita, saadaan yksinkertaisesti n a = i= n kpl {}}{ a + a + + a = na. Palautetaan vielä mieleen luvun n N kertoma ja binomikerroin n! = 2 n (= n (n )!) (n ), 0! = ( ) n k = n! k!(n k)! (0 k n), jonka avulla voidaan kätevästi esittää binomikaava. Kaavan todistus (induktio tai kombinatorinen perustelu) jätetään harjoitustehtäväksi. 6

Esimerkki.3 (Binomikaava). Jos x, y R ja n Z +, niin (x + y) n = Vastaavasti kuin summalle merkitään n i=0 ( ) n x n i y i. i a a 2 a n = n a i. i= Huomautus. Tämäkin merkintä voidaan laajentaa tapaukseen n < (tai yleisemmin tapaukseen yläraja < alaraja) sopimalla, että kyseessä on ns. tyhjä tulo, jonka arvoksi määritellään. Esimerkki.4. Lukujen, 2, 3, 4 neliöiden tulo 4 9 6 = 4 i 2. i= Jos x = 0 tai y = 0, on binomikaavan summamuodossa tulkittava 0 0 =. Jos käytetään muotoilua (x + y) n = ( ) n x n + 0 tulkintaongelmia ei synny. ( ) n x n y + ( ) ( ) n n x n 2 y 2 + + xy n + 2 n 7 ( ) n y n, n

.2 Itseisarvo.2. Määritelmä ja perusominaisuuksia Määritelmä.4. Reaaliluvun x itseisarvo x, kun x 0, x = x, kun x < 0. Huomautus.. Selvästi x = x (kaikilla x R). Lause.2. Olkoon x, y R. Tällöin (a) x x x, (b) x > 0, jos x 0, ja x = 0, jos x = 0, (c) xy = x y. Todistus. Kohdat (a) ja (b) seuraavat suoraan itseisarvon määritelmästä. Kohta (c) seuraa itseisarvon määritelmästä, kun tarkastellaan erikseen lukujen x ja y eri merkkiyhdistelmiä. Täsmällinen suoritus jätetään harjoitustehtäväksi. Lause.3. Olkoon x, y R. Tällöin x 2 < y 2 x < y. Todistus. Lauseen.2c ja itseisarvon määritelmän nojalla x 2 = x x = x x = x 2 = x 2 kaikilla x R. Jos x = y = 0, niin lauseen väite on selvästi tosi. Jos taas x 0 tai y 0, niin lauseen.2b nojalla x + y > 0, joten x 2 < y 2 x 2 < y 2 x 2 y 2 < 0 ( x + y ) ( x y )) < 0 x y < 0 x < y. 8

.2.2 Itseisarvo etäisyytenä Geometrisesti x y tarkoittaa lukujen x ja y välistä etäisyyttä. Erityisesti x on luvun x etäisyys nollasta. Lause.4. Jos a, x R, niin x < a a < x < a. Todistus. Jos a 0, niin lause on triviaalisti tosi. Olkoon siis a > 0. Tarkastellaan ensin suuntaa, ja oletetaan, että x < a. Tällöin on kaksi mahdollisuutta.. Jos x 0, niin a < x = x < a. 2. Jos x < 0, niin a > x = x > a. Siis kummassakin tapauksessa väite on tosi. Tarkastellaan sitten suuntaa, ja oletetaan, että a < x < a. Tällöin on kaksi mahdollisuutta.. Jos x 0, niin x = x < a. 2. Jos x < 0, niin x = x < ( a) = a. Siis kummassakin tapauksessa väite on tosi. Seuraavat lauseen.4 seuraukset ovat ilmeisiä. Seuraus.5. Jos a, x R, niin x > a x > a tai x < a. Seuraus.6. Jos a, b, x R, niin x b < a b a < x < b + a. Seuraus.7. Joukko A R, A, on rajoitettu täsmälleen silloin, kun on olemassa sellainen M R, että a M kaikilla a A. Esimerkki.5. Jos x y < 2, niin lukujen x ja y välinen etäisyys on pienempi kuin 2. Jos esimerkiksi x = 5, niin 3 < y < 7 eli y ]3, 7[. 9

Esimerkki.6. Milloin epäyhtälö x 3 + x < 4 on voimassa? Suoraviivainen tapa ratkaista tehtävä on poistaa itseisarvot jakamalla reaalilukujoukko sopiviin osiin. Ratkaistaan tehtävä nyt kuitenkin tutkimalla etäisyyksiä. Epäyhtälö tarkoittaa, että pisteen x etäisyys pisteistä ja 3 on yhteensä vähemmän kuin 4. Koska pisteiden ja 3 välinen etäisyys on 2, kyseeseen tulevat ensinnäkin kaikki välin [, 3] pisteet. Kyseisen välin ulkopuolelta mukaan tulevat pisteet, joiden etäisyys välin päätepisteistä on vähemmän kuin eli välien ]0, [ ja ]3, 4[ pisteet. Siis vastaukseksi saadaan välin ]0, 4[ pisteet. Esimerkki.7. Osoitetaan, että jos x 3 < 7 3, niin x 2 9 < 7 2. Valitaan x R siten, että x 3 < 7 3. Aputuloksena havaitaan ensin, että tällöin x 3 <, joten x ]2, 4[ ja edelleen 5 < x + 3 < 7. Täten lauseen.2c, itseisarvon määritelmän, aputuloksen ja oletuksen nojalla x 2 9 = (x + 3)(x 3) = x + 3 x 3 = (x + 3) x 3 7 x 3 < 7 7 3 = 7 2. Esimerkki.8. Etsitään sellainen h > 0, että jos x 4 < h, niin x 2 < 0 5. Voidaan olettaa, että h < 4. Tällöin x 4 < 4, joten x > 0 ja edelleen x > 0. Täten ( x 2)( x + 2) x 2 = x + 2 = x > 0 = x 4 x + 2 x + 2 x 4 x > 0 x 4 2 < 0 5, kun x 4 < 2 0 5. Siis voidaan valita h = 2 0 5. 0

.2.3 ε-ympäristö Määritelmä.5. Olkoon ε > 0. Pisteen a R lukujen x R joukko, jotka toteuttavat ehdon ε-ympäristö U ε (a) on niiden x a < ε. Toisin sanoen U ε (a) = { x R x a < ε }. Huomautus. Pisteen a ε-ympäristöä merkitään myös U(a, ε). Huomautus. Pisteen a ε-ympäristö on niiden lukujen x joukko, joiden etäisyys pisteestä a on pienempi kuin ε. Seurauksen.6 perusteella a ε < x < a + ε eli U ε (a) = ]a ε, a + ε[. Esimerkki.9. U (5) = U(5, ) = ]4, 6[, U(2, n ) = ]2 n, 2 + n [ (n Z +). Määritelmä.6. Pisteen a puhkaistu ε-ympäristö U ε(a) on pisteen a ε-ympäristö, josta itse piste a on poistettu. Toisin sanoen U ε(a) = ]a ε, a + ε[ \ {a}. Esimerkki.20. U 2(5) = ]3, 5[ ]5, 7[..2.4 Kolmioepäyhtälö Lause.8 (Kolmioepäyhtälö). Olkoon x, y R. Tällöin x ± y x + y. Todistus. Koska y = y, riittää todistaa tapaus x + y. Lauseen.2a nojalla x x, x x, y y, y y x, y R, joten x + y x + y ja (x + y) x + y. Siis itseisarvon määritelmän perusteella x + y x + y.

Huomautus. Kolmioepäyhtälöstä käytetään usein merkintää -ey. Esimerkki.2. Osoitetaan, että jos x < 2 ja y < 3, niin x y < 5. Nyt kolmioepäyhtälön nojalla (vrt. seuraus.0) x y = (x ) (y ) x + y < 2 + 3 = 5. Seuraus.9 (Käänteinen kolmioepäyhtälö). Olkoon x, y R. Tällöin x y x ± y. Todistus. Nytkin riittää todistaa tapaus x + y. Kolmioepäyhtälön ja huomautuksen. (s. 8) nojalla joten y = ( x) + (x + y) x + x + y, x = ( y) + (x + y) y + x + y, ( x y ) x + y, Siis itseisarvon määritelmän perusteella x y x + y. x y x + y. Seuraus.0. Olkoon x, y, z R. Tällöin x y x z + y z. Todistus. Kolmioepäyhtälön nojalla x y = (x z) (y z) x z + y z. Seuraus. (Kolmioepäyhtälön yleistys). Olkoon x, x 2,..., x n R. Tällöin n n x i x i. i= Todistus. Induktiolla (harjoitustehtävä). i= 2

Lause.2 (Cauchy-Schwarzin epäyhtälö). Olkoon a,..., a n, b,..., b n R. Tällöin (.) ( n ) 2 ( n )( a i b i a 2 n ) i b 2 i i= }{{ } i= }{{} i= }{{} C A B Todistus. Olkoot A, B ja C kuten yllä on merkitty. Tällöin väite saa muodon Neliöiden summana C 2 AB. 0 n (a i u + b i v) 2 = Au 2 + 2Cuv + Bv 2 u, v R. i= Valitaan u = B ja v = C. Tällöin 0 AB 2 2BC 2 + BC 2 = B(AB C 2 ). Jos nyt B = 0 (B 0 aina), niin b i = 0 kaikilla i =, 2,..., n, joten (.) on voimassa. Jos taas B > 0, niin AB C 2 0. Siis C 2 AB. 3

.3 Reaaliluvut Määritellään reaaliluvut ja laskutoimitukset + ja suoraan aksiomaattisesti. Tällöin joukon R on täytettävä. kunta-aksioomat (joukon R algebralliset ominaisuudet), 2. järjestysaksioomat (epäyhtälöiden käsittelysäännöt), 3. täydellisyysaksiooma (käsitteen raja-arvo määrittely)..3. Kunta-aksioomat Kunta-aksioomista A A6 seuraavat reaalilukujen algebralliset ominaisuudet. Aksioomat ovat A. x, y R : x + y = y + x, xy = yx (vaihdantalait), A2. x, y, z R : x + (y + z) = (x + y) + z, x(yz) = (xy)z (liitäntälait), A3. x, y, z R : x(y + z) = xy + xz (osittelulaki), A4. 0 R : x R : x + 0 = x (nolla-alkio), R : x R : x = x (ykkösalkio), A5. x R : ( x) R : x + ( x) = 0 (vasta-alkio), A6. x R \ {0}: x R : x x = (käänteisalkio). Huomautus. Symbolit 0,, x ja x ovat merkintöjä. Huomautus. Jos johonkin joukkoon K liittyy kaksi sellaista laskutoimitusta (binäärioperaatiota, nk. summa ja tulo), että aksioomat A A6 ovat voimassa joukon K alkioille, sanotaan joukkoa K kunnaksi. Esimerkiksi R on (eräs) kunta. Huomautus. Edellisessä huomautuksessa mainittujen laskutoimitusten yksikäsitteisten tulosten täytyy tietysti kuulua joukkoon K. Esimerkiksi joukon N vähennyslasku ja joukon Z jakolasku eivät kelpaa ko. laskutoimituksiksi. Vaihtoehtoinen tapa olisi määritellä ensin luonnolliset luvut (esimerkiksi Peanon aksioomien avulla) ja laajentaa sitten asteittain luonnollisten lukujen joukkoa. 4

Huomautus.3. Aksioomissa A A6 esiintyvistä binäärioperaatioista summa ja tulo saadaan edelleen operaatiot erotus: osamäärä: potenssi: x y = x + ( y), x y = x y, missä y 0, x n = x x x }{{} n kpl (n Z + ). Jos x 0, niin voidaan lisäksi määritellä ja x 0 = x n = (x ) n (n Z + ), jolloin potenssi x n tulee määritellyksi kaikille kokonaisluvuille n (kun x 0). Määrittely laajennetaan myöhemmin rationaali- ja reaalilukupotensseille esimerkeissä 4.23 (s. 09) ja 6.7 (s. 7). Kunta-aksioomista seuraavat reaalilukujen summaa ja tuloa koskevat tavanomaiset laskusäännöt. Kyseiset laskusäännöt oletetaan kurssilla tunnetuksi ilman erityisempiä perusteluja, ja osaa niistä käytettiinkin jo aiemmissa luvuissa..3.2 Järjestysaksioomat Järjestysaksioomista A7 A0 seuraavat tavalliset epäyhtälöiden käsittelysäännöt. Aksioomat ovat A7. x, y R : täsmälleen yksi ehdoista x < y, y > x ja x = y on voimassa, A8. x, y R : x < y ( z R : x + z < y + z), A9. x, y, z R : x < y y < z x < z, A0. x, y R : x > 0 y > 0 xy > 0. Edellä edellytetään tietenkin, että reaalilukujen joukossa R on määritelty järjestysrelaatio < (= pienempi kuin). Yleisimmin järjestyksiä koskevassa terminologiassa edellytetään, että järjestysrelaatio on refleksiivinen eli kukin alkio on relaatiossa itsensä kanssa. Koska < ei ole refleksiivinen ( sen sijaan on), niin < ei tällöin ole järjestysrelaatio. Sitä kutsutaankin usein tiukaksi järjestykseksi tai aidoksi järjestykseksi. Tämän kurssin kannalta asialla ei kuitenkaan ole merkitystä, ja myös relaatiota < voidaan kutsua järjestykseksi. 5

Huomautus. Jos jossakin kunnassa K on määritelty relaatio <, joka toteuttaa ehdot A7 A0, sanotaan kuntaa K järjestetyksi kunnaksi. Siis R on (eräs) järjestetty kunta pienempi kuin relaatiolla. Huomautus. Myös Q on järjestetty kunta pienempi kuin relaatiolla. Myös järjestysaksioomista seuraavat tavanomaiset epäyhtälöiden käsittelysäännöt oletetaan kurssilla tunnetuksi ilman erityisempiä perusteluja. Näistäkin osaa käytettiin jo aiemmissa luvuissa..3.3 Täydellisyysaksiooma Aksioomat A A0 eivät vielä yksikäsitteisesti määritä reaalilukujen joukkoa. Lopullisesti reaalilukujen joukko määritetään vaatimalla, että epätyhjän ylhäältä rajoitetun reaalilukujoukon ylärajoista joku on pienin (ks. määritelmä.7, s. 7). Tämä ominaisuus ei seuraa aksioomista A A0, vaan se on otettava uudeksi aksioomaksi. Kyseistä aksioomaa kutsutaan täydellisyysaksioomaksi. A. Jokaisella joukon R epätyhjällä ylhäältä rajoitetulla osajoukolla on pienin yläraja. Huomautus. Järjestettyä kuntaa K, jonka jokaisella epätyhjällä ylhäältä rajoitetulla osajoukolla on pienin yläraja, sanotaan täydelliseksi kunnaksi. Siis R on täydellinen (järjestetty) kunta. Huomautus. Rationaalilukujen joukko Q ei ole täydellinen kunta. 6

.4 Reaalilukujen joukon täydellisyys Luvussa.3.3 viitattiin jo ylhäältä rajoitetun joukon pienimpään ylärajaan. Tarkastellaan nyt kyseistä käsitettä täsmällisemmin. Määritelmä.7. Olkoon A R, A. Jos joukon A ylärajojen joukossa on pienin, niin se on joukon A pienin yläraja eli supremum (merkitään sup A). Määritelmä.8. Olkoon A R, A. Jos joukon A alarajojen joukossa on suurin, niin se on joukon A suurin alaraja eli infimum (merkitään inf A). Huomautus. Reaalilukujoukon supremum ja infimum ovat yksikäsitteisiä (jos ovat olemassa). Täydellisyysaksiooman (ks. luku.3.3) nojalla jokaisella epätyhjällä ylhäältä rajoitetulla joukon R osajoukolla on pienin yläraja. Vastaava tulos pätee myös suurimman alarajan suhteen. Lause.4. Jokaisella epätyhjällä alhaalta rajoitetulla joukon R osajoukolla on suurin alaraja. Todistus. Olkoon A R jokin epätyhjä alhaalta rajoitettu joukko. B = { a a A} on epätyhjä ylhäältä rajoitettu joukko. sup B = G (merk.). G = inf A. Jos epätyhjä joukon R osajoukko A ei ole ylhäältä rajoitettu, voidaan merkitä sup A =. Jos vastaavasti epätyhjä joukon R osajoukko A ei ole alhaalta rajoitettu, voidaan merkitä inf A =. Lause.5. Olkoot A ja B epätyhjiä joukon R osajoukkoja. Jos A B, niin Todistus. Harjoitustehtävä. inf B inf A sup A sup B. 7

Yleisesti joukon A supremumin tai infimumin ei tarvitse kuulua joukkoon A. Jos ne kuitenkin kuuluvat joukkoon A, niin joukon A ylä- ja alarajoina ne ovat vastaavasti joukon A suurin ja pienin alkio. Tulos on voimassa myös kääntäen, mikä nähdään seuraavasta lauseesta. Lause.6. Olkoon A epätyhjä joukon R osajoukko. (a) Jos joukossa A on suurin luku M, niin sup A = M. (b) Jos joukossa A on pienin luku m, niin inf A = m. Todistus. Todistetaan kohta (a), ja jätetään kohta (b) harjoitustehtäväksi. Jos M on joukon A suurin luku, niin M on joukon A eräs yläraja, sillä x M kaikilla x A, 2 M on joukon A pienin yläraja, sillä M sup A. Kohdista ja 2 seuraa, että sup A = M. Huomautus. Joukon A suurinta lukua merkitään max A ja pienintä lukua min A. Myös max A ja min A ovat yksikäsitteisiä, jos ne ovat olemassa. Esimerkki.22. Määritetään inf A ja sup A, kun A = { x R x 3 2 }. Koska x 3 2 x 5, niin min A = ja max A = 5 (eli joukolla A on pienin ja suurin alkio). Täten lauseen.6 nojalla inf A = min A = ja sup A = max A = 5. Esimerkki.23. Osoitetaan, että sup A = ja inf A = 0, kun { A = } n n Z +. Tarkastellaan ensin infimumia. Koska n 0 n Z + ja 0 A, niin 0 = min A. Siis lauseen.6b nojalla inf A = min A = 0. 8

Tarkastellaan sitten supremumia. Osoitetaan ensin, että on joukon A yläraja, ja sitten vastaoletuksen avulla, että on joukon A ylärajoista pienin. Koska n < kaikilla n Z +, niin on eräs joukon A yläraja. 2 Käytetään epäsuoraa todistusmenetelmää. Tehdään siis vastaoletus: oletetaan, että ei ole joukon A pienin yläraja. On olemassa joukon A yläraja t, missä t > 0 (t R). n t n Z +. t n n Z +. n t n Z +. Ristiriita, sillä n ei ole rajoitettu. Kohdista ja 2 seuraa supremumin määritelmän perusteella, että sup A =. Lause.7. Olkoon A epätyhjä joukon R osajoukko. Tällöin (a) sup A = G (b) inf A = g (i) x A: x G, (ii) ε > 0: x A: x > G ε, (i) x A: x g, (ii) ε > 0: x A: x < g + ε. Todistus. Todistetaan kohta (a), ja jätetään kohta (b) harjoitustehtäväksi. Tarkastellaan ensin suuntaa, ja oletetaan, että ehdot (i) ja (ii) ovat voimassa. Osoitetaan, että G on joukon A pienin yläraja. Kohdan (i) nojalla G on eräs joukon A yläraja. 2 Tehdään vastaoletus: oletetaan, että G ei ole joukon A pienin yläraja. On olemassa joukon A yläraja G ε, missä ε > 0 (ε R). x A: x G ε Ristiriita, sillä ehdon (ii) nojalla x A: x > G ε. Kohdista ja 2 seuraa supremumin määritelmän perusteella, että sup A = G. 9

Tarkastellaan sitten suuntaa, ja oletetaan, että sup A = G. Osoitetaan, että ehdot (i) ja (ii) ovat voimassa. (i) Koska G on joukon A yläraja, niin x A: x G. (ii) Tehdään vastaoletus: oletetaan, että ε > 0: x A: x G ε. G ε (< G) on joukon A yläraja. Ristiriita, sillä sup A = G. Esimerkki.24. Olkoon A = { n n Z + }. Osoitetaan lausetta.7 käyttäen, että sup A = (vrt. esimerkki.23). Kuten esimerkissä.23. 2 Valitaan mielivaltainen ε > 0. Oletetaan, että n > ε (n Z +), ja merkitään x = n ( A). ε > n x = n > ε On olemassa (ainakin yksi) sellainen joukon A alkio x, että x > ε. Kohdista ja 2 seuraa lauseen.7 perusteella, että sup A =. Huomautus. Esimerkin.24 kaltaisissa tilanteissa edetään usein epsilonin valinnan jälkeen (tietysti on oletettava, että n Z + ) x > ε n > ε ε > n n > ε, mikä toteutuu, jos n on riittävän suuri. Jos siis on valittu mielivaltainen ε > 0, niin haluttu x > ε löytyy, kun vain valitaan sellainen x = n, että n > ε. Näin voidaan menetellä, jos vaadittu ekvivalenssiketju saadaan aikaiseksi. 20

Esimerkki.25. Määritetään sup A, kun Käytetään lausetta.7. Koska A = 2x x + { y R y = 2x } x +, x > 0. = (2x + 2) 3 x + kaikilla x > 0, niin 2 on joukon A yläraja. = 2 3 x + < 2 2 Valitaan mielivaltainen ε > 0. Oletetaan, että x > 0. Koska y > 2 ε 2x x + = 2 3 x + > 2 ε ε > 3 x + x + > 3 ε x > + 3 ε, niin valitsemalla x siten, että x > + 3, löydetään sellainen y A, että ε y > 2 ε. Kohdista ja 2 seuraa lauseen.7 perusteella, että sup A = 2. Seuraava lause tuntuu itsestään selvältä. Arkhimedeen ominaisuus ei kuitenkaan seuraa reaalilukujen aksioomista A A0, joten sen todistamisessa tarvitaan nyt täydellisyysaksioomaa. Lause.8 (Arkhimedeen lause). Jos x, y R +, on olemassa sellainen n Z +, että nx > y. Todistus. Olkoon x, y R +. Tehdään vastaoletus: n Z + : nx y. Joukko E = {nx n Z + } on ylhäältä rajoitettu. sup E = G (merk.). Lauseen.7 nojalla ε > 0: n Z + : nx > G ε. n Z + : nx > G x. (n + )x > G, missä on ristiriita. Koska oletettiin, että x > 0, niin itse asiassa valitaan x > max{0, + 3 ε }. 2

Seuraus.9. Kahden reaaliluvun a ja b (a b) välissä on aina rationaaliluku. Todistus. Voidaan olettaa, että 0 < a < b. Tällöin Arkhimedeen lauseen nojalla on olemassa n Z + siten, että n(b a) >, ts. b a > n. Edelleen Arkhimedeen lauseen nojalla on olemassa m Z + siten, että m n b. Olkoon lisäksi m pienin tällaisista luvuista, jolloin Tällöin joten m n m n = m n n a < m n }{{} Q < b. > b (b a) = a, < b. Seuraus.20. Kahden erisuuren reaaliluvun välissä on aina irrationaaliluku. Todistus. Harjoitustehtävä. Seuraus.2. Kahden erisuuren reaaliluvun välissä on ääretön määrä rationaalilukuja ja ääretön määrä irrationaalilukuja. Todistus. Harjoitustehtävä. Huomautus.22. Edellä olevat seuraukset tarkoittavat, että joukot Q ja R \ Q ovat molemmat tiheitä reaalilukujen joukossa. 22

2 Lukujonon raja-arvo 2. Määritelmä ja perusominaisuuksia Lukujono (x n ) on lukujen x, x 2, x 3,... muodostama jono, missä x n R kaikilla n Z +. Lukujonon määrittelyssä ei ole oleellista, että lukujonon indeksointi alkaa ykkösestä tai että jono on määritelty kaikilla indekseillä n Z +. Näin ollen lukujonoksi kutsutaan myös jonoa x 0, x, x 2, x 3,... tai joukon Z + (äärettömissä) osajoukoissa muodostettuja jonoja kuten Lukujonoa x 4, x 6, x 8,... x n, x n2,..., missä n, n 2,... Z +, n < n 2 <..., sanotaan lukujonon x, x 2,... osajonoksi. Huomautus. Lukujono (x n ) on eri asia kuin joukko {x n n Z + }. Esimerkiksi jos x n = ( ) n, niin (x n ) =,,,,,... ja {x n n Z + } = {, }. Huomautus. Lukujonon osajonot ovat tietenkin myös itse lukujonoja. Esimerkki 2.. Olkoon x n = /n. Tällöin (x n ) =, 2, 3,... on lukujono, jonka osajonoja ovat muun muassa (x 2n ) = 2, 4, 6,... ja (x (0n) 2) = 00, 400, 900,... Täsmällisesti lukujono on kuvaus Z + R. 23

Määritelmä 2.. Lukujonolla (x n ) on raja-arvo x R, jos jokaista lukua ε > 0 kohti on olemassa sellainen luku n ε Z +, että x n x < ε aina, kun n > n ε. Tällöin sanotaan, että lukujono (x n ) suppenee kohti reaalilukua x, ja merkitään n x n = x. Jos lukujono (x n ) ei suppene kohti mitään reaalilukua x, sanotaan, että jono (x n ) hajaantuu. Huomautus 2.. Lukujonon raja-arvon määritelmässä ei ole oleellista, että ehdoissa n > n ε ja x n x < ε relaatioiksi on valittu suurempi kuin ja pienempi kuin. Aivan yhtä hyvin määritelmässä olisi voinut olla n n ε tai x n x ε. Jos nimittäin vaadittu ehto pätee kaikille n n ε, se pätee tietysti myös kaikille n > n ε. Jos taas ehto pätee kaikille n > n ε, voidaan valita uusi rajaluku n ε = n ε +, jolloin ehto pätee kaikille n n ε. Jos vastaavasti x n x < ε, niin tietysti myös x n x ε. Jos taas ehto x n x ε pätee kaikille ε > 0, niin ehto pätee myös kaikille luvuille ε = ε/2 > 0. Siis x n x ε = ε/2 < ε kaikille ε > 0. Huomautus. Vaihtoehtoisia merkintätapoja lukujonon suppenemiselle ovat esimerkiksi x n x, kun n, ja x n = x. Jälkimmäistä tapaa käytettäessä on oltava selvää, että n. Huomautus 2.2. Koska x n 0 = x n 0, niin lukujonon raja-arvon määritelmästä seuraa suoraan, että x n = 0 n n x n = 0. Vastaava tulos ei välttämättä päde, jos n x n 0 (harjoitustehtävä). 24

Huomautus 2.3. Lukujonon raja-arvon määritelmä voidaan ilmoittaa myös muodossa tai n x n = x ε > 0: n ε Z + : x n x < ε aina, kun n > n ε x n = x ε > 0: n ε Z + : x n U ε (x) aina, kun n > n ε. n Huomautus. Lukujonolla (x n ) on raja-arvo x täsmälleen silloin, kun jostakin indeksin n arvosta n ε lähtien kaikki jonon termit x n kuuluvat raja-arvon x ympäristöön U ε (x) (eli väliin ]x ε, x + ε[). Huomautus. Joskus ehdon sijasta käytetään muotoilua x n x < ε aina, kun n > n ε, n > n ε x n x < ε. Esimerkki 2.2. Olkoon x n = a (a R) kaikilla n Z +. Osoitetaan, että Valitaan mielivaltainen ε > 0. Tällöin x n = a. n x n a = a a = 0 < ε kaikilla n Z +. Siis lukujonon raja-arvon määritelmän nojalla x n = a. n Huomautus. Ensin valitaan mielivaltainen ε > 0. Valinnan jälkeen ε on kiinteä. Esimerkki 2.3. Osoitetaan, että n n = 0. Valitaan mielivaltainen ε > 0. Merkitään n ε = ε ( Z+ ), ja valitaan sellainen n Z, että n > n ε. Tällöin n >, joten ε n 0 = n < ε. Kattofunktio x = pienin kokonaisluku, joka on suurempi tai yhtäsuuri kuin x. Jos ei haluta käyttää kattofunktiota, voidaan käyttää myös muotoiluja Olkoon n ε pienin sellainen kokonaisluku, että n ε ε tai Valitaan sellainen n ε Z +, että n ε ε. 25

Siis jokaista positiivilukua ε > 0 kohti on olemassa sellainen luku n ε Z +, että aina, kun n > n ε. Siis Esimerkki 2.4. Osoitetaan, että n 0 < ε n n = 0. ( n + n) = 0. n Valitaan mielivaltainen ε > 0. Merkitään n ε = ε ( 2 Z+ ), ja valitaan sellainen n Z, että n > n ε. Tällöin n >, joten ε 2 n < ε ja edelleen ( n + n) 0 = n + n = ( n + n)( n + + n) n + + n = = < (n + ) n n + + n n + + n n < ε. Vaadittu tulos seuraa nyt lukujonon raja-arvon määritelmästä. Edellä olevan kaltaisessa päättelyssä edetään usein suoraviivaisemmin valitsemalla ensin mielivaltainen ε > 0 ja päättelemällä sitten, että ( n + n) 0 = n + n = < < ε, n kun n > ε 2, mistä vaadittu tulos seuraa lukujonon raja-arvon määritelmän nojalla. Jossakin vaiheessa on tietysti tehtävä tarvittavat oletukset (esimerkiksi yllä n Z + ). Näin voidaan menetellä, sillä tällöin on osoitettu, että vaadittu itseisarvoehto toteutuu, jos n on riittävän suuri ( > ). Koska kokonaislukujen joukko ei ole ε 2 ylhäältä rajoitettu, voidaan aina valita sellainen luku n ε Z + (esim. n ε = ε ), 2 että itseisarvoehto toteutuu aina, kun n > n ε. Luvun n ε valintaa ei nyt vain ole kirjoitettu näkyviin. 26

Esimerkki 2.5. Osoitetaan, että n n 2 + n 2n 2 + = 2. Valitaan mielivaltainen ε > 0, ja oletetaan, että n Z +. Tällöin n 2 + n 2n 2 + 2n 2 + 2n 2n 2 = 2 2(2n 2 = 2n + ) 2(2n 2 + ) < 2n 2(2n 2 + ) = n 2n 2 + < n 2n 2 = 2n < ε, kun n >. Vaadittu tulos seuraa nyt lukujonon raja-arvon määritelmästä. 2ε Esimerkki 2.6. Osoitetaan, että jos 0 < a < (a R), niin n an = 0. Valitaan mielivaltainen ε > 0. Koska 0 < a <, niin a voidaan esittää muodossa a = + h, missä h > 0. Tällöin Bernoullin epäyhtälön (ks. esimerkki.5, s. 3) nojalla a n 0 = a n = ( + h) n + nh nh < ε, kun n >. Vaadittu tulos seuraa nyt lukujonon raja-arvon määritelmästä (vrt. hε esimerkki 2.4, s. 43). Esimerkki 2.7. Olkoon x n = cos(πn) (n Z + ). Tällöin 2, kun n on pariton, x n = 0, kun n on parillinen. Osoitetaan, että n x n. Tehdään vastaoletus: n x n = x. n Z + : x n x < aina, kun n > n. 2 x < ja x = 0 x <. 2 = 2 x + x 2 x + x < + = 2. Ristiriita. Kurssilla oletetaan tunnetuksi trigonometriset funktiot sini, kosini, tangentti ja kotangentti sekä niiden perusominaisuudet. 27

Esitetään sitten muutamia lukujonoja koskevia perustuloksia. Ensin yksikäsitteisyys. Lause 2.4. Suppenevan lukujonon raja-arvo on yksikäsitteinen. Todistus. Tehdään vastaoletus: lukujonolla (x n ) on raja-arvot x ja y, x y. Tällöin lukujonon raja-arvon määritelmän nojalla n Z + : x n x < 2 x y n > n, n 2 Z + : x n y < 2 x y n > n 2. Olkoon nyt n > max{n, n 2 }. Tällöin missä on ristiriita. x y = (x x n ) + (x n y) x x n + x n y < x y + x y 2 2 = x y, Suppenevan lukujonon jokainen osajono suppenee kohti samaa raja-arvoa kuin alkuperäinen lukujono. Lause 2.5. Jos n x n = x ja (x nk ) on lukujonon (x n ) osajono, niin k x nk = x. Todistus. Valitaan mielivaltainen ε > 0. Jos x n = x, n niin lukujonon raja-arvon määritelmän nojalla on olemassa sellainen n ε Z +, että Erityisesti jos n k > n ε, niin x n x < ε n > n ε. x nk x < ε. Koska osajonon (x nk ) indeksi kasvaa rajatta, on olemassa sellainen k ε Z +, että Tällöin n k > n ε k > k ε. x nk x < ε k > k ε, joten lukujonon raja-arvon määritelmän nojalla k x n k = x. 28

Lauseen 2.5 seurauksena saadaan välittömästi seuraava tulos, jota voidaan käyttää lukujonon hajaantumisen osoittamiseen. Seuraus 2.6. Jos lukujonolla (x n ) on kaksi osajonoa, jotka suppenevat kohti eri raja-arvoa (tai osajono, joka hajaantuu), niin (x n ) hajaantuu. Esimerkki 2.8. Olkoon x n = ( ) n n n + (n Z + ). Tällöin lukujono (x n ) hajaantuu, sillä jos k Z +, niin kun k, ja x 2k = 2k 2k +, x 2k = 2k, 2k kun k. Raja-arvojen täsmällinen perustelu jätetään harjoitustehtäväksi. Seuraavaksi osoitetaan, että suppeneva lukujono on rajoitettu. Ensin kuitenkin määritellään, mitä rajoitetulla lukujonolla tarkoitetaan. Määritelmä 2.2. Jos joukko {x n } on rajoitettu, sanotaan, että myös vastaava lukujono (x n ) on rajoitettu. Edelleen jos {x n } on ylhäältä rajoitettu, niin jono (x n ) on ylhäältä rajoitettu, ja jos {x n } on alhaalta rajoitettu, niin jono (x n ) on alhaalta rajoitettu. Huomautus 2.7. Määritelmien. ja.2 (s. 5) sekä seurauksen.7 (s. 9) perusteella lukujono (x n ) on ylhäältä rajoitettu, jos M R : n Z + : x n M, alhaalta rajoitettu, jos m R : n Z + : x n m, rajoitettu, jos M R : n Z + : x n M. Yllä viimeinen ehto voidaan esittää myös muodossa M > 0: n Z + : x n M tai M > 0: n Z + : x n < M. 29

Lause 2.8. Jos n x n = x, niin lukujono (x n ) on rajoitettu. Todistus. Jos n x n = x, niin lukujonon raja-arvon määritelmän nojalla on olemassa sellainen n Z +, että Tällöin x n x < n > n. x n = x + (x n x) x + x n x < x + n > n. Merkitään M = max { x,..., x n, x + }. Tällöin joten lukujono (x n ) on rajoitettu. x n M n Z +, Huomautus. Lause 2.8 ei ole kääntäen voimassa (ks. esimerkki 2.8, s. 29). Lause 2.9. Olkoon n x n = x. (a) Jos n 0 Z + : n > n 0 : x n M, niin x M. (b) Jos n 0 Z + : n > n 0 : x n m, niin x m. Todistus. Todistetaan kohta (a), ja jätetään kohta (b) harjoitustehtäväksi. Oletetaan siis, että kohdan (a) oletukset ovat voimassa. Tehdään vastaoletus: x > M. Tällöin x M > 0, joten huomautuksen 2.3 (s. 25) nojalla n Z + : x n U x M (x) n > n. Valitaan nyt n Z + siten, että n > max{n 0, n }. Tällöin x n U x M (x) eli x n ]x (x M), x + (x M)[ = ]M, x + (x M)[. Siis x n > M, missä on ristiriita (sillä x n M). Huomautus. Vaikka x n = x ja x n < M n Z +, n niin silti saattaa olla x = M. Vastaavasti vaikka niin silti saattaa olla x = m. x n = x ja x n > m n Z +, n 30

Lause 2.0. Jos n x n = x 0, niin on olemassa sellainen n 0 Z +, että kaikilla n > n 0. x n > x 2 Todistus. Jos n x n = x ja x 0, niin lukujonon raja-arvon määritelmän nojalla on olemassa sellainen n 0 Z +, että Tällöin joten x n x < x 2 n > n 0. x = x n (x n x) x n + x n x < x n + x 2 x n > x x 2 = x 2 n > n 0. n > n 0, Lause 2.. Jos n x n = x > 0, niin on olemassa sellainen n 0 Z +, että x n > 0 kaikilla n > n 0. Todistus. Harjoitustehtävä. 3

2.2 Laskusääntöjä Esitetään seuraavaksi muutamia lauseita, jotka helpottavat lukujonojen raja-arvojen määrittämistä käytännön tilanteissa. Ennen varsinaisia lauseita esitetään yksi todistuksia helpottava aputulos. Usein raja-arvoa koskevissa todistuksissa ensin valitaan mielivaltainen ε > 0 ja sitten osoitetaan, että x n x < ε aina, kun n on riittävän suuri. Tällöin lukujonon raja-arvon määritelmän nojalla x n = x. n Tällaisissa todistuksissa ei ole välttämätöntä saada lopulliseksi arvioksi juuri lukua ε, vaan riittää saada luku ε kerrottuna jollakin positiivisella vakiolla. Oleellista on, että vakio ei riipu luvusta ε tai indeksistä n. Lause 2.2. Olkoon a > 0 (a R). Oletetaan, että jokaista lukua ε > 0 kohti on olemassa sellainen luku n ε Z +, että x n x < a ε aina, kun n > n ε. Tällöin x n = x. n Todistus. Valitaan mielivaltainen ε > 0. Merkitään ε = ε/a. Koska a > 0, niin ε > 0. Jos lauseen oletukset ovat voimassa, niin tällöin on olemassa sellainen luku n ε Z +, että x n x < a ε = a (ε/a) = ε aina, kun n > n ε, Väite seuraa nyt lukujonon raja-arvon määritelmästä. Huomautus. Toistetaan jo luvussa 2. (s. 25) esitetty huomautus. Ensin valitaan mielivaltainen ε > 0. Valinnan jälkeen ε on kiinteä. Tutkitaan sitten suppenevien lukujonojen (x n ) ja (y n ) summaa (x n +y n ), erotusta (x n y n ) ja tuloa (x n y n ) sekä lukujonon kertomista vakiolla. Lause 2.3. Olkoon n x n = x ja n y n = y. Tällöin (i) (ii) (x n + y n ) = x + y, n (x n y n ) = x y, n 32

(iii) (iv) (x n y n ) = xy, n (kx n ) = kx n (k R). Todistus. Väitteen (ii) todistus jätetään harjoitustehtäväksi (vrt. kohdan (i) todistus), ja väite (iv) seuraa kohdasta (iii) valitsemalla jonoksi (y n ) vakiojono k, k,... Kohtien (i) ja (iii) todistuksissa hyödynnetään lausetta 2.2. Valitaan siis mielivaltainen ε > 0. Koska n x n = x ja n y n = y, niin lukujonon raja-arvon määritelmän nojalla n Z + : x n x < ε n > n, n 2 Z + : y n y < ε n > n 2. Todistetaan ensin kohta (i). Olkoon nyt n > max{n, n 2 }. Tällöin (x n + y n ) (x + y) = (x n x) + (y n y) joten väite (i) seuraa lauseesta 2.2. x n x + y n y < ε + ε = 2ε, Tarkastellaan sitten väitettä (iii). Koska lukujono (x n ) suppenee, niin (x n ) on rajoitettu (lause 2.8, s. 30). Täten huomautuksen 2.7 (s. 29) nojalla on olemassa sellainen M > 0, että x n M n Z +. Oletetaan lisäksi, että n > max{n, n 2 }. Tällöin x n y n xy = x n y n x n y + x n y xy = x n (y n y) + y(x n x) x n (y n y) + y(x n x) = x n y n y + y x n x < x n ε + y ε = ( x n + y ) ε (M + y ) ε. Koska M + y > 0 on vakio, väite (iii) seuraa lauseesta 2.2. 33

Lause 2.3 voidaan todistaa myös käyttämättä lausetta 2.2. Tällöin on vain kohdassa (i) valittava n ja n 2 siten, että x n x < ε/2 ja y n y < ε/2. Kohdassa (iii) vastaava ehto on x n x < ε M + y ja y n y < ε M + y. Kohdassa (iii) valinnat voidaan myös eriyttää ja valita n siten, että ja n 2 siten, että Tällöin x n x < ε 2( y + ), y n y < ε 2M. x n y n y + y x n x < x n ε 2M + y ε 2( y + ) M 2M ε + y y + ε 2 ε/2 + ε/2 = ε. Seuraus 2.4. Olkoon x n = x ja n n y n = y. Jos tällöin on olemassa sellainen n 0 Z +, että x n y n kaikilla n > n 0, niin x y. Todistus. Lauseen 2.3 kohdan (ii) nojalla (x n y n ) = x y. n Lisäksi x n y n 0 kaikilla n > n 0, joten lauseen 2.9 (s. 30) nojalla x y 0. Huomautus. Vaikka x n < y n kaikilla n > n 0 (seurauksessa 2.4), niin silti ei välttämättä päde x < y (ts. voi olla x = y). Nimittäjään on valittava vakion 2 y sijasta 2( y + ), sillä y voi olla 0. 34

Jos lukujonon (y n ) termit ovat nollasta eroavia, voidaan tarkastella myös lukujonojen (x n ) ja (y n ) osamäärää. Lause 2.5. Olkoon x n = x ja y n = y. Jos tällöin y 0 ja y n 0 kaikilla n n n Z +, niin x n = x n y n y. Todistus. Osoitetaan, että n y n = y. Tällöin väite seuraa lauseen 2.3 kohdasta (iii). Hyödynnetään taas lausetta 2.2. Valitaan mielivaltainen ε > 0. Koska n y n = y, niin lukujonon raja-arvon määritelmän nojalla on olemassa n Z + siten, että y n y < ε n > n. Koska y 0, niin lauseen 2.0 (s. 3) perusteella on lisäksi olemassa sellainen n 2 Z +, että y n > y 2 > 0 n > n 2. Olkoon nyt n > max{n, n 2 }. Tällöin y n y = y y n y n y Koska 2 > 0 on vakio, väite seuraa lauseesta 2.2. y2 < y y n y y = 2 y 2 y n y < 2 y ε. 2 2 Jos mikään lukujonon (x n ) termi ei ole negatiivinen, voidaan tarkastella myös lukujonon (x n ) neliöjuurta. Lause 2.6. Olkoon n x n = x ja x n 0 kaikilla n Z +. Tällöin xn = x. n Todistus. Valitaan mielivaltainen ε > 0. Todistetaan väite kahdessa osassa. Oletetaan ensin, että x > 0. Koska n x n = x, niin lukujonon raja-arvon määritelmän perusteella on olemassa n Z + siten, että x n x < ε n > n. 35

Olkoon nyt n > n. Koska x > 0, niin x n x xn x x n + x = x n + x = = x n x x n + x xn + x x n x < x ε. Koska x > 0 on vakio, väite seuraa lauseesta 2.2. Oletetaan sitten, että x = 0. Tällöin siis n x n = 0, joten lukujonon raja-arvon määritelmän ja ehdon x n 0 nojalla on olemassa sellainen n 0 Z +, että 0 x n < ε 2 n > n 0. Olkoon nyt n > n 0. Tällöin ja edelleen 0 x n < ε x n 0 < ε, mistä väite seuraa lukujonon raja-arvon määritelmän perusteella. Huomautus. Lauseissa 2.5 ja 2.6 ei ole oleellista, että lukujono on määritelty kaikilla n Z +. Oleellista on, että ehdot y n 0 ja x n 0 pätevät kaikille lukujonon alkioille. Esimerkki 2.9. Olkoon x n = 2n2 n n 2 + 3n + 3 Tällöin lukujonon (x n ) raja-arvoksi saadaan (n Z + ). 2n 2 n n 2 + 3n + 3 = n2 (2 ) n n 2 ( + 3 + 3 ) = n n 2 2 n + 3 + 3 2 0 = 2, kun n. + 0 + 0 n n 2 Yleensä asiaa ei tarvitse tämän enempää perustella, mutta käydään tehdyt päättelyt esimerkin vuoksi vielä yksityiskohtaisesti läpi (yllä on käytetty hyväksi esimerkkejä 2.2 (s. 25) ja 2.3 (s. 25) sekä lauseita 2.3 ja 2.5). 36

Ottamalla n 2 yhteiseksi tekijäksi ja supistamalla yhteinen tekijä pois saadaan x n = 2n2 n n 2 + 3n + 3 = n 2 (2 n ) n 2 ( + 3 n + 3 n 2 ) = 2 n + 3 n + 3 n 2 n Z +. Esimerkin 2.3 (s. 25) nojalla joten lauseen 2.3 nojalla n n = 0, ja edelleen 3 n n = n n ( ) 3 = 3 0 = 0 n 3 n = ( 2 n n 3 ) = 0 0 = 0. n Koska vakiojonon raja-arvo on kyseinen vakio (esimerkki 2.2, s. 25), saadaan edelleen lauseen 2.3 nojalla ( ) n 2 = 2 0 = 2 n ja ( 3 + n n + 3 ) = + 0 + 0 =. n 2 Jälkimmäisessä tapauksessa lausetta 2.3 on itse asiassa käytetty kaksi kertaa. Soveltamalla lopuksi lausetta 2.5 saadaan x 2 n n = n n + 3 + 3 = 2 = 2. n n 2 Seuraava esimerkki ei hyödynnä suoraan lukujonon raja-arvon laskusääntöjä, mutta ratkaisussa hyödynnetään samoja ideoita kuin laskusääntöjen todistuksissa. Esimerkki 2.0. Olkoon n x n = x ja y n = n n x k (n Z + ). k= Osoitetaan, että y n = x. n Valitaan aluksi mielivaltainen ε > 0. Koska (x n ) suppenee, niin (x n ) on rajoitettu (lause 2.8, s. 30). Täten myös lukujono (x n x) on rajoitettu ja huomautuksen 2.7 (s. 29) nojalla M > 0 : x n x < M n Z +. 37

Lisäksi lukujonon raja-arvon määritelmän nojalla Olkoon nyt n > n ε. Koska niin tällöin y n x = = n>n ε = n n ε Z + : x n x < ε/2 n > n ε. Mn ε n < ε 2 n > 2Mn ε, ε n x k x n = n x k k= n k= n nx n = x k n x n k= n k= n (x k x) n k= n x k x n k= n ε k= x k x }{{} M + n n k=n ε+ x k x }{{} < ε/2 < n n εm + n (n n ε) ε 2 = Mn ε n < Mn ε n + n n ε n + ε 2 } {{ } < ε 2 < ε/2 + ε/2 = ε, kun { n > max n ε, 2Mn ε ε }. Väite seuraa nyt lukujonon raja-arvon määritelmästä, sillä määritelmässä vaadituksi rajaluvuksi voidaan asettaa mikä tahansa kokonaisluku, joka on suurempi kuin { max n ε, 2Mn ε ε }. 38

Tutkitaan vielä tapausta, jossa kahdella lukujonolla on sama raja-arvo. Lausetta kutsutaan suppiloperiaatteeksi. Lause 2.7 (Suppiloperiaate). Olkoon x n = y n = x. Jos on olemassa n n sellainen n 0 Z +, että x n z n y n n > n 0, niin z n = x. n Todistus. Oletetaan, että on olemassa sellainen n 0 Z +, että x n z n y n aina, kun n > n 0. Valitaan mielivaltainen ε > 0. Oletuksen nojalla saadaan (2.) z n x n y n x n n > n 0. Koska x n = n n y n = x, niin lauseen 2.3 nojalla (x n y n ) = 0. n Täten lukujonon raja-arvon määritelmän perusteella n Z + : x n x < ε/2 n > n, n 2 Z + : x n y n < ε/2 n > n 2. Olkoon nyt n > max{n 0, n, n 2 }. Tällöin z n x = (z n x n ) + (x n x) z n x n + x n x (2.) y n x n + x n x < ε/2 + ε/2 = ε. Siis lause on tosi lukujonon raja-arvon määritelmän perusteella. Huomautus. Jos jostakin indeksin n arvosta n 0 lähtien x n z n y n, mutta lukujonoilla (x n ) ja (y n ) on eri raja-arvot, niin lukujonon (z n ) raja-arvon olemassaolosta ei voida sanoa lauseen 2.7 perusteella mitään. 39

Esimerkki 2.. Määritetään lukujonon (z n ) raja-arvo, kun z n = 3n + sin2 n + cos n. n + Koska sinin ja kosinin arvot ovat välillä [, ] ja sin 2 n 0 kaikilla n Z +, niin Lisäksi ja 3n n + z n 3n + 2 n + 3n n + = n(3 n ) n( + n ) = 3 n + n 3 0 + 0 3n + 2 n + = n(3 + 2 ) n n( + ) = 3 + 2 n + 3 + 0 + 0 n n joten suppiloperiaatteen (lause 2.7) nojalla z n = 3. n n Z +. = 3, kun n, = 3, kun n, Esimerkki 2.2. Määritetään lukujonon (z n ) raja-arvo, kun z n = Jos n Z +, niin n k= n2 + k = n2 + + n2 + 2 + + n2 + n. n2 + n n2 + k n2 + k =, 2,..., n, joten n n2 + n z n n n2 +. Kun n, niin (esimerkkien 2.2 (s. 25) ja 2.3 (s. 25) sekä lauseiden 2.3, 2.5 ja 2.6 perusteella) ja n n2 + n = + n + 0 =, n n2 + = =, + + 0 n 2 joten suppiloperiaatteen (lause 2.7) nojalla z n =. n 40

2.3 Monotonisista jonoista Seuraavan tyyppisiä lukujonoja x, x 2, x 3,... sanotaan monotonisiksi: kasvava lukujono, jolle x x 2 x 3 vähenevä lukujono, jolle x x 2 x 3 aidosti kasvava lukujono, jolle x < x 2 < x 3 < aidosti vähenevä lukujono, jolle x > x 2 > x 3 > Huomautus. Jono voi olla samalla sekä kasvava että vähenevä, esim.,,... Huomautus. Koska x n x n+ x n+ x n 0, niin lukujonon kasvavuus voidaan usein osoittaa tutkimalla kahden peräkkäisen termin erotusta. Myös osamäärää voidaan tutkia, mutta tällöin on huomioitava termien merkki. Jos esimerkiksi termit ovat positiivisia, niin x n x n+ x n+ x n. Muille tapauksille (vähenevä, aidosti kasvava, aidosti vähenevä) ehtoja voidaan muokata vastaavasti. Lause 2.8 (Monotonisten jonojen peruslause). Jos lukujono (x n ) on kasvava ja ylhäältä rajoitettu, niin jono (x n ) suppenee. Todistus. Olkoon (x n ) jokin kasvava ylhäältä rajoitettu lukujono. Valitaan mielivaltainen ε > 0. Merkitään K = sup {x n n Z + }. Tällöin lauseen.7 (s. 9) nojalla x n K n Z + ja Koska lukujono (x n ) on kasvava, niin Siis n ε Z + : x nε > K ε. x n > K ε n > n ε. x n U ε (K) n > n ε, joten huomautuksen 2.3 (s. 25) perusteella x n = K. n 4

Lause 2.9. Jos lukujono (x n ) on vähenevä ja alhaalta rajoitettu, niin jono (x n ) suppenee. Todistus. Harjoitustehtävä. Huomautus 2.20. Lauseen 2.8 todistuksen perusteella jos lauseen oletukset ovat voimassa. x n = sup {x n n Z + }, n Huomautus 2.2. Lauseessa 2.8 itse asiassa riittää, että lukujono on kasvava jostakin indeksin n arvosta n 0 alkaen. Tällöin kuitenkin voi olla x n sup {x n n Z + }. n Huomautus 2.22. Huomautuksia 2.20 ja 2.2 vastaavat tulokset ovat voimassa väheneville alhaalta rajoitetuille lukujonoille. Esimerkki 2.3. Olkoon x n = n (n Z +). Osoitetaan, että lukujono (x n ) suppenee. Lukujono (x n ) on kasvava, sillä kaikilla n Z +. x n+ x n = ( ) ( ) n + n = n n + = > 0 n(n + ) = (n + ) n n(n + ) 2 Lukujono (x n ) on ylhäältä rajoitettu, sillä n < kaikilla n Z +. Kohdista ja 2 seuraa monotonisten jonojen peruslauseen (lause 2.8) nojalla, että lukujono (x n ) suppenee. Lisäksi huomautuksen 2.20 ja esimerkin.23 (s. 8) perusteella n x n { = sup n 42 } n Z + =.

Esimerkki 2.4. Olkoon x n = q n (n Z + ), missä 0 < q < (q R). Osoitetaan, että n x n = 0 hyödyntämällä lausetta 2.9 (vrt. esimerkki 2.6, s. 27). Jono (x n ) on vähenevä, sillä x n > 0 ja x n+ x n = qn+ q n = q < n Z +. 2 Jono (x n ) on alhaalta rajoitettu, sillä x n = q n > 0 kaikilla n Z +. Kohdista ja 2 seuraa lauseen 2.9 nojalla, että on olemassa n x n = x. Edelleen koska x n = x n+ ja x n+ = q x n = q x n, n n n n n saadaan Siis x = 0, joten kun 0 < q <. x = q x (0 < q < ). n qn = 0, Esimerkki 2.5. Olkoon x n = n i= i 2 = + 2 2 + + n 2 (n Z + ). Osoitetaan, että lukujono (x n ) suppenee (vrt. esimerkki 2.2, s. 54). Jono (x n ) on kasvava, sillä x n+ x n = (n + ) 2 > 0 n Z +. 2 Osoitetaan induktiolla, että x n 2 n n Z +. Tällöin jono (x n ) on ylhäältä rajoitettu.. Perusaskel. Kun n =, niin x n = ja epäyhtälön oikea puoli on 2 =, joten epäyhtälö on voimassa. 43