MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

When you study a topic for the first time, it can be difficult to pick up the motivations and to understand where everything is going. Once you have some experience, however, you get that good high-level view (sometimes!) What I'm looking for are good one-sentence descriptions about a topic that deliver the (or one of the) main punchlines for that topic.

For example, when I look back at linear algebra, the punchline I take away is "Any nice function you can come up with is linear." After all, multilinear functions, symmetric functions, and alternating functions are essentially just linear functions on a different vector space. Another big punchline is "Avoid bases whenever possible."

What other punchlines can you deliver for various topics/fields?

share|cite|improve this question

closed as no longer relevant by Felipe Voloch, Todd Trimble, Andrés E. Caicedo, Joël, Alex Bartel Oct 8 '12 at 8:48

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

This is a very good question, but to be useful and not just fun one should look critically at many of the answers below. – Gil Kalai Nov 8 '09 at 7:54
Gil, I am very skeptical about the value of this question. I don't think many of the answers given are that useful, because one won't get the punchlines unless one has acquired experience in the subject (and then, why would you need the punchline?). – Todd Trimble May 20 '11 at 13:27
@Todd: to get fodder for a cocktail party level conversation.... – Suvrit Aug 28 '12 at 14:32
@Suvrit: I guess it would be more of a "Big-Bang-Theory"-kind of party ;-) – vonjd Oct 7 '12 at 18:37

48 Answers 48

Homological algebra - In an abelian category, the difference between what you wish was true and what IS true is measured by a homology group.

share|cite|improve this answer
May I ask, what is it that one wishes to be true (in an abelian category)? – user2529 Feb 27 '11 at 13:11
@Colin: One wants certain functors to be exact, e.g., the Hom-functor gives Exts, tensoring with a module gives Tor. – J.C. Ottem Feb 28 '11 at 0:26
Those are certainly the examples that give the most classical derived functors, but I think this platitude is more helpful when applied to a question which isn't obviously measured by a homology group. – Greg Muller Feb 28 '11 at 2:03
For example, once I was comparing $\overline{I\cap J}$ to $\overline{I}\cap \overline{J}$, where the bar denotes taking the associated graded module with respect to some filtration of $R$-ideals $I$ and $J$. I suspected that there was some homology group which vanished exactly when those coincided, and I was correct (it was a rather complicated $Tor$). – Greg Muller Feb 28 '11 at 2:05
What would be the difference measured by cohomology groups? – Camilo Sarmiento Oct 8 '12 at 15:32

Functional analysis: Everything you know from linear algebra is true, under the right conditions; otherwise it's false.

share|cite|improve this answer
And he gets 1 point for THIS. Might as well say,"Topology.Everything you know from calculus is true under the right conditionn.Otherwise it's false," I give up......... – The Mathemagician Oct 28 '10 at 7:10
Like MO points are the end-all and be-all of existence. – Ketil Tveiten Oct 28 '10 at 11:57
One difference is that whereas most linear algebra concepts generalize nicely to, say, Banach spaces, differentiation, perhaps the most basic concept of calculus, doesn't make sense in a topological space. – gowers Oct 28 '10 at 14:17
I like this one because despite its tautological flavor, it is not. – Pietro Majer Dec 30 '10 at 17:41
... differentiation being just another linear operator.... under the right conditions. :) – paul garrett Oct 7 '12 at 17:31

Complex Analysis: Holomorphic functions are just rotations and dilations up to the first order.

Hold on...

Calculus: Differentiation is approximation by a linear map.

share|cite|improve this answer
I like your description of calculus -- I am teaching multivariable calculus this semester, and I think the students have a hard time accepting that the "right" definition of differentiability is that a good linear approximation exists, instead of the more natural-seeming idea that all of the first partials exist. – Gabe Cunningham Oct 22 '09 at 19:16
About that description of complex analysis, see Needham's Visual Complex Analysis. – lhf Nov 8 '09 at 23:39
@Gabe: I'm teaching multivariable calculus this semester too, but I defined the derivative to be the linear approximation first, and then introduced partial derivatives as a useful computational technique. – Jeff Strom Oct 27 '10 at 18:26
Damn,your first is basically one of the ones I gave below only with more detail. I'm a very firm believer in the geometric approach to classical complex analysis,especially in an undergraduate course.To me,this is really what makes complex analysis different from real analysis:The directness of the connection between the geometry of the plane and the analytic component in C. As for your second,I was first taught it in vector calculus by Josef Dodzuik and it's never lead me wrong. – The Mathemagician Oct 27 '10 at 21:04
How can we describe a second-order derivative? – user2529 Feb 27 '11 at 13:13

