Basic results with three or more hypotheses

Question

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.

Answer 1

A non-empty, perfect, compact, totally disconnected, Hausdorff, second countable topological space is homeomorphic to the Cantor set.

Answer 2

The real line $\langle\mathbb{R},\lt\rangle$ is (up to isomorphism) the unique nonempty, separable, complete, dense, endless total order.

(All conditions are needed: Without separable we have for example $[0,1]\times\Bbb R$ with lexicographic order, without complete we have $\Bbb Q$, without dense we have $\Bbb Z$, without endless we have $[0,1]$, all with standard order)

Answer 3

An integral domain is called a Dedekind domain if it's not a field and every nonzero proper ideal admits a unique factorization into prime ideals. This is the most concrete way to say what a Dedekind domain is. But how do you check if a ring is a Dedekind domain? Emmy Noether found three conditions: if a domain is Noetherian, integrally closed, and one-dimensional then it's a Dedekind domain. Moreover the converse holds, so you can't make the number of hypotheses smaller in a non-artificial way. (In some references you will find those three conditions used as a definition of Dedekind domains.)

Answer 4

If two quadratic forms over $\mathbb{Q}_p$ have the same rank, discriminant and Hasse invariant, then they are equivalent.

Answer 5

A basic example from undergraduate topology that comes to my mind is the theorem on the existence of universal covers.

Theorem. Let $X$ be a topological space. Then, there exists a universal covering space $\pi\colon \tilde{X}\rightarrow X$ if $X$ is connected, locally path connected and semi-locally simply connected.

Answer 6

The central limit theorem: if random variables $\{X_n\}_{n \in \mathbb{N}}$ are (A) Independent, (B) Identically distributed, and (C) have finite variance then (D) $(\sum_1^n X_i - n\mu)/\sqrt{\sigma^2 n} \to N(0,1)$.

Answer 7

A compact convex subset of $\mathbb{R}^n$ with nonempty interior is homeomorphic to the $n$-dimensional ball.

Answer 8

In representation theory, one oftens sees long lists of adjectives: "If $V$ is an irreducible, admissible, smooth representation, then ... ".

In the theory of group schemes, similarly long lists can appear: "If $G$ is a reduced commutative finite flat group scheme then ... " or "If $G$ is a connected commutative finite flat group scheme then ...". (Here "group scheme" is one term --- it is the basic object --- but the other three adjectives are applied independently, although "finite" and "flat" come together so often that maybe you can argue they should be treated as a single property.)

In the theory of automorphic forms and Galois representations one has "If $\pi$ is a regular, algebraic, essentially conjugate self-dual, cuspidal automorphic representation, then ...". (In this case people introduced the pleasing acronym RAECSDC in order to simplify statements.)

None of these examples are from undergraduate mathematics, of course, and ideed they are taken from areas with some reputation for technical complexity. The examples of modularity theorems that Kevin mentions in his comment above are from the same field as my RAECSDC example. I think that the long lists of adjectives in the statements of results from these fields is certainly related to their reputation for being technical.

Answer 9

How about the Stone-Weierstrass theorem? If $\mathcal{A}$ is a collection of real-valued continuous functions on the compact Hausdorff space $X$ which (1) is an algebra, (2) separates points, and (3) contains the constants, then it is dense in $C(X)$. (For complex-valued functions, add (4) closed under conjugation.)

Measure theory has the monotone class and $\pi$-$\lambda$ theorems that are of a similar nature, but there we usually assign names to the hypotheses (e.g. a $\lambda$-system, which is short for three different properties).

Answer 10

Dear Tim: perhaps I misunderstood your question, but I think any reasonably technical field has a few examples. I heard algebraic geometry is such a field, so I looked up a couple of sources and found these two:

1) Let $f: R\to S$ be a local homomorphism of local rings. Suppose $R$ is regular, $S$ is Cohen-Macaulay, $f$ is finite and $\text{dim} R = \text{dim} S$. Then $f$ is flat.

This is a basic result that is used quite frequently. I don't think you can drop any of the hypotheses, they are all basic definitions and independent of each other.

Or how about:

2) A morphism of schemes $f: X \to S$ is quasi-finite if it is locally of finite type, quasi compact and has finite fibres.

Again, I don't think you can drop any of the hypotheses. I am reasonably sure EGA has a few more results like this (-:

Answer 11

Here is another one: a finite irreducible aperiodic Markov chain is ergodic.

Answer 12

What about the textbook general version of the original Gödel incompleteness theorem: if $T$ is recursively axiomatized, sufficiently strong, and $\omega$-consistent, it is incomplete (where sufficient strength means representing every recursive function)?

Answer 13

The HSP-theorem from universal algebra: If a class of algebraic structures (over a given signature) is closed under homomorphic images, substructures and products, then it is defined by a set of equations.

Answer 14

Any field that is algebraically closed, characteristic zero, and of continuum cardinality is ring-theoretically isomorphic to the complex numbers.

Answer 15

A countable, dense linear ordering without first or last element is isomorphic to $\mathbb Q$.

I once heard someone use the acronym DLOWFOLE. That reduces the number of hypotheses but I think it's sort of cheating.

Answer 16

Krein-Milman Theorem. In a Hausdorff, locally convex topological vector space (my one), a compact (my two) convex (my three) subset is the closed convex hull of its extreme points.

