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. –  Andrew Stacey 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. –  Andrew Stacey 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
show 17 more comments

130 Answers

up vote 35 down vote accepted

The harmonic oscillator is a fundamental example in both classical and quantum mechanics.

share|improve this answer
1  
Of course, for this question and many others there is no meaning to "correct answer". In fact I liked all the answers to the question and I hope more answers will come along. Jose was the most valuable partner to this endeavor and he contributed several great answers both before and after the boundy was announced. –  Gil Kalai Nov 26 '09 at 12:39
1  
@Gil, now that the bounty has been delivered you might "unaccept" this answer. –  Scott Morrison Nov 30 '09 at 16:20
2  
Is it possible? Is it moral? –  Gil Kalai Dec 1 '09 at 14:53
add comment

There's always the venerable normal distribution (for probability theory).

share|improve this answer
add comment

The complex projective space is the fundamental example in toric geometry, symplectic and GIT quotients,...

share|improve this answer
show 2 more comments

The cotangent bundle is the fundamental example of symplectic manifold/phase space.

share|improve this answer
add comment

It has often been said that if you understand $su_3$ you understand all simple Lie algebras, so that should make it the fundamental example. (Personally I think that it suffices to understand $su_2$!)

share|improve this answer
3  
On the same line, SU(2) (compared to U(1), which is abelian) already shows a lot of features of the compact non abelian groups (Peter-Weil theorem, irreducible representations of (every) dimension greater than 1, ...). –  Gian Maria Dall'Ara Nov 11 '09 at 9:11
1  
I guess you could say that the heat equation "shaped" functional analysis since so many of the early tools were developed to study just that equation (more so if you say fourier analysis). Similarly (as has been noted) the spheres are currently shaping algebraic topology since so many of the tools are developed to get at the stable homotopy of spheres. I didn't put my comment on your "harmonic oscillator" example because that has played a role in shaping quantum mechanics. Part of it is purely timing: good examples have a chance to shape a subject if they are encountered in its infancy. –  Andrew Stacey Nov 11 '09 at 10:33
show 2 more comments

I do think Milnor's exotic sphere distinguish differential topology from general topology, but i don't know if this is an example of the kind you want.

Answered by: Yuhao Huang

share|improve this answer
add comment

In the theory of holomorphic functions of several variables, Hartogs's theorem that any holomorphic function on a punctured open set of $\mathbb C^n$ ($n\geqslant 2$) can holomorphically be continued through the deleted point really started the subject and is still the most spectacular divide between $n \geqslant 2$ and $n=1$ [where it is completely false: on $\mathbb C^\ast$ look at 1/z or, worse, exp(1/z): these functions clearly can't be continued holomorphically through zero]

share|improve this answer
1  
Dear Gil and Jonas:thanks for the comments and, yes, you are both right. Hartogs's example-theorem shows that there exist in C^n domains which are not regions of holomorphy,a phenomenon impossible in dimension one.This launched the notion of pseudoconvex domains (which exclude Hartogs-type extensions of holomorphic functions) and ultimately led to the concept of Stein manifolds, central in complex geometry (the analogues of affine varieties in algebraic geometry) –  Georges Elencwajg Nov 11 '09 at 10:28
show 3 more comments

The full matrix rings of any order over another ring (and their direct union of row-finite, column-finite matrices) are a fundamental example for Noncommutative Ring Theory: they are simple enough to be easily understood "in a glimpse" but complex enough to highlight many interesting concepts of the theory.

share|improve this answer
add comment

Laplace's equation is the fundamental example of a PDE.

If I could broaden the question to allow a triumvirate of examples, I'd say Laplace's equation, the heat equation, and the wave equation are the canonical examples of PDEs, representing elliptic, parabolic, and hyperbolic equations respectively.

share|improve this answer
show 1 more comment

