Aksiyomatik Kümeler Kuramı Özeti
Bu notlar, 2019–20 güz döneminde MSGSÜ Matematik Bölümü’nün Aksiyomatik Kümeler Kuramı dersi sırasında yazılmaktadır. Teoremlerin ve lemmaların hepsi derste kanıtlanır; burada kanıtlardan birkaç örnek verilir ama çoğu eksiktir. Bir kanıtın ve kanıtlanmamış teoremin sonunda “∎” yazılır. Dersin bazı alıştırmaları burada yazılmaz.
Giriş
Öklid’in Öğeler’inde ortak kavramları kullanarak postulatlardan diğer önermeleri kanıtlarız.
Kümeler kuramında mantığın kurallarını kullanarak aksiyomlardan diğer teoremleri kanıtlarız.
Her küme bir sınıftır, ama bir sınıf bir küme olmayabilir. Aksiyomlara göre bazı sınıflar kümedir. Boş sınıf hariç her sınıfın elemanı veya elemanları vardır, ve bunların hepsi bir kümedir.
İçerik
- Formüller
- Eşitlik
- Sınıflar
- Kümeler
- Doğal Sayılar
- Ordinaller
- Göndermeler
- Ordinal Toplama
- Ordinal Çarpma
- Ordinal Kuvvet Alma
- Kardinaller
Formüller
a, b, c, A, B, C gibi harfler, sabittir. Bunlar kümelerin adıdır.
x, y, z gibi harfler, değişkendir.
Bir sabit veya değişken, bir terimdir.
Formüllerin tanımı özyinelidir. Dört çeşit vardır:
t ve s terim olmak üzere t ∈ s bir içermedir.
-
Eğer φ bir formül ise, o zaman ¬φ bir değillemedir.
-
Eğer φ ve ψ formül ise, o zaman (φ ∧ ψ) bir tümel evetlemedir.
-
Eğer x bir değişken ve φ bir formül ise, o zaman ∃x φ bir örneklemedir.
Her formül tek bir şekilde bir formül olur. Bundan dolayı değişkenlerin serbest geçişlerinin tanımı özyineli olabilir:
Bir içermede bir değişkenin her geçişi, serbesttir.
Bir değillemenin bileşeninde bir değişkenin serbest bir geçişi, değillemenin kendisinde serbesttir.
Bir tümel evetlemenin bir bileşeninde bir değişkenin serbest bir geçişi, tümel evetlemenin kendisinde serbesttir.
Bir ∃x φ örneklemesinde
-
x’ten farklı olan bir değişkenin φ’deki serbest bir geçişi serbesttir;
-
x’in hiç serbest geçişi yoktur.
-
Bir değişkenin serbest olmayan geçişi bağlıdır. Bir formülde bir değişkenin serbest geçişi varsa, bu değişken, formülün bir serbest değişkenidir. Serbest değişkeni olmayan bir formül, bir cümledir.
φ’nin tek serbest değişkeni x olmak üzere eğer φ’de
-
x’in her serbest geçişinin yerine a konulursa φ(a) cümlesi çıkar;
-
x’in serbest olduğu yerlerde y bağlı değilse ve x’in her serbest geçişinin yerine y konulursa φ(y) cümlesi çıkar.
Bir cümle ya doğru ya da yanlıştır, ikisi değildir.
Eğer a b’nin bir elemanı ise, o zaman a ∈ b doğrudur.
Eğer σ yanlış ise, o zaman ¬σ doğrudur.
Eğer hem σ hem de τ doğru ise, o zaman (σ ∧ τ) da doğrudur.
Eğer φ(a) doğru ise, bu durumda a φ’yi sağlar ve ∃x φ de doğrudur.
Formül | Kısaltması |
---|---|
¬(¬φ ∧ ¬ψ) | (φ ∨ ψ) |
¬φ ∨ ψ | φ ⇒ ψ |
(φ ⇒ ψ) ∧ (ψ ⇒ φ) | φ ⇔ ψ |
¬∃x ¬φ | ∀x φ |
∀x (x ∈ t ⇒ x ∈ u) | t ⊆ u |
t ⊆ u ∧ u ⊆ t | t = u |
¬ t = u | t ≠ u |
t ⊆ u ∧ t ≠ u | t ⊂ u |
(φ ∧ ψ) ⇒ χ | φ ∧ ψ ⇒ χ |
Eşitlik
Aşağıdaki cümleler doğrudur:
∀x ∀y (x = y ∧ φ(x) ⇒ φ(y)),
∀x ∀y (∀z (z ∈ x ⇔ z ∈ y) ⇒ x = y).
Her a için cümle (1)’in özel bir durumu olarak
∀x ∀y (x = y ∧ x ∈ a ⇒ y ∈ a),
dolayısıyla
∀x ∀y ∀z (x = y ∧ x ∈ z ⇒ y ∈ z).
Benzer şekilde
∀x ∀y ∀z (x = y ∧ z ∈ x ⇒ z ∈ y).
Cümleler (3) ve (4)’ten Cümle (1) kanıtlanabilir. Dersimizde Cümleler (2) ve (4) tanımdan doğrudur ve Cümle (3) bir aksiyomdur. Bazı kitaplarda Cümle (1) mantıksal bir aksiyomdur ve Cümle (2) Kaplam Aksiyomudur.
Sınıflar
Tek serbest değişkeni x olan bir φ formülü {x: φ} sınıfını tanımlar; sınıfın elemanları φ’nin sağlayanlarıdır.
Sınıf | Kısaltması |
---|---|
{x: x ∈ a} | a |
{x: x ∈ a ∨ x ∈ b} | a ∪ b |
{x: x ∈ a ∧ x ∈ b} | a ∩ b |
{y: ∀x (φ ⇒ y ∈ x)} | ⋂ {x: φ} |
{y: ∃x (φ ∧ y ∈ x)} | ⋃ {x: φ} |
{x: x ≠ x} | 0 |
{x: x = x} | V |
{x: x = a} | {a} |
{a} ∪ {b, …} | {a, b, …} |
a ∪ {a} | a ′ |
{x: x ∈ a ∧ φ} | {x ∈ a: φ} |
a ′ a’nın ardılıdır.
-
Tanımlardan ⋂ 0 = V.
Şimdilik {x: φ} sınıfı A ve {x: ψ} sınıfı B olsun.
Formül | Kısaltması |
---|---|
φ | x ∈ A |
∀x (φ ⇒ ψ) | A ⊆ B |
A ⊆ B ∧ B ⊆ A | A = B |
∃x (x = A ∧ ψ) | ψ(A) |
Sınıf | Kısaltması |
---|---|
{x: x ∈ A ∨ x ∈ B} | A ∪ B |
{x: x ∈ A ∧ x ∈ B} | A ∩ B |
{x: x ⊆ A} | ℘(A) |
Eğer
-
a ∈ B ise, o zaman B a’yı içerir;
-
A ⊆ B ise, o zaman B A’yı kapsar.
Kümeler
Bir a kümesi {x: x ∈ a} sınıfı olduğundan her küme bir sınıftır.
Teorem 1 (Russell Paradoksu). {x: x ∉ x} sınıfı küme değildir. ∎
Ayırma Aksiyomu. Her {x ∈ a: φ} sınıfı bir kümedir.
Örneğin V bir küme değildir, ama her boş olmayan sınıfın kesişimi bir kümedir:
A ≠ 0 ⇒ ∃x x = ⋂ A.
Boş Küme Aksiyomu. 0 bir kümedir.
Bitiştirme Aksiyomu. Her durumda a ∪ {b} bir kümedir.
Doğal Sayılar
0′, 0′′, 0′′′, …, kümedir. Ayrıca
0 ∈ x ∧ ∀y (y ∈ x ⇒ y′ ∈ x)
ifadesi bir formülün kısaltmasıdır. Bu formülü sağlayan bir küme, tümevarımlıdır.
Sonsuzluk Aksiyomu. Tümevarımlı bir küme vardır.
Şimdi tanıma göre
ω = ⋂ {x: 0 ∈ x ∧ ∀y (y ∈ x ⇒ y ′ ∈ x)}.
O zaman ω bir kümedir. Elemanları, doğal sayılardır.
Teorem 2 (Tümevarım). Eğer bir A kümesi için
0 ∈ A ise ve
ω’nın her n elemanı için n ∈ A ⇒ n ′ ∈ A ise,
o zaman ω ⊆ A. Ayrıca
0 ∈ ω,
ω’nın her n elemanı için n ′ ∈ ω. ∎
Alıştırma 1. ω’nın her elemanının ya 0 ya da bir elemanın ardılı olduğunu gösterin.
Bir A sınıfı için eğer
∀x ∀y (x ∈ y ∧ y ∈ A ⇒ x ∈ A),
kısaca
∀y (y ∈ A ⇒ y ⊆ A),
ise, o zaman A geçişlidir.
Alıştırma 2. ω’nın geçişli olduğunu gösterin.
Teorem 3. ω’da her k ve n için k ∈ n ⇒ k ⊂ n.
Kanıt. n üzerinde tümevarım kullanacağız.
ω’da her k için k ∉ 0, dolayısıyla k ∈ 0 ⇒ k ⊂ 0.
ω’da bir m için her k için k ∈ m ⇒ k ⊂ m olsun. Şimdi bir k için k ∈ m ′ olsun. O zaman k ∈ m ∨ k = m.
Eğer k ∈ m ise, o zaman hipoteze göre k ⊂ m, dolayısıyla m ⊆ m ′ olduğundan k ⊂ m ′.
Eğer k = m ise, o zaman k ⊆ m; ayrıca hipotez sayesinde m ⊄ m olduğundan m ∉ m, dolayısıyla m ⊂ m ′, ve sonuç olarak tekrar k ⊂ m ′.
Tümevarım tamamlanmıştır. ∎
Teorem 4. ω’da her k ve n için k ⊂ n ⇒ k ∈ n. ∎
Sonuç olarak ⊂ bir sıralama olduğundan ω’da ∈ bir sıralamadır.
Alıştırma 3. ω’da her k ve n için k ′ = n ′ ⇒ k = n gösterin.
Sonuç olarak aşağıdaki Peano Aksiyomları denilen önermeler teoremdir:
0 hiç doğal sayının ardılı değildir.
Doğal sayıların ardılları eşit ise, sayılar da eşittir.
0’ı iceren ve her elemanının ardılını da iceren bir küme, her doğal sayıyı icerir.
Teorem 5. ω’da her k ve n için k ⊆ n ∨ n ⊂ k. ∎
Sonuç olarak ω’da ⊂ gibi ∈ doğrusal bir sıralamadır.
Alıştırma 4. (Güçlü Tümevarım.) Eğer bir A kümesi için, ω’nın her n elemanı için n ⊆ A ⇒ n ∈ A ise, ω ⊆ A gösterin.
Teorem 6. ω’nın her elemanı ∈ tarafından iyisıralanır. ∎
Alıştırma 5. ω ∈ tarafından iyisıralanır.
Ordinaller
Bir ordinal,
geçişli,
∈ tarafından iyisıralanmış
bir kümedir. Ordinaller ON sınıfını oluşturur. Örneğin ω ∈ ON ve ω ⊂ ON.
α, β, γ, δ, ε, θ harfleri, ordinal sabittir; ξ, η, ζ harfleri, ordinal değişkendir.
Teorem 7. ON geçişlidir.
Kanıt. Alıştırma 6. ∎
Lemma 1. ON’de ∈ bir sıralamadır.
Kanıt. Alıştırma 7. ∎
Lemma 2. ON’de ∈ ve ⊂ aynı bağıntıdır. ∎
Teorem 8. Her ordinalde ∈ ve ⊂ aynı bağıntıdır.
Kanıt. Alıştırma 8. ∎
ON’nin ∈ veya ⊂ sıralaması < ile gösterilebilir.
Lemma 3. ON’nin < sıralaması doğrusaldır. ∎
Teorem 9. ON’nin < doğrusal sıralaması iyidir. ∎
Teorem 10 (Burali-Forti Paradoksu). ON bir küme değildir. ∎
Teorem 11. Her α’nın ardılı
-
başka bir ordinaldir,
-
α’dan daha büyük olan ordinallerin en küçüğüdür, kısaca
α ′ = min {ξ: α < ξ}. ∎
Ne 0 ne ardıl olan bir ordinal bir limittir. Örneğin ω en küçük limit ordinaldir. Sonsuzluk Aksiyomu’nu kullanmadan ω, ne limit olan ne limit içeren ordinallerin oluşturduğu sınıf olarak tanımlanabilir. 0 olmayan bir α’nın limit olması için gerek ve yeter bir koşul,
β < α ⇒ β ′ < α.
Eğer
α limit veya 0 ise, o zaman ⋃α = α;
-
α = β ′ ise ⋃α = β.
Bileşim Aksiyomu. Her kümenin bileşimi de bir kümedir.
Teorem 12. Elemanları ordinal olan her A kümesinin bileşimi
-
bir ordinaldir,
-
A’nın en küçük üstsınırıdır, kısaca
⋃ A = sup (A).
Kanıt. Alıştırma 9. ∎
Teorem 13 (Tümevarım). Elemanları ordinal olan bir A sınıfı için, eğer
-
0 ∈ A,
-
α ∈ A ⇒ α ′ ∈ A,
-
γ limit olmak üzere γ ⊂ A ⇒ γ ∈ A
ise, o zaman A = ON. ∎
Göndermeler
Serbest değişkenleri x ve y olan bir φ formülü için, eğer her a için, en çok bir b için, φ(a, b) cümlesi doğru ise, o zaman φ bir göndermeyi tanımlar. Eğer bu gönderme F olarak yazılırsa, o zaman φ(a, b) cümlesinin yerine kısaca
F (a) = b
yazılabilir. Ayrıca F ’nin kendisi
x ↦ F (x)
olarak yazılabilir.
-
{x: ∃y φ(x, y)} sınıfı F ’nin tanım sınıfıdır;
-
{y: ∃x φ(x, y)} sınıfı F ’nin değer sınıfıdır.
Örneğin x ↦ x, x ↦ a, x ↦ x ′, x ↦ ⋃ x, ve x ↦ ⋂ x göndermeleri vardır, ve son göndermenin tanım sınıfı {x: x ≠ 0}; diğerlerinki V.
Genelde bir {y: ∃x (x ∈ A ∧ F (x) = y)} sınıfı kısaca
{F (x): x ∈ A}
veya
F [A]
olarak yazılabilir.
Yerleştirme Aksiyomu. Her a kümesi için F [a] bir kümedir.
Tanıma göre
(a, b) = {{a}, {a, b}}
olsun. O zaman bir F göndermesi,
{z: ∃x ∃y (z = (x, y) ∧ F (x) = y)}
veya kısaca
{(x, y): F (x) = y}
sınıfı olarak anlaşılabilir. O halde tanım sınıfı küme olan bir göndermenin kendisi bir kümedir.
Eğer A F ’nin tanım sınıfı ve F [A] ⊆ B ise
F : A → B
yazılabilir. Eğer F : A → A ise, o zaman A’da F bir işlemdir.
Teorem 14 (Özyineleme). Her α ordinali ve F ordinal işlemi için, bir ve tek bir G ordinal işlemi için
-
G(0) = α,
-
her β için G(β ′) = F (G(β)),
-
γ limit olmak üzere G(γ) = sup (G[γ]). ∎
Tanıma göre kesin artan ve sürekli ordinal bir işlem normaldir.
Teorem 15. Bir F ordinal işleminin normal olması için gerek ve yeter bir koşul
-
her α için F (α) < F (α ′),
-
her β limiti için F (β) = sup (F [β]).
Kanıt. Alıştırma 10. ∎
Teorem 16. Eğer F normal ise, o zaman elemanları ordinal olan her A kümesi için
F (sup (A)) = sup (F [A]). ∎
Tanıma göre bir F ordinal işlemi için, eğer her α için,
ε0 < F (α) < ε1
koşulunu sağlayan her ε0 ve her ε1 için,
δ0 < α < δ1
koşulunu sağlayan bir δ0 ve bir δ1 için,
∀ξ (δ0 < ξ < δ1 ⇒ ε0 < F (ξ) < ε1)
ise, o zaman F süreklidir.
Teorem 17. Kesin artan ordinal işlemler süreklidir ancak ve ancak normaldir.
Ordinal Toplama
Tanıma göre
-
α + 0 = α,
-
α + β ′ = (α + β)′,
-
γ limit ise α + γ = sup {α + ξ: ξ < γ}.
0′ = 1 olduğundan
α + 1 = α ′.
Her α için ξ ↦ α + ξ normaldir.
Teorem 18. 0 + α = α.
Kanıt.
-
0 + 0 = 0.
-
0 + β = β ise 0 + β ′ = (0 + β)′ = β ′.
-
γ limit ve α < γ ⇒ 0 + α = α ise
0 + γ = sup {0 + ξ: ξ < γ} = sup {ξ: ξ < γ} = γ. ∎
Ordinal toplama değişmeli değildir çünkü örneğin
1 + ω = ω < ω + 1.
Teorem 19. Ordinal toplama birleşmelidir. ∎
Teorem 20. Her α için ξ ↦ ξ + α artandır:
β ≤ γ ⇒ β + α ≤ γ + α.
Kanıt. α üzerinde tümevarım. ∎
Teorem 21. α ≤ β ise
α + ξ = β
denkleminin bir ve tek bir çözümü sup {ξ: α + ξ ≤ β}. ∎
Alıştırma 11. Denklem (5)’ün çözümü min {ξ: α + ξ ≥ β}.
Tanıma göre
-
ω ⋅ 0 = 0,
-
ω ⋅ n ′ = ω ⋅ n + ω.
-
ω ⋅ ω = sup {ω ⋅ x: x < ω}.
-
ω 2 = ω ⋅ ω.
Alıştırma 12. ω ⋅ (m + k) = ω ⋅ m + ω ⋅ k.
Teorem 22. ω 2’den küçük olan her α için bir ve tek bir n için, bir ve tek bir k için
α = ω ⋅ n + k.
Ayrıca
(ω ⋅ n + k) + (ω ⋅ m + j) = ω ⋅ (n + m) + j. ∎
Ordinal Çarpma
Tanıma göre
-
α ⋅ 0 = 0,
-
α ⋅ β ′ = α ⋅ β + α,
-
γ limit ise α ⋅ γ = sup {α ⋅ ξ: ξ < γ}.
Örneğin
α ⋅ 1 = α,
Teorem 23.
-
0 ⋅ α = 0
-
1 ⋅ α = α.
Kanıt. Alıştırma 13. ∎
Teorem 24. α > 0 ise ξ ↦ α ⋅ ξ normaldir.
Kanıt. Alıştırma 14. ∎
Çarpma değişmeli değildir çünkü örneğin
2 ⋅ ω = ω < ω + ω = ω ⋅ 2.
Teorem 25. Ordinal çarpma soldan ordinal toplama üzerinde dağılır. ∎
Teorem 26. Ordinal çarpma birleşmelidir.
Kanıt. Alıştırma 15. ∎
Tanıma göre
-
ω 0 = 1,
-
ω n ′ = ω n ⋅ ω.
-
ω ω = sup {ω x: x < ω}.
Alıştırma 16. ω m + k = ω m ⋅ ω k.
Teorem 27. 0’dan büyük olan, ω ω’dan küçük olan her α için, bir ve tek bir şekilde
ω’nın bir n elemanı için,
-
girdileri ω’da olan, kesin azalan bir (m0, …, mn) dizisi için,
-
girdileri ω’da olan ama 0 olmayan bir (k0, …, kn) dizisi için,
α = ω m0 ⋅ k0 + … + ω mn ⋅ kn.
Ayrıca
k < m ise
ω k + ω m = ω m,
-
m < ω ∧ 0 < n < ω ∧ α < ω m ise
(ω m ⋅ k + α) ⋅ n = ω m ⋅ k ⋅ n + α,
(ω m ⋅ k + α) ⋅ ω = ω m + 1. ∎
Ordinal Kuvvet Alma
Tanıma göre
-
α 0 = 1,
-
α β ′ = α β ⋅ α,
-
γ limit ise α ⋅ γ = sup {α ⋅ ξ: 0 < ξ < γ}.
Teorem 28. α 1 = α, 1 α = 1, 0 1 + α = 0. ∎
Teorem 29. α > 1 ise ξ ↦ α ξ normaldir. ∎
Teorem 30. α β + γ = α β ⋅ α γ. ∎
Teorem 31. α β ⋅ γ = (α β) γ. ∎
Teorem 32. 0’dan büyük olan her α için, bir ve tek bir şekilde
-
ω’nın bir n elemanı için,
-
kesin azalan bir (α0, …, αn) dizisi için,
-
girdileri ω’da olan ama 0 olmayan bir (k0, …, kn) dizisi için,
α = ω α0 ⋅ k0 + … + ω αn ⋅ kn.
Ayrıca α < ω β, 1 < k < ω, 1 < n < ω, ve 1 ≤ γ ise
α + ω β = ω β,
(ω β ⋅ k + α) ⋅ n = ω β ⋅ k ⋅ n + α,
(ω β ⋅ k + α) ⋅ ω γ = ω β + γ. ∎
Kardinaller
Bir F göndermesi için eğer
F (a) = F (b) ⇒ a = b
ise, o zaman F birebirdir. Eğer
-
F birebir ve
-
F ’nin tanım sınıfı A’yı kapsar
ise, o zaman A ve F [A] eşleniktir. Eğer A ve B eşlenik ise
A ≈ B
yazılır. Eğer A ve bir ordinal eşlenik ise, o zaman A ile eşlenik olan en küçük ordinal A’nın kardinalidir, ve
kard (A) = min {ξ: ξ ≈ A}
yazılır. Örneğin ω en küçük sonsuz kardinaldir, ve kard (ω′) = ω.
Eğer
-
F birebir,
-
F ’nin tanım sınıfı A’yı kapsar,
-
F [A] ⊆ B
ise, o zaman
A ≼ B
yazılır.
Teorem 33 (Schröder–Bernstein).
A ≼ B ∧ B ≼ A ⇒ A ≈ B. ∎
Tanıma göre
KN = kard[ON].
κ ∈ KN ve λ ∈ KN olsun. Tanıma göre
κ ⊕ λ = kard(κ + λ),
κ ⊗ λ = kard(κ ⋅ λ),
A × B = {(x, y): x ∈ A ∧ y ∈ B}.
Lemma 4. α × β ≈ α ⋅ β. ∎
Lemma 5. α > 0 ise ω α × ω α ≈ ω α.
Kanıt. ω’da f (i, j) = (i + j)(i + j + 1) ⁄ 2 + i olsun. O zaman f birebirdir, f [ω × ω] = ω, ve f (0, 0) = 0. Şimdi ω’da her n için eğer
α0 > … > αn−1,
{b0, …, bn−1} ⊂ ω,
{c0, …, cn−1} ⊂ ω,
maks (b0, c0) > 0 ∧ … ∧ maks (bn−1, cn−1) > 0
ise
β = ω α0 ⋅ b0 + … + ω αn−1 ⋅ bn−1,
γ = ω β0 ⋅ c0 + … + ω βn−1 ⋅ cn−1
olmak üzere
F(β, γ) = ω α0 ⋅ f (b0, c0) + … + ω αn−1 ⋅ f (bn−1, cn−1)
olsun. O zaman F birebirdir ve F[ω α × ω α] = ω α. ∎
Teorem 34. κ ve λ sonsuz ise
κ ⊕ λ = κ ⊗ λ = maks (κ, λ).
Kanıt. κ ≥ λ ise
κ ≤ κ ⊕ λ ≤ κ ⊕ κ = κ ⊗ 2 ≤ κ ⊗ λ ≤ κ ⊗ κ. ∎
Tanıma göre
A ≺ B ⇔ A ≼ B ∧ A ≉ B.
Teorem 35 (Cantor). Her A kümesi için A ≺ ℘(A). ∎
Bununla beraber ℘(V) = V.
Kuvvet Küme Aksiyomu. Her A kümesi için ℘(A) sınıfı da bir kümedir.
Şimdi her A × B bir kümedir, dolayısıyla tanım sınıfı küme olan her gönderme de bir kümedir.
Teorem 36 (Hartogs). Her kardinalin daha büyüğü vardır. ∎
Tanıma göre
κ + = min {ξ ∈ KN: κ < ξ},
-
ℵ0 = ω,
-
ℵα ′ = (ℵα)+,
-
α limit ise ℵα = sup {ℵξ: ξ < α}.
Teorem 37. ξ ↦ ℵξ normaldir ve her κ için
ℵξ = κ
denkleminin çözümü vardır. ∎
Tanıma göre
f ∈ AB ⇔ f : A → B.
Teorem 38. α2 ≈ ℘(α) ve ω2 ≈ ℝ. ∎
Seçim Aksiyomu. Her kümenin kardinali vardır.
Tanıma göre
κ λ = kard (λκ),
-
ℶ0 = ω,
-
ℶα ′ = 2ℶα,
-
α limit ise ℶα = sup {ℶξ: ξ < α}.
Teorem 39. κ λ⊕μ = κ λ ⊗ κ μ ve κ λ⊗μ = (κ λ) μ. ∎
Teorem 40. 2 ≤ κ, 1 ≤ λ, ve ℵ0 ≤ maks (κ, λ) ise
κ ≤ 2λ ⇒ κ λ = 2λ,
κ > 2λ ⇒ κ λ ≤ 2κ. ∎
Bakmakla öğrenilse, köpekler kasap olurdu.