Lyhyt MathCheck-ohje (uuteen välilehteen)
Tämän tehtävän tarina keskittyy siihen, miten reaalilukujen joukko poikkeaa rationaalilukujen joukosta. Vaikka aihe saattaa kuulostaa vaikealta, tämän tehtävän MathCheck-kysymykset ovat enimmäkseen helppoa koulumatematiikan soveltamista.
Tulemme myös tarvitsemaan tietoa, että √2 ei ole rationaaliluku. Tämä voidaan todistaa olettamalla, että se on rationaaliluku ja johtamalla ristiriita. Teemme nyt niin.
m |
n |
m |
n |
2m |
2n |
3m |
3n |
m |
n |
m |
n |
m |
n |
alalikiarvo ylälikiarvo poikkeama on alle 1 2 1 1,4 1,5 0,1 1,41 1,42 0,01 1,414 1,415 0,001 1,4142 1,4143 0,0001
Ne reaaliluvut, jotka eivät ole rationaalisia ovat irrationaalisia. Siis √2 on irrationaalinen. Matemaatikoilla oli pitkään vaikeuksia keksiä kunnollista määritelmää irrationaaliluvuille ja siis kaikkien reaalilukujen joukolle. On hauskaa, että englannin ilmaus ”irrational number”, joka tarkoittaa lukua jota ei voi esittää suhteena (ratio), tarkoittaa myös järjenvastaista lukua.
Joskus vuosien 1858–1862 tienoilla Richard Dedekind ratkaisi tämän ongelman. Hän tarkasteli tapoja jakaa rationaaliluvut ”pieniin” ja ”suuriin” siten, että seuraavat ehdot toteutuvat:
Tällaista jakoa kutsutaan ”Dedekindin leikkaukseksi”.
Merkitsemme pienten rationaalilukujen joukkoa P:llä ja suurten
rationaalilukujen joukkoa S:llä.
Käyttämällä joukko-opin merkintöjä, edellä mainitut ehdot voidaan esittää
näin1. P ∪ S = ℚ ja
P ∩ S = ∅ .
Toinen vaihtoehto: P ⊆ ℚ ja S = ℚ \ P .
2. P ≠ ∅ ja S ≠ ∅ .
3. ∀ p ∈ P: ∀ s ∈ S: p < s
..
3 + 3 |
2 |
s + 3 |
2 |
s + s |
2 |
p + s |
2 |
Sen sijaan on mahdollista, että P:ssä ei ole suurinta eikä
S:ssä ole pienintä lukua.
Näin käy esimerkiksi jos valitaan
P = { x ∈ ℚ | x < 0 ∨ x2 ≤ 2 }
ja
S = { x ∈ ℚ | x ≥ 0 ∧ x2 > 2 } =
{ x ∈ ℚ | ¬(x < 0 ∨ x2 ≤ 2) }.
Jos kuvittelemme, että p on suurin rationaaliluku, joka on enintään √2, niin p < √2 koska √2 ei ole rationaaliluku. Siksi p:n desimaaliesityksessä on kohta, jota ennen p:n ja √2:n desimaalit ovat samat ja jossa p:n desimaali on pienempi kuin √2:n desimaali. Katkaisemalla √2:n desimaaliesitys tämän kohdan jälkeen saadaan rationaaliluku q siten, että p < q < √2. Tämä on ristiriidassa p:n valinnan kanssa. Samanlaisesta syystä ei ole olemassa pienintä rationaalilukua, joka on suurempi kuin √2.
Dedekind osoitti, että jokainen Dedekindin leikkaus voidaan tulkita luvuksi. Ne leikkaukset, joissa P:ssä on suurin alkio x ja ne leikkaukset, joissa S:ssä on pienin alkio x voidaan samaistaa lukuun x, joka on rationaaliluku, koska …P ja S määriteltiin siten, että ne sisältävät vain rationaalilukuja. Ne leikkaukset, joissa P:ssä ei ole suurinta alkiota eikä S:ssä ole pienintä alkiota vastaavat irrationaalilukuja.
Dedekindin leikkausten avulla reaaliluvut saadaan rakennettua rationaaliluvuista. Aksiomaattisessa lähestymistavassa reaaliluvut halutaan rakentaa siten, että tunnetuksi oletetaan vain predikaattilogiikka ja hieman joukko-oppia. Rationaalilukuja ei siis oleteta tunnetuiksi, joten Dedekindin leikkauksia ei voida käyttää sellaisinaan.
Sama ajatus saadaan kuitenkin toisessa muodossa: vaatimalla, että jos reaaliluvut jaetaan pieniin ja suuriin kuten Dedekindin leikkauksessa, pienten joukossa on suurin tai suurten joukossa on pienin. Tämä vaatimus on tapana pukea sanoiksi toisella tavalla. Ensin tarvitsemme seuraavan käsitteen: luku y on lukujoukon A yläraja, jos ja vain jos ∀ x ∈ A: x ≤ y.
Seuraavissa kysymyksissä kaikki joukot ovat ℝ:n osajoukkoja.
Joukko on ylhäältä rajoitettu, jos ja vain jos sillä on yläraja. Täydellisyysaksiooma sanoo, että
Jokaisella epätyhjällä ylhäältä rajoitetulla ℝ:n osajoukolla on pienin yläraja.
Rajoitus epätyhjiin joukkoihin on tarpeen koska, kuten edellä näimme, …tyhjällä joukolla ei ole pienintä ylärajaa (vaikka onkin ylärajoja). Rajoitus ylhäältä rajoitettuihin joukkoihin on tarpeen, koska …muutoin joukolla ei ole ylärajoja lainkaan eikä siis voi olla pienintä ylärajaa.
Rationaalilukujen tapauksessa joukko voi olla epätyhjä ja ylhäältä rajoitettu, mutta silti vailla pienintä (rationaalista) ylärajaa: tähän kelpaa tutuksi tullut esimerkki{ x ∈ ℚ | x < 0 ∨ x2 ≤ 2 }. Täydellisyysaksiooma sanoo, että reaaliluvuilla näin ei voi käydä. Sillä tavalla se pakottaa kaikki irrationaaliluvut mukaan.
Täydellisyysaksiooman suhde Dedekindin leikkauksiin on seuraava. Dedekindin leikkauksen ”pienten” joukko on epätyhjä, koska …Ehdon 2 mukaan P ≠ ∅, joten ainakin yksi rationaaliluku on pieni. ja ylhäältä rajoitettu, koska …Ehdon 2 mukaan S ≠ ∅, joten ainakin yksi rationaaliluku on suuri., joten täydellisyysaksiooman mukaan sillä pitää olla pienin yläraja y. Jos y on rationaalinen, se on pienten suurin tai suurten pienin. Muussa tapauksessa se jää pienten ja suurten väliin, kuten √2.
Toisaalta, jos A on epätyhjä ylhäältä rajoitettu joukko reaalilukuja, niin siitä saadaan Dedekindin leikkaus seuraavasti:
P = { x ∈ ℚ | ∃ a ∈ A: x ≤ a }
S = { x ∈ ℚ | ∀ a ∈ A: x > a }
Dedekindin leikkauksen ehto 1 pätee, koska …S ja P on määritelty ℚ:n osajoukkoina, ja S:n määrittelevä ehto on P:n määrittelevän ehdon negaatio. Ehto 2 pätee, koska P ≠ ∅, koska …A on epätyhjä ja P:n määrittelevästä ehdosta seuraa, että jokainen A:n alkio on myös P:n alkio. ja S ≠ ∅, koska …A on ylhäältä rajoitettu, joten sillä on yläraja y. Pätee ∀ a ∈ A: a ≤ y < y + 1, joten S:n määrittelevästä ehdosta seuraa, että y + 1 ∈ S. Ehto 3 pätee, koska …Olkoon s ∈ S. Jos p ∈ P, niin on olemassa jokin a ∈ A siten, että p ≤ a. Sille pätee a < s, koska …S:n määrittelevän ehdon mukaan jokaiselle a ∈ A pätee s > a. Siksi p ≤ a < s.
Jos A on epätyhjä ylhäältä rajoitettu joukko
reaalilukuja, niin siitä saadaan Dedekindin leikkaus myös näinP = { x ∈ ℚ | ∃ a ∈
A: x < a }
S = { x ∈ ℚ | ∀ a ∈ A: x ≥ a
}.
Sen, että A:lla on yläraja, joka on reaaliluku, voi ilmaista kaavana näin∃ y ∈ ℝ: ∀ a ∈ A: a ≤ y.
Niinpä ”jokaisella epätyhjällä ylhäältä rajoitetulla ℝ:n osajoukolla on …” muuntuu kaavaksi näin:
∀ A: (∅ ≠ A ⊆ ℝ ∧ ∃ y ∈ ℝ: ∀ a ∈ A: a ≤ y) → …
Sen, että y on A:n pienin yläraja voi ilmaista kaavana seuraavasti:
(∀ a ∈ A: a ≤ y) ∧ ∀ x ∈ ℝ: x < y → ¬∀ a ∈ A: (a ≤ x)
Suomeksi luettuna se sanoo, että …y on A:n yläraja ja mikään y:tä pienempi reaaliluku x ei ole A:n yläraja.
Täydellisyysaksiooma kokonaisuudessaan muuntuu muotoon, jollaisena se on numerolla (16) sivulla Reaalilukujen aksioomat:
∀ A: (A ⊆ ℝ ∧ ¬(A = ∅) ∧ ∃ y ∈ ℝ: ∀ a ∈ A: a ≤ y) →
(∃ y ∈ ℝ: (∀ a ∈ A: a ≤ y) ∧
∀ x ∈ ℝ: ¬( y ≤ x) → ¬∀ a ∈ A: a ≤ x)
Päättymättömän desimaaliluvun päättyvien alkuosien edustamat rationaaliluvut muodostavat epätyhjän ylhäältä rajoitetun joukon reaalilukuja. Täydellisyysaksiooman nojalla sillä on pienin yläraja. Tämä yläraja on desimaaliluvun arvo. Täydellisyysaksiooma takaa myös, että jos jatkuva funktio, kuten x2 − 2, saa jossain negatiivisen ja jossain positiivisen arvon, se saa arvon 0 jossain näiden kohtien välillä (Bolzanon lause). Täydellisyysaksiooma on siinä mielessä raja-arvojen teorian perusta, että se takaa, että se luku on olemassa, joka raja-arvoksi kulloinkin tulee.
Sen lisäksi, että täydellisyysaksiooma täyttää rationaalilukujen väliin jäävät aukot, se sulkee pois ”liian pienet” ja ”liian suuret” luvut. Todistamme jälkimmäisen olettamalla että se ei pädekään ja johtamalla ristiriidan.