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

The Sorgenfrey line is an example that has motivated a lot of research in general topology, mostly generalized metric properties and ordered space theory. It's an example of a hereditary normal space with non-normal square, it is separable, Lindelöf, first countable, but not second countable; a generalized ordered space that is not orderable, and many more.

share|improve this answer
add comment

I presented the emerging list of examples over my blog and several people suggested a few more examples. I will mention them together:

Tom LaGatta proposed to add the percolation model (1854), John Sidles made several suggestions and in particular proposed several examples from Control theory such as the Nyquist criteria, Christian Blatter proposed adding the Peano curve, and Mark Meckes proposed adding the fundamental Banach spaces L_p/l_p and C(K).

Joe Malkevich proposed several basic examples of games in addition to the prisoner dilemma (chicken, chain store game, and centipede) and the Gale-Shapley model of two-sided market model (the model in the famous Gale-Shapley stable marriage theorem). I thought that we should probably add a basic economic model of exchange markets (like the Arrow-Debreu model).

I also thought the configurations of Desargues and Pappus should be added.

There was also some critique on the classification of examples, and an interesting suggestion By Michael Nielsen that "Distilled and expanded, it could form the basis for an excellent book. Perhaps: 'Examples from the book'." (This refers to Aigner and Ziegler's book "Proofs from the book". (In fact, a similar idea by Ziegler and me have motivated the question itsef.)

share|improve this answer
add comment

The rational parametrization of the locus of the equation $X^2+Y^2=1$ by $(\frac{t^2-1}{t^2+1},\frac{2t}{t^2+1})$. It can be viewed geometrically by taking a line that intersects the unit circle at one rational point and then considering all possible (rational) slopes of the line (including infinity), which are in correspondence with (rational) points of the circle. This is the most basic example of using a geometric idea to find solutions to a diophantine equation, and it leads to very deep mathematics.

share|improve this answer
show 1 more comment

Motivated by Amit Kumar Gupta's answer about the continuum hypothesis, let me add an example that is less natural but has inspired an amazing amount of set theory, namely Suslin's Hypothesis. This conjecture, proposed in 1920 and now known to be independent of ZFC, says that the real line with its usual ordering relation is characterized up to isomorphism by the following properties:

  • dense linear order without endpoints

  • Dedekind-complete

  • No uncountable family of pairwise disjoint open intervals.

The point of the conjecture is that it was proved much earlier by Cantor that one gets a characterization of $\mathbb R$ if one puts in place of the last property the stronger statement that there is a countable dense set. So Suslin is simply asking whether one can weaken this separability assumption to the third property in the list above (often called the "countable chain condition"). I can't claim that this question is anywhere near as natural as the continuum hypothesis, but what makes it important (in my opinion) is its impact on the development of set theory. The fact that Suslin's hypothesis is false in Gödel's constructible universe $L$ was one of the first applications (and probably a major motivation, though I don't actually know that) for Jensen's theory of the fine structure of $L$, a theory that has grown tremendously as a component of the inner model program in contemporary set theory. The fact that Suslin's hypothesis is consistent with ZFC was the initial application and the motivation for the theory of iterated forcing, now a central tool in set theory. It also provided the occasion for the invention of Martin's axiom. That axiom and the combinatorial principles isolated by Jensen from the fine structure of $L$ have become standard tools for proving independence results without explicitly referring to forcing or to $L$.

share|improve this answer
add comment

In geometric/combinatorial group theory, Grigorchuk's 2-group is a fundamental example. It originally was constructed as a particularly elegant infinite finitely generated torsion group. Then Grigorchuk showed it had intermediate growth, answering Milnor's problem. For a time it was seen as the universal counterexample in group theory. But now it has spawned a theory of groups acting on rooted trees, self-similar groups and branch groups. Pierre de la Harper has an entire chapter of his book devoted to this group.

share|improve this answer
add comment

The irrational rotation on the torus $\mathbb{T^2}$: $T_t (z,w) = (e^{2 \pi i \alpha }z, e^{2 \pi i \beta} w)$, where $\alpha, \beta \in \mathbb{R}, \frac{\alpha}{\beta} \notin \mathbb{Q}$. It is perhaps the first nontrivial example of an ergodic dynamical system. By considering its orbits $t \mapsto T_t (z,w)$, one gets examples of one-to-one immersions (with dense image) which are not embeddings, immersed submanifolds which are not closed/regular submanifolds, Lie subgroups which are not closed subgroups, non-Hausdorff quotient space and similar phenomena.