It has wonderful applications. For instance, that $L^1({\mathbb R}^n)$ is not the dual of a Banach space.

Baire Theorem. In a complete metric (one) space, a denumerable (two) intersection of dense open (three) subsets in dense.

It is used in the proof of

Banach Theorem. Let $E$ be a Banach space (one), $F$ be a Banach space (two), $f:E\rightarrow F$ be linear, bounded (three). Then $f$ is open (the image of the unit ball is a neighborhood of $0_F$).

Answer 17

Let $G$ be a discrete group. If there exists a subgroup of $G$ which is (1) infinite, (2) normal, and (3) amenable, then the first $l^2$-Betti number of $G$ vanishes.

Answer 18

A nice example from recent work in set theory.

Theorem (Viale). Assume Martin's maximum, and that every limit cardinal is a strong limit. Suppose that $N$ is an inner model, that $N$ has the same cardinals as $V$, and that $V$ is a forcing extension of $N$. Then every $\omega_1$-sequence of ordinals is in $N$.

We actually expect that the assumptions that limit cardinals are strong limit, and that $V$ is a forcing extension of $N$, can be removed.

Answer 19

Every compact, connected, locally connected metric space is the continuous image of the unit interval

Answer 20

Whyburn's Theorem: Let $S$ be a planar set that is compact, connected, locally connected, nowhere dense, and such that any two components of the complement are bounded by disjoint simple closed curves. Then $S$ is homeomorphic to the Sierpinski carpet.

Answer 21

Lindstrom's theorem: if $L$ is a regular logic which is compact, has the Lowenheim-Skolem property, and extends first-order logic, then $L$ is (equivalent to) first-order logic. Compactness and the Lowenheim-Skolem property are both very important notions, which are (in abstract model theory) often studied independently of each other; regularity and extending first-order logic are slightly more minor, but I still think they are substantial enough to count as individual hypotheses. ("Regular" means that given a formula $\phi$ and a predicate symbol $U$, there is a single formula $\phi^U$ such that for all structures $M$ in a language containing $U$ and all symbols used in $\phi$, we have $M\models\phi^U\iff M^U\models\phi$.)

Answer 22

Tim: here's one from a course I am giving now (I think you know which): let $B\subset \mathbb{R}^n$ be a nonempty subset. Then there is a norm on $\mathbb{R}^n$ whose open unit ball is $B$ iff $B$ is open, convex, symmetric and bounded. (I think it would be poor style to move "nonempty" into the 2nd sentence, since that is such an obvious condition, but that would make 5...)

Answer 23

Poincaré Conjecture. If you are (A) a 3-manifold, (B) closed, and (C) simply-connected, then you are (D) the 3-sphere.

Answer 24

The principle of transfinite induction is often stated as the following theorem.

Theorem. Suppose that $A$ is a class of ordinals. If

• (zero) $0$ is in $A$,
• (successor) whenever an ordinal $\alpha$ is in $A$, then $\alpha+1$ is also in $A$, and
• (limit) if $\lambda$ is a limit ordinal and $\lambda\subset A$, then $\lambda\in A$,

then $A$ contains all ordinals.

There are other accounts of transfinite induction that unify the hypotheses into the single statement that whenever all smaller ordinals than an ordinal $\alpha$ are in $A$, then $\alpha$ is in A, and it is considered more elegant to use that formulation when it is possible, but nevertheless many uses of transfinite induction consist in verifying the three properties above.

Answer 25

Let $K$ be an ordered field, and $v$ a valuation on $K$ with convex valuation ring. If $(K,v)$ is henselian, the value group is divisible, and the residue field is real-closed, then $K$ itself is a real-closed field.

There is also an analogous statement for algebraically closed fields of characteristic $0$.

Answer 26

Kolmogorov's three series theorem.

Answer 27

The examples I've seen so far are not undergraduate-level, at least, not anywhere I've taught. The Fundamental Theorem of Galois Theory is undergraduate-level, and can be stated, in part, as follows: if $K$ is separable (that's one), normal (that's two), and finite (that's three!) over $F$, then the number of elements in the Galois group of $K$ over $F$ equals the degree of $K$ over $F$.

Answer 28

Two answers.I'm thinking about trees because of the two out of three property: For a simple (no multiple edges) undirected graph G, any 2 of the three conditions

1. cycle-free (better acyclic)
2. connected
3. #edges=#vertices-1

Means G is a tree.

Of course that isn't what you asked. Condition three is not one word although we could coin uni-deficicient

so simple+undirected+acyclic+connected defines tree.

Certain sets are relations (basically any set of ordered pairs). Not counting that as a condition

For a relation, reflexive+symmetric+transitive defines Equivalence relation

similarly reflexive+antisymmetric+transitive defines partial order

Actually there are $k$-ary relations for other $k$ so one could quantify over all relations and restrict to binary relations.

Answer 29

Here is a really basic example. Suppose that $\phi:M_n(K)\rightarrow K$ satisfies $(a)$ $\phi$ is multilinear, $(b)$ $\phi$ is alternating and $(c)$ $\phi(E_n)=1$. Then it follows $(d))$ $\phi(A)=\det (A)$.

Answer 30

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