Complex Analysis: Taylor series behave the way you want them to in real analysis.

share|cite|improve this answer
When I was taking complex analysis, I remember someone saying "Complex analysis is the Disneyland of mathematics" because so many incredible theorems turn out to be true. – John D. Cook Oct 25 '09 at 1:51

Real Analysis: Get your hypotheses right, or suffer the counter-examples!

Measure Theory: "Every [measurable] set is nearly a finite union of intervals; every [measurable] function is nearly continuous; every convergent sequence of [measurable] functions is nearly uniformly convergent." -- J.E. Littlewood

share|cite|improve this answer
Not to disparage the quote, but I find it funny that a function that is nowhere continuous (such as x=0 if rational, 1 otherwise) can be called 'nearly continuous'. – Ketil Tveiten Oct 28 '10 at 11:51
It's a question of where you put the quantifiers. For almost every point, the value is almost the same as it is at almost every nearby point. – gowers Oct 28 '10 at 16:59
and finally someone precisely explains why I don't like real analysis ;) – David Corwin Dec 28 '12 at 6:58

One punchline in algebraic geometry is that all commutative rings are actually the ring of functions on some space.

share|cite|improve this answer

Lie groups: Think locally, act globally. ;)

share|cite|improve this answer
This applies to many other areas as well. – Gil Kalai Nov 8 '09 at 7:48
@Gil I totally agree.In fact,this can be the slogan for topology in general with some slight modifications. – The Mathemagician Oct 27 '10 at 20:57
A slight variant of it has been proposed elsewhere: – L Spice May 21 '11 at 6:34
Less catchy, but: "think at the identity, act globally" is more specific to Lie theory. – Paul Siegel Jan 7 '12 at 18:08

Analytic combinatorics: generating functions are awesome.

("generating functions are awesome" is actually the title of a talk I gave a couple weeks ago.)

share|cite|improve this answer
There is also the book by Flajolet and Sedgewick, which is available at – lhf Nov 10 '09 at 11:50
@Andrew L : While I didn't vote this answer up, it is at least (arguably) correct. Your answer, on the other hand, reveals a profound misunderstanding of probability theory. Though probability theory uses many tools from real analysis (eg measure theory), the way it uses those tools and the intuition/philosophical explanation behind them is completely different from those of traditional real analysis. Not to mention that your answer pretends there doesn't exist a giant field of finitary probability that is much more closely connected with combinatorics than with real analysis. – Andy Putman Oct 28 '10 at 1:56
I can't believe someone would come along a year later and make this comment. – Michael Lugo Oct 28 '10 at 3:50
@Michael : Obviously, you have not been following the saga of Andrew L... – Andy Putman Oct 28 '10 at 4:18
@Andy Wise-ass comment to Micheal aside,you made a very fair objection above. Discrete probability is fully half the science.I could counter it by saying combinatorics is essentially analysis on finite sets,but that's a real stretch. – The Mathemagician Oct 28 '10 at 4:25

Operator theory: all separable infinite-dimensional Hilbert spaces are isomorphic, but they aren't all the same and moving your problem between them works wonders.

share|cite|improve this answer

One of my favorites:

"Algebraic topology is the "art" of Not doing the integral"

share|cite|improve this answer

Homotopy theory is an attempt to do homological algebra in non-abelian categories.

share|cite|improve this answer
Hmmmmmm-any of the topologists want to take issue with this one as an oversimplification? – The Mathemagician Nov 28 '10 at 6:19
really andrew? If anything most answers are vast oversimplifications. This one does in fact have some meat to it though. Quillen's theory of model categories is precisely what (I think) is being referenced. With a simplicial model structure you can do resolutions like you would in homological algebra. – Sean Tilson Nov 28 '10 at 17:20
Quillen's first paper on model categories was called "Homotopical Algebra" to emphasize this analogy. But homotopy theory was a subject before that sort of abstract homotopy theory came in, and although derived-functor methods are an important tool in the homotopy theory of spaces they aren't what it's all about. – Tom Goodwillie May 21 '11 at 14:38
It's actually one of the better slogans here. – Todd Trimble Oct 7 '12 at 18:10
Although I'd apply it more to model category theory. – Todd Trimble Oct 7 '12 at 18:11

