Irracionális szám

A Wikipédiából, a szabad enciklopédiából.

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 tizedes tö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. Ekkor kezdődött a geometria tudománnyá válása, mert sok, aránnyal ki nem fejezhető mennyiség (elvileg) pontosan kiszerkeszthető.

Az irracionális számok halmazának jele: \mathbb{Q}^*.

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.

Tartalomjegyzék

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

Az irracionális számok felfedezése jelenlegi ismereteink szerint Püthagorasz filozófus-iskolájához, a pitagoreusokhoz 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 pithagoreusok 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-Hvarizmi 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.[1] Ezt a kifejezést később Európában is alkalmazták.[2] Filep László kiemeli, hogy Newton is alkalmazta ezt a terminológiát.[3] 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.

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

A valós számok halmaza két diszjunkt részhalmazra bontható, az algebrai számokra (\mbox{ }_\mathbb{A}, ez részteste \mbox{ }_\mathbb{R}-nek) és transzcendens számokra (\mbox{ }_\mathbb{T}). 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áis 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égesdimenziós, a transzcendensek pedig a végtelendimenziós elemi testbővítéseinek felelnek meg.

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

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:
\sqrt{2}-\sqrt{2}=0
\sqrt{2}\cdot\sqrt{2}=2
\sqrt{2}+\sqrt{2}=2\sqrt{2}
\sqrt{2}\cdot\sqrt{3}=\sqrt{6}


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.

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

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 \sqrt{a} irracionális. Ez igazolható a számelmélet alaptétele segítségével, de geometriai úton is. Belátható, hogy ha n > 4 egész szám, akkor tg(π / n) irracionális. Szintén irracionálisak a

0,1234567891011121314\dots

és a

0,23571113171923\dots

számok (ezeket úgy kapjuk, hogy egymásutá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 k\cdot 10^n+1 alakú prímszám.

Könnyű belátni e irracionalitását. Ennél valamivel nehezebb π irracionalitásának igazolása, de megoldatlan, hogy e + π irracionális-e. Azt viszont könnyű látni, hogy e + π és eπ nem lehet mindkettő racionális. Nem ismert, hogy az Euler-Mascheroni állandó irracionális-e vagy sem.

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

\sum^\infty_{n=1}\frac{1}{2^n-1}

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

\sum^\infty_{n=1}\frac{1}{2^n+1}

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

P mathematics.svg Ez a matematikai tárgyú lap egyelőre csonk (erősen hiányos). Segíts te is, hogy igazi szócikk lehessen belőle!

[szerkesztés] Jegyzetek

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

[szerkesztés] Külső hivatkozások

P mathematics.svg Ez a matematikai tárgyú lap egyelőre csonk (erősen hiányos). Segíts te is, hogy igazi szócikk lehessen belőle!

A lap eredeti címe: „http://hu.wikipedia.org/wiki/Irracion%C3%A1lis_sz%C3%A1m”