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}
https://wikimedia.org/api/rest_v1/me...e067c430956025 (nel nostro caso R {\displaystyle \mathbb {R} }
https://wikimedia.org/api/rest_v1/me...96aad58a5868dc), allora esiste un insieme non-standard U ∗ {\displaystyle U^{*}}
https://wikimedia.org/api/rest_v1/me...c2a08419765efe (in questo caso R ∗ {\displaystyle \mathbb {R} ^{*}}
https://wikimedia.org/api/rest_v1/me...77b299906c49ff) di elementi per i quali queste infinite proposizioni sono contemporaneamente vere.
Per esempio consideriamo il seguente insieme infinito di proposizioni relative all'insieme R
https://wikimedia.org/api/rest_v1/me...7b0441e2616e33 dei numeri reali.
https://wikimedia.org/api/rest_v1/me...58099addd6031d
https://wikimedia.org/api/rest_v1/me...53b1be50b256b9
...
https://wikimedia.org/api/rest_v1/me...0a7ef0fbb4b380
...
In
https://wikimedia.org/api/rest_v1/me...96aad58a5868dc 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}
https://wikimedia.org/api/rest_v1/me...0593c4802b53e4 per il quale siano contemporaneamente tutte vere.
Il teorema di compattezza ci assicura però che esiste un insieme non-standard R ∗ {\displaystyle \mathbb {R} ^{*}}
https://wikimedia.org/api/rest_v1/me...77b299906c49ff che contiene elementi d x {\displaystyle dx}
https://wikimedia.org/api/rest_v1/me...169ce0e021c685 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}}
https://wikimedia.org/api/rest_v1/me...154956bcd70366
I d x {\displaystyle dx}
https://wikimedia.org/api/rest_v1/me...169ce0e021c685 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