Kantorlarning kesishish teoremasi - Cantors intersection theorem - Wikipedia

Kantorning kesishish teoremasi da bir-biriga chambarchas bog'liq ikkita teoremani nazarda tutadi umumiy topologiya va haqiqiy tahlil nomi bilan nomlangan Jorj Kantor, kichraytirilgan uyalarning kesishgan joylari haqida ketma-ketliklar bo'sh bo'lmagan ixcham to'plamlar to'plami.

Topologik bayonot

Teorema. $ S $ a bo'lsin topologik makon. S ning bo'sh bo'lmagan ixcham, yopiq kichik to'plamlarining kamayib ketadigan ichki ketma-ketligi bo'sh bo'lmagan kesishishga ega. Boshqacha qilib aytganda, taxmin qilish ${ displaystyle (C_ {k})}$ S ning bo'sh bo'lmagan ixcham, yopiq kichik to'plamlari ketma-ketligi

${ displaystyle C_ {0} supset C_ {1} supset cdots supset C_ {n} supset C_ {n + 1} supset cdots,}$

bundan kelib chiqadiki

${ displaystyle left ( bigcap _ {k} C_ {k} right) neq emptyset.}$

Yopiqlik holati har bir ixcham kichik to'plami qoldirilgan holatlarda qoldirilishi mumkin S yopiq, masalan qachon S bu Hausdorff.

Isbot. Qarama-qarshilik bilan, deb taxmin qiling ${ displaystyle bigcap C_ {k} = emptyset}$. Har biriga k, ruxsat bering ${ displaystyle U_ {k} = C_ {0} setminus C_ {k}}$. Beri ${ displaystyle bigcup U_ {k} = C_ {0} setminus left ( bigcap C_ {k} right)}$ va ${ displaystyle bigcap C_ {k} = emptyset}$, bizda ... bor ${ displaystyle bigcup U_ {k} = C_ {0}}$. Beri ${ displaystyle C_ {k}}$ ga nisbatan yopiq S va shuning uchun ham nisbatan yopiq ${ displaystyle C_ {0}}$, ${ displaystyle U_ {k}}$, ularning to'plami ${ displaystyle C_ {0}}$, nisbatan ochiq ${ displaystyle C_ {0}}$.

Beri ${ displaystyle C_ {0} subset S}$ ixcham va ${ displaystyle (U_ {k})}$ ochiq qopqoq (yoqilgan) ${ displaystyle C_ {0}}$) ning ${ displaystyle C_ {0}}$, cheklangan qopqoq ${ displaystyle {U_ {k_ {1}}, U_ {k_ {2}}, ldots, U_ {k_ {m}} }}$ qazib olinishi mumkin. Ruxsat bering ${ displaystyle M = max _ {1 leq i leq m} {k_ {i}}}$. Keyin ${ displaystyle bigcup U_ {k_ {i}} = U_ {M}}$ chunki ${ displaystyle U_ {1} subset U_ {2} subset cdots subset U_ {n} subset U_ {n + 1} cdots}$, to'plam uchun uyalash gipotezasi bo'yicha ${ displaystyle (C_ {k}).}$ Binobarin, ${ displaystyle C_ {0} = bigcup U_ {k_ {i}} = U_ {M}}$. Ammo keyin ${ displaystyle C_ {M} = C_ {0} setminus U_ {M} = emptyset}$, ziddiyat. ∎

Haqiqiy raqamlar uchun bayonot

Haqiqiy tahlildagi teorema xuddi shunday xulosaga keladi yopiq va chegaralangan to'plamining pastki to'plamlari haqiqiy raqamlar ${ displaystyle mathbf {R}}$. U kamayib ketayotgan ichki ketma-ketlikni bildiradi ${ displaystyle (C_ {k})}$ ning bo'sh bo'lmagan, yopiq va chegaralangan kichik to'plamlari ${ displaystyle mathbf {R}}$ bo'sh bo'lmagan chorrahaga ega.

Ushbu versiya umumiy topologik bayonotdan kelib chiqqan holda Geyn-Borel teoremasi, unda haqiqiy sonlar to'plami ixchamdir, agar ular yopiq va chegaralangan bo'lsa. Ammo, odatda, ushbu teoremani isbotlashda lemma sifatida ishlatiladi va shuning uchun alohida dalilni talab qiladi.

Misol tariqasida, agar ${ displaystyle C_ {k} = [0,1 / k]}$, kesishma tugadi ${ displaystyle (C_ {k})}$ bu${ displaystyle {0 }}$. Boshqa tomondan, ikkala ochiq chegaralangan to'plamlarning ketma-ketligi ${ displaystyle C_ {k} = (0,1 / k)}$ va cheksiz yopiq to'plamlarning ketma-ketligi ${ displaystyle C_ {k} = [k, infty)}$ bo'sh kesishgan joy bor. Ushbu ketma-ketliklarning barchasi to'g'ri joylashtirilgan.

Teoremaning ushbu versiyasi umumlashtiriladi ${ displaystyle mathbf {R} ^ {n}}$, to'plami n- haqiqiy sonlarning vektorlari, lekin o'zboshimchalik bilan umumlashtirilmaydi metrik bo'shliqlar. Masalan, ratsional sonlar, to'plamlar

${ displaystyle C_ {k} = [{ sqrt {2}}, { sqrt {2}} + 1 / k] = ({ sqrt {2}}, { sqrt {2}} + 1 / k )}$

yopiq va chegaralangan, ammo ularning kesishishi bo'sh.

