
Originariamente Scritto da
agaragar
A me appassiona la logica matematica, un esempio pratico
I numeri non Archimedei, o infinitesimi, cioè numeri che moltiplicati per un N grande a piacere, rimagono sempre più piccoli di qualsiasi numero reale
Sembra un paradosso, ma è stato dimostrato che esistono.
In logica si dimostra (
Teorema di compattezza) che se esiste un insieme infinito di proposizioni, nel quale ogni sottoinsieme finito contiene solo proposizioni vere in un insieme U {\displaystyle U}

(nel nostro caso R {\displaystyle \mathbb {R} }

), allora esiste un insieme non-standard U ∗ {\displaystyle U^{*}}

(in questo caso R ∗ {\displaystyle \mathbb {R} ^{*}}

) di elementi per i quali queste infinite proposizioni sono contemporaneamente vere.
Per esempio consideriamo il seguente insieme infinito di proposizioni relative all'insieme R

dei numeri reali.

...

...
In

queste proposizioni sono individualmente tutte vere, e questo vale anche per ogni insieme finito di proposizioni, ma non esiste alcun numero reale x {\displaystyle x}

per il quale siano contemporaneamente tutte vere.
Il teorema di compattezza ci assicura però che esiste un insieme non-standard R ∗ {\displaystyle \mathbb {R} ^{*}}

che contiene elementi d x {\displaystyle dx}

per i quali questo avviene, in altre parole per i quali è vera la proposizione universale:
∀ n ∈ N ∃ d x ∈ R ∗ : 0 < d x < 1 n {\displaystyle {\forall n\in N\exists dx\in \mathbb {R} ^{*}}:0<dx<{1 \over n}}

I d x {\displaystyle dx}

di R ∗ {\displaystyle \mathbb {R} ^{*}} R* altro non sono che gli infinitesimi di Leibniz, finalmente definiti in modo rigoroso. La somma di un numero reale e di un infinitesimo non è riducibile e prende il nome di
numero iperreale.
Per chi dice che 0,999.... è uguale a 1.
0,9=!-0,1
0,99=1-0,01
0,99....=1-0,0...01
Solo che gli zeri sono infiniti, cioè quella quantità si toglie...mai, si toglie e non si toglie, è un infinitesimo 'costruito'
per quanto lo moltiplichiamo per un numero grande, anche gli 0 sono infiniti, e il numero rimarrà sempre infinitamente piccolo
0'99... SEMBRA UGUALE A 1, perchè per quanto lo moltiplichiamo, la sua differenza da uno non aumente, rimane sempre infinitamente piccola
@
Amati75