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

It is not unusual that a single example or a very few shape an entire mathematical discipline. Can you give examples for such examples? (One example, or few, per post, please)

I'd love to learn about further basic or central examples and I think such examples serve as good invitations to various areas. (Which is why a bounty was offered.)


Related MO questions: What-are-your-favorite-instructional-counterexamples, Cannonical examples of algebraic structures, Counterexamples-in-algebra, individual-mathematical-objects-whose-study-amounts-to-a-subdiscipline, most-intricate-and-most-beautiful-structures-in-mathematics, counterexamples-in-algebraic-topology, algebraic-geometry-examples, what-could-be-some-potentially-useful-mathematical-databases, what-is-your-favorite-strange-function


To make this question and the various examples a more useful source there is a designated answer to point out connections between the various examples we collected.


In order to make it a more useful source, I list all the answers in categories, and added (for most) a date and (for 2/5) a link to the answer which often offers more details. (~year means approximate year, *year means a year when an older example becomes central in view of some discovery, year? means that I am not sure if this is the correct year and ? means that I do not know the date. Please edit and correct.) Of course, if you see some important example missing, add it!

Logic and foundations: $\aleph_\omega$ (~1890), Russell's paradox (1901), Halting problem (1936), Goedel constructible universe L (1938), McKinsey formula in modal logic (~1941), 3SAT (*1970), The theory of Algebraically closed fields (ACF) (?),

Physics: Brachistochrone problem (1696), Ising model (1925), The harmonic oscillator,(?) Dirac's delta function (1927), Heisenberg model of 1-D chain of spin 1/2 atoms, (~1928), Feynman path integral (1948),

