Irracionális számok

A Wikipédiából, a szabad enciklopédiából
Ugrás a navigációhoz Ugrás a kereséshez

Irracionális számnak nevezzük az olyan valós számokat, melyek nem racionálisak, vagyis amelyek nem írhatók fel két egész szám hányadosaként. Az ilyen számok mindig végtelen, nem szakaszos tizedestörtek. A név ugyan latin, de az értelme görög. Az ókori görög 'mathéma' csak a természetes számokat tartotta számoknak. A törtek (bár úgy számoltak velük, mint mi) számukra csak két szám arányai voltak. Súlyos csapás volt az akkori bölcseletre, mikor rájöttek, hogy az egység oldalú négyzet átlója semmilyen aránnyal nem fejezhető ki.[1] Ekkor kezdődött a geometria tudománnyá válása, mert sok, aránnyal ki nem fejezhető mennyiség (elvileg) pontosan kiszerkeszthető.

Nincs mindenki által egységesen elfogadott jelölés az irracionális számokra, azonban a és az jelöléseket használják leggyakrabban. A félreértésekre legkevésbé lehetőséget adó jelölés az (azaz a nem racionális valós számok).

Georg Cantor bebizonyította, hogy majdnem minden valós szám irracionális: a racionális számok halmaza megszámlálható, a valósaké (és így az irracionálisaké is) viszont kontinuum számosságú. Az irracionális számok első ma is elfogadott definícióját Dedekind és más kutatók adták meg.

Történetük[szerkesztés]

Az irracionális számok felfedezése jelenlegi ismereteink szerint Püthagorasz filozófus-iskolájához, a püthagoreusokhoz kötődik. Valószínűleg tőlük származik az a geometriai regressus ad infinitum-bizonyítás, mely szerint gyök kettő irracionális (korabeli, geometriai fogalmakkal: egy négyzet átlója összemérhetetlen annak oldalával). A püthagoreusok számára ez paradoxon volt, mivel felfogásuk szerint a természetben minden leírható arányokkal, végső soron pozitív egész számokkal. A görögök csak jóval később jutottak oda, hogy feloldják ezt a paradoxont (Eudoxosz arányelmélete).

Al-Hvárizmi már hallható és nem hallható számoknak nevezte a racionális, illetve irracionális számokat. A nem hallhatót latinra később surdus-nak (süket) fordították.[2] Ezt a kifejezést később Európában is alkalmazták.[3] Filep László kiemeli, hogy Newton is alkalmazta ezt a terminológiát.[4] Felfogása csak lassan terjedt, és az irracionális számokra igazán csak akkor kezdtek figyelmet fordítani, miután J. H. Lambert (1728-1777) svájci matematikus lánctörtekre hagyatkozva bebizonyította, hogy nemcsak gyökmennyiségek lehetnek irracionálisak, de olyan központi fontosságú matematikai állandók is, mint az Euler-féle e szám.

Algebrai és transzcendens számok[szerkesztés]

A valós számok halmaza két diszjunkt részhalmazra bontható, az algebrai számokra (, ez részteste -nek) és transzcendens számokra (). Az algebrai számok, definíciójuk szerint, gyökei valamilyen nemnulla, racionális együtthatós polinomnak. A nem algebrai számok a transzcendens számok, melyek nyilvánvaló módon irracionálisak. Vannak euklideszi módon szerkeszthető és nem szerkeszthető irracionális számok (négyzetgyök kettő szerkeszthető, köbgyök kettő azonban nem), a transzcendens számok ellenben nem szerkeszthetők és nem gyökei semmilyen egész együtthatós polinomnak sem. Ilyen például a π és az e.

Az algebrai számok a racionális számok véges dimenziós, a transzcendensek pedig a végtelen dimenziós elemi testbővítéseinek felelnek meg.

Műveletek irracionális számokkal[szerkesztés]

Ha irracionális számok között a négy alapműveletet végezzük, kaphatunk racionális számokat és irracionális számokat egyaránt. Nyilvánvaló példák:



Egy racionális és egy irracionális szám összege, különbsége, valamint - ha a racionális szám 0-tól különböző - szorzata és hányadosa is irracionális.

Bizonyos számok irracionalitása[szerkesztés]

Számos nevezetes valós számról ismert, hogy irracionális, e bizonyítások nehézsége különböző.

  • Például, ha a pozitív egész a szám nem négyzetszám, akkor irracionális. Ez igazolható a számelmélet alaptétele segítségével, de geometriai úton is.
  • Hasonlóan irracionálisak a alakú számok, ha m egész.
  • Belátható, hogy ha egész szám, akkor irracionális.
  • Szintén irracionálisak a

és a

számok (ezeket úgy kapjuk, hogy egymás után írjuk a természetes számok illetve a prímszámok jegyeit) hiszen mindkettő tartalmaz tetszőlegesen hosszú 0-kból álló szakaszt. A prímszámok esetében ennek igazolásához szükségünk van Dirichlet tételére: minden n-re van alakú prímszám.

Könnyű belátni e irracionalitását. Ennél valamivel nehezebb π irracionalitásának igazolása, de megoldatlan, hogy irracionális-e. Sőt, semmilyen (n, m) egész számpárra nem ismert, hogy mπ + ne irracionális-e. Azt viszont könnyű látni, hogy és közül nem lehet mindkettő racionális. Nem ismert, hogy a γ = 0,57721... Euler–Mascheroni állandó irracionális-e vagy sem. Csak sejtés van arról, hogy 2e, πe, π√2, ππ, ee irracionális-e, de eπ irracionalitása ismert.

Erdős 1948-ban igazolta,[5] hogy a

sor összege irracionális szám. Azt azonban csak 1991-ben sikerült belátnia Peter Borweinnek[6], hogy

is irracionális. Hosszú ideig nevezetes probléma volt, majd 1977-ben Roger Apéry igazolta, hogy ζ(3) irracionális.

Számosság[szerkesztés]

A valós számok számossága a megszámlálható végtelennél nagyobb, ellenben a racionális számok halmaza megszámlálható. Ebből következik, hogy az irracionális számok halmaza nem megszámolható. Cantor továbbá azt is megmutatta, hogy az algebrai számok halmaza megszámlálható, hiszen az egész együtthatós polinomokból is megszámlálható sok van. Ebből következik, hogy a komplex számok bármely megszámlálható részhalmazának algebrai lezártja is megszámlálható, ezért nem tartalmazza az összes valós számot.

Jegyzetek[szerkesztés]

  1. Kline 1990, p. 32.
  2. Smith, David Eugene. History of Mathematics, vol. II. Boston: Ginn and Co., 1925
  3. Earliest Known Uses of Some of the Words of Mathematics
  4. A valós szám fogalmának kialakulása. Polygon (matematikai, szakdidaktikai közlemények) X./1.; 2000. június; 13.-34. o.
  5. P. Erdős: On arithmetical properties of Lambert series, Journal of Indian Math. Soc.,12(1948), 63-66.
  6. Peter Borwein: On the irrationality of , J. Number Theory, 37(1991), 253-259.

Források[szerkesztés]