From Wikipedia, the free encyclopedia
Transcendentni broj, bilo realan ili kompleksan, je onaj broj koji nije algebarski, tj. onaj koji se ne može dobiti kao korijen polinoma s cjelobrojnim koeficijentima.
Najpoznatiji primjeri transcendentnih brojeva su i . Poznato je svega nekoliko klasa transcendentnih brojeva, jer je dokazivanje da je neka klasa transcendentna iznimno teško.
Ipak, transcedentni brojevi nisu rijetki; kako su algebarski brojevi prebrojivi, a skupovi realnih brojeva i kompleksnih brojeva neprebrojivi, ispada da su gotovo svi realni i kompleksni brojevi transcedentni. Nadalje, svi transcedentni brojevi su iracionalni, dok obrat ne vrijedi jer je primjerice iracionalan broj kao rješenje jednadžbe algebarski.
Jednostavno je bilo dokazati postojanje transcendentnih brojeva i da ih je znatno više od algebarskih brojeva, no nije bilo jednostavno u povijesti dokazati da je konkretan broj transcendentan.[1]:111
Jedan od najpoznatijih problema u matematici upravo je svoje rješenje našao u teoriji transcedentnih brojeva. Radi se o klasičnom starogrčkom problemu kvadrature kruga koji postavlja pitanje mogućnosti konstruiranja (ravnalom i šestarom) kvadrat s površinom jednakom površini jediničnog kruga.
Euler je vjerojatno prvi matematičar koji je definirao transcendentne brojeve u današnjem smislu. Naziv "transcendentni" dolazi od Leibniza koji je 1682. godine dokazao da nije algebarska funkcija po varijabli .
Liouville je 1844. prvi dokazao egzistenciju transcendentnih brojeva, a 1851. je dao prvi decimalni prikaz takvog broja, tzv. Liouvilleovu konstantu:
Johann Heinrich Lambert je 1761. godine dokazao iracionalnost broja i ujedno izrekao pretpostavku o transcendentnosti brojeva i . Prvi broj za kojeg je dokazana transcendentnost, a da nije konstruiran samo za to, je bio što je učinio Charles Hermite (1822. – 1901.) 1873. godine,[1] dok je Georg Cantor 1874. godine ranije spomenutim argumentom prebrojavanja pokazao njihovu gustoću.
Ferdinand von Lindemann (1852. – 1939.) 1882. godine prvi dokazuje transcedentnost broja ,[1] pokazujući da je bilo koja potencija s ne-nul eksponentom broja transcendentni broj. Kako je algebarski, to , a time i , moraju biti transcedentni. Time je ujedno negativno riješen tzv. problem kvadrature kruga, odnosno problem konstrukcije samo uz pomoć šestara i ravnala kvadrata koji ima jednaku površinu kao i zadani krug.
David Hilbert je 1900. godine na međunarodnom kongresu matematičara u Parizu zadao svojih glasovitih 23 problema, od kojih je sedmi glasio dokazivanje transcedentnosti ili barem iracionalnosti broja . Tek 1934. godine je ruski matematičar A. O. Gelfond i nezavisno od njega 1937. godine T. Schneider, dokazao znatno općenitiji teorem po kojemu je transcedentan ako su i algebarski brojevi, iracionalan i .
Skup transcendentnih brojeva je neprebrojiv. Dokaz je jednostavan: kako je skup polinoma s cjelobrojnim koeficijentima prebrojiv i kako svaki polinom ima konačan broj nultočaka, to su i algebarski brojevi prebrojivi. Nadalje, kako Cantorov dijagonalni postupak dokazuje da je skup realnih brojeva, time i kompleksnih, neprebrojiv, to je skup transcendentnih brojeva neprebrojiv.
Nijedan transcendentan broj nije racionalan, ali ima iracionalnih brojeva koji nisu transcendentni. Primjerice, je iracionalan, ali kao nultočka algebarske jednadžbe nije transcendentan nego algebarski.
Kod nekonstantnih algebarskih funkcija jedne varijable vrijednost funkcije u transcendentnom argumentu je transcendentna. Tako su, primjerice za , i brojevi , , , transcendentni.
Međutim, kod funkcije više varijabli se kao vrijednost može dobiti algebarski broj ako uvršteni transcedentni brojevi nisu nezavisni. Primjerice, brojevi i su transcedentni, ali je algebarski. Trenutačno je nepoznato je li transcendentan, dok je poznato da barem jedan od brojeva , mora biti transcendentan. Općenitije, ako su i transcendentni brojevi, barem jedan od , mora biti transcendentan. Da bi se to vidjelo, promotrimo polinom gdje su transcendentni brojevi; ako bi i i bili algebarski, bio bi to polinom s algebarskim koeficijentima. No, kako algebarski brojevi čine algebarski zatvoreno polje, njegove bi nultočke bile algebarski brojevi, što je kontradikcija, pa barem jedan od koeficijenata mora biti transcendentan.
Neizračunljivi brojevi su podskup transcendentnih brojeva.
Liouvilleovi brojevi također čine podskup transcendentnih brojeva. Svaki Liouvilleov broj mora imati neograničen parcijalni kvocijent u rastavu na verižne razlomke, dok se prebrojavanjem može pokazati da postoje transcedentni brojevi kojima je parcijalni razlomak ograničen, pa nisu Liouvilleovi. Razvojem u verižne razlomke se može pokazati da niti niti nisu Liouvilleovi brojevi.
Ne zna se jesu li transcendentni:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.