share|improve this answer
add comment

Second price auction (or Vickrey auction): an auction in which the bidder who submitted the highest bid is awarded the object being sold and pays a price equal to the second highest amount bid.

share|improve this answer
1  
It seems close to the classic pie division procedure. The cutter cuts and the other chose first the part he wants. –  ogerard May 13 '10 at 17:12
add comment

Dear Gil,

I will quibble with your listing the Fano Plane under graph theory rather than under geometry or perhaps combinatorics. Now I know people who do not think the theory of finite planes is very geometric, and I agree there is much truth here. In some cases it requires algebraic rather than geometrical work to make progress, and in other cases combinatorial ideas. Yet, trying to "imitate" in the finite plane world interesting geometric phenomenon in the Euclidean, projective, or hyperbolic planes I think has proved very fruitful.

I don't really see that the Fano Plane leads to graph theory questions that are of great interest, and that would not be raised from some other point of view.

Best,

Joe

share|improve this answer
3  
Shouldn't this be a comment, rather than an answer? –  Grétar Amazeen Dec 12 '09 at 22:24
1  
Based on the tiny amount I know, I think your comment makes sense. But it's still a comment, not an answer. –  Darsh Ranjan Dec 13 '09 at 0:46
1  
I tried to do this as a comment but the system did not seem to want to allow me to do this. –  Joseph Malkevitch Dec 13 '09 at 12:56
1  
Now that this has been changed, shouldn't this answer be deleted from the list of examples? –  Douglas Zare Jan 13 '10 at 15:51
show 1 more comment

The Delaunay triangulation is fundamental in computational (Euclidean) geometry. For a finite point set S in general position, it can be defined in several ways: (1) as the unique triangulation in which every simplicial cell is Delaunay (i. e., its circumsphere does not contain any points of S in its interior), (2) as the uniqe triangulation in which every facet (of any dimension) of every simplicial cell is Delaunay (meaning it has some empty circumsphere), or (3) as the dual of the Voronoi diagram (which is also fundamental). In the plane, the Delaunay triangulation has the additional property of maximizing the smallest angle of all its triangles, among all triangulations.

The Delaunay triangulation is usually the most obvious candidate for "the right" triangulation of a given point set, and most simplicial mesh-generating methods seem to be based on it. It doesn't hurt that there are reasonably fast and elegant algorithms for constructing it (very fast in the plane, but unfortunately (and necessarily) exponential in the dimension in the worst case).

share|improve this answer
add comment

The solution of Kirkman's Schoolgirl Problem is the archetypal example of a resolvable triple system. This example essential shaped the entirety of Design Theory.

We might also consider Euler's 36 Officers Problem to be one of the fundamental counter-examples within this field. Answer by Disonnant

share|improve this answer
add comment

I suppose the discrete metric space is a crucial example in the metric spaces theory and in the introductory mathematical analysis. It shows many aspects and pathological behavior of metric spaces in general.

share|improve this answer
show 1 more comment

Taking introductory topology, I got the impression that the real line is the fundamental example of a topological space. I wouldn't be surprised if the open and closed intervals of $\mathbb{R}$ were the prototypical examples of open and closed sets, and I think many important topological properties---including compactness, connectedness, and Hausdorffness---first arose because you need them to prove obvious facts about $\mathbb{R}$ and its subsets.

share|improve this answer
1  
There are several examples that I would regard as "too fundamental" for the list like: 0, 1,2, $\sqrt 2$, the real numbers, the natural numbers, the prime numbers, the triangle. I also consider Alef_0 and Alef as "too fundamental" and chose Alef_\omega to start the set theory examples. –  Gil Kalai Feb 20 '10 at 7:33
show 4 more comments

To make this question and the various examples a more useful source this is a designated answer to point out connections between the various examples we collected. please indicate only strong, definite, nontrivial, and clear connections.

1) The Petersen graph is obtained by identifying antipodal vertices and edges in the graph of the dodecahedron - one of the five platonic solids. Such an identification gives a polyhedral complex realizing the real projective plane. Applying this operation to the icosahedron leads to a 6-vertex triangulation of the real projective plane.

share|improve this answer
add comment

The Möbius strip or Möbius band (a surface with only one side and only one boundary component).

share|improve this answer
add comment

The pseudo-arc in continuum theory.

share|improve this answer
add comment

