Rеja: Yopiq to`plamlar. Kantоr tеоrеmasi. Bоrеl-Lеbеg tеоrеmasi. Kantоr to`plami. Tayanch so`zlar

4 -Teorema: segmentda absolyut uzluksiz funksiya berilgan bo`lib, uning qiymatlari segmentda joylashgan bo`lsin. Agar segmentda berilgan berilgan funksiya Lipshits shartini qanoatlantirsa, u holda murakkab funksiya absolyut uzluksiz bo`ladi.
Isbot: funksiya Lipshits shartini qanoatlantiradi, ya`ni

tengsizlik o`rinli. Demak, ixtiyoriy o`zaro kesishmaydigan soni chekli va segmentda joylashgan oraliqlar sistemasi uchun

munosabat o`rinli.
Agar yigindi istalgancha kichik bo`lsa, u holda ning absolyut uzluksizligiga muvofiq oxirgi munosabatning o`ng tomoni istalgancha kichik bo`ladi.
5 - Teorema . Agar segmentda aniqlangan absolyut uzluksiz funksiyaning hosilasi deyarli har bir nuqtada nolga teng bo`lsa, u holda o`zgarmas songa teng.
Isbot: tenglikni qanoatlantiruvchi nuqtalardan iborat to`plamni bilan belgilab, ixtiyoriy sonni olamiz. Agar bo`lsa, u holda yetarli kichik son uchun
(5)
tengsizlik o`rinli bo`ladi. segmentlar sistemasi Vitali ma`nosida to`plamni qoplaydi. Chunki har bir uchun bo`lib, va yetarli kichik son.
Shuning uchun har ikkisi o`zaro kesishmaydigan, soni chekli va segmentda joylashgan shunday



segmentlar sistemasini tuzishimiz mumkinki, to`plamning bular qoplanmagan qismining tashqi o`lchovi oldindan berilgan ixtiyoriy sondan kichik qilinishi mumkin. segmentdan segmentlarni chiqarib tashlash natijasida hosil bo`lgan oraliqlar


(6)
oraliqlardan iborat bo`lib, bular uzunliklarining yig`indisi dan kichik bo`ladi,chunki

bundan

Endi ning absolyut uzluksizligidan foydalanib, berilgan bo`yicha ni shunday kichik qilib olamizki, uning uchun funksiyaning oraliqlar sistemadagi orttirmalari yig`indisining moduli dan kichik, ya`ni
(7)
bo`lsin.
Ikkinchi tomondan, segmentlarning tuzilishiga ko`ra



bundan:
(8)
chunki

(7) va (8) lardan:

va ni ixtiyoriyligidan

tenglik kelib chiqadi.
Ammo yuqoridagi mulohazlardan xar qanday segment uchun joriy etishimiz mumkin edi. Shuning uchun segmentdan olingan ixtiyoriy uchun ham

ya`ni funksiya o`zgarmas songa teng ekan.
Bu teoremadan quyidagi natija kelib chiqadi.
6-natija: Agar ikki absolyut va funksiyalarning hosilalari va o`zaro ekvivalent bo`lsa, u holda bu funksiyalarning ayirmasi o`zgarmas songa teng bo`ladi.