Transfinite induction

Transfinite induction is an extension of mathematical induction to well-ordered sets, for instance to sets of ordinals or cardinals.

Transfinite induction

Let P(α) be a property defined for all ordinals α. Suppose whenever for all β < α, P(β) is true, then P(α) is also true. Then transfinite induction tells us that P is true for all ordinals.

That is, if P(α) is true whenever P(β) is true for all β < α, then P(α) is true for all α. Or, more practically: in order to prove a property P for all ordinals α, one can assume that it is already known for all smaller β < α.

Usually the proof is broken down into three cases:

• Zero case: Prove that P(0) is true.

• Successor case: Prove that for any successor ordinal β+1, P(β+1) follows from P(β) (and, if necessary, P(α) for all α < β).

• Limit case: Prove that for any limit ordinal λ, P(λ) follows from [P(α) for all α < λ].

Notice that the second and third case are identical except for the type of ordinal considered. They do not formally need to be proved separately, but in practice the proofs are typically so different as to require separate presentations.

Transfinite recursion

Transfinite recursion is a method of constructing or defining something and is closely related to the concept of transfinite induction. As an example, a sequence of sets A_α is defined for every ordinal α, by specifying three things:

• What A₀ is
• How to determine A_α+1 from A_α (or possibly from the entire sequence up to A_α)
• For a limit ordinal λ, how to determine A_λ from the sequence of A_α for α < λ

More formally, we can state the Transfinite Recursion Theorem as follows. Given class functions G₁, G₂, G₃, there exists a unique transfinite sequence F with dom(F) = Failed to parse (Missing texvc executable; please see math/README to configure.): \mathrm{Ord}

(Failed to parse (Missing texvc executable; please see math/README to configure.): \mathrm{Ord}
is the proper class of all ordinals) such that

• F(0) = G₁(Failed to parse (Missing texvc executable; please see math/README to configure.): \emptyset

)

• F(Failed to parse (Missing texvc executable; please see math/README to configure.): \alpha + 1

) = G₂(F(Failed to parse (Missing texvc executable; please see math/README to configure.): \alpha )), for all Failed to parse (Missing texvc executable; please see math/README to configure.): \alpha \in \mathrm{Ord}

• F(Failed to parse (Missing texvc executable; please see math/README to configure.): \alpha

) = G₃(FFailed to parse (Missing texvc executable; please see math/README to configure.): \upharpoonright \alpha ), for all limit Failed to parse (Missing texvc executable; please see math/README to configure.): \alpha \neq 0

Note that we require the domains of G₁, G₂, G₃ to be broad enough to make the above properties meaningful. The uniqueness of the sequence satisfying these properties can be proven using transfinite induction.

More generally, one can define objects by transfinite recursion on any well-founded relation R. (R need not even be a set; it can be a proper class, provided it is a set-like relation; that is, for any x, the collection of all y such that yRx must be a set.)

Relationship to the axiom of choice

There is a popular misconception that transfinite induction, or transfinite recursion, or both, require the axiom of choice (AC). This is incorrect. Transfinite induction can be applied to any well-ordered set. It is, however, very often the case that proofs or constructions using transfinite induction also use the axiom of choice to well-order a set.

For example, consider the following construction of the Vitali set: First, well-order the reals, say into a sequence <r_α | α<c >, where c is the cardinality of the continuum. Let v₀ equal r₀. Then let v₁ equal r_α1, where α1 is least such that r_α1 − v₀ is not a rational number. Continue; at each step choose the least real from the r sequence that does not have a rational difference with any element thus far constructed in the v sequence. Continue until all the reals in the r sequence are exhausted. The final v sequence will enumerate the Vitali set.

The above argument uses AC in a blatant way at the very beginning, by well-ordering the reals. Other uses are more subtle. For example, frequently a construction by transfinite recursion will not specify a unique value for A_α+1, given the sequence up to α, but will specify only a condition that A_α+1 must satisfy, and argue that it is possible to meet this condition. If it is not possible to define a unique example of such a set at each stage, then it may be necessary to invoke AC to choose one such at each step. For inductions/recursions of countable length, the weaker axiom of dependent choice, DC, is sufficient.

See also

• epsilon-inductioncs:Transfinitní indukce

de:Transfinite Induktion es:Inducción transfinita fr:Récurrence transfinie ko:초한귀납법 it:Induzione transfinita hu:Transzfinit indukció pl:Indukcja pozaskończona ru:Трансфинитная индукция fi:Transfiniittinen induktio