< 1 >
Partie standard
En analyse non-standard, la fonction partie standard est une fonction des nombres hyperréels limités (finis) vers les nombres réels.
Explication
Tout x ∈ *R fini est infiniment proche d'un nombre réel unique r ∈ R . L'unique réel r ≈ x est appelé la partie standard de x. On l'écrit sous la forme de
r = st (x)
Si x est infini, st (x) est indéfini.
HistoireLa fonction a été définie pour la première fois par le mathématicien germano-américain Abraham Robinson (1918 - 1974). |