Question: Mitä reaaliluvut ovat?

Reaaliluku


Reaaliluvut voidaan kuvailla havainnollisesti eri tavoin: yksi tapa on sanoa, että niihin luetaan sekä rationaaliluvut (kuten 2 tai 2/3) että irrationaaliluvut (kuten 



π


{\displaystyle \pi }

 tai neliöjuuri 2). Toinen tapa on taas havainnollistaa reaalilukuja lukusuoran pisteinä. Matematiikassa tarvitaan kuitenkin täsmällistä määritelmää, joten määrittely käydään läpi tässä artikkelissa seuraavaksi.
Reaalilukujen havainnollinen määritelmä
Reaalilukujen joukko 





R




{\displaystyle \scriptstyle \mathbb {R} }

 koostuu rationaaliluvuista ja irrationaaliluvuista. Rationaaliluvuksi kutsutaan lukua, jonka desimaalikehitelmä on päättyvä tai päättymätön jaksollinen, ja irrationaaliluvuksi lukua, jonka desimaalikehitelmä on päättymätön ja jaksoton. Esimerkiksi 






1
4


=
0

,

25



{\displaystyle \scriptstyle {\frac {1}{4}}=0{,}25}

 ja 






1
3


=
0,333
…



{\displaystyle \scriptstyle {\frac {1}{3}}=0{,}333\ldots }

 ovat rationaalilukuja, ja 0,1010010001... ja 






2


=
1,414
21
…



{\displaystyle \scriptstyle {\sqrt {2}}=1{,}41421\ldots }

 ja 




π
=
3,141
59
…





{\displaystyle \scriptstyle \pi =3{,}14159\ldots \,\!}

 ovat irrationaalilukuja. Reaaliluvut ja suoran pisteet vastaavat täysin toisiaan.
Vaikka tämä määritelmä kelpaa koulumatematiikkaan, se ei ole täsmällinen, koska nyt herää kysymys, mitä luku ja desimaalikehitelmä tarkoittavat. Siksi reaaliluvut määritellään nykymatematiikassa aivan toisesta lähtökohdasta.
Reaalilukujen aksiomaattinen määritelmä
Tarkastellaan abstraktia joukkoa 




R



{\displaystyle \mathbb {R} }

, jossa on määritelty abstrakti yhteenlasku 



+


{\displaystyle +}

, abstrakti kertolasku 



⋅


{\displaystyle \cdot }

 (missä piste jätetään usein kirjoittamatta) ja abstrakti järjestysrelaatio 



≤


{\displaystyle \leq }

. Algebrallinen struktuuri 



(

R

,
+
,
⋅
,
≤
)


{\displaystyle (\mathbb {R} ,+,\cdot ,\leq )}

 on täydellinen järjestetty kunta eli reaalilukujen kunta, jos sillä on seuraavassa mainitut algebralliset ominaisuudet, järjestysominaisuudet ja täydellisyysominaisuus.
Reaalilukujen algebralliset ominaisuudet
(A1) Yhteenlaskun vaihdantalaki: Kaikilla 



a
,
b
∈

R



{\displaystyle a,b\in \mathbb {R} }

 on 



a
+
b
=
b
+
a




{\displaystyle a+b=b+a\,\!}

.
(A2) Yhteenlaskun liitäntälaki: Kaikilla 



a
,
b
,
c
∈

R



{\displaystyle a,b,c\in \mathbb {R} }

 on 



a
+
(
b
+
c
)
=
(
a
+
b
)
+
c




{\displaystyle a+(b+c)=(a+b)+c\,\!}

.
(A3) Nollan olemassaolo: On olemassa sellainen reaaliluku 



0




{\displaystyle 0\,\!}

, että kaikilla 



a
∈

R



{\displaystyle a\in \mathbb {R} }

 on 



a
+
0
=
a




{\displaystyle a+0=a\,\!}

.
(A4) Vastaluvun olemassaolo: Jokaista reaalilukua 



a
∈

R



{\displaystyle a\in \mathbb {R} }

 kohti on olemassa sellainen reaaliluku 




a
′

∈

R