Real and Complex Analysis: Harmonic series (14th Cen.) {and Riemann zeta function (1859)}, the Gamma function (1720), li(x), The elliptic integral that launched Riemann surfaces (*1854?), Chebyshev polynomials (?1854) punctured open set in C^n (Hartog's theorem *1906 ?)

Partial differential equations: Laplace equation (1773), the heat equation, wave equation, Navier-Stokes equation (1822),KdV equations (1877),

Functional analysis: Unilateral shift, The spaces $\ell_p$, $L_p$ and $C(k)$, Tsirelson spaces (1974), Cuntz algebra,

Algebra: Polynomials (ancient?), Z (ancient?) and Z/6Z (Middle Ages?), symmetric and alternating groups (*1832), Gaussian integers ($Z[\sqrt -1]$) (1832), $Z[\sqrt(-5)]$,$su_3$ ($su_2)$, full matrix ring over a ring, $\operatorname{SL}_2(\mathbb{Z})$ and SU(2), quaternions (1843), p-adic numbers (1897), Young tableaux (1900) and Schur polynomials, cyclotomic fields, Hopf algebras (1941) Fischer-Griess monster (1973), Heisenberg group, ADE-classification (and Dynkin diagrams), Prufer p-groups,

Number Theory: conics and pythagorean triples (ancient), Fermat equation (1637), Riemann zeta function (1859) eliptic curves, transendental numbers, Fermat hypersurfaces,

Probability: Normal distribution (1733), Brownian motion (1827), The percolation model (1957), The Gaussian Orthogonal Ensemble, the Gaussian Unitary Ensemble, and the Gaussian Symplectic Ensemble, SLE (1999),

Dynamics: Logistic map (1845?), Smale's horseshoe map(1960). Mandelbrot set (1978/80) (Julia set), cat map, (Anosov diffeomorphism)

Geometry: Platonic solids (ancient), the Euclidean ball (ancient), The configuration of 27 lines on a cubic surface, The configurations of Desrague and Pappus, construction of regular heptadecagon (*1796), Hyperbolic geometry (1830), Reuleaux triangle (19th century), Fano plane (early 20th century ??), cyclic polytopes (1902), Delaunay triangulation (1934) Leech lattice (1965), Penrose tiling (1974), noncommutative torus, cone of positive semidefinite matrices, the associahedron (1961)

Topology: Spheres, Figure-eight knot (ancient), trefoil knot (ancient?) (Borromean rings (ancient?)), the torus (ancient?), Mobius strip (1858), Cantor set (1883), Projective spaces (complex, real, quanterionic..), Poincare dodecahedral sphere (1904), Homotopy group of spheres, Alexander polynomial (1923), Hopf fibration (1931), The standard embedding of the torus in R^3 (*1934 in Morse theory), pseudo-arcs (1948), Discrete metric spaces, Sorgenfrey line, Complex projective space, the cotangent bundle (?), The Grassmannian variety,homotopy group of spheres (*1951), Milnor exotic spheres (1965)

Graph theory: The seven bridges of Koenigsberg (1735), Petersen Graph (1886), two edge-colorings of K_6 (Ramsey's theorem 1930), K_33 and K_5 (Kuratowski's theorem 1930), Tutte graph (1946), Margulis's expanders (1973) and Ramanujan graphs (1986),

Combinatorics: tic-tac-toe (ancient Egypt(?)) (The game of nim (ancient China(?))), Pascal's triangle (China and Europe 17th), Catalan numbers (mid 19th century), (Fibonacci sequence (12th century; probably ancient), Kirkman's schoolgirl problem (1850), surreal numbers (1969), alternating sign matrices (1982)

Algorithms and Computer Science: Newton Raphson method (17th century), Turing machine (1937), RSA (1977), universal quantum computer (1985)

Social Science: Prisoner's dilemma (1950) (and also the chicken game, chain store game, and centipede game), the model of exchange economy, second price auction (1961)

share|improve this question
18  
I think that this should be community wiki. –  Loop Space Nov 11 '09 at 7:55
12  
@Jose: Hard to say exactly. My instinct is that the kind of answers that this question will garner are those that didn't involve much actual thought, and the votes up or down will be more an assessment of whether the voter liked the example rather than whether the voter liked the answer (which, ideally, should contain an explanation of why that example shaped the discipline); both of these indicate that the answerers should not gain reputation for their answers, hence community wiki. –  Loop Space Nov 11 '09 at 9:50
4  
I've hit this with the wiki hammer. –  Scott Morrison Nov 11 '09 at 19:34
8  
I can't imagine a counterexample to the following rule: Any question whose purpose is to produce a sorted list of resources (i.e. the question includes, or should include, "one per post please") should be community wiki. –  Anton Geraschenko Nov 12 '09 at 8:03
8  
Why does this question have a bounty anyway? –  Kevin H. Lin Nov 21 '09 at 17:33

130 Answers 130

Dirichlet's theorem is the first use of analysis to prove a number theoretic result which does necessarily seem analytic. His proof leads to a lot of ideas about distributions of primes, many of which used analysis. It even leads to an analytic proof of one of the inequalities in class field theory, a result which can also be proved using a good deal of cohomology and which is therefore not exclusively analytic. (I am not counting the prime number theorem, since that is an asymptotic result and thus reeks of analysis as soon as it is conjectured. It was also proven later.)

share|improve this answer

The (complex analytic) proof of the Prime Number Theorem is the first major use of complex analysis to prove results about asymptotic behavior of prime numbers, which, at first glance, do not at all seem to be tied to complex numbers. This has led to an enormous amount of mathematics.

share|improve this answer

The field extension $\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}$ is the most basic example of an algebraic extension which is not Galois. In particular, one notices that it has no non-trivial automorphisms, and that this is related to the fact that not enough of the roots of $x^3-2$ are in this field. This leads to the key concept of Galois extensions and the relation between automorphisms and roots. It also led Galois to develop the concept of normal subgroup.

share|improve this answer

$\aleph_\omega$

I suppose that $\aleph_0$ and $2^{\aleph_0}$ are, like the natural numbers and the unit ball, "too fundamental" as they are fundamental for mathematics as a whole. But the $\omega^{\mathrm{th}}$ cardinal, $\aleph_{\omega}$ already suits us as a fundamental object in set theory and infinite combinatorics.

