Professional Documents
Culture Documents
SMProb 18
SMProb 18
SAYILAMAYAN SONSUZ
KÜMELER
1.1 SAYILAMAZ KÜMELER
18.2. PROBLEMLER
1.2 PROBLEMLER
Çözüm:
yazlabilir.
Çözüm:
R2 ≈ R (1.2)
yazabiliriz.
1
2 BÖLÜM 1. SAYILAMAYAN SONSUZ KÜMELER
Çözüm:
??) den, her n do§al says için a³a§daki yinelgen (recursive) formül
(
isteneni verecektir.
Rn = (R × R) × R × · · · × R
= R2 × Rn−2
≈ R × Rn−2
= R2 × Rn−3
≈ R × Rn−3
.
.
. ≈R
Çözüm:
Çözüm:
noktalar ile çokgeni kesti§i noktalar arasnda bire bir örten bir e³le³im
Çözüm:
A sonsuz bir küme ve B⊂A alt kümesi saylabilir sonsuz olsun. B≈A ise
18.4. PROBLEMLER
1.3 ALITIRMA
[ [
Aı ≈ Bı (1.3)
ı∈I ı∈I
Y Y
Aı ≈ Bı (1.4)
ı∈I ı∈I
oldu§unu gösteriniz.
Çözüm:
[ [
f: Aı → Bı , x ∈ Aı ⇒ f (x) = fı (x)
ı∈I ı∈I
F1:
[
x∈ Aı ⇒ (∃ı ∈ I)(x = aı ∈ Aı )
ı∈I
⇒ f (x) = fı (aı ) ∈ Bı
[
⇒ f (x) ∈ Bı
ı∈I
F2:
[
u=w∈ Aı ⇒ (∃ı ∈ I)(u = w = aı ∈ Aı )
ı∈I
⇒ [f (u) = fı (aı ) ∈ Bı ] ∧ [f (w) = fı (aı ) ∈ Bı ]
⇒ f (u) = f (w)
4 BÖLÜM 1. SAYILAMAYAN SONSUZ KÜMELER
[
y∈ Bı ⇒ (∃ı ∈ I)(y = bı ∈ Bı )
ı∈I
⇒ (∃aı ∈ Aı )(fı (aı ) = bı ∈ Bı )
! !
[ [
⇒ ∃aı ∈ Aı fı (aı ) = bı ∈ Bı
ı∈I ı∈I
! !
[ [
⇒ ∃aı = x ∈ Aı fı (aı ) = f (x) = bı = y ∈ Bı
ı∈I ı∈I
! !
[ [
⇒ ∃x ∈ Aı f (x) = y ∈ Bı
ı∈I ı∈I
f fonksiyonu bire-birdir:
!
[
u, w ∈ Aı ∧ (u 6= w) ⇒ (∃i, j ∈ I)(Ai 3 u = ai 6= aj = w ∈ Aj )
ı∈I
⇒ Bi 3 bi = fi (ai ) 6= fj (aj ) = bj ∈ Bj
⇒ f (u) = fi (ai ) 6= fj (aj ) = f (w)
⇒ f (u) 6= f (w)
dan açklanan, ama daha önce 1875 ylnda Henry John Stephen Smith
Küme ³öyle kurgulanyor. lk admda [0, 1] aral§nn ortasndan üçte biri
atlyor. kinci admda geriye kalan iki alt aral§n ortalarndaki üçte birlik
aralklar atlyor. Üçüncü admda geriye kalan dört alt aral§n ortalarn-
daki üçte birlik aralklar atlyor. Bu eylem sonsuz kez tekrarlanrsa, geriye
(a) n -inci admda kalan aralklar veren bir yinelge formülü kurulabilir.
(d) Her admda atlan üçte birlik aralklarn toplam uzunlu§u 1 dir.
1.Adm: [0, 13 ] ∪ [ 23 , 1]
2.Adm: [0, 312 ] ∪ [ 322 , 332 ] ∪ [ 362 , 372 ] ∪ [ 382 , 1]
...
.
.
.
Eyleme böyle devam edersek, geriye kalan ksmda hiç bir aralk ola-
maz. Olsayd, bir sonraki admda onun da ortasndaki üçte birlik ksm
lar toplarsak,
∞
X 1 1 2 4 8 1 1
= + + + + ... = 2 =1 (1.5)
n=0
3n+1 3 9 27 81 3 1− 3
olur. [0, 1] aral§nn ölçümü (uzunlu§u) 1 oldu§una göre geriye kalan Can-
tor tozunun ölçümü 0 olmaldr.
3. Katsaylar rasyonel saylar olan bir polinomun kökü olan sayya cebirsel
Çözüm:
C ∩T =∅ dir.
sonsuz bir küme oldu§u görülür. Öte yandan, Teorem 17.3.3 gere§ince,
birle³tirirsek,