Doimiylikning kardinalligi - Cardinality of the continuum - Wikipedia

Yilda to'plam nazariyasi, doimiylikning kardinalligi bo'ladi kardinallik yoki "hajmi" o'rnatilgan ning haqiqiy raqamlar ${ displaystyle mathbb {R}}$ , ba'zan doimiylik. Bu cheksiz asosiy raqam va bilan belgilanadi ${ displaystyle { mathfrak {c}}}$ (kichik harf fraktur "c") yoki ${ displaystyle | mathbb {R} |}$ .^[1]^[2]

Haqiqiy raqamlar ${ displaystyle mathbb {R}}$ ga qaraganda ko'proq natural sonlar ${ displaystyle mathbb {N}}$ . Bundan tashqari, ${ displaystyle mathbb {R}}$ bilan bir xil elementlarga ega quvvat o'rnatilgan ning ${ displaystyle mathbb {N}.}$ Agar ramziy ma'noda bo'lsa ${ displaystyle mathbb {N}}$ deb belgilanadi ${ displaystyle aleph _ {0}}$ , doimiylikning asosiy kuchi

{ displaystyle { mathfrak {c}} = 2 ^ { aleph _ {0}}> aleph _ {0} ,.}

Bu isbotlangan Jorj Kantor uning ichida hisoblashning isboti 1874 yil, uning turli xil cheksizliklarni tadqiq etishning bir qismi. Keyinchalik tengsizlik uning sodda bayon etilgan diagonal argument. Cantor kardinallikni quyidagicha aniqladi ikki tomonlama funktsiyalar: agar ular o'rtasida biektiv funktsiya mavjud bo'lsa, ikkita to'plam bir xil kardinallikka ega.

Har qanday ikkita haqiqiy son o'rtasida a < b, ular bir-biriga qanchalik yaqin bo'lishidan qat'i nazar, har doim cheksiz boshqa ko'plab haqiqiy sonlar mavjud va Kantor ularning haqiqiy sonlarning butun to'plamida mavjud bo'lganlar qatori ekanligini ko'rsatdi. Boshqacha qilib aytganda ochiq oraliq (a,b) teng bilan ${ displaystyle mathbb {R}.}$ Bu boshqa har qanday cheksiz to'plamlar uchun ham amal qiladi, masalan n- o'lchovli Evklid fazosi ${ displaystyle mathbb {R} ^ {n}}$ (qarang bo'shliqni to'ldirish egri chizig'i ). Anavi,

{ displaystyle | (a, b) | = | mathbb {R} | = | mathbb {R} ^ {n} |.}

Eng kichik cheksiz kardinal raqam ${ displaystyle aleph _ {0}}$ (alef-null ). Ikkinchisi eng kichigi ${ displaystyle aleph _ {1}}$ (alef-bir ). The doimiy gipoteza, bu aniqligi qat'iy bo'lgan to'plamlar mavjud emasligini ta'kidlaydi ${ displaystyle aleph _ {0}}$ va ${ displaystyle { mathfrak {c}}}$ , shuni anglatadiki ${ displaystyle { mathfrak {c}} = aleph _ {1}}$ .^[3] Ushbu gipotezaning haqiqati yoki yolg'onligi aniq emas va isbotlab bo'lmaydi aksiomalarning keng qo'llaniladigan ZFC tizimi ichida.

Xususiyatlari

Hisoblash mumkin emas

Jorj Kantor tushunchasini kiritdi kardinallik cheksiz to'plamlarning o'lchamlarini taqqoslash. U haqiqiy raqamlar to'plami ekanligini mashhur ko'rsatdi behisob cheksiz. Anavi, ${ displaystyle { mathfrak {c}}}$ ning kardinalligidan qat'iyan kattaroqdir natural sonlar, ${ displaystyle aleph _ {0}}$ :

{ displaystyle aleph _ {0} <{ mathfrak {c}}.}