Can you show that the continuum is NOT $\aleph_{\omega}$ ?

share|improve this answer

to understand curves, first study the abel map. and then the torelli map. [perhaps I should expand this rather succinct answer.]

8320 Spring 2010, day one Introduction to Riemann Surfaces

We will describe how Riemann used topology and complex analysis to study algebraic curves over the complex numbers. [The main tools and results have analogs in arithmetic, which I hope are more easily understood after seeing the original versions.]

The idea is that an algebraic curve C, say in the plane, is the image by a holomorphic map, of an abstract complex manifold, the Riemann surface X of the curve, where X has an intrinsic complex structure independent of its representation in the plane. Then Riemann's approach to classifying all complex curves, is to classify such Riemann surfaces, and then for each such surface to classify all maps from it to projective space. Briefly, the Torelli maps classifies complex surfaces, and the abel maps classify all projective models of a given complex surface.

More precisely, we will construct two fundamental functors of an algebraic curve:

i) the Riemann surface X, and

ii) the Jacobian variety J(X), and

natural transformations X^(d)--->J(X), the Abel maps, from the “symmetric powers” X^(d) of X, to J(X).

The Riemann surface X

The first construction is the Riemann surface of a plane curve: {irreducible plane curves C: f(x,y)=0} ---> {compact Riemann surfaces X}.

The first step is to compactify the affine curve C: f(x,y) =0 in A^2, the affine complex plane, by taking its closure in the complex projective plane P^2. Then one separates intersection points of C to obtain a smooth compact surface X. X inherits a complex structure from the coordinate functions of the plane. If f is an irreducible polynomial, X will be connected. Then X will have a topological genus g, and a complex structure, and will be equipped with a holomorphic map ƒ:X--->C of degree one, i.e. ƒ will be an isomorphism except over points where the curve C is not smooth, e.g. where C crosses itself or has a pinch.

This analytic version X of the curve C retains algebraic information about C, e.g. the field M(X) of meromorphic functions on X is isomorphic to the field Rat(C) of rational functions on C, the quotient field k[x,y]/(f), where k = complex number field. It turns out that two curves have isomorphic Riemann surfaces if and only if their fields of rational functions are isomorphic, if and only if the curves are equivalent under maps defined by mutually inverse pairs of rational functions.

Since the map X--->C is determined by the functions (x,y) on X, which generate the field Rat(C), classifying algebraic curves up to “birational equivalence” becomes the question of classifying these function fields, and classifying pairs of generators for each field, but Riemann’s approach to this algebraic problem will be topological/analytic.

We already can deduce that two curves cannot be birationally equivalent unless their Riemann surfaces have the same genus. This solves the problem that interested the Bernoullis as to why most integrals of form dx/sqrt(cubic in x) cannot be “rationalized” by rational substitutions. I.e. only curves of genus zero can be so rationalized and y^2 = (cubic in x) usually has positive genus.

The symmetric powers X^(d)

To recover C, we seek to encode the map ƒ:X--->C, i.e. ƒ:X--->P^2, by intrinsic geometric data on X. If the polynomial f defining C has degree d, then each line L in the plane P^2 meets C in d points, counted properly. Thus we get an unordered d tuple of points L.C, possibly with repetitions, on C, hence when pulled back via ƒ, we get such a d tuple called a positive “divisor” D = ƒ^(-1)(L) of degree d on X. (D = n1p1+...nk pk, where nj are positive integers, n1+...nk = d.)

Since lines L in the plane move in a linear space dual to the plane, and (if d ≥ 2) each line is spanned by the points where it meets C, we get an injection P^2*--->{unordered d tuples of points of X}, taking L to ƒ^(-1)(L).