I think no one's pointed Lorenz equations.

share|improve this answer
1  
Can you explain or add a link, please? –  Gil Kalai Feb 21 '11 at 19:54
add comment

The cyclotomic field $\mathbb{Q}(\zeta_p)/\mathbb{Q}$ is the most basic example of a field extension in which splitting of primes depends on an obvious congruence condition. Specifically, if $\ell$ is another prime, then the Frobenius of $\ell$ is $\ell \mod p \in (\mathbb{Z}/p)^\times = \mathrm{Gal}(\mathbb{Q}(\zeta_p)/\mathbb{Q})$. In particular, $\ell$ splits in the field iff its Frobenius is trivial, and this is true iff $\ell \equiv 1 \mod p$. We can then relate other congruences to splitting in subfields of $\mathbb{Q}(\zeta_p)$, etc. The theorems of global class field theory show that this basic concept holds in a very general case, although the general case is much harder to prove. This basic example, does, however, motivate the ideas in class field theory, which have greatly influenced modern number theory and related areas. (As an added note, the fact that the Artin reciprocity law is true for cyclotomic fields is actually a key ingredient in the proof for general abelian extensions!)

Answered by Davidac897

share|improve this answer
add comment

Heisenberg model of 1-D chain of spin 1/2 atoms, solved exactly by Bethe in 1931, is where Bethe Ansatz was born, and with it the field of integrable models in statistical and quantum mechanics.

Answered by Mio

share|improve this answer
add comment

The gamma function is a fundamental example of an interesting function defined only on the integers which has an analytic (meromorphic) continuation to the whole complex plane. This ability to extend an interesting, seemingly discrete function to a complex differentiable function motivates a lot of later material.

Answered by Davidac897

share|improve this answer
add comment

The semicircular law and the Marchenko-Pastur distribution are fundamental examples of probability distributions in random matrix theory.

share|improve this answer
add comment

The hyperfinite $\mathrm{II}_1$ factor $\mathcal{R}$ and its ultrapower $\mathcal{R}^{\omega}$ are fundamental examples in von Neumann algebras and Connes' embedding problem.

share|improve this answer
add comment

The free group factors $L(\mathbb{F}_{n})$, which are the closer in the weak operator topology of the left regular representation of the free group $\mathbb{F}_n$, are fundamental examples in von Neumann algebras. The isomorphism question is the root of the so important Free Probability theory of Voiculescu.

share|improve this answer
add comment

Schwarzschild metric as a prototype of black hole was a fundamental example in the development of General Relativity (for instance, it is often referred to when "defending" the ADM mass as a natural concept of mass in General Relativity).

share|improve this answer
add comment

The Lorenz system of ordinary differential equations: $$\dot x=\sigma(y-x)$$ $$\dot y = rx-y-xz$$ $$\dot z = xy-bz$$ ($\sigma$, $r$, $b$ are parameters) is a good example in dynamical system. It is an example of a deterministic system displaying chaotic behaviour. Also the Lorenz attractor. Date: 1963.

share|improve this answer
add comment

In combinatorics there are very simple basic graphs from which a whole lot of theory came. For example the complete graphs $K_5$ and $K_{3,3}$ which alone provide the ground level for any non-planar graph according to Kuratowski's theorem. Another simple graph that gave rise to a huge amount of theory is Petersen's graph, which I like to think as the graph whose vertices are the ten two-element subsets of $\{1,2,3,4,5\}$, and for which two such vertices are connected iff they are disjoint.

A link for Kuratowski's theorem is http://en.wikipedia.org/wiki/Kuratowski's_theorem

share|improve this answer
add comment

Within the category of algorithms and computer science, I would say Conway's "The Game of Life", where binary, two dimensional structures may evolve, requiring not much than an initial state.

http://en.wikipedia.org/wiki/Conway%27s_Game_of_Life

Cellular automatons have spawn practically a branch of computer science on its own right, and has deep connections with dynamical systems and some types of fractals as well, like Sierpinsky's triangle, using rule 90 (in Mathematica):

ArrayPlot[CellularAutomaton[90, {{1}, 0}, 50]] This commands embeds the running of the Rule 90 for 50 steps, from a single 1 on a background of zeros, and then displays Sierpinsky's triangle.

Also, celullar automatons, inspired on the Game of Life, have met their usage as well to study pseudo-randomness, or artificial music (see Stephen Wolfram's work, for example).

share|improve this answer
add comment

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
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.