Метрик фазолар 2

Загружено в:

11.09.2022

Скачано:

0

Размер:

273 KB

Скачать

Метрик фазолар Режа: 1. Асосий тушунчалар 2. Зарурий теоремалар 3. Масалалар ечиш

$Фараз =илайлик Х ихтиёрий быш былмаган тыплам былсин. Бу тыпламда манфий былмаган икки ызгарувчили  (х,у)  0 функция =уйидаги шартларни (аксиомаларни) =аноатлантирса, бундай  (х,у) функция Х тыпламда метрика (ёки масофа) дейилади: 1)  (х,у)  0  х  у 2)  (х,у)   (у,х) 3)  (х,у)   (х, z )   ( z ,у),  х,у, z  Х Бир жуфт (Х,  ) метрик фазо дейилади. Агар чизикли фазога метрика тушунчаси киритилса, у чизи=ли метрик фазо дейилади. Агар n  да  (х n ,х)  0 былса, { X n }  Х кетма- кетлик х ну=тага я=инлашувчи дейилади. Буни n  да х n  х ёки X Xn n  lim деб белгилаймиз. B ( x o , r )  { x  X :  ( x o , x )< r } тыплам r радиусли х 0  Х марказли очи= шар деб аталади ва __ В ( x o , r )  { x  X :  ( x o , x )  r } тыплам r радиусли маркази х 0  Х ну=тада былган ёпи= шар дейилади. Агар А тыпламни (А  Х) бирор (очи= ёки ёпи=) шар билан ыраб олиш мумкин былса, у холда А тыплам чегараланган дейилади. Агар m , n  да  (х n , x m )  0 былса, у холда {х n }  Х кетма-кетлик фундаментал дейилади. Агар n  да х n  x 0 дан f ( x )  f ( x 0 ) келиб чи=са, у холда Х ни У га f акслантириш х 0 ну=тада (х 0  Х) узлуксиз дейилади, бунда х 0  Х ,  { x n }  X , f ( x )  Y , f ( x 0 )  Y ва Х, У метрик фазолар. Агар Х ни У га акслантирувчи f , яъни f : Х  Y Х метрик фазонинг хар бир ну=тасида узлуксиз былса, у холда f акслантириш Х метрик фазода узлуксиз дейилади.$

