MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Can anyone suggest any good references for (or any experts on) analysis over non-Archimedean ordered fields, such as the field of rational functions in one variable (ordered at 0, or if you prefer at infinity)?

It may not be entirely clear what I mean by the foregoing, so here's the kind of thing I mean: Take every definition in real analysis that refers to the field of reals and replace it by a relativized version in which quantification over the reals is replaced by quantification over $K$, where $K$ can be any ordered field you like. Now take every theorem in real analysis and ask whether it's true relative to $K$. (E.g., the Intermediate Value Theorem is false for "calculus over the rationals".)

It's fairly easy to think about what's true over $K$ when $K$ is Archimedean, since every Archimedean ordered field is a subfield of the reals, but it's harder for me to think about the non-Archimedean case (even simple cases like the field of rational functions in one variable or the field of formal Laurent series). I suspect someone has already worked all this out, but I'm not sure where to look.

share|cite|improve this question

I don't understand Stefan's suggestion that you can get a field by taking (presumably) the Dedekind-Macneille completion of the ordered field of Newton-Puiseux series or any non-archimedean field. A non-archimedean field cannot be order-theoretically complete, e.g., because the set of integers is bounded above but can have no least upper bound (if $x > \mathbb{Z}$, then so is $x - 1$).

However, many notions of analysis do make sense over a real closed field. Such fields can be non-archimedean, the above mentioned field of Newton-Puiseux series being a classic example. This is part of the subject matter of real algebraic geometry (see the book of that name by Bochnak, Coste and Roy), or more generally of tame topology (see the book Tame Topology and O-minimal Structures by van den Dries). There are also lots of papers and survey articles on these topics at the Real Algebraic and Analytic Geometry preprint server:

share|cite|improve this answer
@Rob: OK, maybe there is a confusion about "completeness". I was referring to the question whether Cauchy sequences do converge or not. In a non-Archimedian field e.g. $1/n$ is not a Cauchy sequence any more. However, e.g. in the field of formal Laurent series with formal parameter $\hbar$ the sequence $\hbar^n$ is Cauchy and converges to $0$. Of course, bounded sets do not have a sup ind inf in general. – Stefan Waldmann Jan 18 '12 at 12:36
Stefan: thanks for the clarification. For completeness (in the non-technical sense :-)), I should have pointed out that in the real algebraic geometry approach, you do get all the usual goodies like the intermediate value theorem, the mean value theorem, Rolle, Taylor series etc. for definable functions satisfying the appropriate continuity or differentiability conditions. – Rob Arthan Jan 18 '12 at 16:23

Well, there seems to be a lot of literature. I have encountered similar questions once when discussing problems in deformation quantization. here the ordered field is simply the field of formal Laurent series $\mathbb{R}((\hbar))$ with the ordering that $\hbar$ is positive (this fixed it uniquely). The idea was to transfer as much of stuff from $C^*$-algebra theory to the formal star products which are algebras of the above non-Archimedian field. Ultimately, we wanted to develop a spectral theory for these algebras, which utterly failed :) Nevertheless, you might be interested in examples of such fields and the "completed Newton Puiseux field" might be a funny one. First you take the algebraic or real closure of the formal Laurent series yielding the Newton-Puiseux series. This is not yet complete (in the sense of convergent Cauchy sequences) so you still have to complete it. The result is again field (either real, i.e. ordered) or algebraically closed, the smallest one containing the formal Laurent series.

Let me probably clarify what I mean by completion here: since you have an ordered field, the naive $\epsilon$-definition of a Cauchy sequence makes sense with the main point that the $\epsilon$ is now a positive element of you field and not just a positive real number. So this defines a topology on your ordered field, but also a uniform structure. So one can speak about Cauchy sequences and completeness etc. It is then a standard argument to show that the completion (in the sense of uniform structures, i.e. taking Cauchy sequences module zero sequences) gives again an ordered field and the original one is included via constant sequences as usual. The slightly less trivial point is that if you start with an ordered field which is real closed then the completion is again real closed. This is needed to see that the completed Newton-Puiseux series are indeed both: real (or algebraically, in the case you started with $\mathbb{C}$ instead of $\mathbb{R}$) closed and (Cauchy) complete.

A first reading may be

Narici, N., Beckenstein, E., Bachman, G.: Functional Analysis and Valuation Theory. New York: Marcel Dekker, 1971.

However, the main point is that analysis does not work too well. The reasons is that whenever you need suprema, you're on your own. And this happens quite often in analysis :) The other problem arising is that $1/n$ is no longer a zero sequence, a fact which is also used very often in analysis: you named already the intermediate value theorem...

So my conclusion is that notions of positivity work well (needed a lot in formal DQ and representation theory of $^*$-algebras) but notions of calculus do not work well.

share|cite|improve this answer
The completion of the field of Newton-Puiseux series is nothing very wild. It is called the Levi-Civita field and it is the smallest non-Archimedean ordered field that is real closed and Cauchy complete. You can see that the elements of this field can be written as a formal Laurent series $\sum a_r x^r$ with exponents $r\in\mathbb{Q}$. In line with Anatoly Kochubei's answer, a good paper to start reading would be: Shamseddine, Khodr, and Martin Berz. "Analysis on the Levi-Civita field, a brief overview." Contemp. Math 508 (2010): 215-237. – Chilote 2 days ago

There is a well-developed analysis over the Levi-Civita ordered field consisting of functions from $\Bbb Q$ to $\Bbb R$ with left-finite supports. The main authors are M. Berz and K. Shamseddine; see, for example,

I would like to mention also a general monograph on ordered algebraic structures containing rich material of more algebraic nature, the book by S. Priess-Crampe, Angeordnete Strukturen: Gruppen, K\"orper, projektive Ebenen, Springer, 1983.

These activities should not be confused with a more well-known non-Archimedean analysis over local fields and their extensions (treated in the book by Narici et al, and many others). These fields have no order relations agreed with their natural structures, though some positivity and monotonicity notions can be useful also in this framework (see "Ultrametric calculus" by W.H. Schikhof).

share|cite|improve this answer

I am not a big expert in this, but it sounds as if you might check out books on non-standard analysis. For you come quite close to a setting when you work in a "fragment" of non-standard analysis framework, as being done in some parts of real algebraic (and analytic) geometry, when the one works over a real closed field obtained (say) by adjoining a positive infinitesimal to a real closed field, i.e. turing it into a field of Puiseux series.

share|cite|improve this answer

protected by Todd Trimble Aug 10 '15 at 0:14

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

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