Numero trascendente

In matematica un numero trascendente è un numero irrazionale che non è un numero algebrico, ossia non è la soluzione di nessuna equazione polinomiale della forma:

a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}=0

dove $n\geq 1$ e i coefficienti $a_{i}$ sono razionali non tutti nulli. L'insieme dei numeri trascendenti non è chiuso rispetto all'addizione o al prodotto; infatti se $a$ è trascendente, così sarà $-a$ , ma la loro somma, che è 0, è ovviamente un numero algebrico; similmente per a e 1/a

L'insieme dei numeri algebrici è numerabile mentre l'insieme di tutti i numeri reali è non numerabile; ciò implica che l'insieme dei numeri trascendenti è non numerabile, ovvero esistono infinitamente più numeri trascendenti che algebrici. Questo risultato fu dimostrato da Georg Cantor alla fine dell'Ottocento. Dimostrare che un dato numero è trascendente può essere molto difficile. La normalità, un'altra proprietà dei numeri, potrebbe aiutare a determinarne la trascendenza.

L'esistenza dei numeri trascendenti fu dimostrata per la prima volta nel 1844 da Joseph Liouville, che riuscì a costruire un'intera classe di numeri trascendenti, chiamati quindi numeri di Liouville; in particolare tra questi c'è la costante di Liouville:

\sum _{k=1}^{\infty }10^{-k!}=0,110001000000000000000001000\ldots

di cui l' $n$ -esima cifra dopo la virgola è uguale a uno se $n$ è un fattoriale (per esempio 1, 2, 6, 24, 120, 720, ..., etc.) e 0 altrimenti. Il primo numero non appositamente costruito che si dimostrò essere trascendente è e; Charles Hermite ne diede la dimostrazione nel 1873. Nel 1882 Ferdinand von Lindemann pubblicò una dimostrazione basata sul precedente lavoro di Hermite della trascendenza di π. Nel 1874 Georg Cantor aveva dimostrato l'esistenza e la non-numerabilità dei numeri trascendenti.

La scoperta dei numeri trascendenti consentì la dimostrazione d'impossibilità di diversi antichi problemi geometrici riguardanti la costruzione con riga e compasso; la quadratura del cerchio, il più famoso tra questi problemi, è impossibile perché π è trascendente mentre tutti i numeri costruibili con riga e compasso sono algebrici.

Alcuni numeri trascendenti

$e^{a}$ se $a$ è algebrico e diverso da 0. In particolare lo stesso numero e è trascendente (si veda una dimostrazione della trascendenza di e). Tale risultato è noto come teorema di Lindemann-Weierstrass.
$\pi$ , il pi greco (costante matematica).
$a^{b}$ $a^{b}$ dove $a$ $a$ è algebrico diverso da 0 e da 1, e $b$ $b$ è algebrico, ma non razionale. Questo è il teorema di Gel'fond che risolve il settimo problema di Hilbert. Da questo teorema discende la trascendenza del numero
- $e^{\pi }$ chiamato costante di Gel'fond in quanto $e^{\pi }={\frac {1}{e^{-\pi }}}={\frac {1}{i^{2i}}}$ , e $i^{2i}$ è trascendente;
- $2^{\sqrt {2}}$ .
Le funzioni trigonometriche $\sin(a)$ , $\cos(a)$ , $\tan(a)$ , $\cot(a)$ , $\sec(a)$ , $\csc(a)$ per $a$ algebrico (escludendo ovviamente casi banali come $\sin(0)=0$ ), in base al teorema di Lindemann-Weierstrass.
il logaritmo naturale $\ln a$ , se $a$ è un numero razionale positivo diverso da 1, ancora per il teorema di Lindemann-Weierstrass.
$\Gamma (1/3)$ , $\Gamma (1/4)$ e $\Gamma (1/6)$ (vedi funzione gamma).
$\Omega$ la costante di Chaitin.
$\sum _{k=0}^{\infty }10^{-\lfloor \beta ^{k}\rfloor };\qquad \beta >1,$

dove

\beta \mapsto \lfloor \beta \rfloor

è la funzione parte intera. Per esempio se

\beta =2

allora questo numero è 0,11010001000000010000000000000001000...

la funzione zeta di Riemann $\zeta (n)$ per $n$ pari, in quanto trattasi di multipli razionali di $\pi$ .

È stato congetturato che altri numeri come $\zeta (n)$ per $n$ dispari o la costante di Eulero-Mascheroni $\gamma$ siano trascendenti, ma non è stato ancora dimostrato che lo siano.

Bibliografia

Alberto Zanardo, La struttura dei numeri reali: costruzione e proprietà (PDF), p. 28.

Voci correlate

Estensione algebrica

Collegamenti esterni

(EN) transcendental number, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Eric W. Weisstein, Numero trascendente, su MathWorld, Wolfram Research.
Dimostrazione della trascendenza di $e$ Archiviato il 15 agosto 2011 in Internet Archive. da PlanetMath
Numeri trascendenti su progettomatematica.dm.unibo.it

Controllo di autorità	Thesaurus BNCF 6843 · LCCN (EN) sh85093223 · BNF (FR) cb11939601n (data) · J9U (EN, HE) 987007538746705171 · NDL (EN, JA) 00573599