Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Consider the smallest ordered field that contains R and does not satisfy the Archimedean property. I assume this is a much simpler construction than ultrafilters and other big caliber artillery used in non-standard analysis. Why does this approach fail?

share|improve this question
1  
@Henning: You would still need to establish somehow that such a thing exists in the first place. This does not seem to be something you can simply "define into existence". –  Arturo Magidin Sep 12 '11 at 20:26
2  
@Arturo, sure, and there's a concrete construction in the article. Without checking all the details, it looks like the fraction field of $\mathbb Q[X]$, equipped with an appropriate ordering. –  Henning Makholm Sep 12 '11 at 20:28
1  
@Arturo, it contains the claim: "if $\mathbb{F}$ is any ordered field that fails the Archimedean property and $y$ is any positive element of $\mathbb{F}$ that is smaller than every $1/n$, then there is a unique field embedding from $\mathbb{Q}[x]$ to $\mathbb{F}$ that takes $x$ to $y$. This gives us a precise sense in which our example is "smallest"." –  Henning Makholm Sep 12 '11 at 20:32
1  
@Henning: If there is a construction, and the construction pans out, fine; but it needs to go beyond merely stating "the smallest a such that b..." –  Arturo Magidin Sep 12 '11 at 20:36
2  
@All: the context of the article seems to be the construction of a field which is an initial object in the category of ordered fields equipped with a distinguished non-Archimedean element. It is of course not true that there is a smallest non-Archmidean ordered field, because if $K$ is such a field and $x$ is a non-Archimedean element of $K$ then $\mathbb{Q}(x^2)$ is a strictly smaller non-Archimedean field. –  Pete L. Clark Sep 12 '11 at 20:43
show 9 more comments

3 Answers

up vote 9 down vote accepted

To perform nontrivial analysis in a nonstandard extension of $\:\mathbb R\:$ requires much more than simply the existence of infinitesimals. One needs some efficient general way to transfer (first-order) properties from $\:\mathbb R\:$ to the nonstandard extension. This is achieved by a powerful transfer principle in NSA. Lacking such, and other essential properties such as saturation, one faces huge obstacles.

One need only examine earlier approaches to see examples of such problems. For example, see the discussion of the pitfalls of Schmieden and Laugwitz's calculus of infinitesimals in Dauben's biography of Abe Robinson (lookup "Laugwitz" in the index) and, for much further detail, see D. Spalt: Curt Schmieden’s Non-standard Analysis, 2001. In short, viewed in terms of ultrapowers $\mathbb R^\mathbb N,\:$ the S&L approach mods out only by a Frechet filter on $\mathbb N\:$ instead of a free ultrafilter. Thus one loses full transfer of first-order properties, e.g. one obtains only a partially ordered ring, with zero-divisors to boot. Without all of the essential properties of $\mathbb R,\:$ and without a general transfer principle, one obtains a much weaker and much more cumbersome theory as compared to Robinson's NSA.

Another point which deserves emphasis is the role played by logic, in particular the concept of formal languages. One of the major problems with early approaches to infinitesimals is that they lacked rigorous model theoretic techniques. For example, without the notion of a (first-order) formal language. it is impossible to rigorously state what properties of reals transfer to hyperreals. This logical inadequacy is one of the primary sources of contradictions in the earlier approaches.

Abraham Robinson wrote much on these topics. It is said that he knew more about Leibniz than anyone. His lofty goal was to vindicate Leibniz' intuition, and to reverse the historical injustices done to him by many Whiggish historians. See Abby's collected papers for much more, and see also Daublen's superb biography of Robinson.

For a brief introduction to the ultraproduct approach to NSA see Wm. Hatcher: Calculus is Algebra, AMM 1982, and Van Osdol: Truth with Respect to an Ultrafilter or How to make Intuition Rigorous. For a much more comprehensive introduction to ultraproducts see Paul Eklof. Ultraproducts for Algebraists, 1977.

share|improve this answer
    
Thank you for "Schmieden and Laugwitz's calculus of infinitesimals" which brings up many online references, e.g. gauge-institute.org/delta/InfinitesimalCalculusT.pdf –  Tegiri Nenashi Sep 12 '11 at 21:47
    
