39
$\begingroup$

I know little about number theory even after reading its Wikipedia article.

  1. I was wondering if the subjects studied by number theory is only about integers or even more restrictedly natural numbers or prime numbers, and how they are related to other types of numbers such as rational and irrational numbers?
  2. In number theory, are the real numbers also studied? If yes, what aspects of real numbers are studied in number theory?

    Are real numbers studied just as generalization from integers and rational numbers? Or are they also studied standalone independently of integers and rational numbers?

    If they are also studied independently of integers and rational numbers, is the set of real numbers, $\mathbb{R}$, regarded as a 1-dim Hilbert space with dot product being inner product and the induced topology, just as how it is studied in real analysis? Is $\mathbb{R}^n, n \in \mathbb{N}, n>1$ studied in number theory? Can I say what is studied in real analysis about real numbers is part of number theory?

    When studied independently of integers and rational numbers, is $\mathbb{R}$ regarded as a special kind of algebraic structure studied in abstract algebra?

  3. Similar questions for complex numbers, to those for real numbers in 2. Especially are there differences between how complex numbers are studied in complex analysis, in algebra, and in number theory?

Thanks and regards!

  • 1
    You can take a look at the *Number theory for beginners* de Weil André; it helps in explaining some of your questions; also, analytic number theory, of course, treats the R just as in analysis.2011-05-07
  • 0
    @awllower: Thanks! Are real functions and their continuity, derivatives and integrals studied in number theory for real numbers?2011-05-07
  • 1
    I recommend reading the introduction of J. S. Milne's "Algebraic Number Theory", freely available online: http://www.jmilne.org/math/CourseNotes/ANT.pdf2011-05-07

3 Answers 3

9

