Otsikkokuva

Joukko-oppia reaaliluvuilla

Reaaliluvut

Mitä reaaliluvut ovat? Minkälaisia ominaisuuksia niillä on? Reaalilukujen joukkoa, jota merkitään symbolilla  $ \mathbb{R}$, kutsutaan myös lukusuoraksi tai kontinuumiksi -- suomalaisemmin jatkumoksi. Reaalilukuja ovat mm.

0, 1, 2, - 1,$\displaystyle {\textstyle\frac{3}{2}}$,$\displaystyle \sqrt{2}$,$\displaystyle \pi$, 1998, - 273.

Kuten kohta nähdään, ei ole mahdollista luetella kaikkia reaalilukuja.

Reaalilukuja ovat siis luonnolliset luvut $ \mathbb{N}$ = {0, 1, 2, 3,...}, kokonaisluvut $ \mathbb{Z}$ = {..., - 2, - 1, 0, 1, 2,...},murtoluvut eli rationaaliluvut

\mathbb{Q} = $\displaystyle \left\{\vphantom{\,\frac{m}{n}\mid m,n\in \mathbb{Z} ,n\not=0\,}\right.$ $\displaystyle {\frac{m}{n}}$ | m, n $\displaystyle \in$ \mathbb{Z}, n $\displaystyle \not=$$\displaystyle \left.\vphantom{\,\frac{m}{n}\mid m,n\in \mathbb{Z} ,n\not=0\,}\right\}$

ja irrationaaliluvut eli luvut, jotka ovat reaalilukuja mutteivät rationaalilukuja.1

Reaaliluvut on lineaarisesti järjestetty eli kaikille x $ \not=$y $ \in$ $ \mathbb{R}$ pätee joko x < y tai y < x. Tästä johtuu nimi 'lukusuora'. Kun a, b ovat reaalilukuja ja a < b, niin näiden määräämä väli [a, b] on joukko

x $\displaystyle \in$ \mathbb{R} | a$\displaystyle \le$x$\displaystyle \le$b }.

Välin [a, b] pituus on b - a. Reaalilukujen järjestys on tiheä eli jokaisen kahden reaaliluvun välistä löytyy reaaliluku.

Mikseivät rationaaliluvut riitä? Rationaalilukujen joukko on myös lineaarisesti järjestetty ja tiheä. Kuitenkin rationaalilukujen joukko on täynnä aukkoja. Esimerkiksi rationaalilukujono

x0 = 2,  xn + 1 = $\displaystyle {\textstyle\frac{1}{2}}$$\displaystyle \left(\vphantom{x_n+\frac{2}{x_n}}\right.$xn + $\displaystyle {\frac{2}{x_n}}$ $\displaystyle \left.\vphantom{x_n+\frac{2}{x_n}}\right)$

suppenee kohti reaalilukua $ \sqrt{2}$,2 mutta yksikköneliön halkaisijan pituus, $ \sqrt{2}$, on irrationaalinen. Tämä nähdään seuraavasti. Jos olisi $ \sqrt{2}$ = $ {\dfrac{m}{n}}$, missä m, n ovat kokonaislukuja ja $ {\dfrac{m}{n}}$ on supistetussa muodossa, niin seuraisi 2n2 = m2, jolloin luvun mtäytyisi olla parillinen, s.o. m = 2k. Mutta tällöin olisi n2 = 2k2, mistä seuraisi, että myös n olisi parillinen. Siis $ {\dfrac{m}{n}}$ voitaisiinkin supistaa, mikä on vastoin oletusta. Siis $ \sqrt{2}$ on irrationaalinen.3 Reaalilukujen joukko määritellään siten, että siihen ei jää "aukkoja" -- siitä johtuu nimi 'jatkumo'.4 Algebralliset reaaliluvut ovat jonkin kokonaislukukertoimisen polynomin nollakohtia. Rationaaliluvut ovat algebrallisia, sillä murtoluku $ {\dfrac{m}{n}}$ on polynomin nx - m nollakohta. Polynomi x2 - 2 osoittaa luvun $ \sqrt{2}$ algebrallisuuden. Reaaliluvut, jotka eivät ole algebrallisia, ovat transsendentaalisia. Esimerkiksi $ \pi$, ympyrän kehän ja halkaisijan pituuksien suhde, ja e = $ \lim_{n\to\infty}^{}$(1 + $ {\frac{1}{n}}$)n ovat transsendentaalisia. Näiden todistus ei ole aivan helppo.5

Mahtavuus

Kuinka paljon reaalilukuja sitten on? Kuinka äärettömiä joukkoja voidaan verrata toisiinsa? Asetetaan määritelmä:

Joukot A ja B ovat yhtämahtavia, jos joukkojen A ja B alkiot voidaan järjestää pareiksi niin, että jokaisella joukon A alkiolla on tasan yksi pari joukosta B ja kääntäen. Toisin sanoen on olemassa kääntäen yksikäsitteinen vastaavuus joukkojen A ja B välillä. Joukko on ääretön, jos se on yhtämahtava jonkin aidon osajoukkonsa kanssa.