@Teg See the link I added to Spalt's paper for a nice accessible introduction to these topics. –  Bill Dubuque Sep 12 '11 at 22:10
add comment

The construction you link to will work as far as it goes, if your only goal is to produce some non-Archimedian ordered field. However, the model-theoretic construction is much stronger; it will guarantee that every formal statement that is true about the standard reals is also true for the non-standard reals, as long as you replace all constants in the statement with their non-standard counterparts. Without this, it could be difficult to transfer results between the standard and the non-standard worlds.

For example, if one takes your simpler construction and adjoins a square root of $-1$, will the resulting field satisfy the Fundamental Theorem of Algebra? You would have to repeat the entire proof from the real case, if it goes through at all. With the heavy-caliber nonstandard analysis, you can just says that every nonconstant degree-$n$ polynomial over $\mathbb C$ has a root in $\mathbb C$, thus every nonconstant degree-$n$ polynomial over $\mathbb C^*$ has a root in $\mathbb C^*$. Case closed.

share|improve this answer
    
I don't think it is a sensible definition, myself... if you use inclusion as your order relation, then there is no such thing in general and you would first need to show you can make it work (say, by working inside some specific field, much like we do with "Galois closures"); if you use "there is an injective homomorphism" as your order relation, you need to show that there is a minimum element of the collection... –  Arturo Magidin Sep 12 '11 at 20:24
    
Um, what is not a sensible definition? I'm not defining anything here -- I'm assuming that the reader knows what the heavy-caliber ultrafilter stuff does, and just explaining how that makes it superior. –  Henning Makholm Sep 12 '11 at 20:30
    
Sorry for being unclear; I don't think "The smallest ordered field that contains $\mathbb{R}$ and does not satisfy the Archimedean property" is a sensible definition. By saying "it will work as far as it goes", you seem to be saying that this definition is sensible. –  Arturo Magidin Sep 12 '11 at 20:32
    
That's what I get for not reading through pages of stuff; the original post here reads like it attempts to define this thing into existence by simply saying the magic words. Sorry about that. –  Arturo Magidin Sep 12 '11 at 20:38
    
When you say "every formal statement" I guess you are referring to Łoś' theorem -- so you need to restrict to first order statements only. The hyperreals $^* \mathbb{R}$ don't satisfy the (second order) completeness axiom for example (a good thing too, otherwise they'd be isomorphic to the reals again). –  mt_ Sep 12 '11 at 20:42
show 9 more comments

The heavy artillery of the model-theoretic approach to non-standard analysis is doing much more than just producing any one non-Archimedean ordered field or even a non-Archimedean ordered field which is elementarily equivalent to $\mathbb{R}$ (an ordered field is elementarily equivalent to $\mathbb{R}$ iff it is real-closed, so starting with any non-Archimedean ordered field, e.g. $\mathbb{R}(t)$, and taking the real-closure produces such a field). There is an elaborate machinery of transfer, standard parts, etc. to overcome the fact that calculus does not work as we want it to in any non-Archimedean ordered field.

Note that the unique (up to unique isomorphism!) Dedekind-complete ordered field is $\mathbb{R}$, so any other ordered field is not Dedekind-complete. More directly, if $K$ is a non-Archimedean ordered field, then the set of positive integers is bounded above (by any infinite element of $K$) but has no least upper bound, so $K$ is not Dedekind complete. This spells doom for many of the basic results of real analysis.

For instance, for an ordered field $(K,\leq)$, the following are equivalent:
(i) $K$ is isomorphic to the real numbers.
(ii) $K$ satisfies the least upper bound axiom (i.e., $K$ is Dedekind complete).
(iii) Any bounded monotone sequence in $K$ is convergent.
(iv) (Bolzano-Weierstrass) Every bounded sequence in $K$ has a convergent subsequence.
(v) Any interval in $K$ is connected in the order topology.
(vi) Any closed bounded interval $[a,b]$ is compact in the order topology.

So working in a non-Archimedean field -- and not using model-theoretic cleverness to carefully restrict to certain kinds of statements -- calculus as we know it fails dramatically.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.