Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

A while back I saw posted on someone's office door a statement attributed to some famous person, saying that it is an instance of the callousness of youth to think that a theorem is trivial because its proof is trivial.

I don't remember who said that, and the person whose door it was posted on didn't remember either.

This leads to two questions:

(1) Who was it? And where do I find it in print---something citable? (Let's call that one question.)

(2) What are examples of nontrivial theorems whose proofs are trivial? Here's a wild guess: let's say for example a theorem of Euclidean geometry has a trivial proof but doesn't hold in non-Euclidean spaces and its holding or not in a particular space has far-reaching consequences not all of which will be understood within the next 200 years. Could that be an example of what this was about? Or am I just missing the point?

share|improve this question
7  
This is anti-climactic since you (rather quickly!) chose an answer, but what is your definition of "nontrivial theorem"? For example, would Schur's Lemma or Maschke's theorem have counted? –  Boyarsky Jun 20 '10 at 2:10
5  
I also think this should be community wiki (since there really isn't a right answer). –  Akhil Mathew Jun 20 '10 at 2:20
5  
Very often non-trivial theorems become definitions, or new definitions are specifically chosen so that they become trivial. Thereafter, they have trivial proofs. For example, the fact that homology is invariant under homotopy is (almost) trivial once you know singular homology. Even more often, our whole way of viewing math changes so that we get used to some new amazing discovery (as in Joel's example of existence of uncountable sets below) –  Ilya Grigoriev Jun 20 '10 at 3:03
11  
"callousness" or "callowness"? –  Yemon Choi Jun 20 '10 at 3:12
4  
To Boyarsky: he chose the answer because it gave the source of the quote. –  Zsbán Ambrus Jun 20 '10 at 11:43

34 Answers 34

I am surprised that no one has mentioned Cantor-Schröder-Bernstein Theorem. It certainly is a non-trivial theorem until you see it for the first time. The proof I linked here, I believe, could be considered a trivial one if you draw "the picture" and observe how the constructed bijection maps the elements.

Another example could be Łoś's theorem. The proof is basically going through definition of ultraproducts and carrying out an induction on formulas. It is tedious to write down but at its core a trivial one. Though, I am reluctant to call the theorem itself trivial!

share|improve this answer
1  
I agree about Łoś's theorem, but not the Cantor-Schröder-Bernstein Theorem. The latter seems like the opposite: The theorem is a trivial "squeeze theorem" about cardinal numbers, but it took 3 guys to get a correct proof. The proof is not that long, but it's clever and IMHO not "trivial." –  Monroe Eskew May 9 at 1:19

$$ \int u\,dv = uv - \int v \, du. $$

The whole theory of generalized functions follows, as do lots of other things.

share|improve this answer

The theorem that differential generalized cohomology is characterized by a differential cohomolgy exact hexagon -- originally asked/conjectured generally and proven for the ordinary case by (Simons-Sullivan 07) -- turns out to follow formally "by stable cohesion" (Bunke-Nikolaus-Völkl 13). A quick review is here: ncatlab.org/schreiber/show/IHP14.

share|improve this answer

The proof that the deRham cohomology is equivalent to singular cohomology on a smooth manifold is in some sense trivial: one shows that the de Rham complex is a soft (hence cohomologically trivial) resolution of the constant sheaf, and it is not too hard to show that the cohomology of the constant sheaf is the same as singular cohomology. In a sense, it just follows from "abstract nonsense" about derived functors being computable from acyclic resolutions and the fact that soft resolutions are acyclic (a partition of unity argument). But it is certainly a nontrivial theorem.

share|improve this answer
4  
So the proof of Serre's GAGA theorems is trivial, granting analytic and algebraic finiteness and ampleness theorems. The proof of Mordell-Weil is trivial, granting the theory of abelian varieties, height functions, and general finiteness theorems of Galois cohomology. If one does the hard foundational work beforehand, then yes, what remains is trivial. To make the deRham theorem useful, we need properties of the isomorphism. So a test: can you prove the integration map trivialization of top-degree cohomology on a compact oriented manifold matches the one defined in singular cohomology? –  Boyarsky Jun 20 '10 at 2:51
1  
Unfortunately not, because I know nothing about singular cohomology. –  Akhil Mathew Jun 20 '10 at 3:26
2  
Akhil, no worries: now you have a good exercise to keep in mind as you learn more about singular cohomology. You probably won't find it proved in any book (I never did), but eventually you'll figure it out for yourself. At least it gives you more appreciation for the subtlety of the deRham isomorphism. (By the way, the compatibility with cup products is another good one, but that is elegantly handled in Godement's sheaf theory book via "general nonsense" with pairings of resolutions.) There's also the matter of cohomology with compact supports... –  Boyarsky Jun 20 '10 at 3:44
1  
Wow, I thought I was the only person in the world who learned sheaf cohomology before learning any other type of cohomology theory! I remember that the first diagram I ever chased was the diagram giving the long exact sequence in cohomology associated to a short exact sequence of sheaves (my teacher told me that it would be more instructive to prove it by myself <grin>). –  Andy Putman Jun 20 '10 at 19:22
1  
Akhil, the book of Greenberg & Harper is short & sweet (with nice exercises). Their discussion of orientation is curious since use an "orientation sheaf" but don't have the general notion of sheaf and so get stuck in some contortions. Anyway, you can get a .djvu file of Munkres' book from our Russian friends at extracoder.com/genesis/0072.html (look for item 72583 in the numbering of the left column). And .djvu of Greenberg & Harper is at rapiddigger.com/download/… –  Boyarsky Jun 21 '10 at 3:27

protected by François G. Dorais May 8 at 21:53

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

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