This page is an index of general methods for proving statements that begin with a universal quantifier. It needs to be improved and expanded, and the not yet active linked articles need to be written.
Method 1: Convert "every " into a single arbitrary Quick description ( All this means is that if you are trying to prove then you begin by writing "Let ," and you then try to prove that , perhaps ending by writing, "Since was arbitrary, the proof is complete." For example, if you are asked to prove that every group of prime order is cyclic, then you begin by writing "Let be a prime and let be a group of order ." You then proceed as though were a fixed number. )
Method 2: Induction Quick description ( If the statement is equivalent to a statement of the form " " then consider using induction in one of its various forms. For example, the statement "Every positive integer can be written as a product of primes" can be proved by starting with the line "Let be a positive integer and suppose that every positive integer less than can be written as a product of primes." )
Method 3: Classification Quick description ( If you find it hard to prove the statement for an abstract element of a set , then all is not necessarily lost: you may be able to classify the elements of and prove for each one. For example, if your statement is of the form "Every finite simple group has property " then you may find that does not follow straightforwardly from the simplicity assumption, but that it can be checked for any group that belongs to one of the infinite families of finite simple groups, and also for all the 26 sporadic groups. One could regard such a proof as starting with the line "Let be a finite simple group," and continuing with "By the classification of finite simple groups, must be one of the following groups." But the first of these two lines is not terribly helpful. This page is an annotated index of Tricki articles about different classification theorems and how they can be used. )
Method 4: Prove the result for some cases and deduce it for the rest Quick description ( It is often possible to establish a result for all objects in a collection by first establishing it for certain cases and then deducing the general result from these cases. This page gives links to various techniques of this general kind. )
Note that induction is a special case of method 1: in both cases we avoid having to write out a separate proof for every by writing a single proof for a variable . Because of this, every statement that begins with a string of quantifiers can be made to feel as though what it needs is a proof of existence. For example, if we are asked to prove from first principles that the function is continuous, then we are asked to prove that for every and every there exists such that if then . If we start by writing "Let be a real number and let ", then the problem becomes one of proving the existence of a positive number with a certain property. Of course, this property depends on and , as does . Another way of thinking of the problem as an existence problem is to say that we are trying to find a function of two variables and such that whenever and are real numbers with we have .
For this reason, the Tricki will concentrate far more on proofs of existence than on proofs of "for all" statements. However, there are some universal problems that do not convert so easily into existence problems, and there are also problems that are not naturally thought of as beginning with either an existential quantifier or a universal one, so the Tricki will not be devoted solely to existence problems.
Different styles of "for all" problem
This following pages are about universal statements of different common types.
Deducing one property from another Quick description ( Many mathematical theorems take the form " ", where is some mathematical structure and and are two properties that can have. For instance, "Every group of prime order is cyclic" comes into this category. There is no single method for proving all statements of this kind, but this article is a page with links to articles about solving various classes of them. )