| Revision as of 10:26, 20 June 2007 edit144.214.16.21 (talk)No edit summary← Previous edit | Revision as of 22:56, 8 November 2007 edit undoLoadmaster (talk | contribs)Extended confirmed users, Pending changes reviewers, Rollbackers13,239 edits added mention of category theory and F. W. LawvereNext edit → | ||
| Line 1: | Line 1: | ||
| '''Smooth infinitesimal analysis''' is a mathematically rigorous reformulation of the calculus in terms of ]s. |
'''Smooth infinitesimal analysis''' is a mathematically rigorous reformulation of the calculus in terms of ]s. Based on the ideas of ] and employing the methods of ], it views all functions as being ] and incapable of being expressed in terms of ] entities. | ||
| The ''nilsquare'' or '']'' infinitesimals are numbers ''x'' where | |||
| :''x'' |
:''x''² = 0 | ||
| ⚫ | is true, but ''x'' = 0 need not be true at the same time. | ||
| ⚫ | This approach departs from the classical logic used in conventional mathematics by denying the ] — i.e., ''NOT'' (''a'' ≠ ''b'') does not have to mean ''a'' = ''b''. All functions are continuous and infinitely differentiable. For example, one could attempt to define a discontinuous function ''f''(''x'') with ''f''(''x'') = 1 for ''x''=0, and ''f''(''x'') = 0 for ''x''≠0. However, this definition does not work because it assumes that for any ''x'', either ''x''=0 or ''x''≠0 must hold. | ||
| ⚫ | but ''x'' = 0 need not be true at the same time. | ||
| ⚫ | This approach departs from the classical logic used in conventional mathematics by denying the ] |
||
| In typical ] of smooth infinitesimal analysis, the infinitesimals are not invertible, and therefore the theory does not contain infinite numbers. However, there are also models that include invertible infinitesimals. | In typical ] of smooth infinitesimal analysis, the infinitesimals are not invertible, and therefore the theory does not contain infinite numbers. However, there are also models that include invertible infinitesimals. | ||
| Line 14: | Line 14: | ||
| ==See also== | ==See also== | ||
| *] | |||
| ⚫ | *] | ||
| *] | *] | ||
| ⚫ | *] | ||
| ==Further reading== | ==Further reading== | ||
Revision as of 22:56, 8 November 2007
Smooth infinitesimal analysis is a mathematically rigorous reformulation of the calculus in terms of infinitesimals. Based on the ideas of F. W. Lawvere and employing the methods of category theory, it views all functions as being continuous and incapable of being expressed in terms of discrete entities.
The nilsquare or nilpotent infinitesimals are numbers x where
- x² = 0
is true, but x = 0 need not be true at the same time.
This approach departs from the classical logic used in conventional mathematics by denying the law of the excluded middle — i.e., NOT (a ≠ b) does not have to mean a = b. All functions are continuous and infinitely differentiable. For example, one could attempt to define a discontinuous function f(x) with f(x) = 1 for x=0, and f(x) = 0 for x≠0. However, this definition does not work because it assumes that for any x, either x=0 or x≠0 must hold.
In typical models of smooth infinitesimal analysis, the infinitesimals are not invertible, and therefore the theory does not contain infinite numbers. However, there are also models that include invertible infinitesimals.
Other mathematical systems exist which include infinitesimals, including nonstandard analysis and the surreal numbers. Smooth infinitesimal analysis is like nonstandard analysis in that (1) it is meant to serve as a foundation for analysis, and (2) the infinitesimal quantities do not have concrete sizes (as opposed to the surreals, in which a typical infinitesimal is 1/ω, where ω is the von Neumann ordinal). However, smooth infinitesimal analysis differs from nonstandard analysis in its use of nonclassical logic, and in lacking the transfer principle. Some theorems of standard and nonstandard analysis are false in smooth infinitesimal analysis, including the intermediate value theorem and the Banach-Tarski paradox. Statements in nonstandard analysis can be translated into statements about limits, but the same is not always true in smooth infinitesimal analysis.
Intuitively, smooth infinitesimal analysis can be interpreted as describing a world in which lines are made out of infinitesimally small segments, not out of points. These segments can be thought of as being long enough to have a definite direction, but not long enough to be curved. The construction of discontinuous functions fails because a function is identified with a curve, and the curve cannot be constructed pointwise. We can imagine the intermediate value theorem's failure as resulting from the ability of an infinitesimal segment to straddle a line. Similarly, the Banach-Tarski paradox fails because a volume cannot be taken apart into points.
See also
Further reading
- Bell, John L., Invitation to Smooth Infinitesimal Analysis (PDF file)
- Bell, John L., A Primer of Infinitesimal Analysis, Cambridge University Press, 1998.
- Moerdijk, I. and Reyes, G.E., Models for Smooth Infinitesimal Analysis, Springer-Verlag, 1991.