|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{About|mathematics|housing estates|overspill estate}}
| | Man or woman who wrote the [http://www.Bing.com/search?q=commentary&form=MSNNWS&mkt=en-us&pq=commentary commentary] is called Roberto Ledbetter and his wife does not have to like it at all of the. His wife and my man live in Idaho though he needs to advance because of his relative. In his professional life he is without question a [http://Www.Guardian.Co.uk/search?q=filing+assistant filing assistant] together with his salary has at one time been really fulfilling. To go to karaoke is the thing david loves most of all. He's been working on the length of his website for some point in time now. Check it out in the open here: http://circuspartypanama.com<br><br> |
| In [[non-standard analysis]], a branch of [[mathematics]], '''overspill''' (referred to as ''overflow'' by Goldblatt (1998, p. 129)) is a widely used proof technique. It is based on the fact that the set of standard [[natural number]]s '''N''' is not an [[internal set|internal subset]] of the internal set *'''N''' of [[hyperinteger|hypernatural]] numbers.
| |
|
| |
|
| By applying the [[Mathematical induction|induction principle]] for the standard integers '''N''' and the [[transfer principle]] we get the principle of '''internal induction''':
| | Feel free to visit my site ... clash of clans hack tool [[http://circuspartypanama.com please click the following internet site]] |
| | |
| For any ''internal'' subset ''A'' of *'''N''', if
| |
| :# 1 is an element of ''A'', and
| |
| :# for every element ''n'' of ''A'', ''n'' + 1 also belongs to ''A'',
| |
| then
| |
| :''A'' = *'''N'''
| |
| | |
| If '''N''' were an internal set, then instantiating the internal induction principle with '''N''', it would follow '''N''' = *'''N''' which is known not to be the case.
| |
| | |
| The overspill principle has a number of useful consequences:
| |
| * The set of standard hyperreals is not internal.
| |
| * The set of bounded hyperreals is not internal.
| |
| * The set of [[infinitesimal]] hyperreals is not internal.
| |
| | |
| In particular:
| |
| * If an internal set contains all infinitesimal non-negative hyperreals, it contains a positive ''non-infinitesimal'' (or ''appreciable'') hyperreal.
| |
| * If an internal set contains '''N''' it contains an unlimited (infinite) element of *'''N'''.
| |
| | |
| ==Example==
| |
| These facts can be used to prove the equivalence of the following two conditions for an ''internal'' hyperreal-valued function ƒ defined on *'''R'''.
| |
| | |
| : <math> \forall \epsilon\in \mathbb{R}^+, \exists \delta \in\mathbb{R}^+, |h| \leq \delta \implies |f(x+h) - f(x)| \leq \varepsilon</math>
| |
| and
| |
| | |
| : <math> \forall h \cong 0, \ |f(x+h) - f(x)| \cong 0 </math>
| |
| | |
| The proof that the second fact implies the first uses overspill, since given a non-infinitesimal positive ''ε'',
| |
| | |
| : <math> \forall \mbox{ positive } \delta \cong 0, \ (|h| \leq \delta \implies |f(x+h) - f(x)| < \varepsilon).\, </math>
| |
| | |
| Applying overspill, we obtain a positive appreciable δ with the requisite properties.
| |
| | |
| These equivalent conditions express the property known in non-standard analysis as '''S'''-'''continuity''' (or [[microcontinuity]]) of ƒ at ''x''. S-continuity is referred to as an external property. The first definition is external because it involves quantification over standard values only. The second definition is external because it involves the external relation of being infinitesimal.
| |
| | |
| == References ==
| |
| *[[Robert Goldblatt]] (1998). ''Lectures on the hyperreals. An introduction to nonstandard analysis.'' Springer.
| |
| | |
| | |
| {{Infinitesimals}}
| |
| | |
| [[Category:Non-standard analysis]]
| |
Man or woman who wrote the commentary is called Roberto Ledbetter and his wife does not have to like it at all of the. His wife and my man live in Idaho though he needs to advance because of his relative. In his professional life he is without question a filing assistant together with his salary has at one time been really fulfilling. To go to karaoke is the thing david loves most of all. He's been working on the length of his website for some point in time now. Check it out in the open here: http://circuspartypanama.com
Feel free to visit my site ... clash of clans hack tool [please click the following internet site]