E'tibor bering, bu to'plamlar kabi topologik bayonotga zid emas ${ displaystyle C_ {k}}$ ixcham emas va quyida keltirilgan variant ham mavjud emas, chunki ratsional sonlar odatdagi metrikaga nisbatan to'liq emas.

Teoremaning oddiy xulosasi shundaki Kantor o'rnatilgan bo'sh emas, chunki u har bir sonli yopiq intervallarni birlashishi sifatida aniqlanadigan to'plamlarning kamayib ketadigan ketma-ketligining kesishishi sifatida aniqlanadi; shuning uchun ushbu to'plamlarning har biri bo'sh emas, yopiq va chegaralangan. Darhaqiqat, Kantor to'plamida juda ko'p fikrlar mavjud.

Teorema. Ruxsat bering ${ displaystyle (C_ {k})}$ bo'sh bo'lmagan, yopiq va chegaralangan kichik guruhlar oilasi bo'ling ${ displaystyle mathbf {R}}$ qoniqarli

${ displaystyle C_ {0} supset C_ {1} supset cdots C_ {n} supset C_ {n + 1} cdots.}$

Keyin,

${ displaystyle left ( bigcap _ {k} C_ {k} right) neq emptyset.}$

Isbot. Har bir bo'sh bo'lmagan, yopiq va cheklangan kichik to'plam ${ displaystyle C_ {k} subset mathbf {R}}$ minimal elementni tan oladi ${ displaystyle x_ {k}}$. Har biri uchun k, bizda ... bor

${ displaystyle x_ {k + 1} in C_ {k + 1} subseteq C_ {k}}$,

bundan kelib chiqadiki

${ displaystyle x_ {k} leq x_ {k + 1}}$,

shunday ${ displaystyle (x_ {k})}$ cheklangan to'plamda mavjud bo'lgan ortib boruvchi ketma-ketlik ${ displaystyle C_ {0}}$. The monoton konvergentsiya teoremasi chunki haqiqiy sonlarning chegaralangan ketma-ketliklari endi chegara nuqtasi mavjudligini kafolatlaydi

${ displaystyle x = lim _ {k to infty} x_ {k}.}$

Ruxsat etilgan uchun k, $C {k}} da { displaystyle x_ {j}$ Barcha uchun ${ displaystyle j geq k}$ va beri ${ displaystyle C_ {k}}$ yopildi va x a chegara nuqtasi, bundan kelib chiqadiki $C {k}} dagi { displaystyle x$. Bizning tanlovimiz k o'zboshimchalik bilan edi, shuning uchun x tegishli ${ displaystyle bigcap _ {k} C_ {k}}$ va dalil to'liq. ∎

To'liq metrik bo'shliqlarda variant

A to'liq metrik bo'shliq, Kantorning kesishish teoremasining quyidagi varianti bajariladi.

Teorema. Aytaylik, X to'liq metrik bo'shliq, va ${ displaystyle C_ {k}}$ bu ketma-ketlik X ning bo'sh bo'lmagan yopiq ichki to'plamlari diametrlari nolga moyil:

${ displaystyle lim _ {k to infty} operator nomi {diam} (C_ {k}) = 0,}$

qayerda ${ displaystyle operator nomi {diam} (C_ {k})}$ bilan belgilanadi

${ displaystyle operator nomi {diam} (C_ {k}) = sup {d (x, y) | x, y in C_ {k} }.}$

Keyin. Ning kesishishi ${ displaystyle C_ {k}}$ to'liq bitta fikrni o'z ichiga oladi:

${ displaystyle bigcap _ {k = 1} ^ { infty} C_ {k} = {x }}$

X uchun x

Isbot (eskiz). Bir dalil quyidagicha. Diametrlar nolga teng bo'lganligi sababli, ning kesishgan diametri ${ displaystyle C_ {k}}$ nolga teng, shuning uchun u bo'sh yoki bitta nuqtadan iborat. Shuning uchun uning bo'sh emasligini ko'rsatish kifoya. Elementni tanlang ${ displaystyle x_ {k} C_ {k}} da$ har biriga k. Ning diametridan beri ${ displaystyle C_ {k}}$ nolga moyil bo'ladi va ${ displaystyle C_ {k}}$ joylashtirilgan, ${ displaystyle x_ {k}}$ Koshi ketma-ketligini hosil qilish. Metrik bo'shliq tugaganligi sababli, Koshi ketma-ketligi bir nuqtaga yaqinlashadi x. Har biridan beri ${ displaystyle C_ {k}}$ yopiq va x ichida ketma-ketlikning chegarasi ${ displaystyle C_ {k}}$, x yotish kerak ${ displaystyle C_ {k}}$. Bu har bir kishi uchun amal qiladi k, va shuning uchun ${ displaystyle C_ {k}}$ o'z ichiga olishi kerak x. ∎

Ushbu teoremaga teskari tomon ham to'g'ri keladi: agar X diametri nolga teng bo'lgan bo'sh bo'lmagan yopiq pastki qismlarning har qanday ichki oilasining kesishishi bo'sh bo'lmagan xususiyatga ega bo'lgan metrik bo'shliqdir. X to'liq metrik bo'shliqdir. (Buni isbotlash uchun, ruxsat bering ${ displaystyle (x_ {k})}$ Koshi ketma-ketligi bo'ling Xva ruxsat bering ${ displaystyle C_ {k}}$ ushbu ketma-ketlikning dumini yopib qo'ying.)

Adabiyotlar

• Vayshteyn, Erik V. "Kantor chorrahasi teoremasi". MathWorld.
• Jonathan Lewin. Matematik tahlilga interaktiv kirish. Kembrij universiteti matbuoti. ISBN  0-521-01718-1. 7.8-bo'lim.