Standard part function

In non-standard analysis, the standard part function "st" is the key ingredient in Abraham Robinson's resolution of the paradox of Leibniz's definition (see Ghosts of departed quantities) of the derivative as the ratio of two infinitesimals

Gottfried Wilhelm Leibniz Inventor of infinitesimal calculus

${\displaystyle {\frac {dy}{dx}}}$,

see more at non-standard calculus.

Definition

The standard part function associates to a finite hyperreal x, the standard real x₀ infinitely close to it, so that we can write

${\displaystyle \,\mathrm {st} (x)=x_{0}}$ .

The existence of the standard part function is a consequence of the completeness of the reals or the fact that finite closed intervals of the reals are compact.

The standard part function "st" is not an internal object.

See also

• non-standard calculus