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](https://mathoverflow.net/questions/16829/what-are-your-favorite-instructional-counterexamples),
[Cannonical examples of algebraic structures](https://mathoverflow.net/questions/3242/canonical-examples-of-algebraic-structures), [Counterexamples-in-algebra](https://mathoverflow.net/questions/29006/counterexamples-in-algebra), [individual-mathematical-objects-whose-study-amounts-to-a-subdiscipline](https://mathoverflow.net/questions/49082/individual-mathematical-objects-whose-study-amounts-to-a-subdiscipline), [most-intricate-and-most-beautiful-structures-in-mathematics](https://mathoverflow.net/questions/49151/most-intricate-and-most-beautiful-structures-in-mathematics), [counterexamples-in-algebraic-topology](https://mathoverflow.net/questions/55365/counterexamples-in-algebraic-topology), [algebraic-geometry-examples](https://mathoverflow.net/questions/34110/algebraic-geometry-examples), [what-could-be-some-potentially-useful-mathematical-databases](https://mathoverflow.net/questions/68442/what-could-be-some-potentially-useful-mathematical-databases), [what-is-your-favorite-strange-function](https://mathoverflow.net/questions/22189/what-is-your-favorite-strange-function); [Examples of eventual counterexamples](https://mathoverflow.net/questions/15444/examples-of-eventual-counterexamples) ; 




---


To make this question and the various examples a more useful source there is a **[designated answer](https://mathoverflow.net/questions/4994/fundamental-examples/37153#37153)** 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$](https://mathoverflow.net/questions/4994/fundamental-examples/6191#6191) (~1890), [Russell's paradox](https://mathoverflow.net/questions/4994/fundamental-examples/6706#6706) (1901),
[Halting problem](https://mathoverflow.net/questions/4994/fundamental-examples/5171#5171) (1936), [Goedel constructible universe L](https://mathoverflow.net/questions/4994/fundamental-examples/5326#5326) (1938), [McKinsey formula](https://mathoverflow.net/questions/4994/fundamental-examples/5185#5185) in modal logic (~1941), [3SAT](https://mathoverflow.net/questions/4994/fundamental-examples/5227#5227) (\*1970), The theory of Algebraically closed fields (ACF) (?),


**Physics:** [Brachistochrone problem](https://mathoverflow.net/questions/4994/fundamental-examples/6539#6539) (1696), Ising model (1925), [The harmonic oscillator,](https://mathoverflow.net/questions/4994/fundamental-examples/4998#4998)(?) Dirac's delta function (1927), [Heisenberg model](https://mathoverflow.net/questions/4994/fundamental-examples/13840#13840) of 1-D chain of spin 1/2 atoms, (~1928), Feynman path integral (1948), 


**Real and Complex Analysis:** [Harmonic series](https://mathoverflow.net/questions/4994/fundamental-examples/5245#5245) (14th Cen.) {and Riemann zeta function (1859)}, the Gamma function (1720), li(x), [The elliptic integral that launched Riemann surfaces](https://mathoverflow.net/questions/4994/fundamental-examples/5052#5052) (\*1854?), [Chebyshev polynomials](https://mathoverflow.net/questions/4994/fundamental-examples/8818#8818) (?1854) [punctured open set in C^n](https://mathoverflow.net/questions/4994/fundamental-examples/5006#5006) (Hartog's theorem \*1906 ?)


**Partial differential equations**: [Laplace equation (1773), the heat equation, wave equation,](https://mathoverflow.net/questions/4994/fundamental-examples/5011#5011) [Navier-Stokes equation](https://mathoverflow.net/questions/4994/fundamental-examples/6490#6490) (1822),[KdV equations](https://mathoverflow.net/questions/4994/fundamental-examples/5038#5038) (1877),


**Functional analysis:** Unilateral shift, The spaces $\ell\_p$, $L\_p$ and $C(k)$, [Tsirelson spaces](https://mathoverflow.net/questions/4994/fundamental-examples/5208#5208) (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)]$](https://mathoverflow.net/questions/4994/fundamental-examples/5042#5042),[$su\_3$ ($su\_2)$](https://mathoverflow.net/questions/4994/fundamental-examples/5002#5002), [full matrix ring over a ring](https://mathoverflow.net/questions/4994/fundamental-examples/5010#5010), $\operatorname{SL}\_2(\mathbb{Z})$ and SU(2), [quaternions](https://mathoverflow.net/questions/4994/fundamental-examples/5201#5201) (1843), [p-adic numbers](https://mathoverflow.net/questions/4994/fundamental-examples/5498#5498) (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](https://mathoverflow.net/questions/4994/fundamental-examples/5050#5050) (1637), [Riemann zeta function](https://mathoverflow.net/questions/4994/fundamental-examples/5245#5245) (1859) [elliptic curves](https://mathoverflow.net/questions/4994/fundamental-examples/5222#5222), transcendental numbers, Fermat hypersurfaces,


**Probability:** [Normal distribution](https://mathoverflow.net/questions/4994/fundamental-examples/4995#4995) (1733), [Brownian motion](https://mathoverflow.net/questions/4994/fundamental-examples/5319#5319) (1827), The percolation model (1957), The Gaussian Orthogonal Ensemble, the Gaussian Unitary Ensemble, and the Gaussian Symplectic Ensemble, SLE (1999),


**Dynamics:** [Logistic map](https://mathoverflow.net/questions/4994/fundamental-examples/5046#5046) (1845?), [Smale's horseshoe map](https://mathoverflow.net/questions/4994/fundamental-examples/24058#24058)(1960). [Mandelbrot set](https://mathoverflow.net/questions/4994/fundamental-examples/5174#5174) (1978/80) (Julia set), [cat map](https://en.wikipedia.org/wiki/Arnold's_cat_map), (Anosov diffeomorphism)


**Geometry:** [Platonic solids](https://mathoverflow.net/questions/4994/fundamental-examples/5462#5462) (ancient), the Euclidean ball (ancient), The configuration of 27 lines on a cubic surface, The configurations of Desargues and Pappus, construction of regular heptadecagon (\*1796), [Hyperbolic geometry](https://mathoverflow.net/questions/4994/fundamental-examples/6709#6709) (1830), Reuleaux triangle (19th century), [Fano plane](https://mathoverflow.net/questions/4994/fundamental-examples/5016#5016) (early 20th century ??), cyclic polytopes (1902), Delaunay triangulation (1934) [Leech lattice](https://mathoverflow.net/questions/4994/fundamental-examples/5172#5172) (1965), [Penrose tiling](https://mathoverflow.net/questions/4994/fundamental-examples/6586#6586) (1974), [noncommutative torus](https://mathoverflow.net/questions/4994/fundamental-examples/5034#5034), cone of positive semidefinite matrices, the associahedron (1961)


**Topology:** Spheres, [Figure-eight knot](https://mathoverflow.net/questions/4994/fundamental-examples/5052#5052) (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](https://mathoverflow.net/questions/4994/fundamental-examples/5019#5019), Alexander polynomial (1923), [Hopf fibration](https://mathoverflow.net/questions/4994/fundamental-examples/5024#5024) (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](https://mathoverflow.net/questions/4994/fundamental-examples/5000#5000) (?), The Grassmannian variety,[homotopy group of spheres](https://mathoverflow.net/questions/4994/fundamental-examples/5019#5019) (\*1951), [Milnor exotic spheres](https://mathoverflow.net/questions/4994/fundamental-examples/5004#5004) (1965)


**Graph theory:** [The seven bridges of Koenigsberg](https://mathoverflow.net/questions/4994/fundamental-examples/24125#24125) (1735), [Petersen Graph](https://mathoverflow.net/questions/4994/fundamental-examples/5049#5049) (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](https://mathoverflow.net/questions/4994/fundamental-examples/24010#24010) (China and Europe 17th), [Catalan numbers](https://mathoverflow.net/questions/4994/fundamental-examples/5212#5212) (18th 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](https://mathoverflow.net/questions/4994/fundamental-examples/5017#5017) (1950) (and also the chicken game, chain store game, and centipede game), the model of exchange economy, second price auction (1961)


**Statistics:** the Lady Tasting Tea (?1920), Agricultural Field Experiments (Randomized Block Design, Analysis of Variance) (?1920), Neyman-Pearson lemma (?1930), Decision Theory (?1940), the Likelihood Function (?1920), Bootstrapping (?1975)



Fundamental Examples
The [harmonic oscillator](http://en.wikipedia.org/wiki/Harmonic_oscillator) is a fundamental example in both classical and quantum mechanics.


