96
$\begingroup$

Imagine your-self in front of a class with very good undergraduates who plan to do mathematics (professionally) in the future. You have 30 minutes after that you do not see these students again. You need to present a theorem which will be 100% useful for them.

What would you do?

One theorem per answer please. Try to be realistic.

For example: 30 min is more than enough to introduce metric spaces, prove existence of partition of unity, and explain how it can be used later.

P.S. Many of you criticized the vague formulation of the question. I agree. I was trying to make it short --- I do not read the questions if they are longer than half a page. Still I think it is a good approximation to what I really wanted to ask. Here is an other formulation of the same question, but it might be even more vague.

Before I liked jewelry-type theorems; those I can put in my pocket and look at it when I want to. Now I like tool-type theorems; those which can be used to dig a hole or build a wall. It turns out that there are jewelry-type and tool-type theorems at the same time. I know a few and I want to know more.

$\endgroup$
17
  • 9
    $\begingroup$ How many years of undergraduate education do those students have? What can we assume that they know? (It is a big difference between one who's in the second half of her third year and one that just started two months ago.) $\endgroup$ Apr 3, 2011 at 18:28
  • 34
    $\begingroup$ I find it hard to square the "no prerequisites" condition with the "partitions of unity" example. Or are we talking about ideal undergraduate students, who like ideal gases are only an approximation to the reality? $\endgroup$
    – Yemon Choi
    Apr 3, 2011 at 20:34
  • 12
    $\begingroup$ In my opinion, the "try to be realistic" injunction (which I approve of in all pedagogical questions; note that a lot of experienced teachers do see some of the more ridiculously ambitious pedagogical suggestions promulgated in some answers here and have a good laugh at the naivete of the authors) is hard to square with the vagueness of the question. The term "very good undergraduate" alone is a currency whose value will rise and fall according to where you go. It is tempting to close the question as "too localized" for this reason, but I'll think about it a bit more... $\endgroup$ Apr 3, 2011 at 23:03
  • 10
    $\begingroup$ I too find the partitions of unity example unrealistic. I do think this and some of the examples below could be made to work if one wasn't obliged to give a proof, but perhaps only an intuitive idea, and then explain why it was useful -- sort of like a colloquium talk for undergraduates. $\endgroup$
    – Todd Trimble
    Apr 3, 2011 at 23:10
  • 17
    $\begingroup$ Indeed, Anton, you can do all sort of things in 30 minutes... but unless the students already somewhat familiar about the subject you are talking about, it is rather unusual that you can introduce three new objects, two concepts, and a theorem to anyone and as a result get them to understand the significance of anything. $\endgroup$ Apr 4, 2011 at 17:10

79 Answers 79

1 2
3
2
$\begingroup$

My first choice was taken, Picard iteration using Fixed point principles. I'll try not to have a repeat. I have been teaching a history of math class this semester so this sort of thing has been on my mind recently.

I would definitely consider different choices depending on how advanced the students I expected were.

Pre-Calculus but talented: Archimedes method for finding $\pi$. Calculus: Fermat method for finding the integral of $x^n$ Differential Equations: Picard iterations/fixed point principles more advanced. The Brachistichrone.

Another topic that I like, specifically for analysis is to take some of the different definitions of continuity and show that they are equivalent.

$\endgroup$
2
$\begingroup$

Pursuant to Johannes's answer, I would like to give a talk entitled “How to factor $x_0^4 + x_1^4 + x_2^4 + x_3^4 - 2x_0^2 x_1^2 - 2x_0^2 x_2^2 - 2x_0^2 x_3^2 - 2x_1^2 x_2^2 - 2x_1^2 x_3^2 - 2x_2^2 x_3^2 - 8x_0 x_1 x_2 x_3$”.

$\endgroup$
2
$\begingroup$

Schur's Lemma. After which one can as an application, classify the simple modules for cyclic groups.

$\endgroup$
2
$\begingroup$

Fundamental Theorem of Finitely Generated Abelian Groups.

$\endgroup$
2
$\begingroup$

Integration by Parts It's a powerful analytical tool and it can be used for reduction of order on complex functions.

$\endgroup$
1
2
$\begingroup$

Jordan normal form.

$\endgroup$
2
$\begingroup$

Tarski's fixed point theorem.

$\endgroup$
1
  • 1
    $\begingroup$ In what sense will this be 100% useful? $\endgroup$ Jan 10, 2016 at 6:04
2
$\begingroup$

I can just imagine what would have happened if I was introduced to Kepler's Conjecture and Thomas Hales' approach earlier ...

$\endgroup$
2
  • 1
    $\begingroup$ It is nice way to impress students, but I do not see anything useful, except a message "do not be afraid to do technical work". $\endgroup$ Apr 8, 2011 at 16:37
  • $\begingroup$ @Anton thanks for the comment :) actually that's the point - the students are from the a Game Development and Design course and we will soon have an Alienware laboratory - I might as well come up with something that they can put all that computing power to good use :) $\endgroup$
    – pageman
    Apr 9, 2011 at 14:10
1
$\begingroup$

Maybe a stretch, but...

Finiteness of the class number via Minkowski's theorem.

  • Everyone should at least have a rough idea what the class number is.
  • Minkowski's theorem has other amusing and useful applications (e.g. well-definedness of the signature?)
  • One of the first (of many) interesting theorems involving the geometry of lattices.
$\endgroup$
1
$\begingroup$

Sperner's Theorem on antichains in subset lattice and the Sunflower Lemma. Two great theorems in combo which require little to no theory to introduce and have extremely beautiful proofs.

$\endgroup$
2
  • 1
    $\begingroup$ This is a different theorem by the same person... $\endgroup$
    – Gil Kalai
    Apr 12, 2011 at 4:26
  • $\begingroup$ [deleted earlier comment as it was based on a misreading] $\endgroup$
    – Yemon Choi
    Apr 14, 2011 at 2:53
1
$\begingroup$
  • I would go for Cayley's theorem which asserts that every group is isomorphic to a subgroup of $S_{n}$ for some $n$.

One, can even look into this following post:

$\endgroup$
1
$\begingroup$

Consider some metric spaces, then Hausdorff distance and Gromov-hausdorff convergence

Also, introduce catagorical notation, it may be very useful.

$\endgroup$
1
$\begingroup$

Riesz theorem or, more general, Lax-Milgram theorem.

$\endgroup$
1
$\begingroup$

The Laplace approximation to integrals! This scores well on all points: it is elementary (could be taught in calculus 1) and very useful. Within 30 minutes there should be time to some application, dependent on the audience, maybe the Stirling approximation to the factorial (which is often useds without any proof).

$\endgroup$
1
$\begingroup$

In a metric space context, using natural metric, construct reals as equivalence classes of Cauchy sequences of rationals.

$\endgroup$
0
$\begingroup$

Every matrix can be represented by the linear combinations of four orthogonal matrix

$\endgroup$
1
  • 2
    $\begingroup$ Example of use, maybe? $\endgroup$ Apr 10, 2011 at 9:49
0
$\begingroup$

Diamond lemma.

(Introduce rewiring systems, prove the diamond lemma and give couple of applications.)

$\endgroup$
-1
$\begingroup$

Something that I found very interesting and very useful is Singular value decomposition. It shows that every operator is "almost diagnosable", and is skipped in a lot of basic linear algebra courses I have seen.

I has many application, for example - solving sum of least squares of example. You can give a 30 minute talk on this in various levels as well.

There are prettier theorems (Stokes, Uniformization, and many more) but I think with the 3 constraints (interesting, useful, little background) this is a good topic.

$\endgroup$
1
-3
$\begingroup$

Yoneda Lemma. :D

$\endgroup$
1
1 2
3

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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