 Nonstandard calculus

In mathematics, nonstandard calculus is the modern application of infinitesimals, in the sense of nonstandard analysis, to differential and integral calculus. It provides a rigorous justification for some arguments in calculus that were previously considered merely heuristic.
Calculations with infinitesimals were widely used before Karl Weierstrass sought to replace them with the (ε, δ)definition of limit starting in the 1870s. (See history of calculus.) For almost one hundred years thereafter^{[citation needed]}, many mathematicians viewed infinitesimals as being naive and vague or meaningless.^{[1]}
Contrary to such views, Abraham Robinson showed in 1960 that infinitesimals are precise, clear, and meaningful, building upon work by Edwin Hewitt and Jerzy Łoś. According to Jerome Keisler, "Robinson solved a three hundred year old problem by giving a precise treatment of infinitesimals. Robinson's achievement will probably rank as one of the major mathematical advances of the twentieth century."^{[2]}
Motivation
To calculate the derivative of the function y = f(x) = x^{2} at x, both approaches agree on the algebraic manipulations:
This is a nonstandard computation using the hyperreals if we interpret Δx as an infinitesimal and let the symbol "" be the relation being infinitely close.
In order to make f ' a realvalued function, we must dispense with the final term Δx. In the standard approach using only real numbers, that is done by taking the limit as Δx tends to zero. In the nonstandard approach using hyperreal numbers, the quantity Δx is taken to be an infinitesimal, a nonzero number that is closer to 0 than to any nonzero real. The manipulations displayed above then show that Δy / Δx is infinitely close to 2x, so the derivative of f at x is then 2x.
Discarding the "error term" is accomplished by an application of the standard part function. Dispensing with infinitesimal error terms was historically considered paradoxical by some writers, most notably George Berkeley.
Definition of derivative
The hyperreals can be constructed in the framework of ZFC, the standard axiomatisation of set theory used elsewhere in mathematics. To give an intuitive idea for the hyperreal approach, note that, naively speaking, nonstandard analysis postulates the existence of positive numbers ε which are infinitely small, meaning that ε is smaller than any standard positive real, yet greater than zero. Every real number x is surrounded by an infinitesimal "cloud" of hyperreal numbers infinitely close to it. To define the derivative of f at a standard real number x in this approach, one no longer needs an infinite limiting process as in standard calculus. Instead, one sets
where st is the standard part function, yielding the real number infinitely close to the hyperreal argument of st, and f ^{*} is the natural extension of f to the hyperreals.
Continuity
A real function f is continuous at a standard real number x if for every hyperreal x' infinitely close to x, the value f(x' ) is also infinitely close to f(x). This captures Cauchy's definition of continuity.
Here to be precise, f would have to be replaced by its natural hyperreal extension usually denoted f^{*} (see discussion of Transfer principle in main article at nonstandard analysis).
Using the notation for the relation of being infinitely close as above, the definition can be rewritten in an even shorter form as follows:
A function f is continuous at x if whenever , one has
The above requires fewer quantifiers than the (ε, δ)definition familiar from standard elementary calculus:
f is continuous at x if for every ε > 0, there exists a δ > 0 such that for every x' , whenever x − x'  < δ, one has ƒ(x) − ƒ(x' ) < ε.
Uniform continuity
A function f on an interval I is uniformly continuous if its natural extension f* in I* has the following property (see Keisler, Foundations of Infinitesimal Calculus ('07), p. 45):
for every pair of hyperreals x and y in I*, if then .
This definition has a reduced quantifier complexity when compared with the standard (ε, δ)definition. Namely, the epsilontic definition of uniform continuity requires four quantifiers, while the infinitesimal definition requires only two quantifiers. It has the same quantifier complexity as the definition of uniform continuity in terms of sequences in standard calculus, which however is not expressible in the firstorder language of the real numbers.
Furthermore, the hyperreal definition as stated above is local^{[citation needed]} in the sense that it only depends on the monad of each point in I*. Meanwhile, the standard (ε,δ)definition is global in the sense that it is formulated in terms of pairs of points.^{[citation needed]}
The localness of the hyperreal definition can be illustrated by the following three examples.
Example 1: a function f is uniformly continuous on the semiopen interval (0,1], if and only if its natural extension f* is continuous (in the sense of the formula above) at every positive infinitesimal, in addition to continuity at the standard points of the interval.
Example 2: a function f is uniformly continuous on the semiopen interval [0,∞) if and only if it is continuous at the standard points of the interval, and in addition, the natural extension f* is continuous at every positive infinite hyperreal point.
Example 3: similarly, the failure of uniform continuity for the squaring function
is due to the absence of continuity at a single infinite hyperreal point, see below.
Concerning quantifier complexity, the following remarks were made by Kevin Houston:^{[3]}
“ The number of quantifiers in a mathematical statement gives a rough measure of the statement’s complexity. Statements involving three or more quantifiers can be difficult to understand. This is the main reason why it is hard to understand the rigorous definitions of limit, convergence, continuity and differentiability in analysis as they have many quantifiers. In fact, it is the alternation of the and that causes the complexity.
” Heine–Cantor theorem
The fact that a continuous function on a compact interval I is necessarily uniformly continuous (the Heine–Cantor theorem) admits a succinct nonstandard proof. Let x, y be hyperreals in (the natural extension of) I. Since I is bounded, both x and y admit standard parts. Since I is closed, st(x) and st(y) belong to I. If x and y are infinitely close, then by the triangle inequality, they have the same standard part
Since the function is assumed continuous at c, we have
and therefore f(x) and f(y) are infinitely close.
Why is the squaring function not uniformly continuous?
Let f(x) = x^{2} defined on . Let be an infinite hyperreal. The hyperreal number is infinitely close to N. Meanwhile, the difference
is not infinitesimal. Therefore the squaring function is not uniformly continuous, according to the definition in uniform continuity above.
A similar proof may be given in the standard setting (Fitzpatrick 2006, Example 3.15).
Example: Dirichlet function
Consider the Dirichlet function
It is wellknown that the function is discontinuous at every point. Let us check this in terms of the nonstandard definition of continuity above, for instance let us show that the Dirichlet function is not continuous at π. Consider the continued fraction approximation a_{n} of π. Now let the index n be an infinite hypernatural number. By the transfer principle, the natural extension of the Dirichlet function takes the value 1 at a_{n}. Note that the hyperrational point a_{n} is infinitely close to π. Thus the natural extension of the Dirichlet function takes different values at these two infinitely close points, and therefore the Dirichlet function is not continuous at π.
Limit
While the thrust of Robinson's approach is that one can dispense with the limittheoretic approach using multiple quantifiers, the notion of limit can be easily recaptured in terms of the standard part function st, namely
if and only if whenever the difference x − a is infinitesimal, the difference ƒ(x) − L is infinitesimal, as well, or in formulas:
 if st(x) = a then st(ƒ(x)) = L,
cf. (ε, δ)definition of limit.
Limit of sequence
Given a sequence of real numbers , if we say L is the limit of the sequence and write
if for every infinite hypernatural n, we have st(x_{n})=L (here the extension principle is used to define x_{n} for every hyperinteger n).
This definition has no quantifier alternations.The standard (ε, δ)style definition on the other hand does have quantifier alternations:
Extreme value theorem
To show that a real continuous function f on [0,1] has a maximum, let N be an infinite hyperinteger. The interval [0, 1] has a natural hyperreal extension. The function ƒ is also naturally extended to hyperreals between 0 and 1. Consider the partition of the hyperreal interval [0,1] into N subintervals of equal infinitesimal length 1/N, with partition points x_{i} = i /N as i "runs" from 0 to N. In the standard setting (when N is finite), a point with the maximal value of ƒ can always be chosen among the N+1 points x_{i}, by induction. Hence, by the transfer principle, there is a hyperinteger i_{0} such that 0 ≤ i_{0} ≤ N and for all i = 0, …, N (an alternative explanation is that every hyperfinite set admits a maximum). Consider the real point
where st is the standard part function. An arbitrary real point x lies in a suitable subinterval of the partition, namely , so that st(x_{i}) = x. Applying st to the inequality , we obtain . By continuity of ƒ we have
 .
Hence ƒ(c) ≥ ƒ(x), for all x, proving c to be a maximum of the real function ƒ. See Keisler (1986, p. 164).
Intermediate value theorem
As another illustration of the power of Robinson's approach, we present a short proof of the intermediate value theorem (Bolzano's theorem) using infinitesimals.
Let f be a continuous function on [a,b] such that f(a)<0 while f(b)>0. Then there exists a point c in [a,b] such that f(c)=0.
The proof proceeds as follows. Let N be an infinite hyperinteger. Consider a partition of [a,b] into N intervals of equal length, with partition points x_{i} as i runs from 0 to N. Consider the collection I of indices such that f(x_{i})>0. Let i_{0} be the least element in I (such an element exists by the transfer principle, as I is a hyperfinite set; see nonstandard analysis). Then the real number
is the desired zero of f. Such a proof reduces the quantifier complexity of a standard proof of the IVT.
Basic theorems
If f is a real valued function defined on an interval [a, b], then the transfer operator applied to f, denoted by *f, is an internal, hyperrealvalued function defined on the hyperreal interval [*a, *b].
Theorem. Let f be a realvalued function defined on an interval [a, b]. Then f is differentiable at a < x < b if and only if for every nonzero infinitesimal h, the value
is independent of h. In that case, the common value is the derivative of f at x.
This fact follows from the transfer principle of nonstandard analysis and overspill.
Note that a similar result holds for differentiability at the endpoints a, b provided the sign of the infinitesimal h is suitably restricted.
For the second theorem, we consider the Riemann integral. This integral is defined as the limit, if it exists, of a directed family of Riemann sums; these are sums of the form
where
We will call such a sequence of values a partition or mesh and
 sup _{k}(x_{k + 1} − x_{k})
the width of the mesh. In the definition of the Riemann integral, the limit of the Riemann sums is taken as the width of the mesh goes to 0.
Theorem. Let f be a realvalued function defined on an interval [a, b]. Then f is Riemannintegrable on [a, b] if and only if for every internal mesh of infinitesimal width, the quantity
is independent of the mesh. In this case, the common value is the Riemann integral of f over [a, b].
Applications
One immediate application is an extension of the standard definitions of differentiation and integration to internal functions on intervals of hyperreal numbers.
An internal hyperrealvalued function f on [a, b] is Sdifferentiable at x, provided
exists and is independent of the infinitesimal h. The value is the S derivative at x.
Theorem. Suppose f is Sdifferentiable at every point of [a, b] where b − a is a bounded hyperreal. Suppose furthermore that
Then for some infinitesimal ε
To prove this, let N be a nonstandard natural number. Divide the interval [a, b] into N subintervals by placing N − 1 equally spaced intermediate points:
Then
Now the maximum of any internal set of infinitesimals is infinitesimal. Thus all the ε_{k}'s are dominated by an infinitesimal ε. Therefore,
from which the result follows.
See also
 Adequality
 Criticism of nonstandard analysis
 Archimedes' use of infinitesimals
 Elementary Calculus: An Infinitesimal Approach
Notes
 ^ For example, Richard Courant described infinitesimals on page 81 of Differential and Integral Calculus, Vol I, as "devoid of any clear meaning" and "naive befogging". Similarly on page 101, Courant described them as "incompatible with the clarity of ideas demanded in mathematics", "entirely meaningless", "fog which hung round the foundations", and a "hazy idea".
 ^ Elementary Calculus: An Infinitesimal Approach
 ^ Kevin Houston, How to Think Like a Mathematician, ISBN 9780521719780
References
 Fitzpatrick, Patrick (2006), Advanced Calculus, Brooks/Cole
 H. Jerome Keisler: Elementary Calculus: An Approach Using Infinitesimals. First edition 1976; 2nd edition 1986. (This book is now out of print. The publisher has reverted the copyright to the author, who has made available the 2nd edition in .pdf format available for downloading at http://www.math.wisc.edu/~keisler/calc.html.)
 H. Jerome Keisler: Foundations of Infinitesimal Calculus, available for downloading at http://www.math.wisc.edu/~keisler/foundations.html (10 jan '07)
 The Origins of Cauchy's Rigorous Calculus, Judith Grabiner, Dover Publications (February 4, 2005), ISBN 0486438155
External links
 Online version of "Elementary Calculus: An Approach Using Infinitesimals"
 An online calculus text using infinitesimals
Infinitesimals History Adequality · Infinitesimal calculus · Leibniz's notation · Integral sign · Criticism of nonstandard analysis · The Analyst · The Method of Mechanical Theorems · Cavalieri's principleRelated branches of mathematics Nonstandard analysis · Nonstandard calculus · Internal set theory · Synthetic differential geometryFormalizations of infinitesimal quantities Individual concepts Standard part function · Transfer principle · Hyperinteger · Increment theorem · Monad · Internal set · LeviCivita field · Hyperfinite set · Law of Continuity · OverspillScientists Infinitesimals in physics and engineering Textbooks Analyse des Infiniment Petits · Elementary Calculus
Wikimedia Foundation. 2010.
Look at other dictionaries:
Nonstandard analysis — Abraham Robinson Gottfried Wilhelm Leibniz argued tha … Wikipedia
Nonstandard model — See also Interpretation (logic) In model theory, a discipline within mathematical logic, a non standard model is a model of a theory that is not isomorphic to the intended model (or standard model). If the intended model is infinite and the… … Wikipedia
Criticism of nonstandard analysis — Non standard analysis and its offshoot, non standard calculus, have been criticized by several authors. The evaluation of non standard analysis in the literature has varied greatly. Joseph Dauben described it as a scientific revolution, while… … Wikipedia
Monad (nonstandard analysis) — In non standard analysis, a monad (also called halo[1]) is the set of points infinitely close to a given point. Given a hyperreal number x in R*, the monad of x is the set See also Infinitesimal Notes ^ … Wikipedia
Analyse non standard — En mathématiques, et plus précisément en analyse, l analyse non standard est un ensemble d outils développés depuis 1960 afin de traiter la notion d infiniment petit de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d… … Wikipédia en Français
Analyse Non Standard — L analyse non standard est une branche des mathématiques développée depuis 1960 afin de traiter la notion d infiniment petit de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d objet standard et d objet non standard , ou … Wikipédia en Français
Analyse nonstandard — L analyse non standard est une branche des mathématiques développée depuis 1960 afin de traiter la notion d infiniment petit de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d objet standard et d objet non standard , ou … Wikipédia en Français
Calculus (disambiguation) — Calculus is Latin for pebble, and has a number of meanings in English: In mathematics and computer science Calculus , in its most general sense, is any method or system of calculation. To modern theoreticians the answer to the question what is a… … Wikipedia
Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia
NonArchimedean ordered field — In mathematics, a non Archimedean ordered field is an ordered field that does not satisfy the Archimedean property. Examples are the Levi Civita field, the hyperreal numbers, the surreal numbers, the Dehn field, and the field of rational… … Wikipedia