Metrik fazoda ketma-ketlik va uning limiti

3-tearema (Koshi tearemasi). ketma-ketlikning yaqinlashuvchi bo’lishi uchununing fundamental bo’lishi zarur va etarli.
Bu tearema 9-ma’ruzada keltirilgan 3-tearema kabi isbotlanadi.
3⁰. Ichma-ich joylashgan yopiq sharlar printsipi. fazoda markazlari

nuqtalarda, radiuslari bo’lgan ushbu

yopiq sharlar ketma-ketligini qaraylik. Agar bu yopiq sharlar ketma-ketligining hadlari uchunquyidagi

munosabat o’rinli bo’lsa, ichma-ich joylashgan yopiq sharlar ketma-ketligi deyiladi.
Aytaylik, fazoda ichma-ich joylashgan yopiq sharlar ketma-ketligi bo’lsin.
4-tearema. Agar da shar radiuslari nolga intilsa, yani

bo’lsa, u holda barcha yopiq sharlarga tegishli bo’lgan nuqta mavjud va u yagona bo’ladi.
◄ Shar markazlaridan tuzilgan

ketma-ketlikni qaraylik. Uning fundamental ketma-ketlik bo’lishini ko’rsatamiz.
Shartga ko’ra
. Unda

bo’ladi. Ayni paytda, yopiq sharlar ichma-ich joylashgan-ligidan ixtiyoriy

uchun

Bo’lib

bo’ladi.
Demak, fundamentalketma-ketlik. Unda Koshi tearema-siga ko’ra u yaqinlashuvchi bo’ladi:

Bu nuqta to’plamning limit nuqtasi va yopiq bo’lganligi uchun bo’ladi. Demak, barcha sharlarga tegishli bo’lgan nuqta. Faraz qilaylik, nuqtadan farqli barcha sharlarga tegishli bo’lgan nuqta mavjud bo’lsin: . Masofaning 3-xossasidan foydalanib topamiz:
.
Agar да bo’lishini e’tiborga olsak, keyingi munosabatdan , yani bo’lishi kelib chiqadi.►
Odatda, bu tearema ichma-ich joylashgan yopiq sharlar printsipi deyiladi.
4⁰. Qismiy ketma-ketliklar. Больцано-Вейерштрасс tearemasi.
fazoda :

ketma-ketlik berilgan bo’lsin. Ushbu ketma-ketlik

bunda,

Berilgan ketma-ketlikning qismiy ketma-ketligi deyiladi. У kabi belgilanadi.
Ravshanki, bitta ketma-ketlikning turlicha qismiy ketma-ketliklari bo’ladi.
Agar ketma-ketlik yaqinlashuvchi bo’lib,

bo’lsa, bu ketma-ketlikning har qanday qismiy ketma-ketligi ham yaqinlashuvchi bo’lib,

bo’ladi.
Bu tasdiqning isboti ketma-ketlik limiti ta’rifidan bevosita kelib chiqadi.
Aytaylik, fazoda biror to’plam berilgan bo’lsin: . Agar fazoda markazi , radiusi bo’lgan shar

topilsaki:
bo’lsa, chegaralangan to’plam deyiladi.
Endi Больцано-Вейерштрасс tearemasini isbotsiz keltiramiz.