2. Racionális és irracionális számok. Számosságok

A racionális és irracionális számok fogalma

A matematikában a számköröket egymásra építve bővítjük: a természetes számokból ($\mathbb{N}$) kapjuk az egész számokat ($\mathbb{Z}$), majd a feladatok (pl. $2x = 3$ egyenlet megoldása) megkívánják a racionális számok bevezetését.

Racionális számok ($\mathbb{Q}$): Azokat a számokat, amelyek felírhatók két egész szám hányadosaként (ahol az osztó nem nulla), racionális számoknak nevezzük. Alakilag: $\mathbb{Q} = \{ \frac{p}{q} \mid p, q \in \mathbb{Z}, q \neq 0 \}$. Megjegyzés: minden egész szám racionális (pl. $5 = \frac{5}{1}$).
Irracionális számok ($\mathbb{Q}^*$): Azokat a valós számokat, amelyek nem írhatók fel két egész szám hányadosaként, irracionális számoknak nevezzük. (Később a Pitagorasz-tétel miatt vált szükségessé a bevezetésük, pl. $\sqrt{2}$).
Valós számok ($\mathbb{R}$): A racionális és irracionális számok halmazának uniója adja a valós számok halmazát. $\mathbb{R} = \mathbb{Q} \cup \mathbb{Q}^*$. A számegyenes minden pontjának pontosan egy valós szám felel meg, és fordítva (kölcsönösen egyértelmű megfeleltetés).

Közönséges törtek és tizedes törtek kapcsolata

Minden valós szám felírható tizedestört alakban, de a tizedestört szerkezete megmutatja, hogy a szám racionális vagy irracionális.

Számhalmaz	Tizedestört alakja	Példa
Racionális ($\mathbb{Q}$)	Véges, vagy végtelen, de szakaszos.	$\frac{3}{4} = 0.75$ (véges) $\frac{1}{3} = 0.333... = 0.\dot{3}$ (végtelen szakaszos)
*Irracionális ($\mathbb{Q}^$)**	Végtelen és nem szakaszos.	$\pi \approx 3.14159...$ $\sqrt{2} \approx 1.4142...$

Átváltás szakaszos tizedestörtből közönséges törtbe (Példa):
Legyen $x = 0.2\dot{4}\dot{5}$ (azaz $0.2454545...$).
Szorozzuk meg 10-zel a "nem ismétlődő" rész miatt: $10x = 2.4545...$
Szorozzuk meg 1000-rel (mivel a periódus 2 hosszú): $1000x = 245.4545...$
A két egyenletet kivonva egymásból: $990x = 243 \Rightarrow x = \frac{243}{990} = \frac{27}{110}$. Ezzel megkaptuk a racionális $\frac{p}{q}$ alakot.

Műveletek a halmazokon: Zártság

Egy halmazt zártnak nevezünk egy műveletre nézve, ha a halmaz bármely két elemén elvégezve a műveletet, az eredmény is a halmaz eleme marad.

A racionális számok halmaza ($\mathbb{Q}$) zárt a négy alapműveletre (összeadás, kivonás, szorzás, osztás – a nullával való osztást kivéve). Ha $\frac{a}{b}$ és $\frac{c}{d}$ racionálisak, akkor pl. az összegük $\frac{ad+bc}{bd}$ szintén racionális.
Az irracionális számok halmaza ($\mathbb{Q}^*$) NEM zárt az alapműveletekre! Könnyen mutathatunk ellenpéldákat, amikor két irracionális szám műveletének eredménye racionális lesz:
- Összeadás: $(3 + \sqrt{2}) + (3 - \sqrt{2}) = 6 \in \mathbb{Q}$
- Szorzás: $\sqrt{2} \cdot \sqrt{2} = 2 \in \mathbb{Q}$

Halmazok számossága (Emelt szintű tananyag)

Georg Cantor halmazelméletében két halmazt egyenlő számosságúnak nevezünk (ekvivalensek), ha elemeik között létezik kölcsönösen egyértelmű (bijektív) megfeleltetés.

Számossági kategóriák:

Véges halmazok: Számosságuk egyenlő elemeik darabszámával (pl. $| \{1, 2, 3\} | = 3$).
Megszámlálhatóan végtelen halmazok: Azok a halmazok, amelyek egyenértékűek a természetes számok halmazával ($\mathbb{N}$).
Példák: Az egész számok ($\mathbb{Z}$) és meglepő módon a racionális számok ($\mathbb{Q}$) is megszámlálhatóak. Cantor első átlós módszerével megmutatta, hogy a törtek sorba rendezhetők (számlálhatók), így ugyanannyi van belőlük, mint természetes számból, hiába tűnik úgy, hogy "több" van. Jelölése: $\aleph_0$ (alef-null).
Nem megszámlálhatóan végtelen (kontinuum) halmazok: Olyan végtelen halmazok, amelyek "nagyobb" végtelent alkotnak, nem állíthatók sorba.
Példák: A valós számok ($\mathbb{R}$) és az irracionális számok ($\mathbb{Q}^*$) halmaza. Cantor második (diagonális) módszerével igazolta, hogy a valós számok halmaza megszámlálhatatlan.

