10. Fazoda ketma-ketlik va uning limiti tushunchalari

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.