Pertanto, siccome l'insieme dei numeri reali ha cardinalità strettamente maggiore del numerabile, segue che "quasi tutti" i numeri reali sono trascendenti. Tuttavia, questo tipo di argomento nulla ci dice sulla trascendenza di uno specifico numero reale, che può essere molto difficile da dimostrare. Ad esempio, si sa che $\pi$ ed $e$ sono entrambi trascendenti, ma non è al momento noto se la loro somma $\pi+e$ lo sia.
Storicamente, i primi esempi espliciti di numeri trascendenti vennero forniti a metà dell'800 da J. Liouville, come conseguenza dei suoi importanti studi sull'approssimazione diofantea dei numeri irrazionali. Più precisamente, Liouville dimostrò nel 1844 il seguente fondamentale risultato:
$$L= \sum_{n\geq 1} 10^{-n!},$$ ossia, in notazione decimale, $$L= 0.110001000000000000000001 \ldots, $$ dove la cifra $1$ compare nei posti decimali corrispondenti ai fattoriali degli interi.
I numeri reali che verificano le condizioni del Teorema vengono oggi chiamati numeri di Liouville; si noti che la diseguaglianza che li caratterizza ci dice che un numero trascendente di Liouville può essere approssimato "estremamente bene" da una successione di numeri razionali.
È attualmente noto che l'insieme $L$ dei numeri di Liouville è non-numerabile, denso in $\mathbb{R}$ e di misura di Lebesgue $0$. Ciò implica che "quasi tutti" i numeri trascendenti non sono numeri di Liouville. Ciò nonostante, un risultato di P. Erdős fa vedere che ogni numero reale non nullo pu essere scritto come somma e come prodotto di due numeri di Liouville [E62]. Un esempio notevole di numero trascendente che non è di Liouville è $\pi$, come dimostrato da Mahler nel 1953 [M53].
Per maggiori informazioni sui numeri di Liouville (e più in generale sui numeri trascendenti) il lettore può consultare la monografia [MR14].
Riferimenti.
[E62] P. Erdős: Representations of real numbers as sums and products of Liouville numbers, Mich. Math. J. 9, 59-60 (1962)
[M53] K. Mahler: On the Approximation of $\pi$, Nederl. Akad. Wetensch. Proc. Ser. A. 56/Indagationes Math. 15, 30-42, 1953.
[MR14] M. R. Murty, P. Rath: Transcendental Numbers, Springer 2014
Teorema. Supponiamo che $x$ sia un numero irrazionale tale che, per ogni intero positivo $n$, esistano interi $p$ e $q$, con $q>1$, tali che $$\left|x-\frac{p}{q}\right| < \frac{1}{q^n}.$$Allora $x$ è trascendente.Un esempio di numero reale che verifica le ipotesi del Teorema è la cosiddetta costante di Liouville
$$L= \sum_{n\geq 1} 10^{-n!},$$ ossia, in notazione decimale, $$L= 0.110001000000000000000001 \ldots, $$ dove la cifra $1$ compare nei posti decimali corrispondenti ai fattoriali degli interi.
I numeri reali che verificano le condizioni del Teorema vengono oggi chiamati numeri di Liouville; si noti che la diseguaglianza che li caratterizza ci dice che un numero trascendente di Liouville può essere approssimato "estremamente bene" da una successione di numeri razionali.
È attualmente noto che l'insieme $L$ dei numeri di Liouville è non-numerabile, denso in $\mathbb{R}$ e di misura di Lebesgue $0$. Ciò implica che "quasi tutti" i numeri trascendenti non sono numeri di Liouville. Ciò nonostante, un risultato di P. Erdős fa vedere che ogni numero reale non nullo pu essere scritto come somma e come prodotto di due numeri di Liouville [E62]. Un esempio notevole di numero trascendente che non è di Liouville è $\pi$, come dimostrato da Mahler nel 1953 [M53].
Per maggiori informazioni sui numeri di Liouville (e più in generale sui numeri trascendenti) il lettore può consultare la monografia [MR14].
 |
| J. Liouville (fonte Wikipedia) |
Riferimenti.
[E62] P. Erdős: Representations of real numbers as sums and products of Liouville numbers, Mich. Math. J. 9, 59-60 (1962)
[M53] K. Mahler: On the Approximation of $\pi$, Nederl. Akad. Wetensch. Proc. Ser. A. 56/Indagationes Math. 15, 30-42, 1953.
[MR14] M. R. Murty, P. Rath: Transcendental Numbers, Springer 2014
Nessun commento:
Posta un commento