Esimerkiksi luonnollisten lukujen joukko $ \mathbb{N}$ on ääretön, koska $ \mathbb{N}$ on yhtämahtava parillisten lukujen joukon kanssa: n $ \mapsto$ 2n eli 0 $ \mapsto$ 0, 1 $ \mapsto$ 2, 2 $ \mapsto$ 4, ... on kääntäen yksikäsitteinen vastaavuus.

Joukkoa sanotaan numeroituvaksi, jos se on äärellinen tai yhtämahtava joukon $ \mathbb{N}$ kanssa. Numeroituva joukko A voidaan siis luetella:

A = {x0, x1, x2,...} = { xn | n $\displaystyle \in$ N }.

Joukko on ylinumeroituva, jos se ei ole numeroituva.

Reaalilukujen joukko on ylinumeroituva, mikä näytetään siten, että jokainen yritys luetella kaikki reaaliluvut jonossa r0, r1, r2,... sisältää "aukkoja", ts. haetaan reaaliluku, joka ei ole tässä jonossa. Olkoon I0 jokin väli, joka ei sisällä lukua r0. Olkoon I1 välin I0osaväli, joka ei sisällä lukua r1. Olkoon In + 1 välin Inosaväli, joka ei sisällä lukua rn + 1. Nyt välien Inalkupisteiden jono suppenee kohti reaalilukua r, joka kuuluu jokaiseen väliin  In, kun n = 0, 1, 2,.... Tämä r ei siis voi olla mikään luvuista r0r1r2, ...6

Toisaalta algebrallisten lukujen joukko on numeroituva. Tämä nähdään seuraavasti: Luetellaan ensin kaikki kokonaislukukertoimiset polynomit

a0 + a1x + ... + anxn (an > 0)

järjestyksessä luvun k = | a0| + | a1| + ... + | an| + n mukaan:

k polynomit, joilla ym. luku on k
1 1
2 x, 2
3 x2, 2x, x $ \pm$ 1, 3
4 x3, 2x2, x2 $ \pm$ x, x2 $ \pm$ 1, 3x, 2x $ \pm$ 1, x $ \pm$ 2, 4
5 x4, 2x3, x3 $ \pm$ x2, x3 $ \pm$ x, x3 $ \pm$ 1, 3x2, 2x2 $ \pm$ x, 2x2 $ \pm$ 1, x2 $ \pm$ 2x,
  x2 $ \pm$ x $ \pm$ 1, x2 $ \pm$ 2, 4x, 3x $ \pm$ 1, 2x $ \pm$ 2, x $ \pm$ 3, 5
6 ...

Yllä polynomit on lueteltu ottamalla korkeimmat asteluvut ensin. Nyt voidaan luetella kaikki algebralliset luvut. Kutakin kkohti on siis aina äärellinen määrä polynomeja ja kullakin polynomilla on algebran peruslauseen mukaan korkeintaan astelukunsa osoittama määrä reaalisia nollakohtia. Lopuksi voidaan poistaa luettelosta toistot.

k polynomien nollakohdat, toistot poistettu
1  
2 0
3 $ \pm$ 1
4 $ \pm$ $ {\frac{1}{2}}$, $ \pm$ 2
5 $ \pm$ $ {\frac{1}{\sqrt{2}}}$, $ \pm$ $ \sqrt{2}$, $ {\frac{\pm1\pm\sqrt{5}}{2}}$, $ \pm$ $ {\frac{1}{3}}$,$ \pm$ 3
6 ...

Lopullinen algebrallisten lukujen numerointi alkaa siis seuraavasti:

0, 1, - 1,$ {\frac{1}{2}}$, - $ {\frac{1}{2}}$, 2, - 2,$ {\frac{1}{\sqrt2}}$, - $ {\frac{1}{\sqrt2}}$,$ \sqrt{2}$, - $ \sqrt{2}$,$ {\frac{1+\sqrt5}{2}}$,$ {\frac{1-\sqrt5}{2}}$,...

Huomaa, että edellisestä seuraa, että rationaalilukujen joukko on numeroituva.7 Suurin osa reaaliluvuista siis on transsendentaalisia.

Kontinuumihypoteesi on joukko-opin väite, joka sanoo että jokainen ylinumeroituva reaalilukujoukko on yhtämahtava joukon $ \mathbb{R}$ kanssa. On pystytty näyttämään, että kontinuumihypoteesiä ei voi todistaa oikeaksi eikä vääräksi joukko-opin aksioomeista lähtien.

Pieniä suuria joukkoja

