Mavzu: Kesmada uzluksiz bo'lgan funksiyalar haqidagi teoremalar Reja

Teskari funksiyaning mavjudligi va uzluksizligi.
Teorema. Agar f(x) funksiya X oraliqda aniqlangan, uzluksiz va qat’iy o’suvchi (qat’iy kamayuvchi) bo’lsa, bu funksiyaning qiymatlar to’plami Y da unga teskari funksiya mavjud bo’lib, u uzluksiz va qat’iy o’suvchi (kat’iy kamayuvchi) bo’ladi.
Isbot. f(x) funksiya uzluksiz bo’lgani uchun Bol’tsano-Koshining ikkinchi teoremasiga binoan uning qiymatlari oraliqni tutash to’ldiradi. Shuning uchun har bir y₀ Y ga mos keladigan X topilib, f( )=y₀ bo’ladi. Bu tenglikni qanoatlantiruvchi yagona bo’ladi. Haqiqatan, dan farqli x₁ nuqta olsak, f(x) funksiya monoton bo’lib,  x₁ bo’lgani uchun f( ) f(x₁) bo’ladi. Shunday qilib Y oraliqdan olingan har bir y ga X da f(x)=y tenglikni qanoatlantiradigan yagona x mavjud. Demak, Y oraliqda y=f(x) funksiyaga teskari bo’lgan x=(y) funksiya mavjud.
y=f(x) funksiya o’suvchi bo’lsa, x= (y) ni ham o’suvchi bo’lishini ko’rsatamiz, ya’ni y₁₂ bo’lganda x₁₂ tengsizlik o’rinli bo’lishini ko’rsatamiz.
Teskarisini faraz qilaylik: y₁₂ bo’lganda x₁>x₂ bo’lsin. U holda y=f(x) funksiya qat’iy o’suvchi bo’lganligi uchun f(x₁)>f(x₂), ya’ni y₁>y₂ bo’ladi. Bu esa y₁₂ deb olinishga ziddir. Demak, x= (y) funksiya Y da qat’iy o’suvchi.
Monoton funksiyaning uzluksizligi haqidagi teoremaga binoan, x= (y) funksiya Y oraliqda uzluksiz bo’ladi.
y=f(x) funksiya kamayuvchi bo’lganda ham teorema yuqoridagidek isbotlanadi.