Definizione Ultrapower | Definizione classica |
Un numero iperreale è rappresentato da una sequenza infinita di numeri reali, per esempio:
$ \omega = \left \langle 1, 2, 3, 4, 5 \ldots n \ldots\right \rangle$ (numero omega)
Per maggiori dettagli si veda la pagina Iperreali in cifre |
Un numero iperreale limitato è la somma di un numero reale (detto parte standard) e di un numero infinitesimo, p.es.: $ 1 + {dx} $ (1 è la parte reale o standard, dx la parte infinitesima) $ 2 + \epsilon \\ 2 + 2{dx} \\ x + y\epsilon $ I numeri iperreali infinitamente grandi o illimitati come $\omega$ non possono ovviamente essere scritti in questa forma. |
---|---|
I numeri iperreali possono dividersi in tre sottoinsiemi:
| |
Per visualizzare gli iperreali si può immaginare che ogni numero della retta iperreale sia circondato da un microscopico intorno di infinitesimi, che in onore di Leibniz viene chiamato monade. Per esempio nel disegno a lato il numero 1 è circondato da infiniti numeri iperreali che hanno 1 come parte standard, p.es. 1-2dx, 1-dx, 1, 1+dx, 1+2dx; per mostrarli si è immaginato di usare un telescopio infinito (detto telescopio di Keisler) che espande l'intorno infinitesimo di 1 in una retta. Il prodotto di un reale e un infinitesimo (p.es. 2dx) è un infinitesimo, il prodotto di due infinitesimi (p.es. $ {dx}^2 $) è un infinitesimo che possiamo chiamare del secondo ordine.(*) Nella Analisi non standard ha importanza chiave la funzione st(z) (parte standard) che ad un qualsiasi numero iperreale z associa la sua parte reale. |