5- ma’ruza. Metrik fazolarda ochiq va yopiq to‘plamlar. To‘la va separabel metrik fazolar(2soat) Darsning rejasi

O’tilgan mavzular bo’yicha (8 daqiqa): talabalarning o’tgan ma’ruzada ko’rsatilgan o’z-o’zini tekshirish savollariga javob berish va muammoli topshiriqlarni bajarishini tashkil etish natijasida talabalarning bilim darajasini aniqlash (bunda har bir talaba o’z varianti bo’yicha yozma javob berishi ko’zda tutiladi).

Yangi dars mavzusining bayoni (55 daqiqa):
Metrik fazolar va ularga misollar. Analizdagi eng muhim amallardan biri bu limitga o‘tish amalidir. Bu amalning asosida sonlar o‘qida ikki nuqta orasidagi masofa tushunchasi yotadi. Analizda kiritilgan ko‘pgina fundamental tushunchalar sonlar o‘qining algebraik xususiyatlariga bog‘liq emas. Haqiqiy sonlar haqidagi tasavvurimizni to‘plam ma’nosida umumlashtirib, metrik fazo tushunchasiga kelamiz. Metrik fazo tushunchasi hozirgi zamon matematikasida muhim o‘rinni egallaydi.
5.1-ta’rif. Bo‘shmas to‘plamning ixtiyoriy va elementlar juftiga aniq bir manfiymas son mos qo‘yilgan bo‘lib, bu moslik
1) ,
2) (simmetriklik aksiomasi),
3) (uchburchak aksiomasi)
shartlarni qanoatlantirsa, ga dagi masofa yoki metrika deb ataladi. juftlik metrik fazo deyiladi.
Odatda metrik fazo, ya’ni juftlik bitta harfi bilan belgilanadi. Agar to‘plamda metrikalar aniqlangan bo‘lsa, u holda , , ..., metrik fazolar mos ravishda harflari bilan belgilanadi.
5.1. Haqiqiy sonlar to‘plami masofa bo‘yicha metrik fazo tashkil qiladi va bu metrik fazo ham harfi bilan belgilanadi.
5.5. Ixtiyoriy ta haqiqiy sonlarning tartiblangan guruhlaridan tashkil bo‘lgan to‘plamda har bir va lar jufti ga
(5.1)
manfiymas sonni mos qo‘yuvchi akslantirish masofani aniqlaydi. Endi 3-aksiomaning bajarilishini ko‘rsatamiz. Ixtiyoriy uchta , , nuqtalar uchun uchburchak aksiomasi
(5.2)
ko‘rinishda bo‘ladi. Agar belgilashlarni kiritsak, bo‘ladi va (5.2) tengsizlik
(5.3)
ko‘rinishni oladi. Ushbu

ayniyatni e'tiborga olsak,
(5.4)
tengsizlikka ega bo‘lamiz. (5.4) Koshi – Bunyakovskiy tengsizligi deb ataladi. U holda biz

munosabatga ega bo‘lamiz. Bu munosabatdan (5.3) tengsizlik bevosita kelib chiqadi. Demak, uchburchak aksiomasi o‘rinli ekan. Hosil bo‘lgan metrik fazo simvol bilan belgilanadi.
5.3. Yana - ta haqiqiy sonlarning tartiblangan guruhlari dan tuzilgan to‘plamni qaraymiz va unda masofani
(5.5)
formula vositasida aniqlaymiz. Hosil bo‘lgan metrik fazo simvol bilan belgilanadi. Bu moslik metrikaning 1-3 aksiomalarini qanoatlantirishini o‘quvchi mustaqil tekshirib ko‘rishi mumkin.
5.4. Yuqoridagi 5.3 va 5.4 misollarda keltirilgan to‘plamda elementlar orasidagi masofani
(5.6)
formula bilan aniqlaymiz. Metrika aksiomalarining bajarilishi oson tekshiriladi. Hosil bo‘lgan metrik fazo simvol bilan belgilanadi.
5.5. - ta haqiqiy sonlarning tartiblangan guruhlaridan iborat to‘plamda har bir son uchun
(5.13)
formula bilan aniqlangan moslik masofa aniqlaydi va hosil bo‘lgan metrik fazo simvol bilan belgilanadi. Bu misolda ham 1 va 2 aksiomalarning bajarilishini tekshirish qiyin emas. Shuning uchun 3 aksiomaning bajarilishini tekshirish yetarli. Qaralayotgan to‘plamdan ixtiyoriy uchta nuqtalarni olib belgilashlarni kiritsak, bo‘ladi va natijada uchburchak tengsizligi
(5.14)
ko‘rinishni oladi. Hosil bo‘lgan (5.14) tengsizlik Minkovskiy tengsizligi deb ataladi. Agar bo‘lsa, Minkovskiy tengsizligining bajarilishi ko‘rinib turibdi (chunki, yig‘indining moduli modullar yig‘indisidan oshmaydi), shuning uchun deb hisoblaymiz. Minkovskiy tengsizligining isboti Gyolder tengsizligi deb nomlanuvchi
(5.15)
tengsizlikka asoslangan. Bu yerda va sonlar
(5.16)
shart bilan bog‘langan. (5.16) dan quyidagi tengliklar kelib chiqadi
.
Ta’kidlash lozimki, (5.15) tengsizlik va nuqtalar uchun bajarilsa, u ixtiyoriy va sonlarda va nuqtalar uchun ham bajariladi va aksincha. Ya’ni (5.15) bir jinsli tengsizlikdir. Shunday ekan, (5.15) tenksizlikni
(5.17)
shartni qanoatlantiruvchi va nuqtalar uchun isbotlash yetarli. U holda (5.15) tengsizlik (5.17) shart bajarilganda
(5.18)
ko‘rinishni oladi. (5.17) shartda (5.18) tengsizlikni isbotlash uchun tekislikda yoki tenglamalar bilan aniqlangan egri chiziqli (5.1 - chizma) trapetsiya yuzini hisoblaymiz. Chizmadan ko‘rinib turibdiki, musbat va sonlarni qanday tanlamaylik, tengsizlik o‘rinli. va yuzalarni hisoblaymiz:
.

