2-§ Monoton funksiyaning hosilasi
Ma`lumki, funksiyaning hosilasi
=Endi, b) tengsizlikni funksiyaga tatbiq qilinsa, quyidagi tengsizlikning deyarli bajarilishi kelib chuiqadi:
,
Ya`ni
.
, , va sonlarning ta`riflanishidan ushbu
va
Tengsizliklar bevosita kelib chiqadi.
Bulardan hamda a) va b) tengsizliklardan
Tengsizliklarning deyarli bajarilishi kelib chiqadi, bulardan esa chekli hosilaning deyarli mavjudligi aniq ko`rinib turibdi.
Teoremani to`la isbotlash uchun a) va b) tengsizliklarni isbotlash qoldi.
a) va b) tengsizliklarni isbotlash qoldi.
a) tengsizlikni isbot etmoq uchun
va
To`plamlarni kiritamiz; ekani ravshan. Agar bo`lsa, u holda shunday nuqta mavjudki, uning uchun
.
Bundan, agar deb olsak, u holda: . Demak, to`plam funksiya uchun yuqoridagi lemmada aniqlangan oraliqlarda joylashgan. Shu bilan birga, o`sha lemmaga asosan,
yoki
Tengsizliklar bajariladi. Bundan:
Bu tengsizliklardan ko`rinadiki, c yetarli katta bo`lganda oraliqlarning uzunliklari yig`indisi istagancha kichik qilinishi mumkin. Demak, to`plamning o`lchobi nolga teng, ya`ni a) munosabat deyarli o`rinli.
b) tengsizlik ham yuqoridagi mulohazalarni ketma-ket tadbiq qilish bilan isbot etiladi. Bu tensizlikka teskari bo`lgan
Tengsizlikni qanoatlantiruvchi nuqtalar to`plami ushbu
Tengsizliklarni qanoatlantiruvchi nuqtalar to`plami larning yig`indisiga teng; bunda c va C sonlar, munosabatni qanoatlantirgan holda, barcha ratsional qiymatlarni qabul qiladi, ya`ni
(2.5)
Bu yerda Q – ratsional sonlar to`plami. Ammo to`plam sanoqli bo`lgani uchun (2.5) yig`indi hadlarining soni sanoqli. Demak, agar lar har birining o`lchovi nol ekanligi ko`rsatilsa, to`plamning o`lchovi ham nolligi kelib chiqadi.
Shunday qilib, teoremani isbotlash uchun to`plamning o`lchovi nol ekanligini ko`rsatish kifoya.
bo`lsin. U holda bolganligi uchun x dan chapda yotuvchi hamda
(2.6)
Tengsizlikni qanoatlantiruvchi nuqta mavjud. bo`lgani uchun (2.6) tengsizlikdan
Tengsizlikni hosil qilamiz. Shunday qilib, x nuqta funksiyaning chapga ko`tarilish nuqtasi. Bu funksiyaga Riss lemmasini va uning tatbiq qilib, chapga ko`tarilish nuqtalaridan iborat bo`lgan ochiq to`plamning tuzuvchi oraliqlari uchun
Tengsizlikni, bundan esa
(2.7)
Tengsizlikni, hosil qilamiz.
Yuqorida olingan x nuqta topilgan oraliqlarning birida yetadi. Bu nuqtada
Bo`lgani uchun oraliqda
(2.8)
Tengsizliklarni qanoatlantiruvchi nuqtani toppish mumkin. Keyingi yasashlarimizni oraliqlarningichida bajaramiz.
(2.8) tengsizliklar x nuqtaning funksiya uchun o`ngga ko`tarilish nuqtasi ekanligini ko`rsatadi. Bu funksiyaning oraliqdagi barcha o`ngga ko`tarilish nuqtalari to`plami ochiq bo`ladi. Bu to`plam (j=1,2 …) tuzuvchi oraliqlarning yig`indisiga teng, shu bilan birga bu oraliqlar chegarasida
Yoki
Buni j indeks bo`yicha yig`ib
Munosbatlarga, k bo`yich yig`ib esa
(9)
Munosabatlarga ega bo`lamiz.
Ko`rinadiki, oraliqlar sistemasi oraliqlar sistemasi kabi, to`plamni qoplaydi, ammo oraliqlarning uzunliklari yig`indisi lar uzunliklarining yig`indisidan kichik.
to`plamning har bir x nuqtasi uchun oraliqlarning ichida yuqoridagi yasashlarni qaytarish mumkin. Natijada yangi uchinchi xil sistemani va to`rtinchi xil sistemani hosil qilamiz va bular uchun:
.
Bu ifodani k va j bo`yicha yig`ib va (a) dan foydalanib
Tengsizlikni yoza olamiz.
Bu ifoda ko`rsatadiki, to`rtinchi qadamda olingan oraliqlarning ( to`plamni qoplagan holda) uzunliklari yig`indisi ilgarigi qadamda olingan oraliqlarning uzunliklari yig`indisidan kichik. Agar yuqoridagi yasashlarni davom ettirsak, u holda p – raqamdagi oraliqlar sistemasi ham to`plamni qoplaydi. Va bu sistemadagi oraliqlarning uzunliklari yig`indisi dan katta bo`lmaydi va demak, p yetarli katta bo`lganda, uni ixtiyoriy sondan kichik qilinishi mumkin. Bundan to`plamning o`lchovi nolga tengligi kelib chiqdi.
Shu bilan teorema uzluksiz monoton funksiyalar uchun isbot qilinadi. Endi teoremani uzlukli monoton funksiyalar uchun isbotlaymiz.
Eslatamizki, ixtiyoriy monoton funksiya faqat birinchi turdagi uzilishlarga ega bo`lishi mumkin. Shunig uchun har qanday nuqtada funksiyaning o`ng va chap limitlari mavjud:
,
Darhaqiqat, biror tomondan bir uchta turli limit qiymatlarining mavjud bo`lishi funksiyaning monotonligiga zid: oraliq uzunligi ya`ni ayirma funksiyaning x nuqtadagi sakrashi bo`ladi. funksiya monoton bo`lgani uchun turli uzilish oraliqlari kesishmaydi. (ko`pi bilan umumiy uchga ega bo`lishi mumkin); agar har bir orliqdan bittadan ratsional sonni tanlab olsak, bunday oraliqlarning soni ko`pi bilan sanoqli bo`lishini ko`ramiz.
Demak, monoton funksiyaning uzulish nuqtalari ko`pi bilan sanoqli ekan.
Uzluksiz monoton funksiyaning hosilasi mavjudligini tekshirish uchun Riss limmasini umumlashtiramiz. funksiya uzluksiz bo`lmasa ham ko`pi bilan birinchi turdagi uzulishga ega bo`lgan funksiya bo`lsin. Agar x nuqta uchun tengsizlikni qanoatlantiradigan mavju bo`lsa, x nuqta o`ngga ko`tarilish nuqtasi deyiladi. Yuqorida ko`tarilgan Riss lemmasidagi mulohazalarni takrorlab, barcha o`ngga ko`tarilish nuqtalaridan iborat bo`lgan to`plamning ochiqligini va bu to`plamni tuzuvchi oraliqlarda tengsizlikning o`rinliligini hosil qilamiz. Bu esa teoremaning isbotini o`zgarishsiz o`tkazish uchun kifoya. Shu bilan teorema to`la isbotlanadi.
Do'stlaringiz bilan baham: |