Numero trascendente (original) (raw)

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:

a n x n + a n − 1 x n − 1 + ⋯ + a 1 x + a 0 = 0 {\displaystyle a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}=0} {\displaystyle a_{n}x^{n}+a_{n-1}x^{n-1}+\cdots +a_{1}x+a_{0}=0}

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

Il primo ad introdurre il concetto di trascendenza in relazione a un ente matematico fu Gottfried Wilhelm von Leibniz, il quale non lo riferì però a numeri bensì a funzioni, ovvero funzioni quali esponenziali, logaritmiche, trigonometriche, che trascendono nella loro valutazione gli ordinari strumenti dell'algebra, ossia le operazioni di somma, prodotto, ecc. Fu invece Eulero[1] ad associare il concetto a numeri, avendo avuto la straordinaria intuizione, confermata un secolo più tardi dal teorema di Lindemann-Weierstrass, 1882-1885, che una funzione trascendente trasforma numeri "facili", quali per esempio numeri razionali, o algebrici, in numeri "difficili", quelli che Eulero considerò appunto numeri trascendenti[2]. Per essere più precisi, una delle conseguenze più interessanti del teorema dianzi menzionato è che e x {\displaystyle e^{x}} {\displaystyle e^{x}}, log ⁡ x {\displaystyle \log x} {\displaystyle \log x}, sin ⁡ x {\displaystyle \sin x} {\displaystyle \sin x}, cos ⁡ x {\displaystyle \cos x} {\displaystyle \cos x}, tan ⁡ x {\displaystyle \tan x} {\displaystyle \tan x} sono tutti numeri trascendenti per ogni valore algebrico di x {\displaystyle x} {\displaystyle x} (fatta eccezione per valori banali di x {\displaystyle x} {\displaystyle x}, a volte x = 0 {\displaystyle x=0} {\displaystyle x=0}, a volte x = 1 {\displaystyle x=1} {\displaystyle x=1}).

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:

∑ k = 1 ∞ 10 − k ! = 0 , 110001000000000000000001000 … {\displaystyle \sum _{k=1}^{\infty }10^{-k!}=0,110001000000000000000001000\ldots } {\displaystyle \sum _{k=1}^{\infty }10^{-k!}=0,110001000000000000000001000\ldots }

di cui l' n {\displaystyle n} {\displaystyle n}-esima cifra dopo la virgola è uguale a uno se n {\displaystyle n} {\displaystyle n} è un fattoriale (per esempio 1, 2, 6, 24, 120, 720, ..., ecc.) e 0 altrimenti. Il primo numero non appositamente costruito che si dimostrò essere trascendente è il numero di Nepero e {\displaystyle e} {\displaystyle 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 pi greco. 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é π {\displaystyle \pi } {\displaystyle \pi } è trascendente, mentre tutti i numeri costruibili con riga e compasso sono algebrici.

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, ossia 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.

dove β ↦ ⌊ β ⌋ {\displaystyle \beta \mapsto \lfloor \beta \rfloor } {\displaystyle \beta \mapsto \lfloor \beta \rfloor } è la funzione parte intera. Per esempio se β = 2 {\displaystyle \beta =2} {\displaystyle \beta =2} allora questo numero è 0,11010001000000010000000000000001000...

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

  1. Introductio in analysin infinitorum, 1748
  2. Paul Erdős, Some Remarks and Problems in Number Theory Related to the Work of Euler .
V · D · MAlgebra
Numeri Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principi fondamentali Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza
Algebra elementare Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica
Elementi di Calcolo combinatorio Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri PrimiNumero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmeticaDivisoriInteri coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · DivisoreAritmetica modulareTeorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Teoria dei gruppi GruppiGruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(Fn) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciatoTeoremiAlternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finitiSottoinsiemiSottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizioneOmomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato
Teoria dei campi Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di FrobeniusEstensioniCampo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di KummerTeoria di GaloisGruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale
Controllo di autorità Thesaurus BNCF 6843 · LCCN (EN) sh85093223 · BNF (FR) cb11939601n (data) · J9U (EN, HE) 987007538746705171 · NDL (EN, JA) 00573599