Агар Х метрик фазода ихтиёрий фундаменталь кетма-кетлик я=инлашувчи былса, у холда бундай Х метрик фазода тыла дейилади. 2. Зарурий теоремалар 5.1.-Теорема. Агар { x n }  X кетма-кетлик х  Х элементга я=инлашса, у холда бундай х лимит элемент фа=ат биттадир. 5.2- Теорема. Агар { x n }  X кетма-кетлик х  Х элементга я=инлашса, у холда бу кетма-кетлик чегараланган. 5.3- Теорема . Агар { x n }  X кетма-кетлик я=инлашса, у холда бундай кетма-кетлик фундаментал кетма- кетликдан иборат. Агар { x n }  X кетма-кетлик фундаментал былмаса, у холда бундай кетма-кетлик я=инлашувчи былмайди. 3. Масалалар ечиш 5.1. Масала. Х  (-  ,  ) тыпламда метрика  (х,у)   е х -е у  деб ани=ланган. Метрика аксиомаларнинг бажарилишини текширинг. Ечиш. Агар  (х,у)  0 былса, у холда  е х -е у  0, яъни х  у ва аксинча, агар х  у былса, у холда е х  е у ва  (х,у)  0.  (х,у)  (у,х) ыз-ызидан равшан. Нихоят  (х,у)   е х -е у  е х -е z  е z -е y  е x -е z  е z -е y  (х, z )  ( z , y ). Демак, Х тыпламда метрик шартлари бажарилди, яъни х  (  ,  ) метрик фазо. 5.2. Масала. Фараз =илайлик С 1 [ a , b ] тыплам [ a , b ] кесмадаги узлуксиз ва биринчи тартибли хосиласи щам узлуксиз былган функциялар тыпламидан иборат былсин. Бу тыпламда метрикани

)(' )(' max )( )( max ) , ( },{ t y t x t y t x y x ba t bta       деб ани=лайлик. Метрика аксиомаларининг бажарилишини текширинг. Ечиш. Агар  (х,у)  0 былса, у холда max  x ( t )- y ( t )  0 ва max  x  ( t )- y  ( t )  0. У холда х( t )  y ( t ), яъни х  у. Аксинча, агар х  у былса, у холда х( t )  y ( t ) ва х  ( t ) y  ( t ). Шунинг учун  (х,у)  0. Иккинчи аксиома ыз- ызидан равшан. Учинчи аксиомани текширамиз. Абсолют =ийматлар хоссасига асоосан.  х( t )- y ( t )  x  ( t )- y  ( t )  x ( t )- z ( t )  z ( t )- y ( t )    x  (t)-z  (t)  z  (t)-y  (t)  t max  x(t)-z(t)   t max  z(t)-y(t)  t max  x  (t)-z  (t)  t max  z  (t)-y  (t)  У холда  (х,у)   (х, z )  ( z , y ) Демак, метрика аксиомалари бажарилади. Шундай килиб С 1 [ a , b ] метрик фазо. 5.3.-масала. R n Евклид фазосида иккита х=(х 1 ,х 2 ,…,х n ) ва у=(у 1 ,у 2 ,…,у n ) элемент (вектор) учун метрика     21 1 2 ,          n k k k y x y x  деб ани=ланган. Метрика шартларининг бажарилишини текширинг. Ечиш. 1) Агар  ( х,у )  0 былса, у щолда (х k - y k ) 2  0, яъни х k  y k , k  1,2,…, n . Демак х  y . Агар х  y былса, у щолда х k  y k ( k  1,2,…, n ). Демак  ( х,у )  0.