Amalda, bu shuni anglatadiki, haqiqiy sonlar butun sonlarga qaraganda ko'proq. Kantor bu gapni bir necha xil usullarda isbotladi. Ushbu mavzu bo'yicha qo'shimcha ma'lumot uchun qarang Cantorning birinchi hisoblab bo'lmaydigan dalili va Kantorning diagonal argumenti.

Kardinal tengliklar

Kantorning diagonali argumentining o'zgarishini isbotlash uchun ishlatish mumkin Kantor teoremasi, bu har qanday to'plamning kardinalligi uningnikidan qat'iyan kamroq ekanligini bildiradi quvvat o'rnatilgan. Anavi, ${ displaystyle | A | <2 ^ {| A |}}$ (va shuning uchun quvvat o'rnatilgan ${ displaystyle wp ( mathbb {N})}$ ning natural sonlar ${ displaystyle mathbb {N}}$ hisoblash mumkin emas). Aslida, kimdir ko'rsatishi mumkin^{[iqtibos kerak ]} ning kardinalligi ${ displaystyle wp ( mathbb {N})}$ ga teng ${ displaystyle { mathfrak {c}}}$ quyidagicha:

Xaritani aniqlang ${ displaystyle f: mathbb {R} to wp ( mathbb {Q})}$ real-dan quvvat to'plamiga mantiqiy asoslar, ${ displaystyle mathbb {Q}}$ , har bir haqiqiy raqamni yuborish orqali ${ displaystyle x}$ to'plamga ${ displaystyle {q in mathbb {Q}: q leq x }}$ dan kam yoki teng bo'lgan barcha mantiqiy asoslarning ${ displaystyle x}$ (reallar sifatida ko'rib chiqilgan holda Dedekind kesadi, bu boshqa narsadan boshqa narsa emas inklyuziya xaritasi mantiqiy asoslar to'plamida). Chunki mantiqiy asoslar zich yilda ${ displaystyle mathbb {R}}$ , bu xarita in'ektsion va mantiqiy asoslarni hisoblash mumkin bo'lganligi sababli, bizda bunga ega ${ displaystyle { mathfrak {c}} leq 2 ^ { aleph _ {0}}}$ .
Ruxsat bering ${ displaystyle {0,2 } ^ { mathbb {N}}}$ cheksiz to'plam bo'ling ketma-ketliklar o'rnatilgan qiymatlar bilan ${ displaystyle {0,2 }}$ . Ushbu to'plam muhim ahamiyatga ega ${ displaystyle 2 ^ { aleph _ {0}}}$ (tabiiy bijection ikkilik ketma-ketliklar to'plami orasida va ${ displaystyle wp ( mathbb {N})}$ tomonidan berilgan ko'rsatkich funktsiyasi ). Endi har bir shunday ketma-ketlik bilan bog'laning ${ displaystyle (a_ {i}) _ {i in mathbb {N}}}$ ichida noyob haqiqiy raqam oraliq ${ displaystyle [0,1]}$ bilan uchlamchi - raqamlar bilan berilgan kengayish ${ displaystyle a_ {1}, a_ {2}, dotsc}$ , ya'ni, ${ displaystyle sum _ {i = 1} ^ { infty} a_ {i} 3 ^ {- i}}$ , ${ displaystyle i}$ - kasr nuqtasidan keyingi - raqam ${ displaystyle a_ {i}}$ bazaga nisbatan ${ displaystyle 3}$ . Ushbu xaritaning tasviri Kantor o'rnatilgan. Ushbu xaritaning injektsion ekanligini ko'rish qiyin emas, chunki ularning uchlik kengayishida 1 xonasi bo'lgan nuqtalardan qochish orqali biz haqiqiy sonning uchlik kengayishi noyob bo'lmaganligi sababli yuzaga keladigan to'qnashuvlardan qochamiz. Keyin bizda shunday narsa bor ${ displaystyle 2 ^ { aleph _ {0}} leq { mathfrak {c}}}$ .

Tomonidan Kantor-Bernshteyn-Shreder teoremasi biz shunday xulosa qilamiz

{ displaystyle { mathfrak {c}} = | wp ( mathbb {N}) | = 2 ^ { aleph _ {0}}.}

Kardinal tenglik ${ displaystyle { mathfrak {c}} ^ {2} = { mathfrak {c}}}$ yordamida namoyish etish mumkin kardinal arifmetik:

{ displaystyle { mathfrak {c}} ^ {2} = (2 ^ { aleph _ {0}}) ^ {2} = 2 ^ {2 times { aleph _ {0}}} = 2 ^ { aleph _ {0}} = { mathfrak {c}}.}

Kardinal arifmetik qoidalardan foydalangan holda, buni ko'rsatish mumkin

{ displaystyle { mathfrak {c}} ^ { aleph _ {0}} = { aleph _ {0}} ^ { aleph _ {0}} = n ^ { aleph _ {0}} = { mathfrak {c}} ^ {n} = aleph _ {0} { mathfrak {c}} = n { mathfrak {c}} = { mathfrak {c}},}

qayerda n har qanday sonli kardinal ≥ 2 va

{ displaystyle { mathfrak {c}} ^ { mathfrak {c}} = (2 ^ { aleph _ {0}}) ^ { mathfrak {c}} = 2 ^ {{ mathfrak {c}} times aleph _ {0}} = 2 ^ { mathfrak {c}},}

qayerda ${ displaystyle 2 ^ { mathfrak {c}}}$ ning quvvat to'plamining asosiy kuchi Rva ${ displaystyle 2 ^ { mathfrak {c}}> { mathfrak {c}}}$ .

Uchun muqobil tushuntirish ${ displaystyle { mathfrak {c}} = 2 ^ { aleph _ {0}}}$

Har bir haqiqiy sonda kamida bittasi cheksiz bo'ladi o'nlik kengayish. Masalan,

1/2 = 0.50000...

1/3 = 0.33333...

b = 3.14159 ....

(Dastlabki ikkita misolda bo'lgani kabi, kengayish takrorlanganda ham bu to'g'ri.)

Har qanday holatda, raqamlar soni hisoblanadigan chunki ularni a ga qo'yish mumkin birma-bir yozishmalar natural sonlar to'plami bilan ${ displaystyle mathbb {N}}$ . Bu, masalan, birinchi, yuzinchi yoki millioninchi raqam haqida gapirishni mantiqiy qiladi. Chunki tabiiy sonlar tub mohiyatga ega ${ displaystyle aleph _ {0},}$ har bir haqiqiy songa ega ${ displaystyle aleph _ {0}}$ uning kengayishidagi raqamlar.

Har bir haqiqiy sonni butun songa va o'nli kasrga bo'lish mumkinligi sababli, biz quyidagilarni olamiz:

{ displaystyle { mathfrak {c}} leq aleph _ {0} cdot 10 ^ { aleph _ {0}} leq 2 ^ { aleph _ {0}} cdot {(2 ^ {4 })} ^ { aleph _ {0}} = 2 ^ { aleph _ {0} +4 cdot aleph _ {0}} = 2 ^ { aleph _ {0}}}

bu erda biz haqiqatdan foydalanganmiz

{ displaystyle aleph _ {0} +4 cdot aleph _ {0} = aleph _ {0} ,.}

Boshqa tomondan, agar biz xaritaga tushsak ${ displaystyle 2 = {0,1 }}$ ga ${ displaystyle {3,7 }}$ va faqat 3 yoki 7 ni o'z ichiga olgan o'nlik kasrlar haqiqiy sonlarning faqat bir qismi deb hisoblang, shunda biz olamiz

{ displaystyle 2 ^ { aleph _ {0}} leq { mathfrak {c}} ,.}

va shunday qilib

{ displaystyle { mathfrak {c}} = 2 ^ { aleph _ {0}} ,.}

Bet raqamlari

Bet raqamlarining ketma-ketligi sozlash orqali aniqlanadi ${ displaystyle beth _ {0} = aleph _ {0}}$ va ${ displaystyle beth _ {k + 1} = 2 ^ { beth _ {k}}}$ . Shunday qilib ${ displaystyle { mathfrak {c}}}$ ikkinchi bet raqami, bet-one:

{ displaystyle { mathfrak {c}} = beth _ {1}.}

Uchinchi bet raqami, bet-ikkinchi, quvvat to'plamining asosiy kuchi ${ displaystyle mathbb {R}}$ (ya'ni. ning barcha kichik to'plamlari to'plami haqiqiy chiziq ):

{ displaystyle 2 ^ { mathfrak {c}} = beth _ {2}.}

Doimiy gipoteza

Mashhur doimiylik gipotezasi buni tasdiqlaydi ${ displaystyle { mathfrak {c}}}$ shuningdek, ikkinchisi alef raqami, ${ displaystyle aleph _ {1}}$ .^[3] Boshqacha qilib aytganda, doimiy gipotezada hech qanday to'plam yo'qligi aytilgan ${ displaystyle A}$ ularning kardinalligi qat'iy o'rtasida joylashgan ${ displaystyle aleph _ {0}}$ va ${ displaystyle { mathfrak {c}}}$

{ displaystyle nexists A quad: quad aleph _ {0} <| A | <{ mathfrak {c}}.}

Ushbu bayonot endi aksiomalaridan mustaqil ekanligi ma'lum bo'ldi Zermelo-Fraenkel to'plamlari nazariyasi tanlov aksiomasi bilan (ZFC). Ya'ni, gipoteza ham, uning inkor etilishi ham ushbu aksiomalarga mos keladi. Aslida, har bir nolga teng bo'lmagan narsa uchun tabiiy son n, tenglik ${ displaystyle { mathfrak {c}}}$ = ${ displaystyle aleph _ {n}}$ ZFC dan mustaqil (ish uchun) ${ displaystyle n = 1}$ doimiy gipoteza). Xuddi shu narsa boshqa aliflarning aksariyati uchun ham amal qiladi, garchi ba'zi hollarda tenglikni istisno qilish mumkin König teoremasi asosida uyg'unlik (masalan, ${ displaystyle { mathfrak {c}} neq aleph _ { omega}}$ ). Jumladan, ${ displaystyle { mathfrak {c}}}$ ham bo'lishi mumkin ${ displaystyle aleph _ {1}}$ yoki ${ displaystyle aleph _ { omega _ {1}}}$ , qayerda ${ displaystyle omega _ {1}}$ bo'ladi birinchi hisoblanmaydigan tartib, shuning uchun u ham bo'lishi mumkin voris kardinal yoki a limit kardinal, yoki a muntazam kardinal yoki a yagona kardinal.

Davomiylikni aniqligi bilan to'plamlar

Matematikada o'rganilgan ko'plab to'plamlarning asosiy kuchi tengdir ${ displaystyle { mathfrak {c}}}$ . Ba'zi keng tarqalgan misollar quyidagilar:

The haqiqiy raqamlar ${ displaystyle mathbb {R}}$
har qanday (noaniq ) yopiq yoki ochiq oraliq yilda ${ displaystyle mathbb {R}}$ (masalan birlik oralig'i ${ displaystyle [0,1]}$ )
Masalan, hamma uchun ${ displaystyle a, b in mathbb {R}}$ shu kabi ${ displaystyle a$ biz biektsiyani aniqlay olamiz
${ displaystyle { begin {aligned} f colon mathbb {R} & to (a, b) x & mapsto { frac { arctan x + { frac { pi} {2}}} { pi}} cdot (ba) + a end {hizalanmış}}}$
Endi biz cheksiz intervalning kardinalligini ko'rsatamiz. Barcha uchun ${ displaystyle a in mathbb {R}}$ biz biektsiyani aniqlay olamiz
${ displaystyle { begin {aligned} f colon mathbb {R} & to (a, infty) x & mapsto { begin {case}} arctan x + { frac { pi} {2} } + a & { mbox {if}} x <0 x + { frac { pi} {2}} + a & { mbox {if}} x geq 0 end {case}}} end {hizalangan }}}$
va shunga o'xshash hamma uchun ${ displaystyle b in mathbb {R}}$
${ displaystyle { begin {aligned} f colon mathbb {R} & to (- infty, b) x & mapsto { begin {case} x - { frac { pi} {2} } + b & { mbox {if}} x <0 arctan x - { frac { pi} {2}} + b & { mbox {if}} x geq 0 end {case}} oxiri {hizalanmış}}}$
The mantiqsiz raqamlar
The transandantal raqamlar Shuni ta'kidlaymizki, haqiqiy to'plam algebraik sonlar nihoyatda cheksizdir (har bir formulaga uning sonini belgilang Gödel raqami.) Demak, haqiqiy algebraik sonlarning tub mohiyati ${ displaystyle aleph _ {0}}$ . Bundan tashqari, haqiqiy algebraik raqamlar va haqiqiy transandantal sonlar birlashma to'plamidir ${ displaystyle mathbb {R}}$ . Shunday qilib, ning kardinalligi beri ${ displaystyle mathbb {R}}$ bu ${ displaystyle { mathfrak {c}}}$ , haqiqiy transandantal raqamlarning asosiy kuchi ${ displaystyle { mathfrak {c}} - aleph _ {0} = { mathfrak {c}}}$ . Shunga o'xshash natija murakkab transandantal raqamlar uchun ham keladi, biz buni isbotlaganimizdan keyin ${ displaystyle left vert mathbb {C} right vert = { mathfrak {c}}}$ .
The Kantor o'rnatilgan
Evklid fazosi ${ displaystyle mathbb {R} ^ {n}}$ ^[4]
The murakkab sonlar ${ displaystyle mathbb {C}}$ Kantor tomonidan Evklid makonining muhimligini isbotlagan holda,^[4] ${ displaystyle left vert mathbb {R} ^ {2} right vert = { mathfrak {c}}}$ . Ta'rifga ko'ra, har qanday ${ displaystyle c in mathbb {C}}$ sifatida noyob tarzda ifodalanishi mumkin ${ displaystyle a + bi}$ kimdir uchun ${ displaystyle a, b in mathbb {R}}$ . Shuning uchun biz bijectionni aniqlaymiz
${ displaystyle { begin {aligned} f colon mathbb {R} ^ {2} & to mathbb {C} (a, b) & mapsto a + bi end {aligned}}}$
The quvvat o'rnatilgan ning natural sonlar ${ displaystyle { mathcal {P}} ( mathbb {N})}$ (natural sonlarning barcha kichik to'plamlari to'plami)
to'plami ketma-ketliklar butun sonlar (ya'ni barcha funktsiyalar) ${ displaystyle mathbb {N} rightarrow mathbb {Z}}$ , ko'pincha belgilanadi ${ displaystyle mathbb {Z} ^ { mathbb {N}}}$ )
haqiqiy sonlar ketma-ketligi to'plami, ${ displaystyle mathbb {R} ^ { mathbb {N}}}$
barchasi to'plami davomiy funktsiyalari ${ displaystyle mathbb {R}}$ ga ${ displaystyle mathbb {R}}$
The Evklid topologiyasi kuni ${ displaystyle mathbb {R} ^ {n}}$ (ya'ni barchaning to'plami ochiq to'plamlar yilda ${ displaystyle mathbb {R} ^ {n}}$ )
The Borel b-algebra kuni ${ displaystyle mathbb {R}}$ (ya'ni barchaning to'plami Borel to'plamlari yilda ${ displaystyle mathbb {R}}$ ).

Kardinalligi kattaroq to'plamlar

Kattaligi kattaroq to'plamlar ${ displaystyle { mathfrak {c}}}$ quyidagilarni o'z ichiga oladi:

ning barcha kichik to'plamlari to'plami ${ displaystyle mathbb {R}}$ (ya'ni quvvat o'rnatilgan) ${ displaystyle { mathcal {P}} ( mathbb {R})}$ )
to'plam 2^R ning ko'rsatkich funktsiyalari realning pastki to'plamlarida aniqlangan (to'plam) ${ displaystyle 2 ^ { mathbb {R}}}$ bu izomorfik ga ${ displaystyle { mathcal {P}} ( mathbb {R})}$ - indikator funktsiyasi har bir kichik to'plam elementlarini tanlaydi)
to'plam ${ displaystyle mathbb {R} ^ { mathbb {R}}}$ dan barcha funktsiyalar ${ displaystyle mathbb {R}}$ ga ${ displaystyle mathbb {R}}$
The Lebesg g-algebra ning ${ displaystyle mathbb {R}}$ , ya'ni barchaning to'plami Lebesgue o'lchovli o'rnatiladi ${ displaystyle mathbb {R}}$ .
barchasi to'plami Lebesgue-integral funktsiyalari ${ displaystyle mathbb {R}}$ ga ${ displaystyle mathbb {R}}$
barchasi to'plami Lebesgni o'lchash mumkin funktsiyalari ${ displaystyle mathbb {R}}$ ga ${ displaystyle mathbb {R}}$
The Tosh-texnik ixchamlashtirish ning ${ displaystyle mathbb {N}}$ , ${ displaystyle mathbb {Q}}$ va ${ displaystyle mathbb {R}}$
kompleks sonlar maydonining (diskret) barcha avtomorfizmlari to'plami.

