Transfinite induction
Transfinite induction is a proof technique in mathematics that generalizes the induction known from natural numbers to any well-ordered classes, for example to sets of ordinals or cardinal numbers , or even to the real class of all ordinals. Accordingly, the transfinite recursion is a definition principle that generalizes the recursion for natural numbers. Georg Cantor carried out the first transfinite recursion in 1897. Felix Hausdorff raised it to the general principle of definition and also introduced transfinite induction as a principle of proof.
definition
The following proof scheme for a well-ordered class applies as transfinite induction :
- If one wants to prove that the statement holds for all , then it suffices to prove the following induction statement :
- When and for all with the statement is true, then applies .
That this proven induction statement is actually sufficient can be seen as follows: Be , that is the class of all elements of for which does not apply. Suppose is not empty, then there would be because of the well-ordering a smallest element (which o. B. d. A. also the element that the statement of smaller elements proves), and it would apply to each with also , by definition of so . Then, according to the proven induction statement, it also holds . On the other hand, it also follows immediately . Because of this contradiction, the assumption that is not empty was wrong, so that in fact holds true for all elements of .
application
If the class is ordinal numbers, the proof is often broken down into the following three proof steps:
- is true.
- Is an ordinal, it follows from well .
- If is a limit number and applies to every ordinal number , then also applies .
The first two steps coincide with the complete induction for natural numbers, because the set of natural numbers is the section of the class of ordinal numbers that extends to the first limit number.
Transfinite recursion
The following definition procedure applies as transfinite recursion in a well-ordered class :
- If it can only be defined by the values at points , this is already completely defined.
This recursion principle is now formalized for ordinal numbers.
Recursion theorem: let the class of ordinal numbers, the class of all sets and a term as recursion rule . Then there is exactly one transfinite sequence , so that the statement applies to all ordinal numbers .
Proof idea: One “combines” all recursively defined ordinal sequences with the same recursion rule to form a transfinite sequence. The recursion for an ordinal number captures the following statement:
- There is exactly one figure , so the statement applies to all of them .
These mappings therefore fulfill the same recursion rule, but are not defined for the entire class of ordinal numbers. From the uniqueness, however, it follows that these functions are continuations of one another and can be combined into a single transfinite sequence. The validity of for all ordinal numbers is shown by transfinite induction, as noted above in three sub-statements (it should be remembered that for ordinal numbers is synonymous with and that ):
- The statement is immediate because there are no ordinal numbers at all and the recursion rule applies trivially and because there is only one mapping anyway .
- If so , then it also applies : The existence of results from by putting if , as well as (necessarily) . If a function is according to the same conditions, then it follows first from the uniqueness statement in and then from the recursion rule as well , i.e. in total .
- Is bound number and valid for all , then applies : If so, there are with . You bet . This is well-defined, since it certainly applies to with because of the predictable statements . This also results in the uniqueness.
Thus the statement applies to all ordinal numbers . You can now define by betting for anything. This is well-defined (i.e. independent of the choice of ), so that one can simply choose.
application
As with transfinite induction, with transfinite recursion you can work with three instead of one recursion rule : with an initial function value , a rule for successor numbers (often in the simpler form ) and a rule for limit numbers. The first two recursion steps coincide with the usual recursion for natural numbers.
Examples
- Let a fixed ordinal number and the recursion rule be chosen as follows: If the graph is a function, let the smallest ordinal number not appear in (and otherwise arbitrary). The function defined recursively (depending on ) always delivers an ordinal number (follows by transfinite induction) and it applies , etc. One writes for and thus defines the addition of ordinal numbers.
- The addition can also - more easily understood - be defined by three recursion steps:
- ,
- such as
- if is limit number.
- With transfinite recursion it can be shown: Every well-ordered set is order isomorphic to an ordinal number. Proof idea: One tries to define by means of the recursion rule . This would be automatically injective, but this cannot be because there is no real class. For the smallest ordinal number at which the recursion fails, an order isomorphism results with .
- Transfinite recursion also defines the cumulative hierarchy of sets.
Individual evidence
- ↑ transfinite recursion for the definition of the power of ordinals, in: Cantor: Contributions to the foundation of transfinite set theory 2. , in: Mathematische Annalen 49 (1897), §18, 231f.
- ↑ Felix Hausdorff , Egbert Brieskorn : Basics of set theory . 1st edition. Springer, Berlin, 2002, ISBN 3-540-42224-2 , pp. 112 f . ( limited preview in Google Book search).