* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download CHAP10 Ordinal and Cardinal Numbers
Infinitesimal wikipedia , lookup
Brouwer–Hilbert controversy wikipedia , lookup
Law of large numbers wikipedia , lookup
Large numbers wikipedia , lookup
List of important publications in mathematics wikipedia , lookup
Laws of Form wikipedia , lookup
Non-standard analysis wikipedia , lookup
Fermat's Last Theorem wikipedia , lookup
Brouwer fixed-point theorem wikipedia , lookup
Central limit theorem wikipedia , lookup
Non-standard calculus wikipedia , lookup
Mathematical proof wikipedia , lookup
Wiles's proof of Fermat's Last Theorem wikipedia , lookup
Fundamental theorem of calculus wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
Four color theorem wikipedia , lookup
Surreal number wikipedia , lookup
Elementary mathematics wikipedia , lookup
Arrow's impossibility theorem wikipedia , lookup
Fundamental theorem of algebra wikipedia , lookup
10. ORDINAL AND CARDINAL NUMBERS §10.1 Transitive Sets We now turn our attention to ordinal numbers. With finite numbers the cardinal numbers, apart from zero, are 1, 2, 3, … while the ordinal numbers are 1st, 2nd, 3rd, … There is really very little difference. For infinite sets there’s a big difference. While cardinal numbers simply measure the size of a set, ordinal numbers describe the structure of a well-ordered set. Consider the well-ordered set {1, 2, 3, … , ℵ0}. As a set this is no bigger than {1, 2, 3, …}. But as well-ordered sets the ordering is quite different. One set has a largest while the other does not. A set x is transitive if ∪x ⊆ x, that is, if every element of an element of x is itself an element of x. Example 1: Recall that (1, 2) = {{1}, {1, 2}}. x = {0, 1, 2, {2}, {1, 2}, (1, 2)} is not transitive since ∪x = {0, 1, 2, {1}, {1, 2}} and {1} is not an element of x. However y = {0, 1, 2, {2}, {1, 2}, (2, 1)} is transitive since y = {∅, {0}, {0, 1}, {2}, {0}, {0, 1}, {{2}, {2, 1}}} = {∅, {0}, {0, 1}, {2}, {1, 2}, {{2}, {1, 2}} and so ∪y = {0, 0, 1, 2, 1, 2, {2}, {1, 2}} = {0, 1, 2, {2}, {1, 2}} which is a subset of x. The natural numbers are transitive, and the set of natural numbers itself is transitive. Theorem 1: A set x is transitive if and only if x ⊆℘x. Proof: Suppose x is transitive. We must show that x ⊆ ℘x, that is, every element of x is a subset of x. Let y ∈ x. If z ∈ y then z ∈ ∪x and so z ∈ x. Hence y ⊆ x, as required. Now suppose that x ⊆ ℘x. Let y ∈ ∪x. Then for some z, y ∈ z and z ∈ x. Since x ⊆ ℘x, z ∈ ℘x, that is, z ⊆ x. Since y ∈ z, then y ∈ x. We have therefore shown that ∪x ⊆ x. Example 1 (continued): Observe that every element of y is a subset of y. Theorem 2: If the elements of x are transitive then so are ∩x and ∪x. Proof: Suppose that the elements of x are transitive. (1) Let y ∈ ∪∩x. We must show that y ∈ ∩x, that is y ∈ u for all u ∈ x. Let u ∈ x. Then by assumption u is transitive. Since y ∈ ∪∩x, y ∈ z for some z ∈ ∩x. Hence z ∈ u. Since y ∈ z ∈ u, y ∈ u. 85 (2) Let y ∈ ∪∪x. Then for some z, y ∈ z ∈ ∪x. Then z ∈ u for some u ∈ x. Since y ∈ z ∈ u and u is transitive, y ∈ u. Thus y ∈ ∪x. Hence ∪x is transitive. Example 2: The sets x = {{1, {1}}, {1}, 0, 1, 2} and y = {{2, {1}}, {1}, 0, 1, 2} are transitive. Let u = {x, y}. Then ∩u = x ∩ y = {{1}, 0, 1, 2} and ∪x = {{1, {1}}, {2, {1}}, {1}, 0, 1, 2}, both of which are transitive. §10.2 Ordinal Numbers An ordinal number is a transitive set that is well-ordered by the relation “∈ or =”. So, for ordinals, < and ∈ are equivalent. We denote the class of ordinals by Ord. Note that all natural numbers are ordinal numbers. So is the set ℕ itself. It’s odd to think of ℕ as being a number. In fact, when we are thinking of ℕ as a number we use a different symbol, ω. But remember that ℕ = ω. Before we’ve finished we’ll be using yet another symbol for ℕ. If (X, ≤) is a well-ordered set X and is similar to the ordinal α we say that α is its ordinal number. We shall show that this is uniquely defined. We denote the ordinal of X by ord (X, ≤). If the ordering is understood we can write ord(X). Theorem 3: If α is an ordinal number, then so is α+. Theorem 4: Elements of ordinals are ordinals. Proof: Elements of ordinals are subsets and so are well-ordered. Let x ∈ y ∈ z ∈ α, where α is an ordinal. Then since α is transitive, x, y, z are elements of α. Since ∈ is transitive on α, x ∈ z. Theorem 5: Similar ordinals are equal. Proof: Let F: α→β be a similarity. Suppose x is the smallest element of α such that F(x) ≠ x. If y < x then y = F(y) < F(x), whence x ⊆ F(x). Now suppose that y < F(x). Then, since F−1 is a similarity, F−1(y) < x. Hence y = F(F−1(y)) = FF−1(y) < x. So F(x) ⊆ x, a contradiction. Hence there is no such x. Theorem 6: If α and β are ordinal numbers and α ⊆ β then α ∈ β. Proof: Suppose α, β are ordinals such that α ⊂ β. Let x be the least element of β − α. Since x ∈ β and β is transitive, x ⊂ β. Since (β − α) ∩ x = 0, x ⊆ α. Let y ∈ α. Then y ∈ β. Since {x, y} has a least, either x ∈ y or x = y or y ∈ x. If x ∈ y or x = y, then x ∈ α, contradicting the fact that x ∈ β − α. Thus y ∈ x and so α ⊆ x. But x ⊆ α and so x = α. As x ∈ β, α ∈ β. Theorem 7: Transitive subsets of ordinals are ordinals. 86 Proof: Suppose there is an ordinal α having a transitive subset which is not itself an ordinal, and suppose β is the least element of α+ which has such a subset. Then there is some X ⊆ β which is transitive but not an ordinal. Hence X is not well-ordered by ∈. Let 0 ≠ Y ⊆ X and suppose that it has no least. Now the elements of Y are elements of the ordinal β and so are ordinals, and hence transitive. Hence ∩Y is transitive. Let y ∈ Y. Then ∩Y ⊆ y ∈ Y ⊆ X ⊆ β. Hence y ∈ β. Thus y is an ordinal, and being less than β, the transitive subset ∩Y must be an ordinal. By Theorem 6, ∩Y ∈ Y. But clearly ∩Y is the least element of Y, a contradiction. Theorem 8: If X is a set of ordinals then ∪X is an ordinal. Proof: Suppose X is a set of ordinals. Then ∪X is transitive. Let 0 ≠ Y ⊆ ∪X. Then the elements of Y are ordinals and so ∩Y is transitive. Let α ∈ Y. Then ∩Y ⊆ α. Thus ∩Y is an ordinal. Hence ∩Y ∈ α or ∩Y = α ∈ Y. If ∩Y ∉ Y, ∩Y ∈ ∩Y, a contradiction. Thus ∩Y is the least element of Y. Hence ∪X is well-ordered by ∈ and so ∪X is an ordinal. The following theorem is known as a “paradox” but it is just an ordinary theorem. Theorem 9 (BURALI-FORTI PARADOX): The class of ordinals is not a set. Proof: Suppose Ord is a set. Then ∪Ord ∈ Ord and so ∪Ord ∈ (∪Ord)+ ∈ Ord. Hence ∪Ord ∈ ∪Ord, a contradiction. §10.3 Transfinite Induction The method of Proof by Induction is very useful in mathematics. It works because every non-empty set of natural numbers has a least, that is, the set of natural numbers is well-ordered by the usual ordering. Finite induction can be extended to infinite sets, provided we can well-order them. Theorem 10 (PROOF BY TRANSFINITE INDUCTION): Suppose W is a well-ordered set and X ⊆ W. Suppose that X has the property that whenever all the predecessors of X are in X then so is X. Then X = W. Proof: Suppose X ⊂ W. Then m = min(W − X), a contradiction! We can also define things by transfinite induction. The following is a special case. Theorem 11: Suppose G is a generalized function whose domain is S, a subset of Ord with no maximum. Then there exists a unique function F on S such that F(x+) = G(F(x)) for all x ∈ S and F(x) = ∪{F(y) | y < x} if x has no predecessor. 87 §10.4 The Arithmetic of Ordinal Numbers A non-zero ordinal is a limit ordinal if it has no immediate predecessor. An obvious example is ω. We define addition of ordinals by transfinite induction as follows: (A0) α + 0 = α; (A1) α + β+ = (α + β)+; (A2) α + β = ∪ {α + γ | γ < β} if β is a limit ordinal. Example 3: Successively adding 1 to ω we get the sequence ω + 1, ω + 2, … We define multiplication of ordinals by transfinite induction as follows: (M0) α0 = 0; (M1) αβ+ = (αβ) + α; (M2) αβ = ∪ {αγ | γ < β} if β is a limit ordinal. We define exponentiation of ordinals by transfinite induction as follows: (E0) α0 = 1; + (E1) αβ = αβ.α; (E2) αβ = ∪{α + γ | γ < β} if β is a limit ordinal and α ≠ 0; (E3) 0β = 0 if β is a limit ordinal. Examples 4: ω + 1 = ω + 0+ = (ω + 0)+ by (A1) = ω+ by (A0) ≠ ω. 1 + ω = ∪{1 + n | n < ω} = ω. 2ω = ∪{2n | n < ω} by (M2) = ω. ω2 = ω1+ = ω1 + ω by (M1) = ω0+ + ω = (ω0 + ω) + ω by (M1) = (0 + ω) + ω by (M0) = ∪{0 + n | n < ω} + ω =ω+ω = ∪ {ω + n | n < ω} by (A2). n ω 2 = ∪{2 | n < ω} by (E2) =ω 88 §10.5 Pictorial Representation of Ordinal Numbers It is useful to be able to draw pictures of ordinal numbers, or at least some of them. We begin by representing a finite ordinal, n, by a row of n dots. Example 5: The number 5 is represented by: ….. but a more compact notation We could then represent ω by would be to have just one large dot and to represent the row of small dots by an arrow: We can represent a + b by depicting a and then attaching a picture of b on its right. Example 6: ω + 5 would become 2ω would then be 2ω + 3 would be 3ω would be ω2 would be represented by an infinite row of the symbol for ω, or more simply by Each arrow is assumed to replicate whatever is before it an infinite number of times. So ω3 would be and ω3 + ω + 2 would be Then what about ωω? This should be a dot followed by infinitely many arrows. We can depict this by bracketing an arrow and following this by an arrow: So that our convention that an arrow replicates everything on its left has to be modified to say that it replicates everything on its left back to the beginning or the next bracket. To consider ordinals much beyond this would stretch our notation and also our ability to meaningfully picture them. However the ordinals go far beyond the level to which we can easily describe them. §10.6 Definition of Cardinal Numbers At long last we can define a cardinal number as a set. A cardinal number is simply an ordinal number that is not equivalent to any of its predecessors. This means that all of the natural numbers are also cardinal numbers. So too is the ordinal number ω, that we once knew as ℕ. In honour of this new role for ω we use another notation, namely ℵ0. So ℕ = ω = ℵ0. When we are thinking of it as a set we usually use the symbol ℕ. When we think of it as a number we write it as ω or ℵ0. Theorem 16: The class of ordinals that are equivalent to a set S is itself a set. Proof: Well order ℘(S) and let γ be the corresponding ordinal. Let Ord(S) be the class of ordinals that are equivalent to S. Let α be an ordinal that is equivalent to S. Then α < γ, that is, α ∈ γ. So Ord(S) = {α ∈ γ | α ≈ S}. 89 Now that we have established that Ord(S) is a set we can define the cardinal number of S to be #S, the smallest element of Ord(S). We are now in a position to properly define the alephs, that is, to write every infinite cardinal number as ℵβ for some ordinal β. Let γ be an infinite cardinal number. Let Sγ be the set of infinite cardinal numbers that are less than γ (less than in the sense of cardinal numbers). Sγ is well-ordered by ≤. Let β be the ordinal number of this well-ordered set. Then we denote γ by ℵβ. Example 7: Let β = ℵω. Then Sβ = {ℵ0, ℵ1, ℵ2, …} with ℵ0 < ℵ1 < ℵ2 < … The ordinal number of this well-ordered set is ω, which justifies the use of the notation ℵω. Example 8: Let β = ℵω+1. Then Sβ = {ℵ0, ℵ1, ℵ2, …, ℵω} with ℵ0 < ℵ1 < ℵ2 < … < ℵω The ordinal number of this well-ordered set is ω + 1, which justifies the use of the notation ℵω+1. Theorem 17: If α is an ordinal number and #α = ℵβ then, as ordinals, ℵβ ≤ α < ℵβ+1. Proof: ℵβ ≤ α by definition of cardinals. If ℵβ+1 ≤ α then ℵβ+1 ≤ ℵβ, a contradiction. Theorem 18: γ = ∪{ℵα | α < β} is a cardinal number. Proof: γ is an ordinal number. Suppose ℵδ = #γ and ℵδ < γ. Then ℵδ ∈ γ, so ℵδ ∈ ℵα for some α < β. Then ℵδ < ℵα ≤ γ, a contradiction. Theorem 19: ∪{ℵα | α < β+} = ℵβ. Proof: If α < β+ then α ≤ β and so ℵα ⊆ ℵβ. Theorem 20: If β has no predecessor then ∪{ℵα | α < β} = ℵβ. Proof: Let ℵγ = ∪{ℵα | α < β}. For all α < β, ℵα ⊆ ℵβ and so ℵγ ⊆ ℵβ. Hence γ ≤ β. If γ < β, γ + 1 < β so ℵγ+1 ⊆ ℵγ, a contradiction. 90 §10.7 Further Arithmetic of Cardinal Numbers Theorem 12:If a, b are cardinal numbers and a is finite and b is infinite then a + b = b. Proof: Choose disjoint sets A, B such that #A = a and #B = b. Let C ⊆ B such that #C = ℵ0 and let D = B − C. Let #D = d. Then b = ℵ0 + d so a + b = a + ℵ0 + d = ℵ0 + d = b. Theorem 13: If a is an infinite cardinal number then a + a = a. Proof: Choose A so that #A = a. Let F = {bijections f : X × 2 → X | X ⊆ A}. F ≠ 0 (take X with #X = ℵ0). F is partially ordered by extension. By Zorn’s Lemma there exists a maximal f: X × 2 → X for some X ⊆ A. If A − X is infinite this contradicts the maximality of f so A − X is finite. #X + #X = #X and #A = #X + #(A − X) so #A + #A = #X + #X + 2#(A − X) = #A + #(A − X) = #A. Theorem 14: If a ≤ b are cardinal numbers and b is infinite then a + b = b. Proof: Choose A, B with #A = a, #B = b. Since a ≤ b, a + b ≤ b + b = b. But b ≤ a + b so a + b = b. Theorem 15: If a is an infinite cardinal number then a.a = a. Proof: Choose A so that #A = a. Let F = {bijections f : X × X → X | X ⊆ A}. F ≠ 0 (take X with #X = ℵ0). F is partially ordered by extension. By Zorn’s Lemma there exist maximal f: X × X → X for some X ⊆ A. Let #X = x. Then x.x = x. Suppose x < a. Then #(A − X) = a and so A − X has a subset, Y with #Y = x. Then #[(X × Y) + (Y × X) + (Y × Y)] = 3x.x = x so there exists a bijection from (X × Y) + (Y × X) + (Y × Y) to Y. We can thus extend f to a bijection g: (X + Y) × (X + Y) → X + Y, a contradiction. Hence x = a and so a.a = a. 91 92