2)  ( х,у )   ( у,х ) тенглик бажарилиши ыз-ызидан равшан. 3) Учбурчак тенгсизлиги, яъни  ( х,у )   ( х, z )  ( z ,у ) эса, z  ( z 1 , z 2 ,…, z n ) деб =аралганда              n k k n k k n k k k y x y x 1 2 1 2 2 1 Коши-Буняковский тенгсизлигидан келиб чи=ади. Шундай =илиб чекли n -ылчовли Евклид фазоси метрик фазодир. 5.4.-масала. Чексиз ылчовли Евклид фазоини l 2 былсин. Бунда элементлар х=(х 1 ,х 2 ,…,х n ,…) былиб, унинг координаталари     1 2 k kx шартни =аноатлантирсин. Метрикани     21 1 2 ,         k k k y x y x  деб ани=лаб l 2 нинг метрик фазо эканлиги текширилсин. Ечиш. Метрик фазо шартларини худди аввалги мисолдагидек текширамиз. Демак, чексиз ылчовли Евклид фазоси l 2 метрик фазодан иборат. 5.5.-масала. Щамма чегараланган ща=и=ий сонли кетма-кетликдан иборат былган фазо m былсин. Бунда иккита х={ a n }=( a 1 , a 2 ,…, a n ,…) ва у={ b n }=( b 1 , b 2 ,…, b n ,…) элемент учун метрика k k k b a y x  sup ) , ( деб ани=ланган былсин. Бу m фазо метрик фазо эканлигини текширинг. Ечиш. Метриканинг биринчи ва иккинчи шартлари бажарилиши равшан, чунки бу ерда щамма n учун  а n  ,  b n  . Учинчи шартни =уйидагича текширамиз. z ={ c n }=( c 1 , c 2 ,…, c n ,…),  c n  C былгани учун ) ,( ) , ( sup sup sup ) , ( y z z x b с с a b a y x k k k k k k k k k           

5.6.-масала. Элементлари х={ a n } ихтиёрий чексиз кетма-кетликдан иборат былган фазо S былсин. Иккита х ={a n }=(a 1 ,a 2 ,…,a n ,…) ва у ={b n }=(b 1 ,b 2 ,…,b n , …) элемент учун         1 1 ) , ( n b a b a n nn n y x  былсин. S -фазонинг метрик фазодан иборатлиги текширилсин. Ечиш. Метриканинг биринчи ва иккинчи шартларини текшириш =ийин эмас. Учинчи шартнинг бажарилишини кырсатиш учун         1 1 1 b b a a b a b a тенгсизликни эътиборга оламиз. Бу () тенгсизлик [1] нинг 26 бетида исботланган. Агар биз z ={ c n } ихтиёрий кетма-кетликни олсак, у щолда () тенгсизликдан  ( x , y )  ( x , z )+  ( z , y ) келиб чи=ади, яъни S фазо метрикфазодан иборат. 5.7.-масала. [ a , b ] кесмада ани=ланган ва узлуксиз былган x ( t ) функцияларнинг фазосини С[ a , b ] деб белгилайлик. Бу С[ a , b ] фазода иккита x ( t ) ва y ( t ) функциялар учун )( )( max ) , ( t y t x y x bta     деб ани=лансин. С[ a , b ] метрик фазо эканлиги текширилсин. Ечиш. Метриканинг биринчи ва иккинчи шартлари бажарилиши равшандир. Учинчи шартнинг бажарилиши =уйидагидан келиб чи=ади (анализ курсидаги Вейерштрасс теоремасига асосан)  x(t)-y(t)  x(t)-z(t)  +  z(t)-y(t)   max  x(t)-z(t)  +max  z(t)-y(t) 

Бу тенгсизлик ихтиёрий t [a,b] ну = та ва ихтиёрий x(t), y(t), z(t) узлуксиз функциялар учун бажарилади . Демак С[ a , b ] фазо метрик фазодан иборат. 5.8.-масала. [ a , b ] кесмада ани=ланган узлуксиз функциялар фазоси учун метрика     21 2)( )( ,          b a dt t y tx y x  деб ани=ланган. Метрика шартларини текширинг. Ечиш. Метриканинг учинчи шартини текшириш билан кифояланамиз. Бунинг учун Буняковскийнинг ушбу     21 21 2 2 )( )( )( )(                 b a b a b a dt t y dt t x dtt y t x тенгсизлигидан       21 21 21 2 2 2 )( )( )( )(                       b a b a b a dt ty dt tx dt ty tx тенгсизликни щосил =иламиз. Энди бундан  ( x , y )  ( x , z )+  ( z , y ) тенгсизликни щосил =илиш =ийин эмас. Шундай =илиб =аралаётган фазо метрик фазодан иборатдир. Биз бундай метрик фазони ] , [2L b a С деб белгилаймиз. 5.9.-масала. Метрика   1 , , 1 1           p y x y x p k pk k  деб ани=ланган, элементлари х=(х 1 ,х 2 ,…,х n ,…) кетма- кетликдан тузилган l р фазонинг метрик фазодан

иборат эканлиги исботлансин, бу ерда х={ x n }=(х 1 ,х 2 , …,х n ,…) учун   1k pkx шарт бажарилади деб =аралсин. Ечиш. Метрик фазонинг биринчи ва иккинчи шартлари бажарилиши равшан. Учинчи шарт бажарилиши  A 1 1 1 1 1 1 p p p k pk k pk k pk k b a b a                       тенгсизликдан келиб чи=ади. Бу (А) тенгсизликни ыз ва=тида =уйидаги Гельдернинг  B b 1 1 1 1 1 1 p p p k pk k pk k pkk a b a                      тенгсизликдан келиб чи=ади. Ю=оридаги (А) ва (В) тенгсизликлар [4] нинг 52 бетдаги (13), (14) тенгсизликлардан лимитга ытиш билан щосил =илинади. 5.10.-масала. Агар i  n да ni  1 ва i  n , ,былганда ni  0 былган Х n  { ni } , n  1,2,3,… кетма-кетлик l 2 фазода я=инлашадими? Ечиш. l 2 фазо тыла. Шунинг учун { X n } кетма- кетликнинг я=инлашишини текшириш учун унинг фундаменталлигини кырсатиш кифоя. { X n } кетма- кетликнинг ани=ланишидан n  m былганда ni  1, mi  0 тенгликлар mi  1, ni  0 былганда бажарилади. У холда  (х n , x m )  21 1 2       i mi ni  

$тенгликнинг ынг томонидаги йи\индида факат 2 та =ышилувчи нолдан фар=ли, шу билан бирга иккаласи щам 1 га тенг, яъни 2 1 1 2 1       i ni mi   Демак  (х n , x m )  2 , n , m  1,2 … Бу эса { x n } кетма-кетликнинг фундаментал эмаслигини кырсатади. У щолда 5.3.теоремага асосан { x n } кетма-кетлик я=инлашмайди. 5.11.масала. Агар } { ni nx   ( n  1,2,3,…) былса бу кетма-кетлик l p (1  p  2) фазода я=инлашувчи быладими? Бунда i  n , n  1,… 2 n -1 былганида p ni n 1 1   ва i  n , i  2n былганда o ni  Ечиш. l p фазо тыла былгани учун { x n } кетма- кетликнинг фундаментал эканлигини текшириш кифоя фараз килайлик 2 m  n  1 былсин у холда   p n i pmi ni n m i pmi ni m mi pmi ni p m i mi ni m nx x 1 2 1 2 1 2 1 1 ,                                    энди n , m сонларнинг танланишига асосан ва { x n } кетма-кетликнинг ани=ланишига асосан i  m -1 , 2 m  I  n – 1 ва i  2 n былганда 0  mi ni   m  i  2 m –1 былганда m pmi ni 1    n  i  2m –1 былганда n pmi ni 1   $

эканлиги келиб чикади. Буларни эътиборга олсак ихтиёрий n , m  1, 2, 3,…., 2 m  n  1 учун   p p m n n n m m x x 1 1 2 1 1 ,           былади. Бу эса { x n } кетма-кетликнинг фундаментал эмаслигини кырсатади. У холда 5.3.теоремага асосан { x n } кетма-кетлик l p метрик фазода я=инлашмайди. 5.12-масала. Агар 0  t  n 1 былганда х n ( t )  - nt  1 ва 1 1  t n былганда х n ( t )  0 былса, у холда { x n ( t )} кетма-кетлик С 2 [0,1] фазода я=инлашувчи быладими ? Ечиш. Фараз =илайлик Х( t )  0 былсин. У холда х( t )  C 2 [0,1] былиши равшан. Энди                                          n n dt nt dt t x dt t x dt t x dt t x dt tx t x x n n n n n n n n n ,0 3 1 )1 ( )( ) )( )( ( ) )( ( )( ) , ( 21 2 1 0 21 1 0 2 21 1 0 11 2 2 21 1 0 2 21 1 0 2   былгани учун n  да С 2 [0,1] метрик фазода Х n ( t )  0 келиб чи=ади. Демак берилган { x n ( t )} кетма-кетлик С 2 [0,1] метрик фазода я=инлашувчидир. 5.13-Масала. С[0,1] фазода x n ( t )  t 2 n - t 3 n кетма- кетлик я=инлашувчи быладими ? Ечиш. Ихтиёрий n  1,2,3,…. Былганда x n (0)  x n (1)  0 , n  да ихтиёрий t  (0,1) учун x n ( t )  0. Бу эса [0,1] кесмада { x n ( t )} кетма-кетликнинг нол элементга я=инлашишини кырсатади. Лекин бу я=инлашиш [0,1] да текис я=инлашиш эмас. Ща=и=атан щам, агар n  да 1 0max t  x n ( t )  0 былса, у щолда C [0,1] фазода n  да x n ( t )  0 былади.  x n ( t )  функция n соннинг хар бир тайин =ийматида

бирор t n  (0,1) ну=тада ызининг энг катта =ийматига эришади.n n n n n n t t t nt nt t x 1 1 3 1 2 1 3 2 2 3 1 ,0 3 2 )(             Шунинг учун 27 4 3 2 3 2 )( )( max 3 2           t x t x n n былганидан { x n ( t )} кетма-кетлик n  да нолга я=инлашмайди. Демак берилган { x n ( t )} кетма-кетлик C [0,1] фазода я=инлашмайди. 5.14-Масала. l p (1  p  ) фазода    0 2 1 i ik kx ( k  1,2…} кетма-кетлик я=инлашадими? Ечиш. Щамма i  1,2,3,. . . сонлар учун к  да 0 2 1 ik , i  0 былганда ихтиёрий к учун 1 2 1  ik Энди { x k } кетма-кетликни x  {  i }  (1,0,0…) элементга я=инлашади деб фараз =илиш мумкин. Ха=и=атан щам

         p i ik kx x 1 0 0 ) 2 1( ) , (  0 1 2 1 1       p kp, к  Демак берилган { x k } кетма-кетлик l p метрик фазода я=инлашувчи. 5.15-Масала. Агар f : C L [0,1]  R f ( x )  x (1) былса, у холда f акслантириш узлуксиз быладими ? Ечиш. { x n ( t )} функциялар кетма-кетлигини кыриб ытайлик. Агар 0  t  1- n 1 былса, х n ( t )  0 ва 1- n 1  t  1 былса, у холда X n ( t )  n 1  E ( t -1  n 1 ), 0  Е  1 былсин деб олайлик. С L [0,1] фазода бу кетма-кетлик нол эле ментга я=инлашади. Ща=и=атан щам,                           n n tdt n dt n t n dt t x dt t x x n n n n n ,0 2 1 1 1 )( 0 )( 0, 1 0 1 1 1 0 1 0 1 11 1     Лекин f ( x )  x n (1)  n   , n  . Демак , f акслантириш узлуксиз эмас. 5.16-масала. X n  {  n i } ( n  1,2,3,…) кетма-кетлик учун m фазода я=инлашиб l 1 фазода я=инлашмайдиган { x n } кетма-кетликни кырсатинг. Ечиш. +уйидаги x n  {  n i } ( n  1,2,…) кетма- кетликни олиб карайлик. Агар i  n ва i  2n  1 былганда  n i  0 ва n  1  i  2n былганда  n i  i 1

былсин. Бу кетма-кетлик m фазода нол элементга я=инлашади, чунки n  да   0 1 1 sup 0,     n x ni n   Бу кетма-кетлик l 1 фазода фундаментал эмас. Ха=и=атан щам, 2 m  n деб =араб  (х n , x m ) ни пастдан чегаралаймиз   1 2 2 1 1 , 2 1 2 1 1                n n m m i i x x n ni m mi i mi ni m n    5.17-Масала. C [0,1] фазода x ( t )  sin  t ва y ( t )  2 t  элементлар орасидаги масофани топинг. Ечиш.   2 sin max , t t x x m n      былгани учун аввало t  [0,1] ну=тани топамиз.  ( t )  sin  t - 2 t функциянинг экстремумини ани=лаймиз.  (t)  cos  t- 2   0, cos  (t)  2 1 , tk 3 1   2k, (k  0,  1,  2…) Энди t k ну=талардан фа=ат [0,1] га тушадиганларини ажратамиз. Бу фа=ат битта, яъни t 0 3 1  Бу ну=тада  ( t 0 )  3 3 1     t  0 ва t  1 ну=таларда  (0)  0,  (1)  2  булгани учун  (х,у)  max {  (0),  ( t 0 ),  (1)}  2  Демак, берилган элементлар орасидаги масофа  [х,у)  2 

4. Муста=ил ечиш учун масалалар. 1. С[0,1] тыпламда метрика      1 0 )( )( 1 )( )( ) , ( dt t y t x t y t х у х  деб ани=ланган. Метрика шартларининг бажарилишини текширинг. 2. N натурал сонлар тыпламида метрика 1  m n 1 , n  m ,  (n,m)  0 , n  m деб ани=ланган. Метрика шартларини текширинг. 3. С ( n ) элементлари [ a , b ] сегментда ани=ланган ва n - тартибли узлуксиз щосилага эга былган x ( t ) функциялар фазосидан иборат былсин. Бу фазода x ( t ) ва y ( t ) функциялар учун метрикани     n k k k t t y t x y x 0 )( )( )( max ) , ( деб ани=лаб, С ( n ) фазонинг метрик фазо эканлигини исботланг. 4. С L [ a , b ] фазо элементлари [ a , b ] сегментда ани=ланган ва узлуксиз былган x ( t ) функциялар фазосидан иборат былсин. Метрикани    b a dt t y t x y x )( )( ) , ( деб =абул =илинган былса, С L [ a , b ] фазо метрик фазо быладими? 5. n -ылчовли R n Евклид фазосида метрикани k k nk x y y x   1max ) , (

деб олинса,  ( х,у ) метрика шартларини =аноатлантирадими? 6. Элементлари ща=и=ий сонлар кетма-кетлигидан иборат былган х=(х 1 ,х 2 ,…,х n ) ва координаталари)1 ( , 1    p x n k p k шартни =аноатлантирган pnR фазода метрикани p n k pk k y x y x 1 1 ) , (           деб олинса, бундай pnR фазо метрик фазодан иборат эканлиги исботлансин. 7. Х метрик фазода n  да  k  былганда k k n x x  ва k  да x k  быладиган     1 n knx , ( k  1,2,3,…) кетма-кетлик берилган. Бундай кетма-кетлик учун i  да х  элементга я=инлашувчи ва        k n ik in x x быладиган       ik inx =исмий кетма-кетлик мавжудми? 8. m фазода я=инлашувчи ва l p (1  р<  ) фазода я=инлашувчи кетма-кетликни тузинг. 9. l 2 фазода ва l 1 фазода я=инлашмайдиган кетма- кетликни тузинг. 10. L p [0,1] фазода я=инлашувчи ва С[0,1] фазода я=инлашмайдиган кетма-кетликни тузинг. 11. Ушбу f: C  R, f(  1 ,  2 ,…)  lim  n акслантириш узлуксиз быладими? 12. Ушбу f : m  l 2 , ,...) 3, 2, ( ,...) , , ( 3 2 1 3 2 1        f акслантириш узлуксиз быладими?

13. Агар (Х,  ) метрик фазода n  да x n  x ва n  да  n  ({  n }  R  (-  ;  )) былса, у холда n  да x n  n  x  былишини исботланг. 14. m фазода   i x 2 1 ,   3 4 1 i y элементлар орасидаги масофани топинг. АДАБИЁТЛАР. 1. Т.А.Саримсо=ов Ща=и=ий ызгарувчининг функциялари назарияси, «Ызбекистон» Т. 1993 й.-340 б. 2. Т.А.Саримсо=ов Функционал анализ курси, «Ы=итувчи» Т., 1986 й.-400 б. 3. В.К.+обулов Функционал анализ ва щисоблаш математикаси, «Ы=итувчи», Т., 1976 й. –436 б. 4. А.Н.Колмогоров, С.В.Фомин Элемент ы теории функций и функционального анализа, М.: «Наука», 1989 г. –624 с. 5. А.А.Кириллов, А.Д.Гвишиани Теорем ы и задачи функционального анализа, М.: «Наука», 1979 г.-381 с. 6. Функционал анализ маъруза матнлари I , II – =исм. Тузувчи Г./аймназаров, Гулистон «ГулДУ» 2000 й. -83 б. 7. Г.И.Архипов, В.А.Садовничий, В.И.Чубариков Лекции по математическому анализу, М.: «В ысшая школа » 1999 г. 523 с.

$8. Ш.А.Аюпов, М.А.Берди=улов, Р.М.Тур\унбоев Функциялар назарияси (функциялар назарияси ва функционал анализ курсига кириш) «ЫАЖБНТ» Маркази, Т. 2004 й. – 148 б. 9. www.ziyonet.uz$

Метрик фазолар 2

11.09.2022

0

273 KB

Похожие