Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The utopian situation in mathematics would be that the statement and the proof of every result would live "in the same world", at the same level of mathematical complexity (in a broad sense), unless there were a good conceptual reason for the contrary. The typical situation would be for a proof in finite combinatorics to be proven purely within the realm of finite combinatorics, a statement about integers to be proven using only the rationals (perhaps together with some formal symbols such as $\sqrt {2}$ and $\sqrt{-1}$), and so on. When the typical situation breaks down, the reason would be well-known and celebrated.

The prototypical field where things don't seem to work this way is Number Theory. Kronecker famously stated that "God invented the integers; all else is the work of man."; and yet, the real numbers (often in the guise of complex analysis) are ubiquitous all over Number Theory.

I am sure that this question is hopelessly naïve and standard but:

  1. What is the high-concept explanation for why real numbers are useful in number theory?
  2. What is the "minimal example" of a statement in number theory, for whose "best possible" proof the introduction of real numbers is obviously useful?

An alternative way of framing the question would be to ask how you would refute the following hypothetical argument:

"We know that calculus works well, so we are tempted to apply it to anything and everything. But perhaps it is in fact the wrong tool for Number Theory. Perhaps there exists a rational-number-based approach to Number Theory waiting to be discovered, whose discoverer will win a Fields Medal, which will replace all the analytic tools in Number Theory with dicrete tools."

