# Elementary+Short+Useful

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.

-
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.) – Willie Wong Apr 3 '11 at 18:28
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? – Yemon Choi Apr 3 '11 at 20:34
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... – Pete L. Clark Apr 3 '11 at 23:03
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. – Todd Trimble Apr 3 '11 at 23:10
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. – Mariano Suárez-Alvarez Apr 4 '11 at 17:10

-
+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. – Pete L. Clark Apr 3 '11 at 23:04
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." – Todd Trimble Jul 30 '11 at 19:17

Introduce generating functions and give couple of applications.

-
+1.  – Pete L. Clark Apr 3 '11 at 23:10

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.

-
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! – Pete L. Clark Apr 4 '11 at 0:10
Also known as the "Singularly Valuable Decomposition": www1.math.american.edu/People/kalman/pdffiles/svd.pdf – j.c. Apr 4 '11 at 2:05
Alex R., that's intriguing! Could you mention some of those synonyms? – L Spice Apr 8 '11 at 18:25
Principle component analysis (Stats), Schmidt Decomposition (Quantum Computation), multidimensional scaling, Low rank approximation, Multimode factor analysis, "Partison" index (voting) – Alex R. Apr 8 '11 at 19:59

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)
-
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. – Zen Harper Apr 6 '11 at 8:45
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? – L Spice Apr 8 '11 at 13:29
@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. – Chuck Apr 8 '11 at 17:15
@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". – Qfwfq Apr 10 '11 at 17:08
@Chuch: Perhaps your (good!) points on equivalence classes are a bit too general for a beginner. All this should be developed slowly during a mathematical education. I think a good starting point would be a very specific example (e.g. the construction of Z out of N). – Martin Brandenburg Apr 12 '11 at 6:21

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

-
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. – Pete L. Clark Apr 3 '11 at 23:12
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? :-) – Todd Trimble Apr 3 '11 at 23:22
@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. – Pete L. Clark Apr 3 '11 at 23:37
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. – Pete L. Clark Apr 3 '11 at 23:38
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. – Todd Trimble Apr 3 '11 at 23:45

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

-
As an alternative, you could just distribute copies of Proofs and Refutations... – dvitek Dec 19 '13 at 16:58

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.

-
Could you give a list of your favorite problems which are solved by this method? – Anton Petrunin Dec 3 '13 at 17:53
This applies to some PDEs as well, but this might be too complicated for an half-an-hour talk. – Giuseppe Negro Feb 2 at 23:14
-
+1.  – Pete L. Clark Apr 5 '11 at 14:06
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." – Todd Trimble Jul 30 '11 at 14:37
If the undergrads don't already know the Fourier transform, is there an elementary proof that one could actually provide..? – Phil Isett Nov 9 '11 at 16:20
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. – Michael Greinecker Dec 4 '11 at 10:15
@PhilIsett One can easily show that the sum of two uniforms is triangular. One can also use Excel and thereby invoke some experimental mathematics. – isomorphismes May 22 '14 at 7:47
-
… but the Pigeonhole Principle itself is extremely boring (I think); it's all in the applications. Which ones would you demonstrate? – L Spice Apr 8 '11 at 13:30

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?)

-
Willie, is that the contested argument (in both directions) from Courant and Robbins? – Yemon Choi Apr 3 '11 at 20:32
@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. – Willie Wong Apr 3 '11 at 20:42
I suppose dim=2 – Anton Petrunin Apr 3 '11 at 20:48
+1: again, this seems close to universally appropriate and useful. – Pete L. Clark Apr 3 '11 at 23:07

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.

-
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$. – Auguste Hoang Duc Apr 6 '11 at 16:36
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? – L Spice Apr 8 '11 at 18:29
@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. – Auguste Hoang Duc Apr 12 '11 at 8:25
@L Spice : Can you tell me about your method ? (sorry for the split, but the comment was too long). – Auguste Hoang Duc Apr 12 '11 at 8:30

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

-
Willie, when I was preparing this question, I wanted to include this theorem as an example. – Anton Petrunin Apr 3 '11 at 19:04
Link to wiki is broken – Alexander Chervov Nov 9 '11 at 11:19
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. – Alexander Chervov Nov 9 '11 at 11:28
@Alexander Chervov: thanks. Fixed. – Willie Wong Nov 9 '11 at 11:39

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.

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.

-
Nice lecture :) – Anton Petrunin Dec 19 '13 at 3:56
This is a great answer indeed. – Giuseppe Negro Feb 2 at 23:19
Now this indeed answers the original question! – Matemáticos Chibchas Jun 16 at 0:04

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.

-
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. – isomorphismes May 22 '14 at 7:49
-
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. – BMann Apr 4 '11 at 4:21
Link is broken. (Hopefully) correct one: en.wikipedia.org/wiki/Arzel%C3%A0%E2%80%93Ascoli_theorem – Woett Apr 5 '11 at 1:19
Thanks! Link Corrected. – Dirk Apr 5 '11 at 9:09

Hall Marriage theorem

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

-

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.

-
I find Groebner bases very valuable in general, it just simplifies so much! – Per Alexandersson Apr 4 '11 at 20:07
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. – Todd Trimble Apr 5 '11 at 12:30

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.

-
-

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

-
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. – Paul Siegel Apr 5 '11 at 17:16
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. – anonymous Apr 6 '11 at 0:01

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.

-

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

-
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). – Willie Wong Apr 3 '11 at 20:58
To minimize LaTeX code... you're right, it was silly. I editted it. – Daniel Moskovich Apr 3 '11 at 21:54

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

-
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". – Todd Trimble Apr 4 '11 at 20:39

The spectral theorem for normal operators.

-
I like this one, Gabriel. Could you tell why you think it will be 100% useful? (I'm just curious...) – Jon Bannon Apr 6 '11 at 1:18
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. – ght Apr 6 '11 at 1:31
Awesome, Gabriel, thanks! – Jon Bannon Apr 12 '11 at 12:15
@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... – Vectornaut Mar 27 '14 at 6:43
@Vectornaut: Preaching to the choir. Thanks for filling out the answer a bit! – Jon Bannon Mar 27 '14 at 12:14

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".
-
"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. – Marcin Kotowski Apr 10 '11 at 9:54
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/… – Paul Siegel Apr 29 '11 at 2:22

Elementary symmetric polynomials generate the ring of symmetric polynomials.

-
Freely (in the commutative sense)! – darij grinberg Nov 9 '11 at 19:18
(Yes, without the "freely" this fact is not so easy to apply.) – darij grinberg Nov 9 '11 at 19:19

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.

-

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.

-
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. – Anton Petrunin Apr 4 '11 at 20:58
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. – Gil Kalai Apr 4 '11 at 21:43
No, I only suggested to present construction of nerve and use it to formulate Helly theorem. (Just because nerves are 100% useful.) – Anton Petrunin Apr 4 '11 at 23:58
MAybe it is a little late to ask, Anton, but what do you mean by 100% useful? – Gil Kalai Apr 10 '11 at 10:47
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. – Thierry Zell Apr 11 '11 at 22:48
-
Are you planning to introduce manifolds and differential forms in 30 min? – Anton Petrunin Apr 3 '11 at 20:45
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. – Igor Khavkine Apr 4 '11 at 1:19
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. – Simon Rose Apr 4 '11 at 21:15

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.

-