I am not sure I could confidently claim there is a single area of math to which number theory is not related (perhaps PDEs?) - there are many, many more objects and concepts studied by "number theory" than mere numbers. At any rate: yes, the list of things that come up in number theory includes the real numbers - see this MO question. One of the many reasons given there is that $\mathbb{R}$ is defined to be the completion of $\mathbb{Q}$ with respect to the usual (archimedean) metric, and completions of $\mathbb{Q}$ give us insight into number theoretic questions about prime numbers (note that the other completions of $\mathbb{Q}$ are the $p$-adics $\mathbb{Q}_p$ - there is one for each prime number $p$). So, the real numbers $\mathbb{R}$ are defined in terms of $\mathbb{Q}$, which must be defined in terms of $\mathbb{Z}$; in this sense, none of them can be studied independently from each other. But $\mathbb{R}$ has many structures on it: Hilbert space, measure space, metric space (and hence topological space), field, ordered set, manifold, etc. These structures are emphasized to different extents in different areas of math; but most of these structures on $\mathbb{R}$ are used in number theory in some place or another (note: I don't mean to claim that this is what number theory consists of; only that for each of these structures on $\mathbb{R}$, there exists at least one part of number theory where it is used). Also, $\mathbb{R}^n$ comes up in doing Minkowski's "geometry of numbers"; to give another example, I believe the upper half space of $\mathbb{R}^n$ being acted on by matrix groups is the object of study in areas of number theory I have little knowledge of personally.

In response to your edits: no, what a real analyst studies about real numbers is not a "part of number theory". However, a number theorist (in particular an analytic number theorist) might incorporate some of the results of real analysis about real numbers to prove number theory results. Analytic number theorists also use a lot of complex analysis.

In some ways, $\mathbb{C}$ is an even nicer object than $\mathbb{R}$. It has all of the structures that $\mathbb{R}$ has that I listed above (except for the ordering), but it is algebraically closed which $\mathbb{R}$ is not. This is particularly important to algebra and number theory; it is also evidenced in many ways in complex analysis.

Both of these objects ($\mathbb{R}$ and $\mathbb{C}$) having all of these different structures, all interacting with each other at once, makes them particularly interesting to many different areas of math; they are very singular objects. However, I think the presence of so many structures makes it that much more important to tease apart what exactly a statement about real or complex numbers is using; we may have made a valid statement about $\mathbb{C}$, but perhaps it actually works for any algebraically closed field? Did we need to use the metric of $\mathbb{R}$, or just the topology? And so on.

  • 1
    I wouldn't personally restrict number theory to the study of real numbers, especially when we have things like Gaussian Integers and $n^{th}$ roots of unity.2011-05-07
  • 0
    @Nicolas: Sorry, that was poor phrasing on my part. I have clarified.2011-05-07
  • 2
    Regarding your first sentence: I recently learned of a (to me) surprising connection between number theory and PDE. In the paper http://arxiv.org/pdf/0705.2891v7.pdf, Prasad and Rapinchuk show that a PDE condition relating two locally symmetric spaces (isospectrality: the respective Laplacians have the same eigenvalues) yields a rather number-theoretic relation between the two spaces (commensurability). Their results imply that one could in principle use PDE to prove a certain subgroup of, say, GL(n,Q) is *arithmetic* (= commensurable with GL(n,Z)), a decidedly number theoretic property.2012-06-28
47

Number theorists study a range of different questions that are loosely inspired by questions related to integers and rational numbers.

Here are some basic topics:

  1. Distribution of primes: The archetypal result here is the prime number theorem, stating that the number of primes $\leq x$ is asymptotically $x/\log x$. Another basic result is Dirichlet's theorem on primes in arithmetic progression. More recently, one has the results of Ben Green and Terry Tao on solving linear equations (with $\mathbb Z$-coefficients, say) in primes. Important open problems are Goldbach's conjecture, the twin prime conjecture, and questions about solving non-linear equations in primes (e.g. are there infinitely many primes of the form $n^2 + 1$). The Riemann hypothesis (one of the Clay Institute's Millennium Problems) also fits in here.

  2. Diophantine equations: The basic problem here is to solve polynomial equations (e.g. with $\mathbb Z$-coefficients) in integers or rational numbers. One famous problem here is Fermat's Last Theorem (finally solved by Wiles). The theory of elliptic curves over $\mathbb Q$ fits in here. The Birch-Swinnerton-Dyer conjecture (another one of the Clay Institute's Millennium Problems) is a famous open problem about elliptic curves. Mordell's conjecture, proved by Faltings (for which he got the Fields medal) is a famous result. One can also study Diophantine equations mod $p$ (for a prime $p$). The Weil conjectures were a famous problem related to this latter topic, and both Grothendieck and Deligne received Fields medals in part for their work on proving the Weil conjectures.

  3. Reciprocity laws: The law of quadratic reciprocity is the beginning result here, but there were many generalizations worked out in the 19th century, culminating in the development of class field theory in the first half of the 20th century. The Langlands program is in part about the development of non-abelian reciprocity laws.

  4. Behaviour of arithmetic functions: A typical question here would be to investigate behaviour of functions such as $d(n)$ (the function which counts the number of divisors of a natural number $n$). These functions often behave quite irregularly, but one can study their asymptotic behaviour, or the behaviour on average.

  5. Diophantine approximation and transcendence theory: The goal of this area is to establish results about whether certain numbers are irrational or transcendental, and also to investigate how well various irrational numbers can be approximated by rational numbers. (This latter problem is the problem of Diophantine approximation). Some results are Liouville's construction of the first known transcendental number, transcendence results about $e$ and $\pi$, and Roth's theorem on Diophantine approximation (for which he got the Fields medal).

  6. The theory of modular (or more generally automorphic) forms: This is an area which grew out of the development of the theory of elliptic functions by Jacobi, but which has always had a strong number-theoretic flavour. The modern theory is highly influenced by ideas of Langlands.

  7. The theory of lattices and quadratic forms: The problem of studying quadratic forms goes back at least to the four-squares theorem of Lagrange, and binary quadratic forms were one of the central topics of Gauss's Disquitiones. In its modern form, it ranges from questions such as representing integers by quadratic forms, to studying lattices with good packing properties.

  8. Algebraic number theory: This is concerned with studying properties and invariants of algebraic number fields (i.e. finite extensions of $\mathbb Q$) and their rings of integers.

There are more topics than just these; these are the ones that came to mind. Also, these topics are all interrelated in various ways. For example, the prime counting function is an example of one of the arithmetic functions mentioned in (4), and so (1) and (4) are related. As another example, $\zeta$-functions and $L$-functions are basic tools in the study of primes, and also in the study of Diophantine equations, reciprocity laws, and automorphic forms; this gives a common link between (1), (2), (3), and (6). As a third, a basic tool for studying quadratic forms is the associated theta-function; this relates (6) and (7). And reciprocity laws, Diophantine equations, and automorphic forms are all related, not just by their common use of $L$-functions, but by a deep web of conjectures (e.g. the BSD conjecture, and Langlands's conjectures). As yet another example, Diophantine approximation can be an important tool in studying and solving Diophantine equations; thus (2) and (5) are related. Finally, algebraic number theory was essentially invented by Kummer, building on old work of Gauss and Eisenstein, to study reciprocity laws, and also Fermat's Last Theorem. Thus there have always been, and continue to be, very strong relations between topics (2), (3), and (8).

A general rule in number theory, as in all of mathematics, is that it is very difficult to separate important results, techniques, and ideas neatly into distinct areas. For example, $\zeta$- and $L$-functions are analytic functions, but they are basic tools not only in traditional areas of analytic number theory such as (1), but also in areas thought of as being more algebraic, such as (2), (3), and (8). Although some of the areas mentioned above are more closely related to one another than others, they are all linked in various ways (as I have tried to indicate).

[Note: There are Wikipedia entries on many of the topics mentioned above, as well as quite a number of questions and answers on this site. I might add links at some point, but they are not too hard to find in any event.]

  • 1
    I gave a +1 for "...a general rule in number theory, as in all of mathematics, is that it is very difficult to separate important results, techniques, and ideas neatly into distinct areas."2011-05-08
  • 0
    @J.M.: Dear J.M., Thanks, and thanks for the edits, too. Regards,2011-05-08
  • 1
    That's why Gauss called this subject as "Queen of Mathematics" isn't it.2011-05-13
  • 1
    Matt: Thanks! This is a brilliant answer. Only if I could have accepted more than one answers!2011-11-22
  • 0
    I know that it's not encouraged to write thank you comments but I couldn't help this time. I've been searching the internet trying to find some source that could help me explain how different areas of number theory are related, you've done a great job at it. This has helped in clearing up many things to me, thank you so much for writing this answer!2018-05-01
35

Boy, that's a lot of topics for one very simple and interesting (yet complicated) question...

Number Theory encompasses several approaches; at its heart, Number Theory is the study of the properties of the natural numbers, but pretty soon one is led to consider other structures, such as the integers modulo $m$, the rational numbers, complex and real numbers, etc. One could even make a case that the field of complex analysis was born from arithmetic (number-theoretic) considerations.

One might roughly divide number theory into three large swathes: classic or elementary number theory; algebraic number theory; and analytic number theory. (One can also add a fourth: recreational number theory which, to quote Hendrik Lenstra, "is that branch of Number Theory that is too difficult for serious study.")

"Classic" or elementary number theory is the kind of stuff that Fermat was justly famous for: diophantine problems, divisibility questions, the kind of thing in the first section of Gauss's Disquisitiones Arithmeticae, with questions that refer almost exclusively to natural numbers, integers, or rational numbers. Usually, you stick to working with integers, rationals, and integers modulo $n$ for different $n$s. The basic kind of stuff.

Algebraic and analytic number theory were originally distinguished by the kinds of tools that were used in the study of arithmetic problems, but later also by the kinds of questions that were asked (questions that often arose because of the tools one was working on). Analytic number theory uses complex numbers to study arithmetic properties; the original proof of the Prime Number Theorem (a statement about the prime counting function) is a classic example. It uses analytical tools (limits, integrals, real and complex analysis, etc) to study and answers such questions.

Algebraic number theory, on the other hand, uses algebraic (rather than analytical) tools to study problems. A classic example is the study of Fermat's Christmas Theorem (a prime $p$ can be written as a sum of two squares if and only if $p=2$ or $p\equiv 1\pmod{4}$) using the Gaussian integers, $\mathbb{Z}[i]$, or the proofs of quadratic and cubic reciprocity that use the Gaussian and the Eisenstein integers; the study of Gauss sums, etc. A typical object of concern for algebraic number theory is the ring of integers of a finite field extension of $\mathbb{Q}$ (called a number field): start with a finite field extension of $\mathbb{Q}$, $K$, and consider all elements of $K$ that are roots of monic polynomials with integer coefficients. They form a fairly nice ring, with some very nice properties (they are the prototypical example of a Dedekind domain). You also study what one might argue is the algebraic counterpart of the real and complex numbers (relative to the rationals), the $p$-adic numbers $\mathbb{Q}_p$ (you can think of the reals as a way to "complete" the rationals with respect to the absolute value function; you can think of the $p$-adic numbers as a way to "complete" the rationals either with respect to a different kind of absolute value function, or alternatively as a way of making sense of an "infinite sequence of approximations" modulo higher and higher powers of $p$). Algebraic number theory now has its own "higher level offshoot", Arithmetic Geometry, which brings in tools of algebraic geometry to study number theoretic questions (think if "Algebra", "Geometry", "Analysis", "topology, "Number Theory", etc. as 'first-level subjects'; then you have algebraic number theory, algebraic topology, analytic geometry, etc., as 'second-level subjects.' Now we have algebraic arithmetic geometry, a 'third level subject').

In both algebraic and analytic number theory you very quickly are forced to consider irrational numbers, sometimes even transcendental numbers, simply because they are there. The subject of diophantine approximation is an example.

What properties of real numbers are studied in number theory? Well, to be glib, those that are "arithmetically relevant". It's pretty hard to single out certain properties as important and others as not important. Some come up, some do not.

Real numbers are studied from many viewpoints, not merely from number theory. In a sense, the ideas of real numbers (as the real line) are just as old as number theory (if you want to peg Euclid with the basics of number theory, or Diophantus).

As Zev notes, the real numbers (and the complex numbers) have such a rich structure that they are studied from all sorts of viewpoints (topology, order, logic, analysis, algebra, even discrete mathematics). Likewise for the complex numbers.

As to differences in how you study the reals and complex numbers in analysis, in number theory, and in algebra, well, the kinds of questions you are interested in are different. In number theory, it is seldom of any interest that the first order theory of the real numbers with addition and multiplication is decidable (a theorem of Taski's); but that's a pretty big deal in logic. Pretty much like how a study of the Middle Ages might differ depending on whether you are an economist, a historian (a historian interested in Europe; a historian interested in the Middle East; a historian interested in France; etc), a sociologist, an epidemiologist, etc. The different viewpoints all cover the same ground, and will often overlap (transmission of the black death was a key motor of drastic changes in the economies of Europe, giving you a connection between epidemiology and economy), but the viewpoints differ. Given how ubiquitous the real and complex numbers are, you'll encounter them all over the place, playing somewhat different roles in each and provoking somewhat different questions in each.

  • 0
    @Arturo: Nice and thanks! If I understand correctly,in number theory, the goal/subject is the arithmetic properties of numbers, while analysis, algebra and geometry are just tools used to achieve this goal.2011-05-07
  • 0
    Now I wonder what properties of numbers are their arithmetic properties? (1) Are they those represented in terms of $+, -, \times, \div$ these four operators? (2) Are arithmetic properties of numbers not subjects studied in algebra, because algebra is only interested in the operators not the operands?2011-05-07
  • 6
    @Tim: In a sense, yes; the heart of number theory are arithmetical questions. But you keep trying to get a dichotomy, *this* is studied in algebra, but *that* is not; *this* is studied in number theory, but *that* is ignored. Mathematics is not confined by guild rules, and there is no Guild of Algebraists who will knock down your house if you are an algebraist and express interest, from the point of view of algebra, in, say, the semigroup structure of the multiplicative semigroup of integers. These things overlap all over the place; there is no police patrolling the (nonexistent) borders.2011-05-07
  • 0
    @Arturo As far as I understand it the following consists of a statement of number theory "The sum of two primes not equal to 2, equals some even natural number." That statement isn't necessarily about a property of a natural number, but about a property of the the sum of two natural numbers of a certain kind. So, doesn't number theory study the properties of natural numbers under functions and relations, instead of just the properties of natural numbers?2011-06-13
  • 1
    @Doug Spoonwood: In mathematics, "functions and relations" are part of the properties of the objects of study. When we "study groups", we study functions between groups in addition to groups. When we "study the real numbers", we study functions and relations on the real numbers in addition to the real numbers themselves, etc. The study of "properties of natural numbers under functions and relations" is *subsumed* and *included* when we say we are studying the properties of the natural numbers.2011-06-13
  • 0
    @Arturo I don't see how the study of properties of natural numbers under functions comes as subsumed and included necessarily. One might study just the set of natural numbers N without any relations or functions on N. After all, set theories do study unstructured sets in general. Additionally, one can study the natural numbers (or at least something all too similar) with only one operation on them (e. g. Skolem or Presburger arithmetic). Here the study of properties of natural numbers under functions and relations isn't subsumed and included, since we don't have any relations.2011-06-13
  • 0
    @Doug Spoonwood: It comes subsumed because that's the way that mathematicians usually study structures: not just by staring at the structures, but also by taking a functional and relational view of the subject. As I said, under your interpretation, "group theory" would be the study of specific groups, and we would never study group homomorphisms unless we say so explicitly. When one describes Number Theory as "the study of the natural numbers and their properties", the fact that his includes the study of their functorial and relational properties is understood from context (by most, anyway).2011-06-13
  • 0
    @Doug: But we established not so long ago that you and I don't quite see eye to eye on either basic language or many other mathematical matters, so I don't think we will convince one another either way.2011-06-13
  • 0
    @Arturo When one studies group homomorphisms the object of ones attention comes as something which happens *between* groups. When one studies Number Theory, similarly, one doesn't have as one's object of study just natural numbers and their properties, but also functions and relations *involving* natural numbers. The way I've put things here, the distinction between bare sets, and structured sets I would think seems fairly well-made. And I would think also that the way I've put things here rightly indicates these topics as more complex than just studying the set N.2011-06-14
  • 3
    @Doug: Like I said, we don't seem to understand or think in the same manner. When I go to a conference, and people ask me what I do, I say "finite groups", and *nobody* thinks that I stare at finite groups and never consider maps between groups, maps form a group to itself, or relations among elements of groups. Your complaint here is essentially that *everyone* would understand such a statement that way. So I repeat: you and I don't use language or understand mathematics the same way, so there is no point in continuing. My words would not be understood by most the way *you* misundertand them.2011-06-14
  • 0
    @Arturo No, I'm not saying that *everyone* would understand such a statement that way. I mean to say that by saying "finite groups" there exists more than one interpretation there since you could mean just "finite groups" or "finite groups and functions and relations between them". I haven't misunderstood your words, because without a background context, when you use a phrase like "finite groups" it could mean finite groups without maps and relations, or finite groups with maps and relations between the groups. The latter interpretation only happens by convention.2011-06-14
  • 1
    @Doug: And I'm saying that nobody with any actual experience in mathematics would understand "finite groups" to mean *anything* other than "finite groups, and functions between them, and relations among them, etc, etc, etc, etc." Yes, it only happens "by convention", but since I'm speaking in a mathematics group, the standard conventions apply. I know already you don't like the standard conventions, and frankly, I neither mind nor care. My statement is perfectly understandable as including functions and relations and a lot else by anyone who is not being purposely obtuse.2011-06-14
  • 0
    @Arturo Even if everyone with any actual experience in mathematics (whatever that means) would understand "finite groups" to mean "finite groups, functions, and relations between finite groups", I don't see how you can legitimately assume such a background when answering "what does Number Theory study"? The post here even says "When studied independently of integers and rational numbers, is R regarded as a special kind of algebraic structure studied in abstract algebra?" where it doesn't come clear as if he means (R, +), (R, +, *), (R, +, *, -), or what operations R has on it. Best wishes.2011-06-14
  • 0
    @Doug: "What is Number theory? This could serve as a first attempt at a definition: it is the study of the set of integers $0$, $\pm 1,\pm 2,\ldots,$ or some of its subsets or extensions, proceeding on the assumption that integers are interesting objects in and of themselves, and disregarding their utilitarian role in measuring." **Fundamentals of Number Theory**, William LeVeque, p. 1. "As a first approximation, number theory may be defined as the study of the natural numbers $1,2,3,4,ldots$." **A Classical Introduction to Modern Number Theory, 2n Ed.** Kenneth Ireland and Michael Rosen, p.1.2011-06-14
  • 0
    @Doug: "The theory of numbers is that branch of mathematics which deals with properties of the whole numbers $1,2,3,4,5,\ldots$ also called the *counting numbers* or *positive integers.*" **Introduction to Analytic Number Theory** by Tom Apostol, p. 1. "The higher arithmetic, or the theory of numbers, is concerned with the properties of the natural numbers $1,2,3,\ldots$." **The higher arithmetic, 7th Edition** by H. Davenport, p.1.2011-06-14
  • 0
    @Doug: "The theory of numbers is concerned with properties of the natural numbers $1,2,3,4,\ldots$ also called the positive integers." **An introduction to the Theory of Numbers, 5th Edition** Ivan Niven, Herbert Zuckerman, Hugh Montgomery, p.1. Tell you what: when you are done contacting *all* the authors of every single number theory book that makes the same statement I made and explain why they are, by your lights, incorrect, and you get *one* of them to agree with you, we can talk.2011-06-14
  • 0
    @Arturo No one can do what you've asked there, since, for example, William LeVeque is dead. Additionally, what they *do* in those texts consists of more than just dealing with the properties of the elements of N. Behavior speaks more than claims. So, unless in those texts they've already introduced the convention that "the natural numbers" means "the natural numbers *under various functions and relations*" then they simply don't mean to say what they do actually say. An exceedingly commonplace mistake, still qualifies as a mistake, even if many authors make it.2011-06-14
  • 9
    @Doug: I quoted the first line of the first page of each book. Let me put it plainly, then: you are being purposely obtuse, to what end I do not know. Your reading of the statement is myopic, and I can only think that you are purposefully trying to find fault where no reasonable person would find it, for reasons known only to yourself. Yu may continue to be an unreasonable pedant for all I care. You may even succeed in producing yet another false "formal proof" that you are right and the rest of the world is wrong, in which case, please don't bother calling my attention to it.2011-06-14
  • 0
    @Arturo For example, the classification of a field as an algebra you can find in slews of algebra texts. But, since division can't get put into terms of a universally quantified or an existentially quantified statement, then either a field does not qualify as an algebra at all, or "for all" has to have a very different when talking about a field than it does with other algebraic structures. Either way, you run into problems, but this simply won't stop plenty of authors from considering a field as an algebra in some way like that of a group!2011-06-14
  • 0
    @Arturo Look, when explaining these concepts to someone who doesn't know what number theory consists of, you have to stick to what you actually say as much as possible, because they simply don't have sufficient background to guess what you mean to say. As far as I can tell, the reading of such a statement that I've suggested tells us how it would get read by someone who didn't know number theory and didn't know the convention referring to a structure by its set (which has its problems, since (N, +) and (N, +, *) aren't the same). That "level" comes as the level of this question.2011-06-14
  • 0
    @Doug Spoonwood: Your opinion is duly noted. Don't be surprised when it is duly ignored as well.2011-06-14
  • 0
    Note: the above discussion sparked [this question.](http://math.stackexchange.com/q/45374/242) They are now bidirectionally linked.2011-08-20