(This question is a byproduct of a discussion we had today at Dror Bar-Natan's LazyKnots seminar.)

Update: (REWRITTEN) There has been some discussion in the comments concerning whether proofs and statements living in the same realm is "utopian". The philosophical idea underlying this question is that, in my opinion, part of mathematics is to understand proofs, including understanding which tools are optimal for a proof and why. If the proof is a formal manipulation of definitions used in the statement of the claim (e.g. proof of the snake lemma), then there is nothing to explain. If, on the other hand, the proof makes essential use of concepts from beyond the realm of the statement of the theorem (e.g. a proof of a statement about integers which uses real numbers, or proof of Poincare Duality for simplicial complexes which uses CW complexes) then we ought to understand why. Is there no other way to prove it?Why? Would another way to prove it necessarily be move clumsy? Why? Or is it just an accident of history, the first thing the prover thought of, with no claim of being an "optimally tooled proof" in any sense? For one think, if a proof of a result involving integers essentially uses properties of the real numbers (or complex numbers), such a proof would not work in a formal somehow analogous setting where there are no real numbers, such as knots as analogues for primes. For another, by understanding why the tool of the proof is optimal, we're learning something really fundamental about integers.
I'm interested not in "what would be the fastest way to find a first proof", but rather in "what would be the most intuitive way to understand a mathematical phenomenon in hindsight". So one thing that would make me happy would be a result for integers which is "obviously" a projection or restriction of some easy fact for real numbers, and is readily understood that way, but remains mysterious if real numbers/ complex analysis aren't introduced.

share|improve this question
18  
This is totally tangential but I just want to say I strongly disagree with the sentiment of the first sentence. If statements and proofs were typically "in the same world", math would be so dull. Dystopia. –  Alon Amit Apr 14 '11 at 2:45
4  
I think Alon is disagreeing with the sentiment of the first clause of the first sentence rather than the entire first sentence. –  Qiaochu Yuan Apr 14 '11 at 3:05
1  
Well, the hypothetical argument is pretty much against reality... doesn't that refute it by itself? One can also come up with «maybe partial differential equations are the wrong tool for the Poincaré conjecture, and maybe someone will come up with a purely topological argument and win a Fields^2 medal for it», and so on. The thing is, such alternative, correctly tooled arguments are slow in the coming! –  Mariano Suárez-Alvarez Apr 14 '11 at 3:09
19  
The real moral of the story is that there aren't separate ``worlds'' in mathematics, but rather a beautiful and often mysterious all-embracing unity. –  Lubin Apr 14 '11 at 5:26
8  
What you suggest would be a utopia for people who don't want to learn new tools. We seem to have strong experimental evidence that fluency in one area is not a good way to make leaps in our ability to prove or understand mathematics. The question is somewhat related to the problem of whether tersely stated theorems should have short proofs - if the length of proofs were bounded by a computable function in the length of the theorem, we could check any mathematical statement in finite time. –  S. Carnahan Apr 14 '11 at 8:33

14 Answers 14

up vote 54 down vote accepted

The Gödel Speedup Theorem provides some explanation why real numbers (and variants) are useful in proving statements in number theory.

Real numbers, complex numbers, and $p$-adic numbers are second-order objects over the natural numbers. Thus a proof of a number theoretic fact using such analytical devices is formally a proof of that fact in second-order arithmetic. The Gödel Speedup Theorem shows that there is a definite advantage to using second-order arithmetic to prove elementary number theoretic facts.

Gödel Speedup Theorem. Let $h$ be any computable function. There is an infinite family $\mathcal{H}$ of first-order (indeed $\Pi^0_2$) statements such that if $\phi \in \mathcal{H}$, then $\phi$ is provable in first-order arithmetic and if $k$ is the length of the shortest proof of $\phi$ in second-order arithmetic, then the shortest proof of $\phi$ in first-order arithmetic has length at least $h(k)$.

Since computable functions can grow very fast, this shows that there are true number theoretic facts that one can prove using second-order methods (e.g. complex analysis, $p$-adic numbers, etc.) but any first-order (a.k.a. elementary) proof is unfathomably long. Admittedly, the statements produced by Gödel to verify the theorem are very unnatural from a number theoretic point of view. However, it is a general fact that second-order proofs can be much much shorter and easier to understand than first-order proofs.


Addendum. This excellent post by Emil Jeřábek demonstrates another speedup theorem, which is in many ways more striking. The method of going from a first-order $T$ to a second-order $T^+$ is conservative, meaning that $T^+$ cannot prove more first-order theorems than $T$. However, the mere act of allowing sets to replace formulas and introducing the possibility of quantifying over such sets introduces speedups faster than any exponential tower. Introducing $\mathbb{R}$, $\mathbb{C}$, $\mathbb{Q}_p$ and so forth has a similar effect where one can package complicated ideas into conceptually simpler ones (e.g. replacing $\forall\exists$ statements by the higher-level idea of continuity) can lead to monumentally shorter proofs!

share|improve this answer
9  
This doesn't say anything about why the real numbers get picked out as being particularly useful. Surely there's more to it than the fact that arguments involving real numbers correspond to arguments using quantification over infinite sets of naturals. After all, if it were just about infinite sets, we would use infinite sets directly and skip the real numbers. –  Dan Piponi Apr 15 '11 at 0:13
6  
Since the proof of this theorem, as you say, involves mathematically uninteresting examples, I am not convinced that this theorem helps us "understand" why proofs in number theory using R, C, Q_p, etc. can be efficient in ways that known proofs of the same results without them are not. There is not an actual connection made between this theorem of Godel and theorems of interest in number theory. –  KConrad Apr 15 '11 at 5:33
1  
The problem is not only that the statements are not interesting, but also that they're not number theory. For example, the Lovász-Kneser theorem is a standard "out of field" proof, because it uses functions of real numbers to prove a combinatorial result, but you could hardly call the result number theory. –  Zsbán Ambrus Apr 15 '11 at 9:40

A possible explanation is that $\mathbb R$ is one of the completions of $\mathbb Q$. And why does this matter? A reason is the Hasse, or local-to-global, principle. A minimal example of this is the Hasse--Minkowski theorem, which states that if $$Q(x_1,\ldots,x_n) = \sum_{i,j=1}^n a_{ij} x_ix_j$$ is a quadratic form with $a_{ij} \in \mathbb Z$ and $\det (a_{ij}) \neq 0$, then the equation $$Q(x_1,\ldots,x_n)=0$$ has a nontrivial solution in the integers if and only if it has a solution in the reals and all the $p$-adics.

share|improve this answer
3  
I don't think that this answers the question. The $p$-adics are completions too. We may avoid $\mathbb R$ and $\mathbb Z_p$ by rephrasing: $Q=0$ has a non-trivial solution in the integers if and only if it has approximate solutions at any order for every valuation over $\mathbb Q$. –  Denis Serre Apr 14 '11 at 6:04
6  
Denis: But over R and the p-adics, methods of checking there is a nontrivial solution are much more streamlined than the corresponding methods that go out of their way to avoid directly mentioning those fields. (Talking about an equality in Q_p is conceptually simpler than talking about infinite sets of congruences mod powers of p.) –  KConrad Apr 15 '11 at 5:36

Consider the following

Theorem. The number of integral solutions of $x^2+y^2+z^2=4n+1$ tends to infinity as $n\to\infty$.

The only proofs (known to me) use a good deal of complex analyis. I will think of further examples as time permits.

share|improve this answer
    
Hmm. My feeling is that it should be possible to prove this using quaternion arithmetic, although I am not prepared to back this up with details at the moment. –  Pete L. Clark Apr 14 '11 at 17:54
3  
@Pete I'd be very interested to see you try. This is essentially equivalent to showing that the class numbers of quadratic imaginary fields go to infinity (see eqn. 35 at mathworld.wolfram.com/SumofSquaresFunction.html .) I don't think there should be any easy way to prove that! But I've never understood how the quaternion picture ties in with the class number picture, so I'd love for you to turn out one of your notes explaining it. –  David Speyer Apr 14 '11 at 18:17
    
@Pete: The proofs known to me are closely tied with the Deuring-Heilbronn phenomenon of $L$-functions. @David: I highly recommend front.math.ucdavis.edu/1001.0897 –  GH from MO Apr 14 '11 at 21:31
4  
Already Gauss in his Disquisitiones observed connections between the class number and what later were realized to be quaternionic effects. Venkov used quaternions and Gauss's approach for proving the class number formula in most cases; for details, see Rehm's article in "Ternary Quadratic Forms and Norms" edited by Taussky. This was taken up in the last few years by a number of people. –  Franz Lemmermeyer Apr 15 '11 at 10:55
2  
@Junkie: Pintz confirmed that he had indeed proved Siegel's theorem in an elementary way: matwbn.icm.edu.pl/ksiazki/aa/aa24/aa2458.pdf His paper combines rather simple facts from real analysis in very clever way. It also seems that Linnik (1950) found the first elementary proof. –  GH from MO Apr 15 '11 at 22:36

The question seems to assume or at least sympathise with something along the lines of

     God created the integers and the reals are derived therefrom. 

On the contrary, it seems just as plausible that the reals are our basic intuitive data. Meaning what?

  1. In the history of cognition, measuring precedes counting. For example a lion can measure the length of his leap more easily than he can distinguish between 29 and 39 wildebeests.

  2. The reals are the only Dedekind complete ordered field, if "cut" is taken in a set-theoretically naive way. See e.g., "Completeness of Ordered Fields" by Hall on arxiv. The integers are the unique discretely ordered subring of the reals. The induction principle for the ring of integers (and the uniqueness of the one and only discretely ordered subring of the reals) is a consequence of the completeness of the reals: An inductive set of integers that missed some positive integer would give rise to a cut with no boundaries. The notion of continuum, in other words, can be taken as the big defining concept here, and the main underlying intuition.

  3. Number Theory, or at least Diophantine Analysis, can be understood as the study of equations over the reals with solutions restricted to certain subrings. Does the question "What are the reals doing in number theory" then dissolve? Maybe.

share|improve this answer

Two of the most basic facts of algebraic number theory, namely the finiteness of the class number and the structure of units in rings of integers of number fields do not seem to be provable without the use of real numbers (or some use of the archimedean nature of real numbers).

Added: In fact, most finiteness results in arithmetic geometry seem to use this archimedean prime; this is the case of Mordell-Weil theorem, Mordell conjecture, finite generation of Galois cohomology groups of number fields, etc.

Afterthoughts: There are many branches of number theory and in some of them you can't even state the results without using real numbers as was pointed out elsewhere. Now, in algebraic number theory or arithmetic geometry, which does not suffer from this problem, the analogy with function fields is a quite powerful tool to try to guess what can be true, and if you look at the problem from this angle you realise that real numbers are more of a nuisance than a help : all the statements above can be proven for function fields where real numbers play no role, and many others like the Riemann hypothesis or the global Langlands correspondence still elude us in the number field setting. The fact that you have to use them to prove the above results seem to indicate that you cannot ignore this nuisance so easily... (despite the product formula that makes you believe that the information that you can extract from the archimedean prime should be readable from the others).

share|improve this answer

The Prime Number Theorem is a statement in Number Theory which can't even be stated, let alone proved, without real numbers.

EDIT: How about the statement that $\sum^N\phi(n)$ is asymptotic to $(3/\pi^2)N^2$ (where $\phi(n)$ is Euler's phi-function)?

share|improve this answer
2  
@Daniel, I'll take your word for it. But you asked about "best possible" proofs, and whether introducing real numbers is useful. Do you think the C-D proof is better than the classical ones using complex analysis (or the Erdos-Selberg, using real analysis)? It may be possible to prove (something equivalent to) PNT without reals, but history suggests introducing the reals was useful. –  Gerry Myerson Apr 14 '11 at 5:27
7  
Can't you asymptotically replace $\log(n)$ by harmonic numbers, which can be defined in the rationals? So that stating PNT doesn't require the reals? –  Todd Trimble Apr 14 '11 at 11:33
1  
@Daniel and @Todd: Of course even the $x/\log(x)$ estimate in PNT is just an approximation to the better asymptotic $\pi(x) \sim \operatorname{Li}(x)$, which is even more difficult to discuss without real numbers. –  Mark Meckes Apr 14 '11 at 13:32
1  
I agree with Todd; it's far from clear that there is any version of the PNT that cannot be stated without using the real numbers. Usually statements involving the growth rate of explicitly defined real functions can be converted into statements involving only rational numbers, using standard tricks familiar to logicians. Ugly and inelegant, of course, but not impossible. –  Timothy Chow Apr 14 '11 at 16:30
3  
Yes, "can't" is certainly an overstatement. The real (no pun intended) -- and increasingly less mathematical -- question is whether such statements can be made without appealing to the reals and still be comprehensible to human beings. –  Mark Meckes Apr 14 '11 at 16:51

In algebraic number theory, the class number formula, which involves real numbers, is a fundamental tool in order to understand the arithmetic of a number field. It provides a purely analytical formula for the class number, which is a fundamental invariant.

This formula is not just a nice result, it also enables to compute the class number with a computer (say for quadratic fields). I won't enter into details here, but the point is that if you know in advance that some quantity is an integer, then it suffices to approximate it within less than one half in order to determine it. Thus a computer is able to determine the class number exactly.

Of course, one can argue that a computer always works with a finite approximation, rather than with an actual real number. But it definitely seems that working with (approximations of) real numbers is useful.

More generally, it seems some number-theoretic functions can be computed more efficiently if one allows the use of real numbers (I am not an expert, but I think that the computation of Bernoulli numbers is an example of this phenomenon). It would be interesting to make this rigorous in some sense.

share|improve this answer

Second addition in view of the EDIT of the answer:

Some examples now focused towards understanding. How valueable/inevitable real and complex numbers are for them, I don't know.

  1. Q: What is a good way to understand that $\sum_{i=1}^n i$ is (up to small error) $n^2/2$. A: Integrate $x$ from $1$ to $n$. (Of course, this precise example is easily handled otherwise but for illustration)

  2. Q: What is a good way to understand the size of $\sum_{i=1}^n i^{-1}$. A: Integrate $x^{-1}$ from $1$ to $n$.

  3. Q: What is a good way to understand the size of $\sum_{i=1}^n d(i)$ where $d(i)$ is the number of divisors of $i$. A: Count the points 'under' the hyperbola $xy=n$. See here and here.

  4. Q: What is a good way to understand units in rings of algebraic integers. A: Consider the points (in $R^k$) obtained by taking the logarithms of the absolute values of their $k$ (essentially) different imbeddings into the complex numbers.

  5. More generally, results on linear forms in logarithms are a main tool in the study of certain Diophantine equations.

  6. Q: What is a good way to understand the number of primes below $x$. A: Observe that the probabilty of a number $y$ to be prime is $y / \log y$ and integrate, getting $Li(x)$. Some details regarding a proof of the precise quality of this approach still need to be established ;).

  7. In various places one will stumble somewhere in number theory over a $Q$-linear map or linear recursion. To undertand them one wants a convenient way to handle the roots of the attached characteristic polynomials, not just as formal constants.

And the list could go on and on.

I am not sure anything of this is what you are looking for.


There are already many answers, still I believe I have something to add.

The question talks about Number Theory (without any qualification). However, the following result is a number-theoretic one.

Let $a$ be an irrational number, then the sequence of numbers $ap$ where $p$ runs through the primes is equidistributed modulo $1$.

How to even state this without the reals, let alone prove it?

Actually, it is my impression, that many (if not most) people working on things like measures of irrationality of certain numbers, proofs of transcendence results, and so on, self-identify as Number Theorists (also look through the Number Theory MSC classification, in particular 11Jxx 11Kxx). And, results of this form are also frequently published in number theoretic journals.

Thus, without starting any philosophical discussion, but purely based on the everyday practise of Number Theory, I would say, obviously one needs reals numbers in Number Theory.

Now, returning from the defence of certain fields of Number Theory to answering your question more in its spirit:

As said by many, the reals are one completion of the rationals, sometimes it is useful to work in a complete structure.

And, since somewhat frequently in this thread the objection comes up that this or that example of an application of the reals could be avoided by doing something inconvenient, I would just like to mention that this seems to be true in many other (than Number Theory) contexts too.


To elaborate on the last statement a bit, and going down a slightly different line of argument:

if one wants to understand questions only involving extremely classical notions in number theory, say something like:

How does the set of divisors of a (typical) integer look like? (of course, made precise in some form)

Then, it turns out that answers to these 'discrete' questions can be obtained by 'approximating' the discrete real world by a 'continous model', think of distributions much alike as one finds them someplace else. Key word: probabilistic number theory, see for example a book by Tennenbaum or the book 'Divisors' by Hall and Tennenbaum. (And, this is not, or not mainly, the approach where one replaces the integers by some model of the integers with nice probabilistic properties, say Cramer's model; but by contrast very concrete statements about the true natural numbers that are best expressed using continous approximations.)

Also, the classical questions (mentioned by Gerry Myerson) of counting primes and other numbers defined by arithmetic properties, or derived quantities, can be consider as part of this.

So, now, could it be the case that one can replace all this by a purely discrete approach?

In some sense this seems as good a question to me as to ask, why one does, say, statistical physics rather than tracking each particle individually. Or, why all these differential equations in fluid dynamics, wouldn't it be possible one could get more insight tracking the particles constituing the liquid individually using some discrete model?

Perhaps one answer to the number theory question is that also the real world of integers (as the real real world) is simply way too complicated to allow for exact (discrete) answers, and therefore one has (at least for now, but basically I'd guess 'forever') use continous approximations to gain some insight. (Whether you encode them by reals or somehow else seems besides the point.)

And, to answer the final question, whether it would be possible that somebody comes along and sees that actually the integers are not as complicated as we think they are, well, what is truly impossible? But some of the most famous open problems in mathematics are way below such an insight; for example, what is the Riemmann Hypothesis, just an imprecise statement on a crude parameter of the set of primes.

share|improve this answer
    
To clarify: Using the reals to make a proof more convenient is a legitimate use of the reals, I think. That's a distinct thing from "are strictly necessary", and something I would like to understand just as much. For example, say we know that the PNT has a proof over Peano Arithmetic (Cornoros-Dimitracopoulos)- is there any reason to believe that any such proof must necessarily be artificial/ less-direct/ clumsy? –  Daniel Moskovich Apr 14 '11 at 12:09
    
Well, as a meta-reason, it took about a hundred years to get from the first proof to the other. –  Cam McLeman Apr 14 '11 at 12:29
    
@Daniel Moskovich: I expanded my answer; while I started doing so before your comment, I think it is addressed to some extent. The PNT (with which error term, btw) is a very weak result; not that it is not a great result, but it is weak in the sense that it falls way short of describing the 'reality of prime numbers.' Even RH is weak, we would like to know way more. And regarding your other question, 'strictly necessary' I am not qualified to answer this, but why restrict to number theory? –  quid Apr 14 '11 at 12:55
    
Well, in number theory it's clear what I mean by "in the same realm" and "outside it", and that "most techniques", contrary to my intuition are outside it. But definitely, I could have asked the same question just as well about many mathematical fields which draw heavily from results outside their realm. I imagine that understanding why, at least in a few prototypical cases, would increase my big-picture understanding. –  Daniel Moskovich Apr 14 '11 at 13:05
1  
Let me try one more example, which might or might not be better: you have a process that you know follows exactly a binomial distribution; you have many many events. Eventually, you will have to give up on considering the exact binomial distribution and consider instead of it the continous normal distribution, which is a constinuos approximation to the (in this situation) true discrete binomially distributed situation. But the normal one stays managable, when the binom. one is already infeasible to use. –  quid Apr 14 '11 at 17:27

A possible candidate for a "minimal" result about integers that is a "projection" of a result about reals: the group structure of the solutions of the Pell equation $x^2-dy^2=1$ for $d$ a nonsquare positive integer.

The (positive branch of the) curve $x^2-dy^2=1$ has parametric equations $x=\cosh t$, $y=\frac{1}{\sqrt{d}}\sinh t$, and hence it is isomorphic to the real numbers $t$ under addition. If we let $x_t=\cosh t$, $y_t=\frac{1}{\sqrt{d}}\sinh t$ then the sum of points $(x_s,y_s)$ and $(x_t,y_t)$ is $(x_s x_t+dy_s y_t,x_s y_t+y_s x_t)$.

It follows that the sum of integer points is an integer point (and likewise the difference). Hence the integer points form a subgroup of the points on the curve. Moreover, we can see that this abelian group is infinite cyclic (assuming a nontrivial integer point), generated by the integer point with smallest nonzero $t$ value.

share|improve this answer
    
It's not clear to me that you need to use the real numbers to see this. The group structure can be deduced from an algebraic isomorphism between the curve $x^2 - dy^2 = 1$ and the curve $xy = 1$ (the multiplicative group scheme) over a suitable extension of $\mathbb{Q}$. –  Qiaochu Yuan Apr 17 '11 at 23:45
3  
I agree that that the real numbers can be avoided in this result. However, I think they give a particularly simple proof, and they point to a group structure which is otherwise not obvious. –  John Stillwell Apr 18 '11 at 0:13
1  
+1 for a nice example. –  quid Apr 18 '11 at 0:20

Someone once suggested on MO that this is because on the one hand Matiyasevich's theorem shows that no algorithm can solve Diophantine equations over $\mathbb{Z}$ (and the corresponding result is not known over $\mathbb{Q}$), and on the other hand this is possible over $\mathbb{R}$ because of quantifier elimination. It is also possible over $\mathbb{Q}_p$ for every $p$, and this suggests that one would really like to have some sort of local-to-global principle so that special types of Diophantine equations can be solved, and if not, to understand how it fails...

Anyway, I am still not sure I totally agree with the sentiment of the first sentence. Think of it this way: if I want to understand a category $C$ and I understand a category $D$ very well, and moreover I have a functor $F : C \to D$, then it stands to reason that I can learn something about a problem in $C$ by translating it to a problem in $D$, where I understand what is going on very well. Nothing is mysterious about this process other than possibly the construction of the functor $F$, and in the case of number theory $F$ is something like the analytification functor from varieties over $\mathbb{Z}$ or $\mathbb{Q}$ to varieties over $\mathbb{R}$ or $\mathbb{C}$ and the existence of this functor is not so hard to understand.

share|improve this answer
    
If you're finding a proof to a new result, this technique makes sense. But if you're trying to trully understand a (known?) mathematical result, you should know why F is useful, and exactly what category D is contributing. This in itself would probably be the key point for most such proofs, the one which is most important to understand. Quibble: an algorithm over R isn't a practical algorithm, because it can't be programmed. Could you tell me more? –  Daniel Moskovich Apr 14 '11 at 3:44
    
@Daniel: I don't know the details, but there should be precise statements in this survey article by Poonen: www-math.mit.edu/~poonen/papers/aws2003.pdf –  Qiaochu Yuan Apr 14 '11 at 3:51

I think the key intuition is that reals are easy to work with and integers are hard. Linear programming can be done in polynomial time; integer programming is NP-hard. Real closed fields are decidable, but not their integer equivalent. Diophantine equations are intractable in general, but complex analysis (which can be formulated in real terms, if desired) gives us pretty much all the information we'd want about (real) polynomials, the easiest sort of holomorphic function. Etc.

share|improve this answer

To continue on a theme of a couple answers thus far:

The real numbers, along with the $p$-adics for each rational prime $p$ are the completions of the rational numbers. Regarding arithmetic objects (such as quadratic forms or algebraic varieties in general, among others) defined over $\mathbb{Q}$ as being defined over these completions endows them with additional structure that one can exploit.

This "exploitation" comes in various forms, including the Hasse principle mentioned in other posts (points over $\mathbb{Q}$ beget points over completions and the latter are some kind of evidence for the former).

Then there is also the Birch and Swinnerton-Dyer (BSD) conjecture for elliptic curves and its various generalizations. These purport to relate global ("over $\mathbb{Q}$") things like values of a global $L$-function to a host of data that is germane to the various local completions of $\mathbb{Q}$. The period that turns up in the BSD conjecture, for example, is really a facet of the elliptic curve regarded over the reals where one can integrate forms in the usual sense. The Tamagawa numbers, on the other hand, come from the various $p$-adic completions of $\mathbb{Q}$.

I guess the theme in all of this is that global fields lack structure that their various completions possess, and embedding them in these completions gives extra insight and "handles" to grab onto in order to study the global field and the objects defined over it.

share|improve this answer
    
This is a nice answer! I don't know almost anything about the BSD... could you tell me more about how the period is really a facet of the elliptic curve regarded over the reals? –  Daniel Moskovich Apr 14 '11 at 21:41
    
The period that turns up in the leading term formula in BSD is literally the integral of the invariant differential of the curve (or perhaps a minimal model thereof) over its locus of real points. It is in regarding the elliptic curve as a real algebraic curve (and therefore a smooth real 1-manifold) that allows you to make sense of this sort of good old-fashioned integral of a differential form. –  Ramsey Apr 14 '11 at 23:33

I would like to say that at least to some extent we need the real numbers and not just rational approximations.

Suppose we were being completely formal and we asked the question, ``Is there some algebraic number $\beta>0$ such that for all $n$ there exist $p_n , q_n \in \mathbf{Z}_{> 0}$ with $\beta \ne \frac{p_n}{q_n}$ and there exists a fixed $\delta >1$ such that $|\beta - \frac{p_n}{q_n}| < \frac{1}{q_n^{1+\delta}}$'' ?

The answer of course is no by the Thue-Siegel-Roth Theorem. But moreover, we know that we can only discover a measure zero subset of the transcendental numbers in this way. So while we can approximate real numbers by rationals all day long, the amount of information we get out of a rational approximation can vary wildly.

share|improve this answer
    
This answers "why do we need the real numbers?", but not "why might real-number techniques be optimal for problems which are purely about integers?" –  Daniel Moskovich Apr 14 '11 at 16:34
    
@Daniel Moskovich: You can transform the question in this answer into one involving only integers. –  Charles Apr 14 '11 at 19:26

I'll admit I'm not number theorist but here is my take on why the field has to embrace the completions of $\mathbb{Q}$. It is a simple reason: $e$. Other branches of math have run across interesting numbers that aren't algebraic which deserve studying in their own right. So not only should number theory as a whole (not necessarily every practitioner) should take the reals as valid objects of study.

share|improve this answer

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.