43
$\begingroup$

In most students' introduction to rigorous proof-based mathematics, many of the initial exercises and theorems are just a test of a student's understanding of how to work with the axioms and unpack various definitions, i.e. they don't really say anything interesting about mathematics "in the wild." In various subjects, what would you consider to be the first theorem (say, in the usual presentation in a standard undergraduate textbook) with actual content?

Some possible examples are below. Feel free to either add them or disagree, but as usual, keep your answers to one suggestion per post.

  • Number theory: the existence of primitive roots.
  • Set theory: the Cantor-Bernstein-Schroeder theorem.
  • Group theory: the Sylow theorems.
  • Real analysis: the Heine-Borel theorem.
  • Topology: Urysohn's lemma.

Edit: I seem to have accidentally created the tag "soft-questions." Can we delete tags?

Edit #2: In a comment, ilya asked "You want the first result after all the basic tools have been introduced?" That's more or less my question. I guess part of what I'm looking for is the first result that justifies the introduction of all the basic tools in the first place.

$\endgroup$
5
  • $\begingroup$ I wish the system was smart enough to understand that example = examples and soft-question = soft-questions (and topos = topoi :) ). $\endgroup$ Oct 24, 2009 at 20:34
  • $\begingroup$ @Qiaochu: If there is no question with a given tag, the tag will disappear on its own within about a day. If you find two tags that should really be the same, flag the post for moderator attention with a comment explaining that the tags should be merged. @ilya: the site doesn't understand the meanings of the tags, so it would probably cause trouble if it tried to automatically merge tags. But you usually don't write the complete name of the tag anyway; you just type the first few letters and then you're shown a list of tags that match. $\endgroup$ Oct 24, 2009 at 20:50
  • $\begingroup$ @Anton, the object = objects idea seem to be easy to implement to me -- is there an example where this merging makes no sense? $\endgroup$ Oct 24, 2009 at 23:20
  • $\begingroup$ Is anyone other than me in favor of changing the word "non-trivial" to "interesting" in the title? I, for one, would feel much less intimidated. $\endgroup$
    – S. Carnahan
    Oct 26, 2009 at 9:45
  • 4
    $\begingroup$ This question seems to have long outgrown its usefulness (and some of the more recent additions have been, IMHO, lousy). Voting to close. $\endgroup$
    – Todd Trimble
    Mar 1, 2012 at 16:03

77 Answers 77

1 2
3
1
$\begingroup$

Fractional or arbitrary order calculus - The derivation of the known equation by Louisville to show that classical calculus is a special case of fractional calculus, in a paper written in 1832.

This was not a rigorous proof ala Euclid, but it was important to prove a concept that was known since at least 1695.

$\endgroup$
1
$\begingroup$

3-manifolds, existence and uniqueness of decomposition into irreducible pieces in the connected sum (Kneser, Milnor-Wallace)

$\endgroup$
1
$\begingroup$

Differential Geometry: Rank Theorem

$\endgroup$
1
$\begingroup$

Ergodic theory: Poincare's recurrence theorem http://en.wikipedia.org/wiki/Poincar%C3%A9_recurrence_theorem

$\endgroup$
0
$\begingroup$

Complex analysis: Hadamard's factorization theorem.

$\endgroup$
0
$\begingroup$

Symbolic dynamics: There is a unique minimal right resolving presentation for an irreducible sofic shift.

$\endgroup$
0
$\begingroup$

In algebraic number theory, at least in terms of a serious interesting result with a difficult proof, I'd say the Tchebotarev Density Theorem.

More elementary would be Sum(ef)=n and/or properties of decomposition and inertia groups. Also Dirichlet's Unit Theorem, depending on what order you work in.

In analytic number theory, I would say the Prime Number Theorem, at least if we're looking for the first difficult, interesting result.