Numerical analysis: The purpose of computing is insight, not numbers. — Richard Hamming (1962)

share|cite|improve this answer
There's also: The purpose of computing numbers is not yet in sight. — Richard Hamming (1971) – lhf Nov 3 '09 at 0:52

Algebraic geometry: CommRing behaves a lot like Setop.

share|cite|improve this answer

The bonniest mot I can ever recall — from some graduate algebra course:

  • "Free" is just another word for nothing to do on the left.
share|cite|improve this answer
In algebra, "freedom's just another word for nothing left to lose". :-) – Todd Trimble May 20 '11 at 13:23

Renormalization in quantum field theory: "just because something is infinite doesn't mean it is zero". (Explanation: this was said in about 1950 when regularization/renormalization was discovered as a way of getting sensible non-zero values for formally infinite expressions.)

share|cite|improve this answer
I was going to make a snarky comment about typos, but then your explanation made me think it wasn't a typo after all. As someone who doesn't know anything about renormalisation, I ask snark-free: is the quote really "… doesn't mean it is zero" rather than "… doesn't mean it isn't zero"? – L Spice Oct 8 '12 at 14:39

Logic teaches us that (untrained) intuition is often wrong, but that when it's right, it's for the wrong reason.

share|cite|improve this answer
Deeper than it looks like at first sight, you shouldn't vote it down so easily! – Jose Brox Nov 8 '09 at 2:19
I disagree that most logic is true for the wrong reasons. I think many people just haven't developed good intutitions about logic. – Richard Dore Nov 11 '09 at 19:43
Studying logic seems to be equivalent to developing good intuitions about logic. I'll edit this to read "untrained intuition"; maybe that is a better way to put it. – user1241 Nov 12 '09 at 7:43

Analytic Number Theory: log log log log log...

Did I see that quote in Havil's book Gamma?

share|cite|improve this answer

Representation theory of Lie groups: there is a whole world between $\mathrm{Sym}^n V$ and $\wedge^n V$. (Okay, this is an oversimplication - I am talking about the representations of $\mathrm{GL}\left(V\right)$ here, but this is the fundament of all other classical groups.)

Constructive logic: if you can't compute it, shut up about it. (At least some forms of constructive logic. Brouwer seemed to have a different opinion iirc.)

Homological algebra: How badly do modules fail to behave like vector spaces?

Gröbner basis theory: polynomials in $n$ variables can be divided with rest (at least if you have some $O\left(N^{N^{N^{N}}}\right)$ of time)

Finite group classification: what works for Lie groups will surely be even simpler for finite groups, right? ;)

Algebraic group theory: In order to differentiate a function on a Lie group, we just have to consider the group over $\mathbb R\left[\varepsilon\right]$ for an infinitesimal $\varepsilon$ ($\varepsilon^2=0$).

Semisimple algebras: The representations of a sufficiently nice algebra mirror a structure of the algebra itself, namely how it breaks into smaller algebras.

$n$-category theory: all the obvious isomorphisms, homotopies, congruences you have always been silently sweeping under the rug are coming back to have their revenge.

Modern algebraic geometry (schemes instead of varieties): let's have the beauty of geometry without its perversions.

How many of these did I get totally wrong?

share|cite|improve this answer
I'm sure at least some people would reverse the last one... – Ketil Tveiten Oct 28 '10 at 11:56
D Grinberg, surely you meant ‘Lie group’ rather than ‘Lie algebra’ in the finite-group classification? – L Spice May 21 '11 at 6:38
Yeah, I did, thanks. – darij grinberg May 21 '11 at 9:37
@n-category theory: I would definitively watch that movie! :-D – Johannes Hahn Oct 7 '12 at 18:50
I like how the smiley ";)" is key to the description of finite group classification ;) – David Corwin Dec 28 '12 at 7:03

Geometric group theory: the large-scale geometry of a group is invariant under quasi-isometry.

share|cite|improve this answer

Topological Vector Spaces: You can make an infinite dimensional space have every nice property of finite dimensional spaces- but not all of them at once.

share|cite|improve this answer

Noncommutative Ring Theory: If it is not modules, then it is idempotents.

