Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

During the fall semester, I had to give an exercise class to second year math students, as support for a theoretical class loosely based on the book `Differential geometry of curves and surfaces' by Do Carmo. Now and then I succeeded in squeezing in some fun topics not covered in the theory class, like the four-vertex theorem, minimal surfaces, de Rham cohomology of $\mathbb{R^{3}}$, ... Next week I have to give the last class, and I want to finish with some very nice theorem or set of ideas. Does anyone have any experience with this? Maybe someone was once in a class that tried to do something similar? There are a couple of criteria:

  • It should take about an hour to explain
  • It should only need the embedded definition of a variety, not the intrinsic one
  • It is around the level of Do Carmo
  • The prerequisites are the first and second fundamental form, normal and Gauss curvatures, the theorema egregium and basic ideas on geodesics and geodesic curvature.

One of the physicists in the class asked me to say something about general relativity and differential geometry, but having looked through a number of references, this seems rather hard.

share|cite|improve this question
Does it have to be rigorous? You could show them some nice results of Morse theory. Or use de Rham cohomology to prove the Jordan curve theorem. – Ragib Zaman Dec 17 '12 at 9:15
It doesn't have to be completely rigorous, but I definitely want them to get a feel for the proofs. What kind of results are you thinking of? – theo Dec 17 '12 at 14:49

From Gauss-Bonnet one quickly gets the Poincare-Hopf Theorem, which is an important and interesting result in its own right. You also get the corollary that you can't comb the hair on a compact oriented surface unless its homeomorphic to a torus (the Hairy Ball theorem in the case of a sphere). Now you have the tools to prove the following theorem of Morse:

Let $f :\Sigma\to \mathbb{R}$ be a smooth function on a compact oriented surface such that all the critical points of f are nondegenerate. Let M = number of local maxima, m= number of local minima, and s= number of saddle points. Then $$ M-s+m = \chi (\Sigma).$$

Impress on them that this is quite remarkable - it doesn't depend on what $f$ actually is. The topology of the surface alone determines in some sense how extrema form and deform. As a simple application, you can take the height function on a compact oriented surface with $g$ holes to see that it has Euler characteristic $2-2g.$

share|cite|improve this answer

The Cauchy-Crofton theorem is a nice one. Have you not covered Gauss-Bonnet? That's a standard.

share|cite|improve this answer
I'd like to do something on surfaces, the Cauchy-Crofton theorem is definitely nice, but I already discussed related results when I discussed curves. Gauss-Bonnet is covered. – theo Dec 17 '12 at 14:48

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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