Quick description
There are many statements beginning "for all" where the best approach is first to prove the result in a few cases and then to deduce it for everything else. Below are links to articles that discuss different techniques of this general kind. The distinctions between the techniques are not always clear cut.

Mathematical induction Quick description ( This is a classic example: to prove a property for all natural numbers , establish the base case first, and then deduce each statement for in turn from the preceding one .)

Using generators and closure properties Quick description ( Suppose that is some mathematical structure that is generated by some small subset . (The meaning of "is generated by" depends on what sort of structure is.) A useful method of proving statements of the form "Every element of has property " is to show that every element of has property and to show that anything you generate using elements that have property also has property . )

Prove the result on a dense subset and then prove that the set where the result holds is closed Quick description (A good way to prove that a result holds for all objects in a certain class is often to show that it holds for all objects of a certain simple kind, that objects of that simple kind are dense, and that the set of objects for which the result holds is closed. This technique is particularly useful when the objects in question are functions.)

Prove the result on a net first Quick description ( In probabilistic arguments, one sometimes wants to prove that it is possible for a statement to be true for every element of an infinite set, and one knows that for each element of the set a slightly stronger statement is true with probability at least for some very small . If there is a natural metric on the set, one can sometimes achieve this by proving that the set contains a net of size , and also that if the stronger result holds for every element of a net, then the weaker result holds everywhere. )

Create an epsilon of room Quick description ( To prove an "endpoint" or "degenerate" statement , first prove the nondegenerate statements for all small , then take limits as to recover the endpoint claim. )

Make use of special cases and transitivity Quick description ( If one is trying to prove that any two elements of some structure are equivalent in a certain way, it is often easiest not to prove this directly, but instead to prove that one particularly simple element is related to all the others and then exploit transitivity. )

Prove the result for a representative of each equivalence class Quick description ( Sometimes one can prove a result for every element of a set with an equivalence relation on it by proving the result for a representative of each equivalence class and proving that if the result is true for some element then it is true for all elements that are equivalent to that element. )

Establish an invariance principle first Quick description ( To prove a property for all , first show that is equivalent to for all in the desired parameter space. Then, one only needs to verify for a single , which one can choose to make the verification as easy as possible.)

Use the continuity method Quick description ( If you can show that the set of parameters obeying a property is nonempty, open, and closed, and the parameter space is connected, then must be obeyed by all choices of the parameter. )

Use conservation laws and monotonicity formulae to obtain longtime control on solutions Quick description ( Suppose one has a solution to an evolution equation (such as a PDE) which one controls well at some initial time (e.g. ). To then establish control for much later (or much earlier) times , one effective approach is to exploit a conservation law or monotonicity formula, which propagates control of some quantity at one time to control of a related quantity at other times.)

Do an extreme case first Quick description ( It often pays to first look at extreme cases when the parameter is very small (e.g. ) or very large (e.g. look at the asymptotic limit , holding other parameters fixed). If one can find a single method which works well for both extremes, then it is quite likely that it can also be extended to work for the intermediate cases as well. )
Comments
Post new comment
(Note: commenting is not possible on this snapshot.)