| Revision as of 22:14, 15 May 2008 edit128.253.56.172 (talk)No edit summary← Previous edit | Latest revision as of 07:13, 23 May 2024 edit undoFrescoBot (talk | contribs)Bots1,135,457 editsm Bot: link syntax | ||
| (46 intermediate revisions by 31 users not shown) | |||
| Line 1: | Line 1: | ||
| {{Short description|Modern reformulation of the calculus in terms of infinitesimals}} | |||
| '''Smooth infinitesimal analysis''' is a |
'''Smooth infinitesimal analysis''' is a modern reformulation of the ] in terms of ]s. Based on the ideas of ] and employing the methods of ], it views all ] as being ] and incapable of being expressed in terms of ] entities. As a theory, it is a subset of ]. ] has referred to this concept under the name "cheap nonstandard analysis."<ref>{{Cite web |last=Tao |first=Terrence |date=2012-04-03 |title=A cheap version of nonstandard analysis |url=https://terrytao.wordpress.com/2012/04/02/a-cheap-version-of-nonstandard-analysis/ |access-date=2023-12-15 |website=What's new |language=en}}</ref> | ||
| The ''nilsquare'' or '']'' infinitesimals are numbers '' |
The ''nilsquare'' or '']'' infinitesimals are numbers ''ε'' where ''ε''² = 0 is true, but ''ε'' = 0 need not be true at the same time. ] notably uses nilpotent infinitesimals. | ||
| ==Overview== | |||
| 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 whose domain is ''R'', the continuum, 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, the domain of this function is not provably ''R'', since it is not provable that for any ''x'', either ''x'' = 0 or ''x'' ≠ 0 must hold. | |||
| This approach departs from the ] used in conventional mathematics by denying the ], e.g., ''NOT'' (''a'' ≠ ''b'') does not imply ''a'' = ''b''. In particular, in a theory of smooth infinitesimal analysis one can prove for all infinitesimals ''ε'', ''NOT'' (''ε'' ≠ 0); yet it is provably false that all infinitesimals are equal to zero.<ref name=Bell2008>{{cite book|last=Bell|first=John L.|title=A Primer of Infinitesimal Analysis, 2nd Edition|year=2008|publisher=Cambridge University Press|isbn=9780521887182}}</ref> One can see that the law of excluded middle cannot hold from the following basic theorem (again, understood in the context of a theory of smooth infinitesimal analysis): | |||
| :''Every function whose ] is'' '''R''', ''the ]s, is continuous and ].'' | |||
| Despite this fact, one could attempt to define a discontinuous function ''f''(''x'') by specifying that ''f''(''x'') = 1 for ''x'' = 0, and ''f''(''x'') = 0 for ''x'' ≠ 0. If the law of the excluded middle held, then this would be a fully defined, discontinuous function. However, there are plenty of ''x'', namely the infinitesimals, such that neither ''x'' = 0 nor ''x'' ≠ 0 holds, so the function is not defined on the real numbers. | |||
| 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. | ||
| Other mathematical systems exist which include infinitesimals, including ] and the ]s. 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 |
Other mathematical systems exist which include infinitesimals, including ] and the ]s. Smooth infinitesimal analysis is like nonstandard analysis in that (1) it is meant to serve as a foundation for ], and (2) the infinitesimal quantities do not have concrete sizes (as opposed to the surreals, in which a typical infinitesimal is {{nowrap|1/ω}}, where ω is a ]). However, smooth infinitesimal analysis differs from nonstandard analysis in its use of ], and in lacking the ]. Some theorems of standard and nonstandard analysis are false in smooth infinitesimal analysis, including the ] and the ]. Statements in ] can be translated into statements about ], 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 |
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== | ==See also== | ||
| *] | *] | ||
| *] | *] | ||
| *] | *] | ||
| *] | |||
| ==References== | |||
| {{Reflist}} | |||
| ==Further reading== | ==Further reading== | ||
| * |
*], (PDF file) | ||
| * |
*] and Reyes, G.E., ''Models for Smooth Infinitesimal Analysis'', Springer-Verlag, 1991. | ||
| *Moerdijk, I. and Reyes, G.E., ''Models for Smooth Infinitesimal Analysis'', Springer-Verlag, 1991. | |||
| ⚫ | ==External links== | ||
| ⚫ | *Michael O'Connor, | ||
| ⚫ | ] | ||
| ⚫ | ==External |
||
| ] | |||
| ⚫ | * |
||
| ⚫ | ] | ||
| ] | |||
Latest revision as of 07:13, 23 May 2024
Modern reformulation of the calculus in terms of infinitesimalsSmooth infinitesimal analysis is a modern 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. As a theory, it is a subset of synthetic differential geometry. Terence Tao has referred to this concept under the name "cheap nonstandard analysis."
The nilsquare or nilpotent infinitesimals are numbers ε where ε² = 0 is true, but ε = 0 need not be true at the same time. Calculus Made Easy notably uses nilpotent infinitesimals.
Overview
This approach departs from the classical logic used in conventional mathematics by denying the law of the excluded middle, e.g., NOT (a ≠ b) does not imply a = b. In particular, in a theory of smooth infinitesimal analysis one can prove for all infinitesimals ε, NOT (ε ≠ 0); yet it is provably false that all infinitesimals are equal to zero. One can see that the law of excluded middle cannot hold from the following basic theorem (again, understood in the context of a theory of smooth infinitesimal analysis):
- Every function whose domain is R, the real numbers, is continuous and infinitely differentiable.
Despite this fact, one could attempt to define a discontinuous function f(x) by specifying that f(x) = 1 for x = 0, and f(x) = 0 for x ≠ 0. If the law of the excluded middle held, then this would be a fully defined, discontinuous function. However, there are plenty of x, namely the infinitesimals, such that neither x = 0 nor x ≠ 0 holds, so the function is not defined on the real numbers.
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 a 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
References
- Tao, Terrence (2012-04-03). "A cheap version of nonstandard analysis". What's new. Retrieved 2023-12-15.
- Bell, John L. (2008). A Primer of Infinitesimal Analysis, 2nd Edition. Cambridge University Press. ISBN 9780521887182.
Further reading
- John Lane Bell, Invitation to Smooth Infinitesimal Analysis (PDF file)
- Ieke Moerdijk and Reyes, G.E., Models for Smooth Infinitesimal Analysis, Springer-Verlag, 1991.
External links
- Michael O'Connor, An Introduction to Smooth Infinitesimal Analysis