share|cite|improve this answer
This seems a bit too cryptic for me... – Yemon Choi Nov 8 '09 at 10:09
Well, when you try to prove some (non too-far-fetched) fact in Noncommutative Ring Theory, you have roughly two main families of techniques to resort to: 1) Techniques which involve modules. Facts about one-sided ideals, the categorical viewpoint, K-theory over the monoid of finitely generated projective modules, homological tools... 2) Techniques which involve idempotents. Taking corners, rings with local units, rings with enough idempotents, the Peirce decomposition... That's what I tried to comprise by this sentence ;-) – Jose Brox Nov 11 '09 at 11:00

Configuration space integrals: Don't take limits- compactify!

Dror Bar-Natan explained this punchline to me when I was just starting grad school.

share|cite|improve this answer

Sobolev spaces: H = W

(There are ostensibly two kinds of Sobolev spaces, denoted with H's and W's, plus some superscripts and subscripts. Someone wrote a paper showing that the two kinds were equivalent and entitled their paper "H=W.")

share|cite|improve this answer
Just in case anyone is interested, the paper is by Meyers and Serrin – Willie Wong May 3 '10 at 13:12
And the "H" is a cyrillic en, that stands for S.M.Nikolsky. – Pietro Majer Dec 10 '10 at 23:57
But this slogan explains nothing. – Todd Trimble Oct 7 '12 at 18:14

"set theory is the study of well-foundedness" - A.R.D Mathias

share|cite|improve this answer

I'll offer two punchlines for Galois Theory.

  1. There's a one-to-one, order-reversing correspondence between intermediate fields of a finite, normal, separable extension $K$ of $F$, and subgroups of the group of automorphisms of $K$ fixing $F$.

  2. A polynomial is solvable in radicals if and only if the Galois group of its splitting field is a solvable group.

share|cite|improve this answer

Terry Tao, in a post on Google Buzz, has given an overview of mathematics in the form of multiple "punch-lines" of the requested variety.

Here are three examples from Tao's post:

  • Algebra is the mathematics of the "equals" sign, of identity, and of the "main term"; analysis is the mathematics of the "less than" sign, of magnitude, and of the "error term".

  • Algebra prizes structure, symmetry, and exact formulae; analysis prizes smoothness, stability, and estimates.

  • Most of geometry would not be classified as either algebra or analysis, but simply as geometry.

Definitely Tao's aphorisms are thought-provoking and inspiring ... but are they useful ? Don't ask me! :)

Partly inspired by Tao's essay, here is a one-sentence definition of quantum mechanics (as optimized for systems engineers)  …

  • Quantum mechanics is the algebraic geometry of $n$-particle Hamiltonian flows and Lindbladian compressions as pulled-back onto the natural $r$-indexed stratification of $r$'th secant varieties of $n$-factor Segre varieties whose $r\to\infty$ limit is … $n$-particle Hilbert space.

… and it turns out to be very useful (and great fun) to rewrite standard quantum physics texts like Charles Slichter's Principles of Magnetic Resonance based upon this one sentence definition.

Joseph Landsberg's recent Bull. AMS review "Geometry and the complexity of matrix multiplication" (2008), which has been praised in multiple MathOverflow posts, provides an overview of the broad utility—despite their unwieldy name—of stratifications of secant varieties of Segre varieties (which extends far beyond quantum physics).

share|cite|improve this answer
I find Tao's slogans much better than yours -- sorry. – Todd Trimble Oct 7 '12 at 18:19

Algebraic Topology: Geometry is hard, and Algebra is easy so...

(I am sure this applies to many other fields, and certainly algebra is hard.)

share|cite|improve this answer

Analysis: Allez en avant, et la foi vous viendra (D'Alembert, to a student who had difficulty in believing the calculus of infinitely small. Translation: go on, and faith will be bestowed on you :)

share|cite|improve this answer

Quantization: First quantization is a mystery, second quantization is a functor (Edward Nelson)

share|cite|improve this answer
Where does he say that? – Todd Trimble Jul 23 '13 at 3:32

Etale cohomology - you can apply fixed-point theorems from algebraic topology to Galois actions on varieties.

share|cite|improve this answer
Though I could imagine thinking of a more eloquent rephrasing. – David Corwin Oct 7 '12 at 22:18
It's not bad though. Better than a lot of other answers. – Todd Trimble Oct 7 '12 at 22:22

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