Transcendentni broj

Izvor: Wikipedija
Skoči na: orijentacija, traži

Transcendentni broj, realni ili Kompleksni broj je onaj koji nije algebarski broj, odnosno, onaj koji se ne može dobiti kao rješenje algebarske jednadžbe s cjelobrojnim koeficijentima.

Najčešći primjeri transcendentnih brojeva su \pi i e. Poznato je svega nekoliko klasa transcendentnih brojeva, dok je dokazivanje da je neka klasa transcendentna iznimno teško.

Ipak, transcedentni brojevi nisu rijetki; kako su algebarski brojevi prebrojivi, a skupovi realnih brojeva \mathbb{R} i kompleksnih brojeva \mathbb{C} 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 \sqrt{2} kao rješenje jednadžbe x^2-2=0 algebarski.

Povijest problema[uredi VE | uredi]

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 \sin x nije algebarska funkcija po varijabli x.

Liouville je 1844. prvi dokazao egzistenciju transcendentnih brojeva, a 1851. je dao prvi decimalni prikaz takvog broja, tzv. Liouvilleovu konstantu: \sum_{k=1}^{\infty}10^{-k!}=0.110001000000000000000001000\ldots

Johann Heinrich Lambert je 1761. godine dokazao iracionalnost broja \pi i ujedno izrekao pretpostavku o transcendentnosti brojeva e i \pi. Prvi broj za kojeg je dokazana transcendentnost, a da nije konstruiran samo za to, je bio e što je učinio Charles Hermite 1873. godine, dok je Georg Cantor 1874. godine ranije spomenutim argumentom prebrojavanja pokazao njihovu gustoću.

Ferdinand von Lindemann 1882. godine dokazuje transcedentnost broja \pi. Pokazujući da je bilo koja potencija s ne-nul eksponentom broja e transcendentni broj, te kako je e^{i\pi}=-1 algebarski, to i\pi, a time i \pi, 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 zadana kružnica.

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 2^{\sqrt{2}}. 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 a^b transcedentan ako su a i b algebarski brojevi, b iracionalan i a\neq 0,1.

Svojstva[uredi VE | uredi]

Skup transcendentnih brojeva je neprebrojiv. Dokaz je jednostavan: kako je skup polinoma s cjelobrojnim koeficijentima prebrojiv i kako svaki polinom ima konačan broj nul-toč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.

Transcendentni brojevi nisu racionalni, ali ima iracionalnih brojeva koji nisu transcendentni. Primjerice, \sqrt{2} je iracionalan, ali kao nul-točka algebarske jednadžbe x^2-2=0 nije transcendentan nego iracionalan.

Kod nekonstantnih algebarskih funkcija jedne varijable vrijednost funkcije u transcendentnom argumentu je transcendentna. Tako su, primjerice za \pi, i brojevi 5\pi, \sqrt{\pi}, 1-\pi, \frac{\pi - 5}{(\sqrt{2}+1)^2} transcendentni.

Međutim, kod funkcije više varijabli se kao vrijednost može dobiti algebarski broj ukoliko uvršteni transcedentni brojevi nisu nezavisni. Primjerice, brojevi \pi i 1-\pi su transcedentni, ali je \pi + (1-\pi)=1 algebarski. Trenutačno je nepoznato je li \pi + e transcendentan, dok je poznato da barem jedan od brojeva \pi + e, \pi\cdot e mora biti transcendentan. Općenitije, ako su a i b transcendentni brojevi, barem jedan od a+b, ab mora biti transcendentan. Da bi se to vidjelo, promotrimo polinom (x-a)(x-b)=x^2-(a+b)x+ab gdje su a,b transcendentni brojevi; ako bi i a+b i ab bili algebarski, bio bi to polinom s algebarskim koeficijentima. No, kako algebarski brojevi čine algebarski zatvoreno polje, to bi njegove nultočke a,b bile algebarski brojevi, što je kontradikcija, pa barem jedan od koeficijenata mora biti transcendentan.

Neizračunljivi brojevi su podskup transcendentnih brojeva.

Svi Liouvilleovi brojevi su transcendentni, dok svi transcendentni brojevi nisu Liouvilleovi. 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 e niti \pi nisu Liouvilleovi brojevi.

Neki transcendentni brojevi i otvoreni problemi[uredi VE | uredi]

Neki poznati transcendentni brojevi[uredi VE | uredi]

  • e^a, gdje je a algebarski i različit od nule, je transcendentan; posebno slijedi da je e transcendentan;
  • \pi;
  • e^{\pi}, Gelfondova konstanta;
  • a^b, gdje su a,b algebarski, a\neq 0,1; posebno slijedi da je 2^{\sqrt{2}} transcendentan;
  • \sin x, \cos x, \mathrm{tg}\, x poprimaju transcedentne vrijednosti za ne-nul algebarske vrijednosti nezavisne varijable x;
  • \log_a x poprima transcendentne vrijednosti za x\neq a^b gdje su b algebarski brojevi;

Neki otvoreni problemi[uredi VE | uredi]

Ne zna se jesu li transcendentni:

Izvori[uredi VE | uredi]

  • Danilo Blanuša, Viša matematika, II. dio, drugi svezak, Tehnička knjiga, Zagreb
  • Svetozar Kurepa, Matematička analiza, Funkcija jedne varijable, Tehnička knjiga, Zagreb