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

Consider the following statement of the Arzela-Ascoli theorem.

Theorem. Let K be a compact topological space and let S be a subset of C(K). Then S is relatively compact if and only if S is uniformly bounded and equicontinuous.

There are various hypotheses needed here, but they divide up naturally into two classes: some, such as the compactness of K, are setting the scene, whereas others, such as the equicontinuity of S, are the "real" hypotheses that we assume. This is reflected in the way we state the theorem, putting the scene-setting assumptions in a sentence that begins "Let" so that the meat of the theorem can appear uncluttered in a second sentence that begins "Then".

What interests me is that nearly always when we do this we seem to have either one or two hypotheses. For example, a compact Hausdorff space is normal, or a metric space is compact if and only if it is complete and totally bounded. In this question I am asking for good exceptions to this rule. A truly good exception would be a statement of an undergraduate-level theorem that sets the scene and then talks about an object X, concluding, in the main sentence, that if X is A, B and C, then X is D, where A, B and C are adjectives or short adjectival phrases. (Thus, a technical lemma that needs five complicated conditions in order to hold does not count as a good exception.) It doesn't have to be from general topology -- it's just that there seem to be a lot of adjectives floating around in that area. At the time of writing, I don't have a single good example, though I fully expect them to exist.

Note that this is really a question about mathematical language, and in particular what prompts us to make definitions. After all, if we have a theorem that X is A, B and C implies that X is D, we can always define an X to be E if it is A and B, in which case we will have split the statement up into two parts, one saying that A and B imply E (a definition) and the other that E and C imply D (a theorem). It seems to me that we have a tendency to do this kind of thing because we like two-hypothesis statements.

I'm not going to use the big-list tag though, because I secretly hope that the result will be only a rather small list.

Edit: Some of the examples below are excellent. But I think I don't really want to count examples where we say something about a function between two different objects, where it is obviously quite natural to want information about the function and both objects. (For example, the statement that a continuous bijection from a compact topological space to a Hausdorff topological space is a homeomorphism needs at least three hypotheses for this reason.) Also, the distinction between scene setting and genuine meaty hypotheses is essential (even if slightly vague) if this question is to make any sense at all.

I would of course be happy with an example where we have a function between two objects, we regard all properties about the objects as scene setting, and we claim that three conditions about the function imply a fourth.

share|cite|improve this question
Whitehead: If X and Y are CW-complexes, both simply connected, and f: X ---> Y is a quasi-isomorphism, then f is a homotopy equivalence. If I remembered the theorem correctly, then that should be an example of three hypotheses leading to one conclusion. – Dylan Wilson Oct 22 '10 at 8:49
Dear Kevin, The same class of examples came to my mind immediately! – Emerton Oct 22 '10 at 15:32
Many modern modularity lifting theorems nowadays have a gazillion hypotheses, and the conclusion "...then rho comes from a modular form". Look at the new preprint on potential modularity and change of weight, by Barnet-Lamb, Gee, Geraghty and Taylor. Theorem A has three hypotheses and theorem B has six. Of course this isn't an undergraduate-level example, but it is certainly not a "technical lemma"---these are the main results of the paper, and the paper is expecting to sell based on these theorems with many hypotheses. – Kevin Buzzard Oct 22 '10 at 16:01
If a group is finitely generated, abelian and torsion free, then it is isomorphic to Z^n. – Ben Linowitz Oct 22 '10 at 16:36
A topological group is a profinite group (that is, an inverse limit of finite groups) if and only if it is compact, Hausdorff, and totally disconnected. – KConrad Oct 22 '10 at 17:39

36 Answers 36

This is P. Lévy's characterisation of Brownian motion: let $X=(X_t : t\geq 0)$ be a continuous martingale with quadratic variation equal to $t$; then $X$ is a Brownian motion.

share|cite|improve this answer

The following is classical in numerical linear algebra.

Let $A\in M_n({\mathbb R})$ be tridiagonal (one) with an invertible diagonal D (two). Assume that the eigenvalues of $J:=I_n-D^{-1}A$ belong to $(-1,1)$ (my three). Then the relaxation method converges for every choice of the relaxation parameter $\omega$ in the interval $(0,2)$; the optimal parameter is unique and equal to $$\omega^*=\frac{2}{1+\sqrt{1-\rho(J)^2}}.$$

If you do not like my two, you can take $\omega\in(0,2)$ as an hypothesis.

share|cite|improve this answer
Hmm ... I'm really looking for hypotheses that are given by single words or very simple phrases. – gowers Oct 22 '10 at 15:07

A very simple example (maybe too simple) which seems to be fit this cathegory is the Rolle's Theorem.

share|cite|improve this answer
I tend to see Rolle's Theorem as a lemma on the way to the Mean Value Theorem, which is a generalization that removes one of the hypotheses. – Toby Bartels Nov 7 '13 at 9:46

How about Parovicenko's Theorem ?

Assume CH. Let X be a compact zero-dimensional space without isolated points such that:

1) X is an $F$-space (that is, disjoint open $F_\sigma$ sets have disjoint closures).

2) $X$ is an almost $P$-space (that is, every non-empty $G_\delta$ set has non-empty interior).

3) $X$ has a base of cardinality continuum.

Then $X$ is homeomorphic to $\beta \mathbb{N} \setminus \mathbb{N}$

Parovicenko's characterization of $\beta \mathbb{N} \setminus \mathbb{N}$ is actually equivalent to CH by a result of van Douwen and van Mill.

It's interesting that Parovicenko's theorem is equivalent to a boolean-algebraic statement which uses only two essential hypotheses...

share|cite|improve this answer

Let $A\subset \mathbb{R}^d$ be (a)closed, (b) convex, and (c) contains the origin. Then $\left( A^{o} \right)^{o} = A$ where $o$ denotes the polar of $A$

share|cite|improve this answer

Purely because I didn't see any combinatorial example:

The Blow-up Lemma says that if you have a regular partition of a graph $G$, and a bounded-degree subgraph $H$ on the same number of vertices, then you can embed $H$ in $G$ if you 'should be able to', that is you can find a homomorphism from $H$ to the reduced graph of $G$ (put edges between parts of the partition corresponding to dense regular pairs) which maps the right number of vertices of $H$ to each part of $G$. Provided that you have 'super-regularity', which more or less means no cheating by having isolated vertices. If you unpack the vagueness here you get a reasonable list of conditions.

If you want to go further, try repeating this in sparse graphs. Now $G$ will have to be a subgraph of some random or pseudorandom graph, otherwise (as the OP knows well) the whole theory falls apart, but in addition there are two other ways to 'cheat' (two quite distinct ways of interfering with vertex neighbourhoods) and you have to exclude these to have a Blow-up Lemma.

I think this kind of thing is pretty ubiquitous in mathematics, actually: you have a general idea that in all nice situations X will be true. But when you try to make it precise, you discover a bunch of distinct nasty situations in which X fails, so you exclude them and then you have a theorem with many hypotheses.

share|cite|improve this answer

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.