How helpful is non-standard analysis? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T02:38:16Z http://mathoverflow.net/feeds/question/16312 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis How helpful is non-standard analysis? Tony Huynh 2010-02-24T22:26:40Z 2013-04-11T08:19:12Z <p>So, I can understand how <a href="http://en.wikipedia.org/wiki/Non-standard_analysis" rel="nofollow">non-standard analysis</a> is better than standard analysis in that some proofs become simplified, and infinitesimals are somehow more intuitive to grasp than epsilon-delta arguments (both these points are debatable). </p> <p>However, although many theorems have been proven by non-standard analysis and transferred via the <a href="http://en.wikipedia.org/wiki/Transfer_principle" rel="nofollow">transfer principle</a>, as far as I know all of these results were already known to be true. So, my question is: </p> <p>Is there an example of a result that was <em>first</em> proved using non-standard analysis? To wit, is non-standard analysis actually useful for proving <em>new</em> theorems?</p> <p><strong>Edit</strong>: Due to overwhelming support of Francois' comment, I've changed the title of the question accordingly.</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16314#16314 Answer by Steve Huntsman for How helpful is non-standard analysis? Steve Huntsman 2010-02-24T22:39:14Z 2010-02-24T22:39:14Z <p>From the <a href="http://en.wikipedia.org/wiki/Non-standard_analysis#Applications" rel="nofollow">Wikipedia article</a>:</p> <blockquote> <p>the list of new applications in mathematics is still very small. One of these results is the <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.pjm/1102994835" rel="nofollow">theorem proven by Abraham Robinson and Allen Bernstein</a> that every polynomially compact linear operator on a Hilbert space has an invariant subspace. Upon reading a preprint of the Bernstein-Robinson paper, <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.pjm/1102994836" rel="nofollow">Paul Halmos reinterpreted their proof using standard techniques</a>. Both papers appeared back-to-back in <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.pjm/1102994830" rel="nofollow">the same issue of the Pacific Journal of Mathematics</a>. Some of the ideas used in Halmos' proof reappeared many years later in Halmos' own work on quasi-triangular operators.</p> </blockquote> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16317#16317 Answer by Steven Sam for How helpful is non-standard analysis? Steven Sam 2010-02-24T22:59:21Z 2010-02-24T22:59:21Z <p>This reminded me of a talk by Mircea Mustata in which he mentioned that non-standard analysis type arguments were used to prove some things related to algebraic geometry. I can't remember what the talk was about, but I found the paper that it was based on: <a href="http://arxiv.org/abs/0710.4978" rel="nofollow">http://arxiv.org/abs/0710.4978</a></p> <p>The paper mentions that later Kollár found proofs avoiding these techniques (but they are similar in spirit).</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16318#16318 Answer by Hailong Dao for How helpful is non-standard analysis? Hailong Dao 2010-02-24T23:00:16Z 2010-02-24T23:00:16Z <p>Let $k$ be an algebraically closed field of characteristic $0$. Let $T_n$ be the set of all possible log canonical threshold of a pair $(X,Y)$ where $X/k$ is a smooth variety and $Y \subseteq X$ is a nonzero closed subschemes. The following two facts are first <a href="http://front.math.ucdavis.edu/0710.4978" rel="nofollow">proved</a> via non-standard methods: </p> <p>1) $T_n$ is closed in $\mathbb R$ for all $n$.</p> <p>2) The set of points of accumulations from above of $T_n$ is $T_{n-1}$. </p> <p>I think proofs that avoid non-standard analysis <a href="http://arxiv1.library.cornell.edu/abs/0805.0756" rel="nofollow">emerged</a> later, but the first one used non-standard technique. </p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16323#16323 Answer by Daryl Cooper for How helpful is non-standard analysis? Daryl Cooper 2010-02-24T23:35:21Z 2010-02-24T23:35:21Z <p>I first understood what the Thurston-type-compactification of the space of properly strictly convex real projective structures on a closed surface was using non-standard methods. What had been murky and confusing was suddenly clear. I have struggled with the question of whether or not to use NSA in the written proof. It is so much easier to use NSA I think we will.</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16329#16329 Answer by Bill Johnson for How helpful is non-standard analysis? Bill Johnson 2010-02-25T00:01:44Z 2010-02-25T00:01:44Z <p>Nonstandard hulls of spaces are used all the time in Banach space theory, so much so that books devote sections to the construction of ultraproducts of Banach spaces (e.g. Absolutely summing operators by Diestel, Jarchow, and Tonge). There are cases where NSA is used to prove the existence of an estimate, yet no one knows how directly to compute an estimate. For example, the unconditional constant of any basis for the span of the first n unit basis vectors in the James' space of sequences of bounded quadratic variation must go to infinity, but the only known proof involves NSA.</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16336#16336 Answer by HW for How helpful is non-standard analysis? HW 2010-02-25T00:38:26Z 2010-02-25T00:38:26Z <p>The <a href="http://en.wikipedia.org/wiki/Ultralimit#Asymptotic_cones" rel="nofollow">asymptotic cone of a metric space</a> (and hence of a finitely generated group endowed with the word metric) is constructed using non-standard analysis, and has been used to prove many nice theorems. To take just one example, asymptotic cones are an important tool in the proof that <a href="http://www.math.columbia.edu/~jason/papers/geomrigidMCG.pdf" rel="nofollow">mapping class groups are quasi-isometrically rigid</a>. </p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16352#16352 Answer by Joel David Hamkins for How helpful is non-standard analysis? Joel David Hamkins 2010-02-25T02:37:26Z 2013-04-07T15:51:34Z <p>The other answers are excellent, but let me add a few points.</p> <p>First, with a historical perspective, all the early fundamental theorems of calculus were first proved via methods using infinitesimals, rather than by methods using epsilon-delta arguments, since those methods did not appear until the nineteenth century. Calculus proceeded for centuries on the infinitesimal foundation, and the early arguments---whatever their level of rigor---are closer to their modern analogues in nonstandard analysis than to their modern analogues in epsilon-delta methods. In this sense, one could reasonably answer your question by pointing to any of these early fundamental theorems.</p> <p>To be sure, the epsilon-delta methods arose in part because mathematicians became unsure of the foundational validity of infinitesimals. But since nonstandard analysis exactly provides the missing legitimacy, the original motivation for adopting epsilon-delta arguments appears to fall away.</p> <p>Second, while it is true that almost any application of nonstandard analysis in analysis can be carried out using standard methods, the converse is also true. That is, epsilon-delta arguments can often also be translated into nonstandard analysis. Furthermore, someone raised with nonstandard analysis in their mathematical childhood would likely prefer things this way. In this sense, the preference between the two methods may be a cultural matter of upbringing.</p> <p>For example, H. Jerome Keisler wrote an introductory calculus textbook called <a href="http://www.math.wisc.edu/~keisler/calc.html" rel="nofollow">Elementary Calculus: an infinitesimal approach</a>, and this text was used for many years as the main calculus textbook at the University of Wisconsin, Madison. I encourage you to take a look at this interesting text, which looks at first like an ordinary calculus textbook, except that in the inside cover, next to the various formulas for derivatives and integrals, there are also listed the various rules for manipulating infinitesimals, which fill the text. Kiesler writes:</p> <blockquote> <blockquote> <p>This is a calculus textbook at the college Freshman level based on Abraham Robinson's infinitesimals, which date from 1960. Robinson's modern infinitesimal approach puts the intuitive ideas of the founders of the calculus on a mathematically sound footing, and is easier for beginners to understand than the more common approach via limits.</p> </blockquote> </blockquote> <p>Finally, third, some may take your question to presume that a central purpose of nonstandard analysis is to provide applications in analysis. But this is not correct. The concept of nonstandard models of arithmetic, of analysis and of set theory arose in mathematical logic and has grown into an entire field, with hundreds of articles and many books, with its own problems and questions and methods, quite divorced from any application of the methods in other parts of mathematics. For example, the subject of <a href="http://books.google.com/books?id=INxo07_kCCsC&amp;printsec=frontcover&amp;dq=Models+of+arithmetic+Kossak+Schmerl" rel="nofollow">Models of Arithmetic</a> is focused on understanding the nonstandard models of the first order Peano Axioms, and it makes little sense to analyze these models using only standard methods.</p> <p>To mention just a few fascinating classical theorems: every countable nonstandard model of arithmetic is isomorphic to a proper initial segment of itself (H. Friedman). Under the Continuum Hypothesis, every Scott set (a family of sets of natural numbers closed under Boolean operations, Turing reducibility and satisfying Konig's lemma) is the collection of definable sets of natural numbers of some nonstandard model of arithmetic (D. Scott and others). There is no nonstandard model of arithmetic for which either addition or multiplication is computable (S. Tennenbaum). Nonstandard models of arithmetic were also used to prove several fascinating independence results over PA, such as the results on <a href="http://en.wikipedia.org/wiki/Goodstein%27s_theorem" rel="nofollow">Goodstein sequences</a>, as well as the <a href="http://en.wikipedia.org/wiki/Paris%E2%80%93Harrington_theorem" rel="nofollow">Paris-Harrington theorem</a> on the independence over PA of a strong Ramsey theorem. <a href="http://www.math.cas.cz/~jerabek/papers/wphpvar.pdf" rel="nofollow">Another interesting result</a> shows that various forms of the pigeon hole principle are not equivalent over weak base theories; for example, the weak pigeon-hole principle that there is no bijection of n to 2n is not provable over the base theory from the weaker principle that there is no bijection of n with n<sup>2</sup>. These proofs all make fundamental use of nonstandard methods, which it would seem difficult or impossible to omit or to translate to standard methods.</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16358#16358 Answer by Konstantin Slutsky for How helpful is non-standard analysis? Konstantin Slutsky 2010-02-25T03:39:42Z 2010-02-25T03:39:42Z <p>I think the only known solution to the local version of the Hilbert's fifth problem heavily uses nonstandard analysis. To be more precise the result is: <em>every locally euclidean local group is locally isomorphic to a Lie group</em>. You can find details in <a href="http://arxiv.org/abs/0708.3871" rel="nofollow">Isaac Goldbring's paper</a>.</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16408#16408 Answer by Michael Greinecker for How helpful is non-standard analysis? Michael Greinecker 2010-02-25T15:54:24Z 2010-02-25T15:54:24Z <p>In mathematical economics, one often faces the following problem: One wants to formalize the idea of a large, relatively anonymous group of people (an atomless measure space of agents) that all face some risk that is iid of these people. Since there are lots of people, this risk should cancel out in the aggregate by some law of large numbers. The expost empirical distribution should be the ex ante distribution of the risk. If one uses something like the unit interval endowed with Lebesgue measure, this does not work. Most sample realizations are not measurable in that case.</p> <p>Yeneng Sun has shown that there are exact laws of large numbers with a continuum of random variables for certain types of measure spaces. The only known examples were obtained using the Loeb measure construction that relies heavily on NSA. Later, Konrad Podczeck has shown how to construct appropriate measure spaces using conventional methods.</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16413#16413 Answer by vonjd for How helpful is non-standard analysis? vonjd 2010-02-25T16:37:03Z 2010-02-25T16:37:03Z <p>Here is one paper with some results I have only seen being done in non-standard analysis so far, perhaps it is helpful to you:</p> <p><a href="http://hal.inria.fr/docs/00/35/28/34/PDF/FES-Finance.pdf" rel="nofollow">A mathematical proof of the existence of trends in financial time series by Michel Fliess &amp; C´edric Join</a></p> <p>From the abstract: "We are settling a longstanding quarrel in quantitative finance by proving the existence of trends in financial time series thanks to a theorem due to P. Cartier and Y. Perrin, which is expressed in the language of nonstandard analysis [...] Those trends, which might coexist with some altered random walk paradigm and efficient market hypothesis, seem nevertheless difficult to reconcile with the celebrated Black-Scholes model. They are estimated via recent techniques stemming from control and signal theory. Several quite convincing computer simulations on the forecast of various financial quantities are depicted. We conclude by discussing the role of probability theory."</p> <p>See also this <a href="http://mathoverflow.net/questions/3426/rigorous-definition-detection-and-test-for-trending-vs-mean-reverting-behaviour" rel="nofollow">question/answers on Mathoverflow</a></p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16441#16441 Answer by Zoran Škoda for How helpful is non-standard analysis? Zoran Škoda 2010-02-25T19:47:37Z 2010-02-25T19:47:37Z <p>Gromov was writing in one of his books (among other things) about some new mathematics coming from nonstandard analysis. Another example is proving that some statistical field theories (and lattice QFTs) are well-defined by Sergio Albeverio et al. (look at their book about that kind of applications to physics). Kiesler has been emphasising that some functional spaces are much richer in nonstandard analysis and that this power is one of the main arguments for the theory. Analysts say that one should look for applications where one has several degrees of infinitesimals or asymptotics, to somewhat reduce fitting complicated estimates to satisfy all. </p> <p>There are some other approaches to infinitesimals which are not nonstandard analysis (no general transfer principle), but are similar in spirit, namely the <a href="http://ncatlab.org/nlab/show/synthetic+differential+geometry" rel="nofollow">synthetic differential geometry</a>. </p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/16573#16573 Answer by Kevin O'Bryant for How helpful is non-standard analysis? Kevin O'Bryant 2010-02-27T01:49:11Z 2010-02-27T01:49:11Z <p>Freiman conjectured a classification of finite sets $A$ of integers that have</p> <p>$$|A+A| = 3|A|-3+b$$</p> <p>for some $0\leq b \leq |A|/3-2$. <a href="http://jinr.people.cofc.edu/research/3k-3+b-one.pdf" rel="nofollow">Renling Jin recently resolved this</a> using nonstandard analysis. He has quite a few <a href="http://jinr.people.cofc.edu/research/publication.html" rel="nofollow">other nice results</a> that appeared first with nonstandard analysis.</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/126776#126776 Answer by Philip Ehrlich for How helpful is non-standard analysis? Philip Ehrlich 2013-04-07T14:15:11Z 2013-04-08T11:03:04Z <p>In 1986 C. Ward Henson and H. J. Keisler published “On the Strength of Nonstandard Analysis” (The Journal of Symbolic Logic, Vol. 51, No. 2 (Jun., 1986), pp. 377-386), which is a seminal contribution to the meta-mathematics of nonstandard analysis. Since their result bears directly on the issue in this thread which has been reopened after laying dormant for some time now, and since no reference to their work is referred to in the original thread, I am taking the liberty of quoting the introduction to Henson and Keisler’s important paper (which I believe is as current today as when it was published).</p> <blockquote> <p>It is often asserted in the literature that any theorem which can be proved using nonstandard analysis can also be proved without it. The purpose of this paper is to show that this assertion is wrong, and in fact there are theorems which can be proved with nonstandard analysis but cannot be proved without it. There is currently a great deal of confusion among mathematicians because the above assertion can be interpreted in two different ways. First, there is the following correct statement: any theorem which can be proved using nonstandard analysis can be proved in Zermelo-Fraenkel set theory with choice, ZFC, and thus is acceptable by contemporary standards as a theorem in mathematics. Second, there is the erroneous conclusion drawn by skeptics: any theorem which can be proved using nonstandard analysis can be proved without it, and thus there is no need for nonstandard analysis. The reason for this confusion is that the set of principles which are accepted by current mathematics, namely ZFC, is much stronger than the set of principles which are actually used in mathematical practice. It has been observed (see [F] and [S]) that almost all results in classical mathematics use methods available in second order arithmetic with appropriate comprehension and choice axiom schemes. This suggests that mathematical practice usually takes place in a conservative extension of some system of second order arithmetic, and that it is difficult to use the higher levels of sets. In this paper we shall consider systems of nonstandard analysis consisting of second order nonstandard arithmetic with saturation principles (which are frequently used in practice in nonstandard arguments). We shall prove that nonstandard analysis (i.e. second order nonstandard arithmetic) with the $\omega_{1}$-saturation axiom scheme has the same strength as third order arithmetic. This shows that in principle there are theorems which can be proved with nonstandard analysis but cannot be proved by the usual standard methods. The problem of finding a specific and mathematically natural example of such a theorem remains open. However, there are several results, particularly in probability theory, whose only known proofs are nonstandard arguments which depend on saturation principles; see, for example, the monograph [Ke]. Experience suggests that it is easier to work with nonstandard objects at a lower level than with sets at a higher level. This underlies the success of nonstandard methods in discovering new results. To sum up, nonstandard analysis still takes place within ZFC, but in practice it uses a larger portion of full ZFC than is used in standard mathematical proofs.</p> </blockquote> <p>[F] S. FEFERMAN. Theories of finite type related to mathematical practice, Handbook of mathematical logic (J. Barwise, editor), North-Holland, Amsterdam, .1977, pp. 913-971.</p> <p>[Ke] H. J. KEISLER, An infinitesimal approach to stochastic analysis, Memoirs of the American Mathematical Society, No. 297 (1984).</p> <p>[S] S. SIMPSON, Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? JSL, vol. 49 (1984), pp. 783-802.</p> <p>It is perhaps worth adding that Keisler (making use of work of Avigad) subsequently published a sequel to his paper with Henson in which he introduces what might be regarded as a system of Reverse Mathematics for nonstandard analysis with the hope of being able to establish the strength of particular theorems proved using nonstandard analysis. (See “The Strength of Nonstandard Analysis” by H.J. Keisler in The Strength of Nonstandard Analysis ed. By imme van den berg and vitor nerves, Springer, 2007).</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/126832#126832 Answer by katz for How helpful is non-standard analysis? katz 2013-04-08T09:53:50Z 2013-04-08T11:18:08Z <p>Steve Huntsman's claim attributed to wikipedia that "the list of new applications in mathematics is still very small" is patently false. In fact, I was unable to find such a claim there. To mention just the most famous results, there is the recent work by T. Tao et al, by I. Goldbring on the local version of Hilbert's 5, Albeverio (several applications in math physics), Arkeryd (see his piece in the American Mathematical Monthly at <a href="http://www.jstor.org/stable/10.2307/30037635" rel="nofollow">http://www.jstor.org/stable/10.2307/30037635</a>) in hydrodynamics, the works on "canards" in perturbation theory, Jin's work in additive number theory, as well as numerous applications in statistics and economics. Robinson's work also occasioned a critical re-evaluation of whig history dominated by a reductive epsilontist agenda.</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/126883#126883 Answer by none for How helpful is non-standard analysis? none 2013-04-08T17:32:22Z 2013-04-08T17:32:22Z <p>Edward Nelson was working on a book on NSA mentioned here:</p> <p><a href="https://web.math.princeton.edu/~nelson/books.html" rel="nofollow">https://web.math.princeton.edu/~nelson/books.html</a></p> <p>His existing book "Radically elementary probability theory" (linked from that page) uses some NSA. I've been wanting to read it but don't understand much of it.</p> http://mathoverflow.net/questions/16312/how-helpful-is-non-standard-analysis/127205#127205 Answer by katz for How helpful is non-standard analysis? katz 2013-04-11T08:19:12Z 2013-04-11T08:19:12Z <p>I just came across a 2013 book by F. Herzberg entitled "Stochastic Calculus with Infinitesimals", see <a href="http://link.springer.com/book/10.1007/978-3-642-33149-7/page/1" rel="nofollow">http://link.springer.com/book/10.1007/978-3-642-33149-7/page/1</a> where probability and stochastic analysis are done without having to develop the complexities of measure and integration theory first. Ever since E.Nelson, such an approach is called "radically elementary" and it really is. What this proves is the new result that stochastic calculus can be done without measure theory. </p> <p>To give a historical parallel, recall that Leibniz's mentor in mathematics was Huygens. When Huygens first learned of Leibniz's invention of infinitesimal calculus, Huygens was sceptical, and wrote to Leibniz that he is merely doing what Fermat and others have done before him in a different language. What Huygens failed to recognize immediately (but did recognize later) was the generality of the <em>methods</em> and the lucidity of the <em>presentation</em> of Leibniz's new approach. The Nelson-Herzberg approach to stochastic calculus is in a way more significant than merely a new "result", since it provides a new <em>methodology</em>.</p>