Kötelező Bizonyítás: A gyök 2 irracionális

Tétel: A $\sqrt{2}$ irracionális szám.

Mást szóval: Nem létezik olyan $p, q \in \mathbb{Z}$ ($q \neq 0$), amelyre $\sqrt{2} = \frac{p}{q}$ teljesülne.

Bizonyítás (Indirekt módszerrel):

Tegyük fel az állítás ellenkezőjét, azaz hogy a $\sqrt{2}$ racionális szám. Ebben az esetben felírható két pozitív egész szám hányadosaként. Tegyük fel azt is, hogy ez a tört tovább már nem egyszerűsíthető (azaz $p$ és $q$ relatív prímek, legnagyobb közös osztójuk 1).

$$ \sqrt{2} = \frac{p}{q} $$

Emeljük mindkét oldalt négyzetre:

$$ 2 = \frac{p^2}{q^2} $$

Szorozzunk be $q^2$-tel:

$$ 2q^2 = p^2 $$

Mivel a bal oldal egy 2-vel szorzott szám, biztosan páros. Ebből következik, hogy a jobb oldal, $p^2$ is páros. Tudjuk, hogy egy négyzetszám csak akkor páros, ha maga a szám ($p$) is páros. Tehát $p$ felírható $p = 2k$ alakban (ahol $k \in \mathbb{Z}$).

Helyettesítsük be $p$-t az egyenletbe:

$$ 2q^2 = (2k)^2 $$ $$ 2q^2 = 4k^2 $$

Kettővel leosztva kapjuk:

$$ q^2 = 2k^2 $$

Most a jobb oldalról látjuk, hogy páros ($2 \cdot k^2$), ami azt jelenti, hogy $q^2$ is páros. Ha $q^2$ páros, akkor $q$ is páros.

Ellentmondás! Korábban feltettük, hogy a $\frac{p}{q}$ tört nem egyszerűsíthető, azaz $p$ és $q$ nem lehet egyszerre páros (mert akkor 2-vel egyszerűsíthető lenne). Mivel ellentmondásra jutottunk, az eredeti indirekt feltevésünk hamis volt. Tehát a $\sqrt{2}$ nem írható fel tört alakban, azaz irracionális. Q.E.D.

Matematikatörténet és Alkalmazás

Matematikatörténeti vonatkozások:

A pitagoreusok krízise: Az ókori görög Pitagorasz-iskola tagjai úgy hitték, hogy a világon minden kifejezhető egész számok arányaival (racionális számokkal). Ám amikor megvizsgálták az egységoldalú négyzet átlóját (ami a Pitagorasz-tétel értelmében $\sqrt{1^2 + 1^2} = \sqrt{2}$), felfedezték, hogy ez az érték nem fejezhető ki törttel. A legenda szerint a felfedezőt (metapontumi Hippaszosz) a tengerbe fojtották, mert a felfedezés romba döntötte a világképüket. Ezt a jelenséget összemérhetetlenségnek (inkommenzurabilitás) hívták.
A valós számok precíz matematikai felépítését (hogy mi is egy irracionális szám pontosan) csak a 19. században alkotta meg Richard Dedekind (Dedekind-szeletek) és Georg Cantor.

Gyakorlati alkalmazások:

Informatika - Lebegőpontos ábrázolás: A számítógépek véges memóriával rendelkeznek, így lehetetlen bennük pontosan eltárolni egy irracionális (vagy végtelen szakaszos racionális) számot, hiszen végtelen sok tizedesjegyük van. Az IEEE 754 szabvány szerinti lebegőpontos számábrázolás (float, double) emiatt mindig csak közelítése a valós számoknak, ami kerekítési hibákhoz vezethet a programozás során.
Fizika és Geometria: Az univerzum leírásához elengedhetetlenek az irracionális számok. A körök és gömbök kerületének/területének kiszámításához a $\pi$, míg az exponenciális növekedési (pl. radioaktív bomlás, populációnövekedés) folyamatok leírásához az $e$ (Euler-féle szám) szükséges – mindkettő transzcendens, és így irracionális szám.