Bularning barchasi tubanlikka ega ${ displaystyle 2 ^ { mathfrak {c}} = beth _ {2}}$ (ikkitasi ).

Shuningdek qarang

Davomiylik (to'plam nazariyasi)

Adabiyotlar

^ "To'liq nazariya belgilarining to'liq ro'yxati". Matematik kassa. 2020-04-11. Olingan 2020-08-12.
^ "Transfinite son | matematika". Britannica entsiklopediyasi. Olingan 2020-08-12.
^ ^a ^b Vayshteyn, Erik V. "Davom etish". mathworld.wolfram.com. Olingan 2020-08-12.
^ ^a ^b Kantor hayratda qoldimi?, Fernando Q. Guvêa, Amerika matematik oyligi, 2011 yil mart.

Bibliografiya

Pol Halmos, Sodda to'plam nazariyasi. Princeton, NJ: D. Van Nostrand kompaniyasi, 1960. Springer-Verlag tomonidan nashr etilgan, Nyu-York, 1974 yil. ISBN 0-387-90092-6 (Springer-Verlag nashri).
Jech, Tomas, 2003. Nazariyani o'rnating: Uchinchi ming yillik nashr, qayta ko'rib chiqilgan va kengaytirilgan. Springer. ISBN 3-540-44085-2.
Kunen, Kennet, 1980. Nazariyani o'rnating: Mustaqillikning isbotlari bilan tanishish. Elsevier. ISBN 0-444-86839-9.

Ushbu maqola materiallarni o'z ichiga oladi doimiylikning kardinalligi kuni PlanetMath, ostida litsenziyalangan Creative Commons Attribution / Share-Alike litsenziyasi.

[1] "To'liq nazariya belgilarining to'liq ro'yxati". Matematik kassa. 2020-04-11. Olingan 2020-08-12.

[2] "Transfinite son | matematika". Britannica entsiklopediyasi. Olingan 2020-08-12.

[:0-3] Vayshteyn, Erik V. "Davom etish". mathworld.wolfram.com. Olingan 2020-08-12.

[Gouvea-4] Kantor hayratda qoldimi?, Fernando Q. Guvêa, Amerika matematik oyligi, 2011 yil mart.

[1]

[2]

[3]

[4]