Lеbеg intеgralining - additivligi va absоlyut uzluksizligi - Алгебра - Рефераты

Lеbеg intеgralining - additivligi va absоlyut uzluksizligi

Загружено в:

16.12.2019

Скачано:

0

Размер:

118 KB

L е b е g int е gralining  - additivligi va abs о lyut uzluksizligi Reja: 1. L е b е g int е gralining  - additivligi 2. L е b е g int е gralining abs о lyut uzluksizligi

Tayanch so`zlar : o`lch о vli to`plam, o`lch о vli funksiya, jamlanuvchi funksiyalar, Lebeg integrali L е b е g int е gralining  - additivligi 1-teorema. (integralning to`la additivligi ) . Agar )( xf funksiya E to`plamda jamlanuvchi va E o`zaro kesishmaydigan soni sanoqli, o`lchovli     kkn E E E E E ,...; ,..., ,21 , k k   to`plamlarning yig`indisidab iborat bo`lsa, u holda dxxfdxxf iEi E     )()( 1 Isbot. Avvalo teoremani 0)( xf bo`lgan hol uchun isbotlaymiz. Bu holda )( xf funksiya va ihtiyoriy n natural son uchun nxf )]([ funksiyani tuzamiz. U holda 14- ma`ruzadagi 5-xossaga asosan dxxfdxxf Ekk E n     )()]([ 1 munosabat o`rinli. Bundan 16- ma`ruzadagi 6-teoremaga asosan dxxfdxxf Ekk E n      )()]([ 1 tengsizlik kelib chiqadi. Bu tengsizlikdan  n da limitga o`tib, dx x f dx x f Ekk E       ) ( ) ( 1 (1) munosabatni olamiz. Ikkinchi tomondan, 14- ma`ruzadagi 5-teoremaga asosan dxxfdxxf лE n k E n     )]([)]([ 1 Bundan E to`plamda 0)( xf uchun har qanday m natural son uchun ushbu dxxfdxxf лE nm k E n     )]([)]([ 1 munosabat orinli. Bu munosabatda avval n ni, so`ng m ni cheksizlikka intiltirib, ushbu dx x f dx x f лE k E       ) ( ) ( 1 )2( tengsizlikni hosil qilamiz. )5()4( va tengsizliklardan Exxf  ,0)( hol uchun teoremaning isboti kelib chiqadi. 0)( xf bo`lgan hol uchun ham teorema huddi shunga

o`xshash isbotlanadi. Umumiy holda teoremaning isboti oldingi ma`ruzadagi (3) formuladan va yuqorida ko`rilgan hollardan bevosita kelib chiqadi. 2-teorema . Agar )( xf va )( xg funksiyalar E to`plamda jamlanuvchi bo`lsa, u holda ularning )()( xgxf  yig`indisi ham jamlanuvchi va dxx g dxx f dx x g x f EEE       ) ( ) ( )) ( ) ( ( Isbot . 1. Qisqalik uchun ) ( ) ( ) ( x g x f x    belgilash kiritamiz. Avval )()( xgvaxf funksiyalar manfiy bo`lmagan holni ko`ramiz. Bu holda n n n n g f 2] [ ] [ ] [ ] [      bo`ladi. Demak,        E n E n E n E n dx dx g dx f dx 2] [ ] [ ] [ ] [   . Bundan  n da ushbu   EEEE dxxdxxgdxxfdxx )()()()(   munosabatlar kelib chiqadi. Shu bilan ko`rilayotgan hususiy hol uchun teorema isbot bo`ldi.             0)(,0)(: 0)(,0)(,0)(: 0)(,0)(,0)(: ,0)(,0)(,0)(: ,0)(,0)(,0)(: ,0)(,0)(: 65 43 21       xgxfExE xxgxfExE xxgxfExE xxgxfExE xxgxfExE xgxfExE     Bundan  jk EE , jk  va  6 1 k kEE ekanligi ravshan . Endi 1-teoremaga asosan har bir   6,5,4,3,2,1k uchun dxxgdxxfdxxgxf kE kE kE   )()())()(( tenglikni isbotlash kifoya. Bu tenglikning isboti har bir k uchun o`xshash bo`lganligi sababli uni kE to`plamlarning biri masalan 5 E to`plam uchun isbotlash cheklanamiz. 5 E to`plamda 0 ) ( 0 ) ( ,0 ) (    x va x g x f  bo`lgani uchun ) ( ) ( ) ( x g x f x    tenglikni )]([)()( xxgxf   ko`rinishda yozib, 5 E to`plamda bu tenglikning o`ng tomonidagi qo`shiluvchilarning har biri musbat ekanligiga erishamiz. Natijada yuqoridagi 1-holga asosan dx x dxx g dx x f EEE        555 )] ( [ ) ( )) ( (  tenglikka ega bo`lamiz. Bundan 16 – ma`ruzadagi 2-teoremaga asosan dxxgdxxfdxx EEE     555 )()()(

tenglik kelib chiqadi L е b е g int е gralining abs о lyut uzluksizligi 3-teorema(integralning absolyut uzluksizligi ). Agar )( xf funksiya E to`plamda jamlanuvchi va ,...,,...,, 21 mEEE to`plamlar ketma-ketligining har biri E ning qismi bo`lib, )(0)(  mE m bo`lsa, u holda   mE mdxxf )(0)( , ya`ni ihtiyoriy berilgan 0 son uchun shunday 0  son mavjudki,   )( mE bo`lganda    mE dxxf )( bo`ladi. Isbot. 16 – ma`ruzadagi (3) formulaga asoslanib, teoremani 0)( xf bo`lgan hol uchun isbot etish kifoya. )( xf funksiyaning jamlanuvchi bo`lganligidan ihtiyoriy 0 son uchun shunday n natural son mavjudki, uning uchun ushbu 2 }]) ( [ ) ( {     dx x f x f n E (3) tengsizlik bajariladi. nxf )]([ funksiyaning ta`rifiga asosan )()]([ m mE n Endxxf    (4) Teoremadagi )(0)(  mE m  shartga ko`ra, yuqoridagi  va n sonlar uchun shunday 0m son topiladiki, uning uchun )( 2)( 0mmEn m    (5) tengsizlik bajariladi. (3)-(5) larga muvofiq            22)]([)()]([ )]([)()]([)( dxxfxfdxxf dxxfxfdxxfdxxf E n E n E n E n E m mmm Teorema isbotlandi. 4-teorema. (A.Lebeg). O`lchovli E to`plamda jamlanuvchi )( xF funksiya va o`lchovli ),...(),...,(),( 21 xfxfxf n funksiyalar ketma-ketligi berilgan bo`lib, x ning E to`plamdagi barcha qiymatlari uchun ushbu

) ,...,3,2,1 ( ) ( ) ( E x n x F x f    (6) tengsizlik bajarilgan bo`lsin. Agar berilgan   )( xf n ketma-ketlik E to`plamda )( xf funksiyaga o`lchov bo`yicha yaqinlashsa, u holda E to`plamda )( xf funksiya jamlanuvchi va     E E n n dx x f dx x f ) ( ) ( lim (7) munosabat o`rinli. Isbot. (6) tengsizlikdan va 16 – ma`ruzadagi 6-xossadan har bir )( xf n funksiyaning jamlanuvchi ekanligi kelib chiqadi. Riss teoremasiga asosan   )( xf n ketma-ketligidan )( xf funksiyaga deyarli yaqinlashuvchi   )( xf in qism ketma-ketlik ajratish mumkin. Ushbu )()( xFxf in  tengsizlikda  in da limitga o`tsak, )( xf funksiya uchun ) ( ) ( x F x f  (8) tengsizlikning deyarli bajarilishi kelib chiqadi. Bundan )( xF funksiya jamlanuvchi bo`lganligi uchun 16 – ma`ruzadagi 6-teoremaga asosan )( xf funksiya ham jamlanuvchi bo`ladi. So`ng ihtiyoriy 0  sonni olib, ushbu )()( )()(       ffEB ffEA nn nn to`plamlarni tuzamiz. Bu to`plamlar uchun ushbu      ) ( ) ( ), ( ) (     n n n n B A B A E munosabatlar o ` rinli .   )( xf n ketma - ketlik )( xf ga o ` lchov bo ` yicha yaqinlashgani uchun 0 )) ( ( lim     A n (9) Berilgan 0 son uchun ushbu 2 ) (     E (10) tengsizlikni qanoatlantiradigan musbat  sonni olamiz. 3-teorema va (9) munosabatdan foydalanib, 0 n ni shu qadar katta qilib olamizki, uning uchun )( 2)( 0 )( nndxxF nA    

Tengsizlik bajarilsin. (6),(8),(10) va oxirgi munosabatlarga binoan: )(, 22))(()(2 )()()()()()()()( 0 )( )()( nnBdxxF dxxfxfdxxfxfdxxfxfdxxfdxxf n A B n A n E n EE n n nn            Bundan esa (7) munosabat kelib chiqadi.

Похожие

Aniqmas lеbеg intеgralining хоsilasi

Funksiyaning uzluksizligi

Differensiallanuvchi funksiyaning uzluksizligi

Lеbеg - stiltеs o`lchоvi

Chegaralangan funksiyaning lеbеg intеgrali