Joukko A $ \subset$ $ \mathbb{R}$ on nollamittainen, jos se voidaan peittää väleillä, joiden pituuksien summa saadaan mielivaltaisen pieneksi. Esimerkiksi yhden pisteen joukko on nollamittainen, koska se voidaan peittää yhdellä mielivaltaisen lyhyellä välillä. Myös numeroituva joukko on aina nollamittainen, mikä nähdään seuraavasti. Olkoon A = {x0, x1, x2,...}. Olkoon r > 0 mielivaltainen. Valitaan kullekin n $ \in$ $ \mathbb{N}$ väli In siten, että xn $ \in$ In ja välin In pituus on $ {\dfrac{r}{2^{n+1}}}$. Nyt nämä välit peittävät joukon A ja välien pituuksien summa on

$\displaystyle \sum_{n=0}^{\infty}$$\displaystyle {\frac{r}{2^{n+1}}}$ = r$\displaystyle {\frac{\frac{1}{2}}{1-\frac{1}{2}}}$ = r.

Koska r voi olla miten pieni tahansa, niin A on nollamittainen.

Seuraavaksi konstruoimme ns. Cantorin joukon, joka on ylinumeroituva ja nollamittainen.

Cantorin joukko C konstruoidaan siten, että lähdetään yksikkövälistä C0 = [0, 1] ja siitä saadaan C1 poistamalla keskeltä kolmannes. Siis C1 = [0,$ {\frac{1}{3}}$] $ \cup$ [$ {\frac{2}{3}}$, 1]. Joukko C2 koostuu neljästä välistä, jotka saadaan poistamalla C1:n väleistä keskeltä kolmannes. Siis

C2 = [0,$ {\frac{1}{9}}$] $ \cup$ [$ {\frac{2}{9}}$,$ {\frac{3}{9}}$] $ \cup$ [$ {\frac{6}{9}}$,$ {\frac{7}{9}}$] $ \cup$ [$ {\frac{8}{9}}$, 1].

Yleisesti Cn + 1saadaan poistamalla joukon Cn väleistä keskeltä kolmannes. Cantorin joukko C on joukkojen Cn leikkaus.8,9
 
Kuva 1: Cantorin joukko
\includegraphics[width=8cm,height=8cm]{cantorset.eps}

Joukko Cnkoostuu 2n:stä erillisestä välistä, joiden pituus on $ {\dfrac{1}{3^n}}$. Cantorin joukko on nollamittainen

$\displaystyle \lim_{n\to \infty }^{}$m(Cn) = $\displaystyle \lim_{n\to \infty }^{}$$\displaystyle \left(\vphantom{\frac{2}{3}}\right.$$\displaystyle {\textstyle\frac{2}{3}}$ $\displaystyle \left.\vphantom{\frac{2}{3}}\right)^{n}_{}$ = 0.

Lisää lukemista

Aapo Halko



Alaviitteet

... rationaalilukuja.1
Reaalilukujen desimaalikehitelmä ei ole yksikäsitteinen. Näytä, että 1 = 0, 999...
...$ \sqrt{2}$,2
Todista $ \lim_{n\to\infty}^{}$xn = $ \sqrt{2}$.
... irrationaalinen.3
Tehtävä: Todista, että irrationaaliluvun desimaalikehitelmä on päättymätön ja jaksoton.
... 'jatkumo'.4
Reaalilukujen joukko-opillinen määritelmä rationaalilukujen avulla on seuraava. Dedekindin leikkaus on pari (A, B), joka toteuttaa ehdot
1.
A, B $ \subset$ $ \mathbb{Q}$, A, B $ \not=$ $ \emptyset$, A $ \cup$ B = $ \mathbb{Q}$ ja A $ \cap$ B = $ \emptyset$.
2.
Jos a $ \in$ A ja x < a, niin x $ \in$ A. Jos b $ \in$ B ja x > b, niin x $ \in$ B. Joukossa A ei ole viimeistä alkiota.
Reaalilukujen joukko on kaikkien Dedekindin leikkausten joukko eli kaikkien "aukkojen" joukko.
... helppo.5
Sivulla http://www.seanet.com/%7Eksbrown/kmath313.htm luku $ \pi$ näytetään irrationaaliseksi.
..., ...6
Osoita, että $ \mathbb{R}$ ja avoin väli ] - 1, 1[ ovat yhtämahtavia.
... numeroituva.7
Hae jokin rationaalilukujen numerointi.
... leikkaus.8
Osoita, että Cantorin joukko on ylinumeroituva. Todistus menee samaan tapaan kuin $ \mathbb{R}$:n ylinumeroituvuus.
...89
Osoita, että Cantorin joukko on muotoa

$\displaystyle \left\{\vphantom{\,\sum_{n=1}^\infty \frac{a_n}{3^n}\biggm\vert a_n\in \{0,2\}\,}\right.$ $\displaystyle \sum_{n=1}^{\infty}$$\displaystyle {\frac{a_n}{3^n}}$$\displaystyle \biggm\vert$an $\displaystyle \in$ {0, 2}  $\displaystyle \left.\vphantom{\,\sum_{n=1}^\infty \frac{a_n}{3^n}\biggm\vert a_n\in \{0,2\}\,}\right\}$


Solmu 2/1998-1999
Last modified: Sun Jan 24 22:02:55 EET 1999