The torus is THE example in many branches of math. Algebraic Topology: it is the example where you can compute explicitly its fundamental group as well as its covering spaces, universal cover and everything else. Algebraic geometry: provided it is smooth, is a cubic which is not rational. It is a compact Lie group (and then a non so trivial example of a trivial tangent bundle). It is compact in $\mathbb{R}^4$ and has zero curvature (Riemannian geometry). It is a Riemann Surface. Actually one can compute very explicitly the moduli space of such Riemann surfaces as well as (very explicitly) the mapping class group (which is a beautiful example). It is an elliptic curve, an abelian variety... and it has all those properties I don't know about...meaning, an endless amount of properties.

share|improve this answer
3  
But in what way has the torus shaped any of these subjects? It's certainly a good example demonstrating many of the features, but I don't see (from your answer) that it has played a significant role in shaping them. –  Andrew Stacey Nov 11 '09 at 9:51
5  
"Algebraic Topology: it is the example where you can compute explicitly its fundamental group as well as its covering spaces, universal cover and everything else." I don't see how this distinguishes the torus from any other closed surface, from the algebro-topological point of view. Indeed, if you're interested in the fundamental group, the fact that it's abelian in this case makes it highly *un*representative. –  HJRW Nov 11 '09 at 17:36
add comment

The Prisoner's Dilemma in Game Theory.

share|improve this answer
2  
Prisoner's Dilemma is certainly a fundamental example but there are other games which I think have been as rich in encouraging interesting research: Chicken en.wikipedia.org/wiki/Chicken_game Chain store en.wikipedia.org/wiki/Chainstore_paradox centipede en.wikipedia.org/wiki/Centipede_game One reason these are interesting games is that help one try to understand what is "rational" behavior and help distinguish between what people do in practice as compared with some "abstract model" of rationality. –  Joseph Malkevitch Dec 25 '09 at 15:10
show 2 more comments

A lot of algebraic topology was developed with computing the higher homotopy groups of spheres in mind.

share|improve this answer
add comment

Ravi Vakil gives interesting examples in algebraic geometry: "The existence of some of these pathologies is ``common knowledge'', but I had never known what they were.".

share|improve this answer
add comment

The Noncommutative Torus in non-commutative geometry. (Maybe it has just shaped the subject because it is about the only thing one can handle explicitly)

share|improve this answer
show 2 more comments

Answered by Agol: The figure eight knot (complement) is the starting point for much of hyperbolic geometry. Although other hyperbolic manifolds were discovered before it, the figure eight knot complement has one of the simplest hyperbolic structures to analyze. Thurston first proved his hyperbolic Dehn surgery theorem for the figure eight knot complement - after understanding the proof in this case, the general case is not much harder to understand. It is the simplest knot for which every 3-manifold is a branched cover over it. It was one of the first (non-torus) knots for which the knot-complement problem was proven. It has the most number of non-hyperbolic Dehn-fillings over any one-cusped hyperbolic 3-manifold. It is the smallest volume orientable hyperbolic manifold with one cusp. It was the first knot proven that all non-trivial Dehn fillings have a finite-sheeted cover with positive first betti number. It was the first knot for which the volume conjecture has been verified.

(see also this Wikipedia article.)

alt text

share|improve this answer
show 1 more comment

The KdV equation in integrable systems. It was through a numerical study of KdV that the word soliton was coined. This numerical study lead to much analytical work, including the development of Lax Pairs. (Answer by Aaron Hoffman)

share|improve this answer
show 2 more comments

The ring ${Z}[\sqrt{-5}]$ is a fundamental example of non-unique factorization in rings in algebraic integers. Perhaps of more historical relevance is the example of p=37 that shows that Lamé's "proof" of Fermat's Last Theorem fails. I'm not sure Kummer used p=37 though. In any case, examples of non-unique factorization in rings in algebraic integers lead to the whole theory of ideal numbers and later Dedekind domains ans set the tone for algebraic number theory.

share|improve this answer
1  
Unique prime factorization fails for the ring of integers underlying the p = 23 case of FLT. Kummer's method of proof works for p = 23, but not p = 37 (as Kummer was well aware of). –  Jonah Sinick Nov 16 '09 at 19:35
show 1 more comment

For a picture that launched a thousand papers, I'd nominate the bifurcation diagram of the logistic map.

alt text

(image via Wikipedia).

