In

nonstandard analysis
The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using (ε, δ)-definiti ...

, a discipline within classical mathematicsIn the foundations of mathematics
Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories ...

, microcontinuity (or ''S''-continuity) of an internal function
In mathematical logic, in particular in model theory and nonstandard analysis, an internal set is a set that is a member of a model.
The concept of internal sets is a tool in formulating the transfer principle, which concerns the logical relation b ...

''f'' at a point ''a'' is defined as follows:
:for all ''x'' infinitely close to ''a'', the value ''f''(''x'') is infinitely close to ''f''(''a'').
Here ''x'' runs through the domain of ''f''. In formulas, this can be expressed as follows:
:if $x\backslash approx\; a$ then $f(x)\backslash approx\; f(a)$.
For a function ''f'' defined on $\backslash mathbb$, the definition can be expressed in terms of the Halo (mathematics), halo as follows: ''f'' is microcontinuous at $c\backslash in\backslash mathbb$ if and only if $f(hal(c))\backslash subseteq\; hal(f(c))$, where the natural extension of ''f'' to the hyperreal number, hyperreals is still denoted ''f''. Alternatively, the property of microcontinuity at ''c'' can be expressed by stating that the composition $\backslash text\backslash circ\; f$ is constant on the halo of ''c'', where "st" is the standard part function.
History

The modern property of continuity of a function was first defined by Bolzano in 1817. However, Bolzano's work was not noticed by the larger mathematical community until its rediscovery in Heine in the 1860s. Meanwhile, Cauchy's textbook Cours d'Analyse defined continuity in 1821 using infinitesimals as above..Continuity and uniform continuity

The property of microcontinuity is typically applied to the natural extension ''f*'' of a real function ''f''. Thus, ''f'' defined on a real interval ''I'' is continuous if and only if ''f*'' is microcontinuous at every point of ''I''. Meanwhile, ''f'' is uniformly continuous on ''I'' if and only if ''f*'' is microcontinuous at every point (standard and nonstandard) of the natural extension ''I*'' of its domain ''I'' (see Davis, 1977, p. 96).Example 1

The real function $f(x)=\backslash tfrac$ on the open interval (0,1) is not uniformly continuous because the natural extension ''f*'' of ''f'' fails to be microcontinuous at an infinitesimal $a>0$. Indeed, for such an ''a'', the values ''a'' and ''2a'' are infinitely close, but the values of ''f*'', namely $\backslash tfrac$ and $\backslash tfrac$ are not infinitely close.Example 2

The function $f(x)=x^2$ on $\backslash mathbb$ is not uniformly continuous because ''f*'' fails to be microcontinuous at an infinite point $H\backslash in\; \backslash mathbb^*$. Namely, setting $e=\backslash tfrac$ and ''K'' = ''H'' + ''e'', one easily sees that ''H'' and ''K'' are infinitely close but ''f''*(''H'') and ''f''*(''K'') are not infinitely close.Uniform convergence

Uniform convergence similarly admits a simplified definition in a hyperreal setting. Thus, a sequence $f\_n$ converges to ''f'' uniformly if for all ''x'' in the domain of ''f*'' and all infinite ''n'', $f\_n^*(x)$ is infinitely close to $f^*(x)$.See also

*Standard part functionBibliography

*Martin Davis (mathematician), Martin Davis (1977) Applied nonstandard analysis. Pure and Applied Mathematics. Wiley-Interscience [John Wiley & Sons], New York-London-Sydney. xii+181 pp. * Gordon, E. I.; Kusraev, A. G.; Semen Samsonovich Kutateladze, Kutateladze, S. S.: Infinitesimal analysis. Updated and revised translation of the 2001 Russian original. Translated by Kutateladze. Mathematics and its Applications, 544. Kluwer Academic Publishers, Dordrecht, 2002.References

{{Infinitesimals Nonstandard analysis