Shunday qilib, quyidagi sonli tengsizlik o‘rinli:

Agar ni ga, ni ga almashtirib va ni dan gacha o‘zgartirib yig‘indi tuzsak, (5.16) va (5.17) shartlar bajarilganda (5.18) tengsizlik hosil bo‘ladi. Shunday qilib, (5.18) tengsizlik isbotlandi. Shunday ekan, umumiy (5.15) tengsizlik ham isbotlandi.
Agar bo‘lsa (5.15) Gyolder tengsizlidan (5.4) Koshi - Bunyakovskiy tengsizligi kelib chiqadi.
Endi Minkovskiy tengsizligining isbotiga o‘tamiz. Buning uchun

ayniyatdan foydalanamiz. Bu ayniyatda ni ga, ni ga almashtirib va ni dan gacha o‘zgartirib yig‘indi tuzsak, quyidagi ayniyatga ega bo‘lamiz
.
Tenglikning o‘ng tomonidagi har ikkala yig‘indiga ham Gyolder tengsizligini qo‘llasak va ekanligini e'tiborga olsak, quyidagi tengsizlikka ega bo‘lamiz:

Bu tengsizlikning har ikkala tomonini

ga bo‘lib, isbotlanishi kerak bo‘lgan (5.14) Minkovskiy tengsizligiga ega bo‘lamiz. Shunday qilib, uchburchak aksiomasi o‘rinli ekan.
Agar bu misolda desak, metrika 5.3-misoldagi metrikaga va agar desak, 5.4-misoldagi metrikaga aylanadi. Ko‘rsatish mumkinki, 5.5-misolda kiritilgan

metrika metrikaning dagi limitik holati boladi, ya’ni
. (5.19)
5.5. Elementlari

shartni qanoatlantiruvchi barcha haqiqiy sonlar ketma - ketliklaridan iborat va ikki nuqtasi orasidagi masofa
(5.20)
formula bilan aniqlangan to‘plamni qaraymiz. Bu to‘plamni deb belgilaymiz. Ixtiyoriy lar uchun har bir da
(5.21)
Minkovskiy tengsizligi o‘rinli bo‘lgani va

shartlar bajarilgani uchun (5.21) da da limitga o‘tsak,

ga ega bo‘lamiz. Bundan ixtiyoriy lar uchun (5.20) qator yaqinlashishiga ega bo‘lamiz. (5.20) tenglik bilan aniqlangan funksiya metrikaning 1 va 2-aksiomalarini qanoatlantirishi ko‘rinib turibdi. Uchburchak aksiomasi (5.14) Minkovskiy tengsizligidan foydlanib isbotlanadi.
Endi biz Minkovskiy va Gyolder tengsizliklarining integral formasini beramiz.
. (5.22)
Bu Minkovskiy tengsizligi deb ataladi. Minkovskiy tengsizligi, ya’ni (5.22) tengsizlik kesmada - chi darajasi bilan Lebeg ma’nosida integrallanuvchi ixtiyoriy va funksiyalar uchun o‘rinli. Quyidagi tengsizlik
(5.23)
Gyolder tengsizligi deb ataladi. Gyolder tengsizligi kesmada -chi darajasi bilan Lebeg ma’nosida integrallanuvchi va -chi darajasi bilan integrallanuvchi ixtiyoriy funksiyalar uchun o‘rinli. (5.10) tengsizlik Koshi-Bunyakovskiy tengsizligining integral formasidir.
Endi haqiqiy o‘zgaruvchining funksiyalari nazariyasi fanida xossalari o‘rganilgan o‘zgarishi chegaralangan va absolyut uzluksiz funksiyalar to‘plamini qaraymiz.