sharsimon qatlamga ega bo‘lamiz. Birorta uchun to‘plam da zich bo‘lishini ko‘rsatamiz. Agar bo‘lsa, u holda bo‘ladi. Bundan tashqari
. (1.5)
Ma’lumki, miqdor ga bog‘liq emas va biz
deb olamiz. U holda (1.5) ga ko‘ra, bo‘ladi. to‘plamning qatlamda zich ekanligidan to‘plamning qatlamda zich ekanligi kelib chiqadi. Endi dan ixtiyoriy nolmas element olamiz. Shunday son mavjudki, tengsizlik o‘rinli, ya’ni bo‘ladi. to‘plam qatlamda zich bo‘lgani uchun ga yaqinlashuvchi ketma-ketlik qurish mumkin. U holda . Ravshanki, bo‘lsa, u holda ixtiyoriy uchun bo‘ladi. Shunday qilib, to‘plam da zich va demak, ning o‘zida ham zich.
Endi ixtiyoriy nolmas elementni olamiz va 1.1-lemmaga ko‘ra to‘plamning elementlari orqali qatorga yoyamiz:
fazoda elementlardan tuzilgan qatorni qaraymiz:
(1.6)
Bu qator qandaydir elementga yaqinlashadi, chunki
va
.
(1.6) qatorning yaqinlashuvchiligidan va ning uzluksizligidan
Bu yerdan ekanligi kelib chiqadi. Bundan tashqari
.
Bu yerdan
tengsizlik kelib chiqadi. Shunday qilib, operatorning chegaralangan ekanligi isbotlandi. ∆
Berilgan operatorga teskari operatorning mavjudligini ko‘rsatish birmuncha osonroq, lekin teskari operatorni topish masalasi murakkab masaladir. Shuning uchun teskari operatorni topishni soddaroq holdan, ya’ni qaralayotgan fazo o‘lchami chekli bo‘lgan holdan boshlaymiz.
Do'stlaringiz bilan baham: |