< 1 >
Standard part
In non-standard analysis, the standard part function is a function from the limited (finite) hyperreal numbers to the real numbers.
Explanation
Every finite x ∈ *R is infinitely close to a unique real number r ∈ R . The unique real r ≈ x is called the standard part of x. You write it as
r = st (x)
If x is infinite, st (x) is undefined.
HistoryThe function was first defined by German-American mathematician Abraham Robinson (1918 - 1974). |