$\endgroup$
1
  • $\begingroup$ I might add the finiteness of the class number. Or if you're looking for theorems which show how the machinery can be used, I would add some of the elementary Diophantine problems which can be solved using finiteness of the class number. $\endgroup$ May 9, 2010 at 15:24
0
$\begingroup$

In Euclid's Elements the first proposition is the construction of the equilateral triangle. An interesting result, perhaps, but also important as a beginning of an explanation of what "proof" shall mean.

$\endgroup$
0
$\begingroup$

ML:Gödel incompleteness theorem

$\endgroup$
0
$\begingroup$

Plane geometry, either Euclid Bk 1, Prop 47 (Pythagoras' theorem), or the nine-point circle theorem. I can't decide.

$\endgroup$
0
$\begingroup$

The first interesting theorem in Non Euclidian Geometry is...

This isn´t a proof, but it´s the object of the study fisically represented: paper model of hyperbolic plane (by Bill Thurston). I´m lovin it! ...and of course, the models of Klein and of Poincaré of hyperbolic plane (My favorite is the half plane)

$\endgroup$
0
$\begingroup$

Linear Algebra: The Principal Axis Theorem. Quadratic forms over reals have a signature, i.e. after a change of coordinates, are of the form $(x_1^2+\cdots+x_n^2)-(y_1^2+\cdots + y_m^2)$.

$\endgroup$
3
  • $\begingroup$ This is called Sylvester's Rule. $\endgroup$ Dec 13, 2009 at 14:46
  • $\begingroup$ Sylvester's Law, rather. $\endgroup$ Dec 13, 2009 at 14:47
  • $\begingroup$ I'd say it shares its place with Cayley-Hamilton. $\endgroup$ May 23, 2010 at 22:06
0
$\begingroup$

Order / Lattice Theory (?): The Boolean Prime Ideal Theorem (BPI). It is strictly weaker than the axiom of choice but equivalent to Tychonovs theorem (EDIT: of course the version where the spaces are Hausdorff, compact) therefore underlying all of functional analysis.

$\endgroup$
2
  • $\begingroup$ Tychonoff's theorem is equivalent to choice. Perhaps you mean Tychonoff for compact Hausdorff spaces? $\endgroup$ Jul 7, 2010 at 16:06
  • $\begingroup$ That is what I meant. $\endgroup$ Jul 21, 2010 at 10:56
0
$\begingroup$

Fourier Theory:The Fast Fourier Transform

$\endgroup$
-1
$\begingroup$

Number Theory: Kronecker-Weber (Every abelian extension of Q is contained in a cyclotomic extension.)

$\endgroup$
3
  • $\begingroup$ This is a wonderful theorem but it's hardly the first interesting theorem in Number Theory. $\endgroup$
    – lhf
    Dec 1, 2009 at 12:40
  • $\begingroup$ It is really up to personal taste :) I understand there are other more elementary ones like finiteness theorems for class number, etc. But I really find Kronecker-Weber the first interesting thing to me. Your favorite interesting theorem? $\endgroup$
    – user2148
    Dec 8, 2009 at 16:53
  • 2
    $\begingroup$ Mine is Fermat's criterion for a number to be expressed as the sum of two squares. $\endgroup$
    – lhf
    Dec 15, 2009 at 12:32
-1
$\begingroup$
  fundamental theorem of algebra
  fundamental theorem of calculus
$\endgroup$
2
  • 3
    $\begingroup$ In what subject is the fundamental theorem of algebra the first interesting theorem? $\endgroup$ Jan 15, 2010 at 9:30
  • 1
    $\begingroup$ Complex analysis? $\endgroup$ May 23, 2010 at 22:04
-5
$\begingroup$

Number Theory -- Mordell-Weil Theorem

$\endgroup$
1
  • 5
    $\begingroup$ That's the first interesting/non-trivial result in Number Theory? $\endgroup$
    – Todd Trimble
    Mar 1, 2012 at 15:59
1 2
3

Not the answer you're looking for? Browse other questions tagged or ask your own question.