Answered by Martin M. W.

share|improve this answer
1  
If pictures are allowed then the Mandelbrot set and its Julia sets are also quite fundamental as prime examples of what lies hidden in dynamical systems. Of course, as the Wikipedia page on the Mandelbrot set says, there is a close relation between the Mandelbrot set and the bifurcation diagram of the logistic map. –  lhf Nov 11 '09 at 18:37
3  
Roughly speaking, the bifurcation diagram is what you get by going through the Mandelbrot set along the real axis. –  Lasse Rempe-Gillen Mar 3 '10 at 10:54
show 1 more comment

The Fermat Equation xn + yn - zn = 0.

This has truly been much more than an example in both algebra and number theory: it was one of the main motivations to develop the theory of unique factorization domains, Dedekind domains, class numbers, regular primes, etc. in the 19th century. In the late 20th century it provided a motivation for Wiles to work on modularity of elliptic curves.

In the 21st century, the equation c1 xa + c2 yb - c3 zc = 0 is similarly motivational for things like Q-curves, Galois representations, hypergeometric abelian varieties...

Answer by Peter L. Clark:

share|improve this answer
add comment

The integral $\int \frac{dx}{\sqrt{x(x-1)(x-\lambda)}}$ for $\lambda\neq 0,1$ essentially launched both complex analysis and algebraic geometry, via Riemann's discovery of the Riemann surface that is the natural domain of a function, leading to both analytic theory of Riemann surfaces and to the study of algebraic curves, leading to...complex analysis including in several variables and complex algebraic geometry, as we now know it.

share|improve this answer
10  
This great answer have earned Charles the first gold badge in mathoverflow history. Congratulations, Charles! –  Gil Kalai Nov 27 '09 at 12:38
add comment

In convex geometry, the Euclidean ball. In fact (as I think Gil knows but many other readers here probably don't) a huge portion of (high-dimensional) convex geometry consists of results that show that arbitrary high-dimensional convex bodies behave like the Euclidean ball in various ways.

And if I may be permitted to add another complementary example or two, the simplex and cube are for many purposes the least "Euclidean ball-like" convex bodies, so they are useful for understanding the limitations of the Euclidean ball as a prototype for arbitrary bodies.

share|improve this answer
add comment

The cyclic polytope in the study of convex polytopes in high dimensions.

It is the convex hull of n points on the moment curve (t,t^2,t^3,...,t^d). It is simplicial and has the property that every [d/2] points form a face. (So, for example, in 4 dimension every two vertices form an edge.)

share|improve this answer
show 1 more comment

Recursion theory has the halting problem. From it, you obtain the first example of an interesting Turing degree, and generalizing it, you get the Turing jump operator.

The halting problem also plays an important role in (the boundary of) computational complexity theory, since it's one of the main tools for demonstrating the insolubility of computational problems.

share|improve this answer
add comment

In geometry, group theory and other areas: The Leech Lattice:

share|improve this answer
add comment

In modal logic there is a particularly simple formula, called McKinsey formula: ◻⋄p→⋄◻p. It is so simple, yet it defines a frame property which cannot be expressed in first-order logic.

Also, with the right selection of other formulas, it gives rise to frame incompleteness examples (logics that are consistent, but are not logics of any class of frames whatsoever).

share|improve this answer
add comment

Relevant to many areas (but mostly topology) is the Cantor set. It is an example of a set with properties too numerous to list here. To name a few: it is uncountable, compact, nowhere dense and it has Lebesgue measure 0.

share|improve this answer
5  
Another good reason: Every compact Hausdorff space is a quotient of the Cantor set!! See Tom Leinster's answer here mathoverflow.net/questions/5357/… It's just incredible - I still can't get over it. –  Peter Arndt Nov 20 '09 at 15:30
6  
@Peter Arndt: Every compact Hausdorff metrizable (equivalently, second-countable) space is a quotient of the Cantor set. There are compact Hausdorff spaces of greater than continuum cardinality, and these evidently are not quotients of the Cantor set. –  Pete L. Clark Jan 15 '10 at 10:30
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.