Raxmonov bahodir abduhamidovichning “S

1.3.2-teorema. bo‘lsin. U holda kompakt operator bo‘ladi.
Isbot. chegaralangan operator bo‘lgani uchun ixtiyoriy chegaralangan to‘plamni yana chegaralangan to‘plamga akslantiradi. Ma’lumki, va bo‘lgani uchun nisbiy kompaktdir. Demak, kompakt operator.
1-misol. Hilbert fazosidagi birlik operatorning kompakt emasligini ko‘rsating.
Yechish. Birlik operatorning uzluksizligi uning chegaralangan ekanligidan kelib chiqadi (oldingi misolga qarang). Endi uning kompakt emasligini ko‘rsatamiz. dagi birlik yopiq sharni qaraymiz. Bu to‘plam chegaralangan to‘plam bo‘ladi, uning akslantirishdagi tasviri (aksi) o‘ziga teng. Lekin birlik shar kompakt emas. Buni isbotlash uchun da ixtiyoriy ortonormal sistemani olamiz. Ma’lumki, ixtiyoriy uchun Agar bo‘lsa, u holda

Bu yerdan ko‘rinadiki ketma-ketlikdan yaqinlashuvchi qismiy ketma-ketlik ajratish mumkin emas. Demak, birlik shar nisbiy kompakt to‘plam emas ekan. Bu o‘z navbatida birlik operatorning kompakt emasligini bildiradi.
Cheksiz o‘lchamli Banax fazolarida birlik sharning nisbiy kompakt to‘plam emasligi quyidagi lemmadan kelib chiqadi.
1.3.1-lemma. chiziqli normalangan fazo va lar dagi chiziqli erkli sistema bo‘lsin. bilan elementlarning chiziqli qobig‘idan tashkil topgan qism fazoni belgilaymiz. U holda quyidagi shartlarni qanoatlantiruvchi vektorlar mavjud:

Isbot. Lemma shartiga ko‘ra elementlar sistemasi chiziqli erkli. Shuninguchun, va ningyopiqekanligidan bo‘ladi. Shunday element mavjudki bo‘ladi. U holda

Natijada

vektor 1-3 shartlarni qanoatlantiruvchi vekror bo‘ladi. vektor sifatida vektorni olish yetarli.
Bu lemmadan foydalanib, cheksiz o‘lchamli Banax fazosidagi yopiq birlik sharda yotuvchi shunday ketma-ketlik qurish mumkinki, shart bajariladi. Bunday ketma-ketlik o‘zida birorta ham yaqinlashuvchi qismiy ketma-ketlikni saqlamaydi. Demak, cheksiz o‘lchamli Banax fazosidagi birlik shar nisbiy kom’akt to‘‘lam emas. Bu yerdan quyidagi natija kelib chiqadi.