A transzcendentális szám (a latin transzcendere - átadni, túllépni) olyan valós vagy komplex szám , amely nem algebrai - más szóval olyan szám, amely nem lehet egy egész együtthatós polinom gyöke (nem azonos nullával) . 1] . A definícióban a polinomokat egész együtthatóval helyettesíthetjük racionális együtthatós polinomokkal, mivel ezeknek ugyanazok a gyökerei.
Minden komplex szám két nem átfedő osztályra van osztva - algebrai és transzcendentális. Halmazelmélet szempontjából sokkal több transzcendentális szám létezik, mint algebrai: a transzcendentális számok halmaza folytonos , az algebrai számok halmaza megszámlálható .
Minden transzcendentális valós szám irracionális , de fordítva nem igaz. Például egy szám irracionális, de nem transzcendens: egy egyenlet gyöke (és ezért algebrai).
Ellentétben az algebrai számok halmazával, amely egy mező , a transzcendentális számok nem alkotnak semmilyen algebrai struktúrát az aritmetikai műveletek tekintetében - a transzcendentális számok összeadása, kivonása, szorzása és osztása lehet transzcendentális szám és algebrai szám is. Van azonban néhány korlátozott mód arra, hogy egy másik transzcendens számból transzcendens számot kapjunk.
Szinte bármely ( a Lebesgue-mérték értelmében ) transzcendentális szám irracionalitásának mértéke 2.
A transzcendentális szám fogalmát (és magát ezt a kifejezést) először Leonhard Euler vezette be „ De relation inter tres pluresve quantitates instituenda ” című munkájában (1775) [3] . Euler már az 1740-es években foglalkozott ezzel a témával [4] ; kijelentette, hogy a racionális számok logaritmusának értéke nem algebrai („ gyökös ”, ahogy akkor mondták) [5] , kivéve azt az esetet, amikor valamely racionális Euler-állítás igaznak bizonyult, de ezt csak a 20. század.
A transzcendentális számok létezését Joseph Liouville bizonyította 1844 - ben , amikor közzétett egy tételt , miszerint egy algebrai számot nem lehet túl jól közelíteni racionális törttel. Liouville konkrét példákat konstruált (" Liouville-számok "), amelyek a transzcendentális számok első példái lettek.
1873- ban Charles Hermite bebizonyította a természetes logaritmusok alapja, az e szám meghaladását. 1882 -ben Lindemann bebizonyította a transzcendencia tételt egy e szám fokára nem nulla algebrai kitevővel, ezzel bizonyítva a szám transzcendenciáját és a kör négyzetesítési feladatának megoldhatatlanságát .
1900-ban, a II. Nemzetközi Matematikus Kongresszuson Hilbert az általa megfogalmazott problémák között megfogalmazta a hetedik problémát : „Ha , algebrai szám, és algebrai, de irracionális, igaz, hogy transzcendentális szám?” Konkrétan a szám transzcendentális ? Ezt a problémát 1934-ben Gelfond oldotta meg , aki bebizonyította, hogy minden ilyen szám valóban transzcendentális.
A Galois-elmélet egy általánosabb definíciót vesz figyelembe: egy P mezőbővítés eleme transzcendentális, ha nem egy P feletti polinom gyöke .
Létezik analógja a transzcendentális számok elméletének a p-adikus számok mezőjében definiált egész együtthatós polinomokra [1] .
Szótárak és enciklopédiák | |
---|---|
Bibliográfiai katalógusokban |
|
Numerikus rendszerek | |
---|---|
Megszámlálható készletek |
|
Valós számok és kiterjesztéseik |
|
Numerikus bővítő eszközök | |
Egyéb számrendszerek | |
Lásd még |
Irracionális számok | ||
---|---|---|
| ||