Numero trascendente

Da Wikipedia, l'enciclopedia libera.

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

dove e i coefficienti sono razionali non tutti nulli.

L'insieme dei numeri trascendenti non è chiuso rispetto all'addizione o al prodotto; infatti se è trascendente, così sarà , ma la loro somma, che è , è evidentemente un numero algebrico.

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:

di cui l'-esima cifra dopo la virgola è uguale a uno se è 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[modifica | modifica wikitesto]

dove è la funzione parte intera. Per esempio se allora questo numero è 0,11010001000000010000000000000001000...
  • la funzione zeta di Riemann per pari, in quanto trattasi di multipli razionali di .

È stato congetturato che altri numeri come per dispari o la costante di Eulero-Mascheroni siano trascendenti, ma non è stato ancora dimostrato che lo siano.

Voci correlate[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica