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

98
$\begingroup$

Introduce generating functions and give couple of applications.

$\endgroup$
0
91
$\begingroup$

The Banach fixed point theorem.

$\endgroup$
2
  • 3
    $\begingroup$ +1 for an answer which seems appropriate in every reasonable context I can think of. For instance Keith Conrad spoke about this in the UGA undergraduate math club last year, to great success. $\endgroup$ Apr 3, 2011 at 23:04
  • 19
    $\begingroup$ Elsewhere Pete L. Clark said: "Perhaps a moral here: just naming a theorem isn't maximally helpful, because the same theorem could make for both a good talk or a bad talk. Better would be to say a little bit about what you plan to do with it." $\endgroup$
    – Todd Trimble
    Jul 30, 2011 at 19:17
78
$\begingroup$

Singular Value Decomposition, probably one of the most useful and ubiquitous concepts out there. Half the time can be devoted to listing all the synonyms it goes by in various fields such as statistics and finance.

$\endgroup$
6
  • 6
    $\begingroup$ I give this a +1 because I wish someone had given me this talk as an undergraduate. To my shame, I am still somewhat fuzzy on the concept! $\endgroup$ Apr 4, 2011 at 0:10
  • 9
    $\begingroup$ Also known as the "Singularly Valuable Decomposition": www1.math.american.edu/People/kalman/pdffiles/svd.pdf $\endgroup$
    – j.c.
    Apr 4, 2011 at 2:05
  • 12
    $\begingroup$ Principle component analysis (Stats), Schmidt Decomposition (Quantum Computation), multidimensional scaling, Low rank approximation, Multimode factor analysis, "Partison" index (voting) $\endgroup$
    – Alex R.
    Apr 8, 2011 at 19:59
  • 2
    $\begingroup$ @j.c. The link to the Kalman pdf file seems to be broken. $\endgroup$
    – Todd Trimble
    Dec 24, 2019 at 15:44
  • 1
    $\begingroup$ @ToddTrimble Thanks for letting me know! Here's a working internet archive link: web.archive.org/web/20111125110818/http://… $\endgroup$
    – j.c.
    Jan 2, 2020 at 7:37
64
$\begingroup$

I would say something far far more elementary than all the other suggestions here (perhaps assuming the audience is in their first semester as undergraduates)

I would define an equivalence relation and an equivalence class and prove that equivalence classes on $X$ define a partition of $X$. (And then spend the remaining 29 minutes talking about their philosophical significance :) )

Its usefulness is of course immense but that doesn't mean we should attribute it solely to its obviousness. In my mind it also encodes so many very deep intuitions that separate high-school from college-level mathematics. To name a few:

  • The fact that there is nothing metaphysically 'special' about the relation of equality, which foreshadows the algebraic paradigm-shift towards isomorphisms
  • The fact that information about certain properties is better captured when we look at classes of objects satisfying a relation
  • That the foundations of analysis are a lot more conceptually flexible (and amenable to reinterpretation or even reinvention) than 'functions and derivatives'.
  • The information encoded by the definition of an equivalence relation is absolutely minimal and trivial to understand (which is why most undergraduates, I've found, almost scoff when a lecturer spends time defining it) and yet responsible for profoundly deep intuitions - think of the Grothendieck group.
  • It brings out the significance of structuralist thinking at a very early, pre-algebraic stage (this is more personal, but still)
$\endgroup$
8
  • 9
    $\begingroup$ Although useful sometimes, I believe equivalence classes are massively overused in contemporary mathematics, and far less useful than equivalence relations. I'm inclined to side with E. Bishop on this point. A lot of people seem to be unhealthily obsessed with putting things into classes when it's really not necessary - just knowing two distinct objects are equivalent is all you really need in many cases. $\endgroup$
    – Zen Harper
    Apr 6, 2011 at 8:45
  • 5
    $\begingroup$ Zen, could you elaborate on this? To a befuddled non-constructivist, equivalence classes and equivalence relations are very literally the same thing. Could you explain an example where thinking of the latter is ‘better’, in whatever vague sense, than thinking of the former? $\endgroup$
    – LSpice
    Apr 8, 2011 at 13:29
  • $\begingroup$ @LSpice I think what Zen has in mind (and I take his point) is an example like field extensions over a well-understood base field, in which case it doesn't really give you any insights to think of the isomorphism class of an extension (i.e. to think of unique classes of extensions being a kind of 'unique' extension) if you understand how an extension can be isomorphic to another (as an extension.) That said, one can't even prove completeness of $\text{FOL}_=$ without equivalence classes so there's definitely a sharp distinction between usefulness/fundamentality here. $\endgroup$
    – Chuck
    Apr 8, 2011 at 17:15
  • 3
    $\begingroup$ @Chuck: I agree that in the case of field extensions it's better to think in terms of isomorphisms rather than equivalence classes of extensions. But there are cases in which taking an equivalence class is the simplest and the most natural thing to do in order to avoid complications: e.g., defining a manifold as a set with an equivalence class of atlases allows you to avoid using an awkward notion of "spaces-with-atlas" and isomorphism between them or "change of atlas". $\endgroup$
    – Qfwfq
    Apr 10, 2011 at 17:08
  • 1
    $\begingroup$ My guess is that Zen is happier with "the space of integrable measurable functions on [0,1], some of which may be equivalent to each other" than with "the space $L^1[0,1]$ of equivalence classes of ..." $\endgroup$
    – Yemon Choi
    Apr 14, 2011 at 2:56
52
$\begingroup$

Edit (Feb 2021): The content of this MathOverflow answer now forms the backbone of Chapter 2 ("Multiple Proofs") in JDH's book, Proof and the Art of Mathematics. Get a copy!


Edit (Dec 2016): Encouraged by a few comments on MO, and a few direct emails about this post, I wrote up the ideas below for a journal of math education. The citation is:

Dickman, B. (2017). Enriching Divisibility: Multiple Proofs and Generalizations. Mathematics Teacher, 110(6), 416-423. Link (no pay-wall).


Having come across this question by searching within the mathematics-education tag, I will try to answer it from the perspective of someone in the field of Mathematics Education.

Theorem: $n^2 - n$ is even for all natural numbers $n$.

It is quite possible that very good undergraduates (I am imagining freshmen) will laugh at seeing such a "theorem" written on the board; it is almost certain that professional mathematicians will scoff. Nevertheless, this is a talk that I have given in the past to graduate students in Math Education who wish to teach secondary school mathematics in the future. Under some reasonable interpretation of the parameters given in this question, I should think these two groups alike enough to outline the talk here.


After writing the theorem on the board, I then write down a collection of headers, each of which is intended as suggesting a method of proof. Once the headers are written out, I give the students three minutes to prove the theorem using one method that they are sure they can carry out, and to attempt a proof using another method they are less sure of. Below I will write the headers, followed parenthetically by the sort of remark I might say aloud as I write them down, and then a brief indication of the proof.

Cases: (Probably you don't need more than two) The cases I am thinking of are even and odd; check what happens when $n = 2k$ and then check what happens when $n = 2k+1$.

High School Algebra: (Factoring) Write $n^2 - n = (n-1)n$ as the product of consecutive integers, hence once of them must be even; so the product is even.

Number Theory: (This might not mean so much to you all as freshmen; we'll return to it later!)

Arithmetic: (I'm thinking of adding up a certain arithmetic sequence) Consider the sum of the first $n-1$ natural numbers; this gives some natural number $k = (n-1)n/2$. Multiplying both sides by $2$, we find that $n^2 - n = (n-1)n = 2k$ is even.

Geometry: (How would you represent $n^2$ with a geometrical picture?) Consider an $n \times n$ array of squares; remove the $n$ squares along the diagonal. The number of squares remaining is $n^2 - n$ and one sees symmetrically that they have been split into two groups of equal size. Hence the total is even.

n = 4

Combinatorics: (I'm thinking of forming two person committees...) The number of two person committees in a group of $n$ people is some integer $k = (n-1)n/2$. Cf. Arithmetic.

Mathematical Induction: (For students familiar with induction, you might give this a shot) The base case is clear; suppose $k^2 - k$ is even and note $(k+1)^2 - (k+1) = k^2 + k = (k^2 - k) + 2k$ is the sum of two even numbers, and hence even.


The point of the above is to demonstrate that even a seemingly simple statement can be proved in a number of different ways. Such a demonstration, more than any particular theorem, is likely to be useful for all students (as specified by the OP). I usually have students discuss their answers and then use the theorem we've proved to talk about something else that ought to be useful for everyone: generalization.

The proofs above made frequent use of the following fact: $(n-1)n = n^2 - n$.

How would you generalize the following statements?

Statement A: If $n \in \mathbb{N}$, then $2$ divides $(n-1)n$.

Statement B: If $n \in \mathbb{N}$, then $2$ divides $n^2 - n$.

The former statement suggests (in my mind) that $k$ divides $k$ consecutive numbers; the latter statement suggests (in my mind) that $k$ divides $n^k - n$.

Consider when $k = 3$.

Then the statements become:

Statement A: If $n \in \mathbb{N}$, then $3$ divides $(n-1)n(n+1)$.

Statement B: If $n \in \mathbb{N}$, then $3$ divides $n^3 - n$.

Not only are these statements true, they coincide: $(n-1)n(n+1) = n^3 - n$.

This overlap breaks down for $n>3$, though, and we find that only A is true for $n=4$. (Perhaps a good point at which to mention how a single counterexample can disprove a for all statement.)

From here, the talk suggests that A is a good segue into modular arithmetic, while B practically begs us to find the $k$ for which it holds. Of course, we can answer this question using Number Theory (as mentioned early on!) and, more precisely, by appealing to Fermat's Little Theorem.


I believe the talk outlined above, with its messages about the possibility of finding multiple proofs and the interesting directions in which a simple proposition can be generalized, is a practical and doable thirty minute talk for first-year students in mathematics. I have done nothing close to applying Groebner bases or making use of ultraproducts, but I have tried to heed the OP's request to be realistic.

$\endgroup$
8
  • 6
    $\begingroup$ Nice lecture :) $\endgroup$ Dec 19, 2013 at 3:56
  • 3
    $\begingroup$ This is a great answer indeed. $\endgroup$ Feb 2, 2016 at 23:19
  • 1
    $\begingroup$ Now this indeed answers the original question! $\endgroup$ Jun 16, 2016 at 0:04
  • 4
    $\begingroup$ Very inspiring! I would reformulate the arithmetical proof though, by observing that $n(n-1)$ equals the sum of $1+2+\ldots+(n-1)$ and $(n-1)+(n-2)+\ldots+1$. But this is clearly a matter of taste. $\endgroup$
    – R.P.
    Nov 2, 2016 at 4:16
  • 1
    $\begingroup$ @Menny Thanks! Note: In your linked post, you have misspelled my surname. $\endgroup$ Sep 1, 2022 at 22:00
51
$\begingroup$

How about the probabilistic method?

There are plenty of elementary, self-contained examples to choose from, and it has a pithy slogan that's memorable enough even for non-combinatorialists. (Can't construct something explicitly? Then construct it randomly!) Best of all, it has a nice wow factor: While many undergraduates may be familiar with nonconstructive phenomena in mathematics, the fact that we need to resort to such to say things about finite graphs is rather surprising.

$\endgroup$
3
  • $\begingroup$ Could you give a list of your favorite problems which are solved by this method? $\endgroup$ Dec 3, 2013 at 17:53
  • $\begingroup$ This applies to some PDEs as well, but this might be too complicated for an half-an-hour talk. $\endgroup$ Feb 2, 2016 at 23:14
  • $\begingroup$ Why isn’t the probabilistic method constructive? :) $\endgroup$ Feb 19, 2021 at 9:18
49
$\begingroup$

Euler's formula $V - E + F = 2$.

$\endgroup$
1
  • 10
    $\begingroup$ As an alternative, you could just distribute copies of Proofs and Refutations... $\endgroup$
    – dvitek
    Dec 19, 2013 at 16:58
46
$\begingroup$

The Chinese Remainder Theorem. This is ripe for giving some nice applications, some of which are given in this MO thread (hat tip to Pete Clark; I presume this is the one he meant).

$\endgroup$
7
  • 1
    $\begingroup$ This certainly meets the criterion of 100% useful, but at least here at UGA this is part of the standard curriculum (in abstract algebra), so I'm not sure it needs to be discussed in a talk. If it were, I would imagine that some of the students would know it and some wouldn't, which is not ideal. $\endgroup$ Apr 3, 2011 at 23:12
  • $\begingroup$ Sigh. You could say the same about generating functions: if they've seen it in a course, then they've seen it in a course. I really meant that one could explain it just in the case of integers and the polynomial ring R[x], even if they hadn't had any abstract algebra, and give some a nice application or two. (You really are in an editorial mood, aren't you? :-) $\endgroup$
    – Todd Trimble
    Apr 3, 2011 at 23:22
  • $\begingroup$ @Todd: I'm clearly less agreeable than usual, yes. Sorry about that. But I can't disagree with "if they've seen it in a course, then they've seen it in a course"! In my experience CRT is much more standard than generating functions, but again this could vary depending upon location. On the other hand, maybe I misinterpreted what you meant by CRT. If you mean the one with pairwise comaximal ideals in an arbitrary ring, then a talk discussing various special cases and applications of this could actually be very nice, especially if students have already seen the most classical version. $\endgroup$ Apr 3, 2011 at 23:37
  • 3
    $\begingroup$ Perhaps a moral here: just naming a theorem isn't maximally helpful, because the same theorem could make for both a good talk or a bad talk. Better would be to say a little bit about what you plan to do with it. $\endgroup$ Apr 3, 2011 at 23:38
  • $\begingroup$ True, I could have been less lazy in my answer (perhaps I was unduly swayed by the other one-liners). Then again, I hadn't planned the lecture yet; I knew there was a lot you could do with this theme, and hadn't made up my mind about what would be the choicest nuggets. $\endgroup$
    – Todd Trimble
    Apr 3, 2011 at 23:45
41
$\begingroup$

The Central Limit Theorem.

$\endgroup$
4
  • 5
    $\begingroup$ Quoth Pete Clark: "Perhaps a moral here: just naming a theorem isn't maximally helpful, because the same theorem could make for both a good talk or a bad talk. Better would be to say a little bit about what you plan to do with it." $\endgroup$
    – Todd Trimble
    Jul 30, 2011 at 14:37
  • $\begingroup$ If the undergrads don't already know the Fourier transform, is there an elementary proof that one could actually provide..? $\endgroup$
    – Phil Isett
    Nov 9, 2011 at 16:20
  • $\begingroup$ The book <a href="amazon.com/Heads-Tails-Introduction-Theorems-Probability/dp/… or Tails: An Introduction to Limit Theorems in Probability</a> by Lesigne contains an elementary proof for the special case of coin flips. $\endgroup$ Dec 4, 2011 at 10:15
  • $\begingroup$ @PhilIsett One can easily show that the sum of two uniforms is triangular. One can also use Excel and thereby invoke some experimental mathematics. $\endgroup$ May 22, 2014 at 7:47
36
$\begingroup$

The Pigeonhole Principle

$\endgroup$
1
  • 27
    $\begingroup$ … but the Pigeonhole Principle itself is extremely boring (I think); it's all in the applications. Which ones would you demonstrate? $\endgroup$
    – LSpice
    Apr 8, 2011 at 13:30
34
$\begingroup$

Maybe (a suitably weak version of) Brouwer fixed point theorem? For example you can prove the version for smooth maps, or the topological version in low dimensions. And there are so many generalizations of the theorem that it seems the students are bound to run into some version of topological fixed points in the future.

You can even mention, as an application of topological fixed points, Littlewood's proof that there always exists a way to put a rod standing on one end in a train travelling between Kings Cross and Cambridge such that it would not fall over. (In fact, isn't that entire chapter of the Miscellany [Chapter 1, Mathematics with minimum raw material] consisting of answers to your question?)

$\endgroup$
4
  • $\begingroup$ Willie, is that the contested argument (in both directions) from Courant and Robbins? $\endgroup$
    – Yemon Choi
    Apr 3, 2011 at 20:32
  • $\begingroup$ @Yemon: I don't know the Courant and Robbins discussion. Littlewood's argument goes something like this: first we assume that the dynamics of the rod is continuous with respect to initial position. Then if every initial position leads to the rod falling down in finite time, this gives a continuous retraction from the disc to its boundary, which is impossible. Hmm, I should probably have put quotes around the word "proof" in the above... let's just say I left it out in honor of the Hardy-Littlewood memorial bench outside my office. $\endgroup$ Apr 3, 2011 at 20:42
  • $\begingroup$ I suppose dim=2 $\endgroup$ Apr 3, 2011 at 20:48
  • $\begingroup$ +1: again, this seems close to universally appropriate and useful. $\endgroup$ Apr 3, 2011 at 23:07
27
$\begingroup$

Newton's method for solving the non-linear (systems of) equations. How to make the presentation depends on the level and interests of the students. It can range from a fast algorithm for finding the square root with high precision to some advanced topics in dynamics.

$\endgroup$
5
  • $\begingroup$ I was amazed when I learned that it also works on spaces other than $R^n$, e.g. : - In $M_n(k)$, to find the Dunford decomposition. - In $Z/nZ$, to solve congruence. - In $Z_p$, to prove Hensel lemma, but this situation is quite similar from $R^n$. $\endgroup$ Apr 6, 2011 at 16:36
  • $\begingroup$ Auguste, according to Wikipedia, the Dunford decomposition is the Jordan decomposition. If that's so, what system of equations do you solve to find it? The approach I know solves a particular system by the Chinese Remainder Theorem; do you solve the same system by Newton's method? $\endgroup$
    – LSpice
    Apr 8, 2011 at 18:29
  • 1
    $\begingroup$ @L Spice : I call it Dunford because it is the French term. My method is the following : let $P(x)$ be the caracteristic polynomial of a matrix $A$ and let $Q(X):=P(X)/(gcd(P'(X),P(X)))$ (assume $caract(k)=0$ otherwise the formula for $Q(X)$ is more complicated). Consider the sequence defined by $A_0:=A$ and $A_{n+1}:=A_n-Q(A_n)/Q'(A_n)$. Then for all $n \geq log_2(dimension)$, the matrix $A_n$ is the semisimple part of $A$ (the key point is to notice that the semi-simple part is a zero of $Q(X)$ in the vector space $k[A]$). I don't know about your method, so I can't tell if it is the same. $\endgroup$ Apr 12, 2011 at 8:25
  • $\begingroup$ @L Spice : Can you tell me about your method ? (sorry for the split, but the comment was too long). $\endgroup$ Apr 12, 2011 at 8:30
  • $\begingroup$ @AugusteHoangDuc, sorry that I missed your question for 7 years! Searching for "Jordan decomposition Chinese remainder theorem" turned up, for example, math.stackexchange.com/a/897683 , which quotes Humphreys's instance of this reasoning. $\endgroup$
    – LSpice
    Nov 20, 2018 at 19:22
26
$\begingroup$

Picard–Lindelöf theorem on existence and uniqueness of solutions to ordinary differential equations, introducing Picard iteration along the way.

$\endgroup$
3
  • $\begingroup$ Willie, when I was preparing this question, I wanted to include this theorem as an example. $\endgroup$ Apr 3, 2011 at 19:04
  • $\begingroup$ Link to wiki is broken $\endgroup$ Nov 9, 2011 at 11:19
  • $\begingroup$ And forget to note - this is really nice suggestion. (Actually to my taste Central Limit Theorem is number one :) Both not well teached at mexmat. $\endgroup$ Nov 9, 2011 at 11:28
24
$\begingroup$

The Arzelà-Ascoli theorem.

$\endgroup$
2
  • 3
    $\begingroup$ I think this is especially true for students interested in any sort of geometry or topology. I can't tell you how many times I've seen "it follows from Arzela-Ascoli that..." in papers and talks. $\endgroup$
    – BMann
    Apr 4, 2011 at 4:21
  • $\begingroup$ Link is broken. (Hopefully) correct one: en.wikipedia.org/wiki/Arzel%C3%A0%E2%80%93Ascoli_theorem $\endgroup$
    – Woett
    Apr 5, 2011 at 1:19
24
$\begingroup$

Hall Marriage theorem

This is a very useful theorem in combinatorics, analysis, algebra, computational complexity, and more.

$\endgroup$
23
$\begingroup$

A short presentation on the Hopf fibration could be very useful as it is such a central example. The idea to make it elementary would be to take a concrete point of view and include lots of pictures.

$\endgroup$
1
  • $\begingroup$ Niles Johnson posted a very nice talk of this sort on youtube: nilesjohnson.net/hopf.html complete with excellent visuals (at the end) accompanied by high-energy music. Basically a Hopf-sphere disco ball. $\endgroup$ May 22, 2014 at 7:49
21
$\begingroup$

Using Groebner Bases to solve equations. Just use the lexicographic ordering without disucssing theory. Mash generalized polynomial long division and Buchberger's algorithm into one mechanical procedure. 30 minutes is pretty tight, but doable.

$\endgroup$
2
  • $\begingroup$ I find Groebner bases very valuable in general, it just simplifies so much! $\endgroup$ Apr 4, 2011 at 20:07
  • 7
    $\begingroup$ They are useful, but not 100% guaranteed to be useful. Probably most mathematicians will never use them and have only very vague acquaintance with them. $\endgroup$
    – Todd Trimble
    Apr 5, 2011 at 12:30
19
$\begingroup$

Borsuk-Ulam theorem. A very useful topological theorem. It is very easy to state and to describe some applications, or alternatively to describe what is involved in a proof.

$\endgroup$
17
$\begingroup$

Strong law of large numbers

$\endgroup$
14
$\begingroup$

Lagrange's theorem (order of a sugroup divides the order of the group).

$\endgroup$
2
  • 3
    $\begingroup$ This strikes me as having the opposite problem to some of the other ideas: it seems hard to fill up an entire half hour on this. $\endgroup$ Apr 5, 2011 at 17:16
  • 6
    $\begingroup$ You can use it to prove Fermat's little theorem, mix it with some group action to prove combinatorial results or Cauchy's theorem on the existence of elements of order $p$, etc. $\endgroup$
    – anonymous
    Apr 6, 2011 at 0:01
14
$\begingroup$

Quite unbelievable that I haven't seen that answer in the previous ones.

Cantor's Theorem & Cantor's Diagonal.

Both of these are quite short, and one can squeeze them into a 30 minutes discussion including the definition of "cardinality".

I find them useful, even if not directly applicable, the shock that infinite objects (and generally, mathematical objects) need not match our finite intuition is probably one of the most important things that new mathematicians should learn. When you know that you don't know what to do, you work with the definitions slowly and carefully and eventually you develop the intuition that allows you to run freely in the field.

$\endgroup$
1
  • $\begingroup$ One immediate application is that there are languages that are not recognizable by any program since there are more languages than programs. As an alternative, there are programs (running forever on a machine with unlimited memory) that print out the digits of pi, one at a time, but there are some real numbers so that no program prints out the digits in order. $\endgroup$ Aug 4, 2022 at 7:19
13
$\begingroup$

Simplicity of the alternating group An for $n\geq 5$, contrasted with its non-simplicity for $n\leq 4$.

$\endgroup$
2
  • 8
    $\begingroup$ I must ask, is there a particular reason why you wrote $n > 4$ and $n < 5$ instead of $n \ge 5$ and $n \le 4$? I've always found the former a little bit hard to parse (which could well be a personal failure on my part). $\endgroup$ Apr 3, 2011 at 20:58
  • 4
    $\begingroup$ To minimize LaTeX code... you're right, it was silly. I editted it. $\endgroup$ Apr 3, 2011 at 21:54
13
$\begingroup$

Elementary symmetric polynomials generate the ring of symmetric polynomials.

$\endgroup$
2
  • $\begingroup$ Freely (in the commutative sense)! $\endgroup$ Nov 9, 2011 at 19:18
  • $\begingroup$ (Yes, without the "freely" this fact is not so easy to apply.) $\endgroup$ Nov 9, 2011 at 19:19
12
$\begingroup$

Min-max principle and spectral theorem as a corollary for real symmetric matrices. I often teach this quickly in my vector analysis course as an example of finding extrema of functions in $\mathbb{R}^n$.

$\endgroup$
1
  • $\begingroup$ Yes, I like this too. The usual approach passes through Hermitian matrices with complex entries and the fundamental theorem of algebra, but the spectral theorem for real symmetric matrices can be done just by the method of "Lagrange multipliers". $\endgroup$
    – Todd Trimble
    Apr 4, 2011 at 20:39
12
$\begingroup$

The spectral theorem for normal operators.

$\endgroup$
5
  • $\begingroup$ I like this one, Gabriel. Could you tell why you think it will be 100% useful? (I'm just curious...) $\endgroup$
    – Jon Bannon
    Apr 6, 2011 at 1:18
  • $\begingroup$ Data analysis in the context of principal component analysis. Wireless communications and information theory is another example. Essentially how much information you can communicate in a MIMO system it's related to the spectrum of the channel matrix. $\endgroup$
    – ght
    Apr 6, 2011 at 1:31
  • $\begingroup$ @Jon Bannon: The interpretation of normal operators as random variables in quantum mechanics. Finding Green's functions using resolvents. Functional calculus for normal operators. Representation theory of Lie groups. Harmonic analysis. Spectral graph theory. The question "why is the spectral theorem 100% useful" deserves a big-list all to itself... $\endgroup$
    – Vectornaut
    Mar 27, 2014 at 6:43
  • $\begingroup$ @Vectornaut: Preaching to the choir. Thanks for filling out the answer a bit! $\endgroup$
    – Jon Bannon
    Mar 27, 2014 at 12:14
  • $\begingroup$ @JonBannon: Ah, sorry! I somehow misread the intent of your question, even though I was confused, after looking at your research interests, about why you'd be asking it. Putting that little list together was instructive for me, in any case, so thanks for inspiring me to do it. :P $\endgroup$
    – Vectornaut
    Mar 28, 2014 at 2:41
11
$\begingroup$

Okay, last one from me tonight.

Separating hyperplane theorem and/or the Riesz extension theorem. The finite (or 2) dimensional version is fairly easy to illustrate and not too hard to prove. And of course as an example application you can assume the infinite dimensional version and derive Hahn-Banach Theorem (the version about extending linear functionals). Consider its use in convex and functional analysis, at least some of the students will run into something like this in the future.

$\endgroup$
11
$\begingroup$

The isoperimetric inequality.

  • Ubiquitous in geometry.
  • Among the easier examples of variational problems.
  • Can be used to illustrate why we need rigorous proofs of things that are "obvioius".
$\endgroup$
2
  • 4
    $\begingroup$ "Can be used to illustrate why we need rigorous proofs of things that are "obvious"." I don't see how this is an example for this - an illustration of need of rigor would be a situation where "obvious intuition" turns out to be wrong. Even if you accept the isoperimetric inequality without proof, as "obvious", nothing bad happens. $\endgroup$ Apr 10, 2011 at 9:54
  • $\begingroup$ Rigor is important both to avoid wrong proofs of wrong theorems and wrong proofs of true theorems, and there are lots of wrong proofs of the isoperimetic inequality which lead to interesting mathematics. See, for example: mathdl.maa.org/mathDL/46/… $\endgroup$ Apr 29, 2011 at 2:22
11
$\begingroup$

Robinston-Schensted-Knuth algorithm

This is a map between permutations to pairs of standard tableaux. So it immediately gives various wonderful facts. It is elementary, short and useful.

$\endgroup$
10
$\begingroup$

Helly theorem. It is easy to motivate state and prove in 30 minutes. It is very useful in terms of application as a fundamental example of a result in combinatorial geometry.

$\endgroup$
5
  • $\begingroup$ It is a very nice theorem, but it is not 100% useful. I think it would be much better to introduce nerve of covering (en.wikipedia.org/wiki/Nerve_of_a_covering) and use Helly as an illustration. $\endgroup$ Apr 4, 2011 at 20:58
  • $\begingroup$ Dear Anton, It really depends how advanced are these undergraduates. But in any case the nerve theorem seems too difficult for 30 minute. For advanced students you can mention at the end that Helly theorem can be seen as some older simple brother of the Nerve theorem. $\endgroup$
    – Gil Kalai
    Apr 4, 2011 at 21:43
  • $\begingroup$ No, I only suggested to present construction of nerve and use it to formulate Helly theorem. (Just because nerves are 100% useful.) $\endgroup$ Apr 4, 2011 at 23:58
  • $\begingroup$ MAybe it is a little late to ask, Anton, but what do you mean by 100% useful? $\endgroup$
    – Gil Kalai
    Apr 10, 2011 at 10:47
  • $\begingroup$ Not only do I consider Helly's theorem a very good topic and a 100% useful theorem, I would definitely segue into the statement of the fractional Helly theorem at the end of the talk as a beautiful illustration of the general idea that often, if the hypothesis to a theorem are almost but not quite fulfilled, the conclusion should be almost true too. $\endgroup$ Apr 11, 2011 at 22:48
8
$\begingroup$

Stokes' Theorem

$\endgroup$
3
  • 11
    $\begingroup$ Are you planning to introduce manifolds and differential forms in 30 min? $\endgroup$ Apr 3, 2011 at 20:45
  • 1
    $\begingroup$ Definitely a challenge. But that doesn't necessarily mean that it cannot be met. I must admit though that my suggestion is based more on how much I would have appreciated such a talk as an undergraduate, rather than on experience with its practicality. $\endgroup$ Apr 4, 2011 at 1:19
  • $\begingroup$ We had a 50 minute lecture on this once in second year undergraduate, with many details elided over, but it definitely left quite an impression. 30 minutes seems tight, but not ridiculous. $\endgroup$
    – Simon Rose
    Apr 4, 2011 at 21:15

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.