{\displaystyle a'\in \mathbb {R} }

, että 



a
+

a
′

=
0




{\displaystyle a+a'=0\,\!}

. Merkitään 




a
′

=
−
a




{\displaystyle a'=-a\,\!}

.
(A5) Kertolaskun vaihdantalaki: Kaikilla 



a
,
b
∈

R



{\displaystyle a,b\in \mathbb {R} }

 on 



a
b
=
b
a




{\displaystyle ab=ba\,\!}

.
(A6) Kertolaskun liitäntälaki: Kaikilla 



a
,
b
,
c
∈

R



{\displaystyle a,b,c\in \mathbb {R} }

 on 



a
(
b
c
)
=
(
a
b
)
c




{\displaystyle a(bc)=(ab)c\,\!}

.
(A7) Ykkösen olemassaolo: On olemassa sellainen reaaliluku 



1




{\displaystyle 1\,\!}

, että kaikilla 



a
∈

R



{\displaystyle a\in \mathbb {R} }

 on 



a
⋅
1
=
a


{\displaystyle a\cdot 1=a}

.
(A8) Käänteisluvun olemassaolo: Jos 



a
∈

R



{\displaystyle a\in \mathbb {R} }

 ja 



a
≠
0




{\displaystyle a\neq 0\,\!}

, niin on olemassa sellainen 




a
′

∈

R



{\displaystyle a'\in \mathbb {R} }

, että 



a

a
′

=
1




{\displaystyle aa'=1\,\!}

. Merkitään 




a
′

=

a

−
1






{\displaystyle a'=a^{-1}\,\!}

.
(A9) Osittelulaki: Kaikilla 



a
,
b
,
c
∈

R



{\displaystyle a,b,c\in \mathbb {R} }

 on 



a
(
b
+
c
)
=
a
b
+
a
c




{\displaystyle a(b+c)=ab+ac\,\!}

.
Reaalilukujen järjestysominaisuudet
(J1) Refleksiivisyys: Kaikilla 



a
∈

R



{\displaystyle a\in \mathbb {R} }

 on 



a
≤
a


{\displaystyle a\leq a}

.
(J2) Antisymmetrisyys: Olkoon 



a
,
b
∈

R



{\displaystyle a,b\in \mathbb {R} }

. Jos 



a
≤
b


{\displaystyle a\leq b}

 ja 



b
≤
a


{\displaystyle b\leq a}

, niin 



a
=
b




{\displaystyle a=b\,\!}

.
(J3) Transitiivisuus: Olkoon 



a
,
b
,
c
∈

R



{\displaystyle a,b,c\in \mathbb {R} }

. Jos 



a
≤
b


{\displaystyle a\leq b}

 ja 



b
≤
c


{\displaystyle b\leq c}

, niin 



a
≤
c


{\displaystyle a\leq c}

.
(J4) Vertailullisuus: Kaikilla 



a
,
b
∈

R



{\displaystyle a,b\in \mathbb {R} }

 on 



a
≤
b


{\displaystyle a\leq b}

 tai 



b
≤
a


{\displaystyle b\leq a}

.
(J5) Järjestyksen säilyminen yhteenlaskussa: Olkoon 



a
,
b
,
c
∈

R



{\displaystyle a,b,c\in \mathbb {R} }

. Jos 



a
≤
b


{\displaystyle a\leq b}

, niin 



a
+
c
≤
b
+
c


{\displaystyle a+c\leq b+c}

.
(J6) Ei-negatiivisuuden säilyminen kertolaskussa: Olkoon 



a
,
b
∈

R



{\displaystyle a,b\in \mathbb {R} }

. Jos 



0
≤
a


{\displaystyle 0\leq a}

 ja 



0
≤
b


{\displaystyle 0\leq b}

, niin 



0
≤
a
b


{\displaystyle 0\leq ab}

.
Reaalilukujen täydellisyysominaisuus
Jos algebrallisella struktuurilla on ominaisuudet (A1)–(A9), niin kyseessä on kunta. Jos sillä on lisäksi ominaisuudet (J1)–(J6), niin se on järjestetty kunta. Paitsi reaaliluvut myös rationaaliluvut muodostavat järjestetyn kunnan. Tarvitaan siis vielä sellainen ominaisuus, joka on reaalilukujen joukolla 




R



{\displaystyle \mathbb {R} }

 mutta ei ole rationaalilukujen joukolla 




Q



{\displaystyle \mathbb {Q} }

. 
Joukon 




R



{\displaystyle \mathbb {R} }

 epätyhjä osajoukko 



A




{\displaystyle A\,\!}

 on ylhäältä rajoitettu, jos on olemassa sellainen reaaliluku 



m




{\displaystyle m\,\!}

, että kaikilla 



x
∈
A


{\displaystyle x\in A}

 on 



x
≤
m


{\displaystyle x\leq m}

. Tällöin 



m




{\displaystyle m\,\!}

 on joukon 



A




{\displaystyle A\,\!}

 yläraja.
(T) Täydellisyys: Joukon 




R



{\displaystyle \mathbb {R} }

 jokaisella epätyhjällä ylhäältä rajoitetulla osajoukolla on pienin yläraja. (Toisin sanoen, jokaisen tällaisen osajoukon ylärajojen joukossa on pienin luku.)
Joukolla 




Q



{\displaystyle \mathbb {Q} }

 ei ole täydellisyysominaisuutta. Esimerkiksi niiden rationaalilukujen joukko, joiden neliö on lukua 2 pienempi, on epätyhjä ja ylhäältä rajoitettu, mutta sillä ei ole (rationaalista) pienintä ylärajaa.
Reaalilukujen konstruointi rationaaliluvuista
Kun rationaalilukujen joukko 




Q



{\displaystyle \mathbb {Q} }

 oletetaan tunnetuksi, reaalilukujen joukko 




R



{\displaystyle \mathbb {R} }

 voidaan konstruoida käyttämällä Dedekindin leikkauksia tai Cauchyn jonoja. Edellinen tapa tarkoittaa havainnollisesti, että reaaliluku määritellään sen kaikkien rationaalisten alalikiarvojen joukkona. Jälkimmäinen tarkoittaa havainnollisesti, että reaaliluku määritellään kaikkina mahdollisina sitä kohti suppenevina rationaalilukujonoina. 
Siis, kun 




Q



{\displaystyle \mathbb {Q} }

 oletetaan tunnetuksi, reaalilukujen aksioomajärjestelmälle (A1)–(A9), (J1)–(J6), (T) voidaan muodostaa malli, joten reaaliluvut "ovat olemassa". Voidaan todistaa, että kaikki tämän aksioomajärjestelmän mallit ovat keskenään isomorfisia, mikä havainnollisesti tarkoittaa, että niiden matemaattinen rakenne on täysin sama ja ne eroavat toisistaan vain merkintöjen osalta.
Reaalilukujen joukon ylinumeroituvuus
Cantorin diagonaalimenetelmällä voidaan osoittaa, että reaalilukujen joukko on ylinumeroituva.
Katso myös
Kompleksiluku
Lähteet
Browder, A.: Mathematical Analysis: An Introduction. Springer, 1996.
Ebbinghaus, H-D.; Hermes, H.; Hirzebruch F.; Koecher, M.; Mainzer, K.; Neukirch, J.; Prestel, A.; Remmert, R.: Numbers. Corrected 3rd printing. Springer, 1995.
Lindelöf, E.: Johdatus korkeampaan analyysiin. 4. p. WSOY, 1956.
Citation error, replace with{{cite book| author = Merikoski, Jorma; Halmetoja, Markku; Tossavainen, Timo| title = Johdatus matemaattisen analyysin teoriaan| location = Porvoo Helsinki| publisher = WSOY| year = 2004| id = ISBN 951-0-29570-1}}
Myrberg, Lauri: Differentiaali- ja integraalilaskenta korkeakouluja varten. Osa I. 7. p. Kirjayhtymä, 1999. ISBN 951-26-0936-3.
Myrberg, Lauri: Differentiaali- ja integraalilaskenta korkeakouluja varten. Osa II. 4. p. Kirjayhtymä, 1995. ISBN 951-26-0994-0.
Rudin, W.: Principles of Mathematical Analysis. 3rd ed. McGraw-Hill, 1976. ISBN 0-07-054235-X.
Citation error, replace with{{cite book| author = Rikkonen, Harri| title = Matematiikan pitkä peruskurssi II: Reaalimuuttujan funktioiden differentiaalilasku| location = Helsinki| publisher = Otakustantamo| year = 1969| id = ISBN 951-671-022-0}}
Citation error, replace with{{cite book| author = Pitkäranta, Juhani| title = Calculus Fennicus| location = Helsinki| publisher = Avoimet oppimateriaalit ry| year = 2015| id = ISBN 978-952-7010-12-9, ISBN 978-952-7010-13-6 (pdf)}}

Luokka:Reaaliluvut
Luokka:Seulonnan keskeiset artikkelit