If X^d is the d - fold Cartesian product of X, and Sym(d) is the symmetric group of permutations of d objects, and we define X^(d) = X^d/Sym(d) = the “symmetric product” of X, d times, then the symmetric product X^(d) parametrizes unordered d tuples, and inherits a complex structure as well.

Thus the map ƒ:X--->C yields a holomorphic injection P^2*--->Π of the projective plane into X^(d). I.e. the map ƒ determines a complex subvariety of X^(d) isomorphic to a linear space Π ≈ P^2*. Now conversely, this “linear system” Π of divisors of degree d on X determines the map ƒ back again as follows:

Define ƒ:X--->Π* = P^2** =P^2, by setting ƒ(p) = the line in Π consisting of those divisors D that contain p. Then this determines the point ƒ(p) on C in P^2, because a point in the plane is determined by the lines through that point. [draw picture] Thus the problem becomes one of determining when the product X^(d) contains a holomorphic copy of P^2, or copies of P^n for models of X in other projective spaces.

The Jacobian variety J(X) and the Abel map X^(d)--->J(X).

For this problem, Riemann introduced a second functor the “Jacobian” variety J(X) = k^g/lattice, where k^g complex g -dimensional space. J(X) is a compact g dimensional complex group, and there is a natural holomorphic map Abel:X^(d)--->J(X), defined by integrating a basis of the holomorphic differential forms on X over paths in X.

Abel collapses each linear system Π ≈ P^n* to a point by the maximum principle, since the coordinate functions of k^g have a local maximum on the compact simply connected variety Π. Conversely, each fiber of the Abel map is a linear system in X^(d). Existence of linear systems Π on X: the Riemann - Roch theorem.

By dimension theory of holomorphic maps, every fiber of the abel map X^(d)--->J(X) has dimension ≥ d-g. Hence every positive divisor D of degree d on X is contained in a maximal linear system |D| , where dim|D| ≥ d-g. This is called Riemann’s inequality, or the “weak” Riemann Roch theorem.

The Roch part analyzes the relation between D and the divisor of a differential form to compute dim|D| more precisely. Note if D is the divisor cut by one line in the plane of C, and E is cut by another line, then E belongs to |D|, and the difference E-D is the divisor of the meromorphic function defined by the quotient of the linear equations for the two lines.

If D is a not necessarily positive divisor, we define |D| to consist of those positive divisors E such that E-D is the divisor of a meromorphic function on X. If there are no such positive divisors, |D| is empty and has “dimension” equal to -1. Then if K is the divisor of zeroes of a holomorphic differential form on X, the full Riemann Roch theorem says:

dim|D| = d-g +1+dim|K-D|, where the right side = d-g when d > deg(K).

This sketch describes the abel maps and their relation to the RRT. The assignment X-->J(X) is the Torelli map, and classifies X by the numerical data in the lattice defining J(X), i.e. periods of integrals of the first kind on X. This assignment gives birth to the whole subject of "moduli" as numerical invariants of complex or geometric structure.a

share|improve this answer

The example that launched category theory: (co)homology, for example simplicial homology and Čech cohomology. The various maps linking (co)homology groups for different 'resolutions' of a topological space (by triangulation or open sets resp.) were I think the first examples of natural transformations. This necessitated defining functors, and hence defining categories.

share|improve this answer

Dirichlet Function is a fundamental example in Calculus where Riemann integral does not work. It is also a function which is discontinuous everywhere. The function D(x) is defined as D(x) = 1, if x is a rational number; otherwise D(x) = 0.

For more information, see for example: http://mathworld.wolfram.com/DirichletFunction.html

share|improve this answer

The Thompson groups, as wikipedia said, have a collection of unusual properties which have made them counterexamples to many general conjectures in group theory. For example it is a finite generated finite presented torsion free group with infinite cohomology dimension. For more information see: http://en.wikipedia.org/wiki/Thompson_groups

share|improve this answer

The ring Z, or the ring Z/6Z are examples of very many types of rings.

share|improve this answer

The most fundamental equation is $x^2+1=0$.

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.