Метрик фазолар. Тўла метрик фазолар - Алгебра - Рефераты

Метрик фазолар. Тўла метрик фазолар

Загружено в:

12.12.2019

Скачано:

0

Размер:

412 KB

Метрик фазолар. Тўла метрик фазолар Режа: 1. Метрик фазолар 2. Тўла метрик фазолар

етрик фазолар. Таъриф: Агар бирор Х тўпламнинг ўзини - ўзига тўғри кўпайтмаси X X  ни ),0[  R тўпламга акс эттирувчи  y x,  функция берилган бўлиб, у қуйидаги шартларни қаноатлантирса, X тўплам метрик фазо дейилади: 1)   0 ,  y x  ; 0 ) , (  y x  фақат ва фақат х=у да , 2) X y x   , ) , ( ) , ( x y y x    (симметрия аксиомаси) , 3) X z y x   , , ) , ( ) , ( ) , ( z y y x z x      (учбурчак аксиомаси)   yx ,  фу нкция метрика дейилади. Одатда  метрикали X метрик фазо   ,X каби белги ланади. Мисоллар:1) ихтиёрий тўплам элементлари учун       y x y x y x ,1 ,0 ) , (  деб олсак, метрик фазога эга бўламиз. 2) Ҳақиқий сонлар тўплами y x y x  ) , ( масофа билан 1 R метрик фазо ташкил қилади . 3) n та ҳақиқий соннинг тартибланган группалар тўплами. Ихтиёрий  nx x x x ,..., , } { 2 1  , } ... , { } { 2 1 ny y y y  элементлар учун     n k k k x y y x 1 2) ( ) , (  масофа билан аниқланган  n улчови фазо Евклид фазоси дейилади ва n R каби белгиланади. n R учун 1) ва 2) шартлар бажарилади. 3) шартни бажарилишини кўрсатамиз. ) ,..., ( 1 n x x x  , ) ,..., ( 1 n y y y  , ) ,..., ( 1 n z z z  бўлсин. У ҳолда учбурчак тенгсизлигига кўра            n k k k n k k k n k k k x z x y x z 1 2 1 2 1 2 ) ( ) ( ) ( (1) k k k a x y   , kkk byz  деб олиб k k k k baxz  ни оламиз, сўнгра ( 1 ) ни қуйидаги кўринишда ёзамиз:          n k k n k k n k k k b a b a 1 2 1 2 1 2) ( , (2) 2

Бу тенгсизлик          n k kn k kn k kk baba 1 2 1 22 1 ( 3 ) Коши-Буняковский тенгсизлигидан келиб чиқади, ҳақиқатан 2 1 2 1 2 1 2 1 1 2 2 1 2 1 2 1 1 2 1 2 2 2 ) (                                        n k k n k k n k k n k n k k k n k k n k k n k k k n k k n k k k b a b b a a b a b a b a ва бу ( 2 ) тенгликни беради. ( 1 ) исботланди. 4) ) ,..., ( 1 n x x x  - n та ҳақиқий соннинг тартибланган группалар тўплами. k k n k x y y x    1 max ) , (  ( 4 ) масофа билан n R 0 метрик фазо ташкил қилади.     n k k k y x y x 1 ) , (  ( 5 ) масофа билан n R1 метрик фазо ташкил қилади. 5) барча узлуксиз ҳақиқий функциялар ф a з o си С[ a , b ] ) ( ) ( max ) , ( t f t g g f bt a     ( 6 ) масофа билан метрик фазо ташкил қилади. 6) Ҳақиқий сонлардан тузилган     n k k x 1 2 шартни қаноатлантирувчи барча мумкин бўлган кетма-кетликлар фазоси 2l да метрика      1 2),( k k k xyyx  ( 7 ) киритилади. ) (2 ) ( 2 2 2 k k k k y x y x    дан   yx ,  барча 2 , l y x  учун y x йиғинди маънога эга бўлади .     , , 2 2 k k y x бўлса,       1 2 k k k x y яқинлашувчи бўлади . Учинчи шартни бажарилишини текширамиз. 3

              1 2 1 2 1 2 ) ( ) ( ) ( k k k k k k k k k z y y z x z ( 8 ) (3) мисолдаги каби белилашлар киритсак) ҳар бир N n да            n k k k n k k k n k k k z y y z x z 1 2 1 2 1 2 ) ( ) ( ) ( ўринли эканини кўрсатган эдик.   n да лимитга ўтиб ( 8 ) ни ҳосил қиламиз. Бу ерда ҳар бир қатор юқорида айтилганига кўра яқинлашувчи бўлади. 7) [ a , b ] да аниқланган узлуксиз функциялар учун 21 2 )) ( ) ( ( ) , (          dt t y t x y x b a  ( 9 ) метрика киритамиз. Бунда метик фазо ] , [2 b a C каби белгиланади. Бу фазода ҳам метрика шартларини текширамиз 1) ва 2) осон курсатилади , учинчи шартни бажарилишини кўрсатамиз. dt t y dt t x dt t g t f b a b a b a            ) ( ) ( ) ( ) ( 2 2 2 Коши- Буняковкий тенгсизлигидагидан келиб чиқади. Бу тенглик эса dsdt t x s y t y s x dt t y dt t x dt t y t x b a b a b a b a b a                 2 2 2 2 )] ( ) ( ) ( ) ( [ 2 1 ) ( ) ( ) ( ) ( айниятдан келиб чиқади. 8)   } | |, ,... ,... , { 2 1 M x R x x x x x X n n n     тўпламда k k k x y y x   sup ) , (  (1 0 ) метрика киритамиз. X метрик фазо бўлади. 9) n та ҳақиқий соннинг тартибланган группалар тўплами n p R да p n k p k k p x y y x 1 1 ) , (            (1 1 ) метрика киритамиз. n p R метрик фазо ташкил қилади. Бу ерда 1  p - ихтиёрий тайинланган сон . 1) ва 2) шартлар бажарилиши осон, 3) ни текширамиз. 4

) ,..., ( 1 n x x x , ) ,..., ( 1 n y y y  , ) ,..., ( 1 n z z z  n p R дан олинган 3 та нуқта бўлсин. k k k a x y   , kkk byz  деб оламиз ,       zyyxzx ppp ,,,     тенгсизлик p n k p k p n k p k p n k p k k b a b a 1 1 1 1 1 1                            (1 2 ) кўринишни олади. Бу Минковский тенгсизлиги дейилади. 1 p да Минковский тенгсизлиги оддий исботланади (йиғиндининг модули модуллар йиғиндисидан ошмайди), шунинг учун 1 p деб хисоблаймиз. (12) тенгсизликнинг исботи 1 p да Гёльдер тенгсизлиги деб айтилувчи қуйидаги тенгсизликка асосланган: q n k q k p n k p k n k k k b a b a 1 1 1 1 1                    , (1 3 ) бу ерда 1 p , 1 q ва 1 1 1   q p , яъни 1  p p q , (1 4 ) (1 3 ) тенгсизлик бир жинсли. Агар у ) ,..., ( 1 n a a a  , ) ,..., ( 1 n b b b  2 та вектор учун бажарилса, a ва b  векторлар учун ҳам бажарилишини кўрсатади, бу ерда    , ихтиёрий сонлар. Шунинг учун (1 3 ) ни 1 1 1       n k q k n k p k b a (1 5 ) бўлган хол учун исботлаш етарли. (1 5 ) шарт бажарилсин . У ҳолда (13) тенгсизлик    n k k kb a 1 1 (16) кўринишга келади. ) , (   текисликда )0 (,1       P функцияни қараймиз (ёки 1  q   чизиқларни қараймиз) 5

Чизмадан кўринадики, ихтиёрий a ва b мусбат сонлари учун abSS  21 тенгсизлик бажарилади.1S ва 2S ни хисоблаймиз.     b a p p p a d S   1 1 q b d S q b q     0 1 2   Шундай қ илиб, q b P a ab qp   сонли тенгсизлик ўринли. Бу ерда a ни ka билан, b ни kb билан алмаштириб ва k бўйича 1 дан n гача йи ғ иб, (1 4 ) ва (1 5 ) ни этиборга олиб    n k k kb a 1 1 ни ҳосил қи ламиз. (1 6 ) тенгсизлик, (1 2 ) тенгсизлик ҳам исботланди. Мисол. n n t x  кетма-кетлик ]1,0[C ва ]1,0[1C фазоларда айнан нол функцияга яқинлашувчими? Ечиш. ]1,0[C ва ]1,0[1C да метрика мос равишда    | | max , ]1,0[ t y t x y x p t    ва        1 01 | | , dt t y t x y x p формулалар билан аниқланади (жадвалга қаранг). Шунинг учун 0 )(  t x функция учун ушбу   0 1 | | max , 1 0     n t n t x x p ва муносабатлардан ,...2,1 , )(   n t t x n n функциялар кетма–кетлигининг ноль функцияга ]1,0[C да я қ инлашмаслиги, ]1,0[1C да эса я қ инлашувчи эканлиги келиб чи қади. 4 – топширик. 6

Қуйидаги акслантиришлар метрика ни аниқлайдими? № Фазонинг белгила ниши Фазонинг элементлари Метрика учун формула 1. nR R x x x x x k k   ), ,..., , ( 2 1            n k k k n k k k y x y x y x p 1 2 1 1 2 | | ) ( ) , ( 2. n C Czzzzz nn  ),...,,( 21 21 1 2 ),(       n k kk wzwzp 3. m Чегараланган кетма-кетлик | | inf | | sup ) , ( n n n n n n y x y x y x p     4. 0C 0lim,...),,... 2, 1(   nx nnxxxx | | sup ) , ( n n n y x y x p   5. C n n n x x x x x   lim ,...), ,... , ( 2 1 мавжуд | | sup ) , ( n n n y x y x p   6. 1l      1 2 1 | | ,...), ,..., , ( k k n x x x x x     1 | | ) , ( k k k y x y x p 7. pl         p pn p nn xxxxx 1 1121 ||,...),,...,,( p n p nn y x y x p     1 | | ) , ( 8. ] , [ b a C ] , [ b a да ани қ ланган узлуксиз функция   ||inf |)()(|max),( ],[ ],[ tytx tytxyxp bat bat     9. ] , [ 1 b a C ] , [ b a да ани қ ланган узлуксиз функция    b a dt t y t x y x p |)( )( | ) , ( 10. ],[ 2 baC ] , [ b a да ани қ ланган узлуксиз функция  | | sup ))( )( ( ) , ( ],[ 2 t y t x dt t y t x y x p bat b a       11. ] , [ b a V ] , [ b a да аниқланган ўзгариши чегараланган функциялар ] [ |) ( | ) ( x a x x p V b a   12. ] , [ b a L p ] , [ b a да аниқланган ва модулининг p - даражаси билан интегралланувчи функциялар синфи. 1 p pb a p dttytxyxp 1 |)()(|),(       13. ] , [ b a Ln ] , [ b a да аниқланган ва n - тартибли узлуксиз ҳосилага эга бўлган функциялар       n k kk bta bta tytx tytxyxp 1 )()( |)()(|max |)()(|max),( 7

14.] , [ b a C ] , [ b a да аниқланган узлуксиз функциялар фазоси. |)( )( | max ) , ( t y t x y x p bt a    15. ] , [ b a C ] , [ b a да аниқланган узлуксиз функциялар фазоси. |))()((|max),( mt btam etytxyxp    5 – топширик. nP –даражаси n дан ошмайдиган, ҳақиқий коэффициентли кўпҳадлар фазоси. ] , [ ] , [ b a b a C  даги узлуксиз функциялар фазоси, ],[],[)( babaC k  да аниқланган k марта узлуксиз дифференциалланувчи функциялар фазоси бўлсин. Қуйидаги акслантиришлар метрикани аниқлайдими? 1.  2 ) , ( , :) , ( y x y x p R R R y x p     , 2.  2 | | ) , ( , : y x y x y x p R R R p       3.       b ab a dttytxdttytxyxpRbaCp ))()(())()((),(,],[: )1( 4. a) |) ||, (| max ) , ( : 221122 y x y x y x p R R R p      |)()(|max),(,],[:) )1( tytxyxPRbaCpb bta     5. |)( )( | max |)( )( | max ) , ( , ] , [ ] , [ : )1( )1( t y t x t y t x y x p R b a C b a C p bta bta           6.  |)( )( | max |,)( )( | max max ) , ( , ] , [ ] , [ : )1( )1( t y t x t y t x y x p R b a C b a C p bta bta          7. nn nn k k k n n t b tb b y t a ta a x b a y x p R R R p             ... , ... |}, {| max ) , ( , : 1 0 1 0 8. ] , [ |,)( )( | sup ) , ( , ] , [ : ],[ b a M t y t x y x p R b a M p ba t     – ] , [ b a да аниқланган барча чегараланган функциялар фазоси. 9.  )(' ' max ) , ( , ] , [ ] , [ : )1( )1( t y t x y x p R b a C b a C p bta      10. )a    4 , , : y x y xp R R p    |)( | max |) ( | |)0( | ) ( , ] , [ : ) )2( t x a x x x p R b a C p b bt a        11. ||),(,:) yxyxPRRpa  |)( | max |) ( | |) ( | ) ( , ] , [ : ) )2( t x b x a x x p R b a C p b bt a       12. Бирлик доира }1 | :| {    z C z D да аниқланган }1 | :| {    z C z D да узлуксиз функциялар фазосида |)( )( | max ) , ( 1|| t y t x y x p t    формула метрикани аниқлашини қўрсатинг. 13. ] , [ b a кесмада Липшиц шартини қаноатлантирувчи функциялар фазоси ] , [ b a Lip да ушбу формула 8

         | | | | sup | | sup , ],[],[ , s t s x tx ty tx y x p ba ba st bta        метрикани аниқлашини кўрсатинг. 14. E чизиқли фазода 1) E z y x y x z y z x     , , ), , ( ) , (   2)       ), , ( | | ) , ( y x y x  – ихтиёрий сон, E y x  , шартларни қаноатлантирувчи функция берилган бўлсин. ) , ( y x p функция E да метрика ни аниқлашини кўрсатинг. 6 – топширик. Қуйидаги функциялар кетма–кетлиги 0 )(  t x функцияга кўрсатилган фазоларда яқинлашувчими? 1. 2 2 1 )( t n nt t xn    , ]1,0[],1,0[ 1CC 2. 2 2 1 )( t n t t xn   , ]1,0[],1,0[ 1CC 3. nt n te t x  )( , ] 10,0[ ], 10,0[ 1 C C 4. t n t t xn    1 )( 2 , ]1,0[],1,0[ 1CC 5. ]1,0[ ],1,0[ , )( 2 2 C C t t t x n n n    6. ]1,0[ ],1,0[ , )( 2 2 C C t t t x n n n   7. , 2 1 )( 2 1       n t n t t x n n n ]1,0[],1,0[ 2CC 8. 2 2 1 8 1 2 )( nt n e nt n t x     ]1,0[],1,0[ 2CC 9. 2 2 )( nt n e nt t x    ]1,0[],1,0[ 1CC 10. ],[],,[,sin )( 1      CC n t tx n 11. ]1,0[ ],1,0[ , 1 1 )( 1 2 C C t n t t xn      12. ]1,0[],1,0[, 2 )1ln( )( 1 2 22 CC n tnt tx n   1 3 . ] , [ b a C фазода даражаси k дан ошмайдиган к ўпҳа д лар тўплами ёпиқ бўладими? 14. ] , [ b a C фазода даражаси k га тенг кўпҳадлар тўплами ёпиқ бўладими? 15. ] , [ b a C фазода ушбу ]} , [ ),1,0( )( :] , [ { b a t t x b a C x     тўплам очиқми? Тўла метрик фазолар. 9

}{ nx кетма- кетлик R метрик фазода фундаментал дейилади, агар0    учун  N  топилсаки, барча  N n  ,  N n  лар учун     ) , ( n n x x p бўлса. Учбурчак тенгсизлигидан ҳар бир яқинлашувчи кетма- кетлик фундаментал бўлиши келиб чиқади. Ҳақиқатан ҳам, агар x xn  бўлса, 0    ,  N  ,  N n  2 ) , (   x x p n у ҳолда     ),(),(),( n n n n xxpxxpxxp барча N n  , N n  учун ўринли. Таъриф. Агар R фазода ихтиёрий фундаментал кетма - кетлик яқинлашувчи бўлса, у ҳолда бу фазо тўла дейилади. 1. Яккаланган нуқталар тўплами тўла метрик фазо. Бунда фақат стационар кетма-кетликлар, яъни бирор номердан бошлаб фақат битта нуқта такрорланувчи кетма – кетлик фундаментал бўлади. Бундай кетма – кетликлар албатта якинлашувчи . 2. 1 R - тўла метрик фазо бўлади. Чунки Коши теоремасига кўра ҳар қандай фундаментал кетма – кетлик яқинлашувчи бўлади. 3. n R фазонинг тўлалиги 1 R дан келиб чиқади. Уз навбатида   n p R x  ) ( дан олинган фундаментал кетма – кетлик бўлсин, яъни 0    ,  N n   мавжудки ,   2 1 2 ) ( ) (      k q k p k x x , N q p   , тенгсизлик бажарилади. Бу ерда  ) ( ) ( 1 ) ( ,..., p n p p x x x  . У ҳолда ҳар бир k =1,2,…, n ва ) (p kx учун    ) ( ) ( q k p k x x тенгсизлик барча N q p  , учун бажарилади , яъни  ) (p kx - фундаментал кетма – кетлик . ) ( lim p k p k x x   ва ) ,..., ( 1 n x x x  деб оламиз , У ҳолда x x p p   ) ( lim 1 0R ва n R1 фазоларнинг тўлалиги худди шунга ўхшаш исботланади. 4 . C [ a , b ] нинг тўлалигини кўрсатамиз.   ] , [ ) ( b a C t xn  даги фундаментал кетма – кетлик бўлсин. Демак, 0    учун N мавжудки, N m N n   , ] , [ b a t  да   )()( txtx m n бўлади. Бу эса   )( tx n ни текис яқинлашувчи эканини 10

курсатади. Унинг лимити x ( t ) эса узлуксиз функция бўлиши маълум . Юқоридаги тенгсизликда   n да лимитга утиб , барча ] , [ b a t , N n  лар учун     | | t x tx m ни оламиз. Бу   )( tx n ни x ( t ) га C [ a , b ] даги метрика буйича яқинлашувчи эканлигини билдиради. 5 . 2l фазо , 2 )( }{ lxn  да фундаментал кетма –кетлик бўлсин. 0    , N ,  N m n  , да (1) тенгсизлик ўринли бўлади. Бундан ҳар бир k да  )(n k x сонлар кетма – кетлиги фундаментал эканлиги келиб чиқади. )( lim n k n k x x   ,...) ,..., ( 1 k x x x  деб белгилаймиз. Қуйидагиларни кўрсатамиз . а)     1 2 k k x , яъни 2l x  б) 0 ) , ( lim )(   x x n n (1) дан ихтиёрий фиксирланган М да Бу йиғинди фақат чекли сондаги кушилувчилардан иборат, n ни фиксирлаб   m да лимитга утамиз. Бу ихтиёрий М да ўринли .   M да лимитга ўтиб        1 2 ) ( k k n k x x (2) ни оламиз.     1 2 ) ( k n kx ва       1 2 ) ( k k n k x x ларнинг яқинлашувчилигидан   1 2 k kx нинг яқинлашувчилиги келиб чиқади.  ) (2 ) ( 2 2 2 b a b a     нинг ихтиёрийлигидан ва (2) тенгсизликдан 11           1 2 ) ( ) ( ) ( ) ( 2 , k m k n k m n x x x x p

  0 lim ) , ( lim 2 ) ( ) (         k n k n n n x x x x pДемак, 2l фазо тўла экан. 6. ] , [2 b a C тўла эмаслигини кўрсатамиз. ]1,1 [ да                     1 1,1 1 1 , 1 1 ,1 ) ( t n n t n nt n t t n  кетма – кетликни қараймиз. У ]1,1 [2  n C да фундаментал , чунки   ) , min( 2 ) ( ) ( 1 1 2 m n dt t t m n       У хеч бир ]1,1 [2  n C дан олинган функцияга якинлашмайди. Ҳақиқатан ҳам ) ( lim t n n      - узилишга эга функция.           0 ,1 0 ,1 ) ( lim t t t n n   Минковскийнинг интеграл тенгсизлигига кўра ]1,1 [2    C f учун t f функциянинг узлуксизлигидан чап томон нолдан фарқли ва   0 ) ( ) ( 1 1 2 lim      dt t t n n   Шунинг учун     1 1 2 )()( dtttf n    n да нолга интилиши мумкин эмас , яъни ]1,1 [2  C т ў ла фазо эмас. Ичма – ич жойлашган шарлар принципи. Теорема . R метрик фазо тўла бўлиши учун радиуси нолга интилувчи ичма – ич жойлашган ёпиқ шарлар кетма – кетлиги бўш бўлмаган кесишмага эга бўлиши зарур ва етарли. Теорема (Бэр) . R тўла метрик фазони ҳ еч қ аерда зич бўлмаган сано қ ли сондаги тўпламларнинг бирлашмаси кўринишида ифодалаб бўлмайди. 12

7 – топширик. Қуйидаги фазолар тўла метрик фазо бўладими ? № Фазонинг белгила ниши Фазонинг элементлари Метрика учун формула 1 . n C C z z z z z n n   ,) ,..., , ( 2 1 21 1 2 ),(       n k kk wzwzp 2. m Чегараланган кетма-кетлик лар | | sup ) , ( n n n y x y x p   3. 0C 0lim,...),,... 2, 1(   nx nnxxxx | | sup ) , ( n n n y x y x p   4. C n n n x x x x x   lim ,...), ,... , ( 2 1 мавжуд | | sup ) , ( n n n y x y x p   5. 1l      1 2 1 | | ,...), ,..., , ( k k n x x x x x     1 | | ) , ( k k k y x y x p 6. pl   , | | , ,... ,..., , 1 1 1 2 1          k k n k n n x x x x x   k n k n n y x y x p      1 | | , 7. ] , [ 1 b a C ] , [ b a да ани қ ланган узлуксиз функция лар +    b a dt t y t x y x p |)( )( | ) , (1 8. ] , [ b a L p ] , [ b a да аниқланган ва модулининг p -даражаси билан интегралланув чи функциялар синфи. 1 p pb a p dttytxyxp 1 |)()(|),(       9. ] , [ b a C n ] , [ b a да аниқланган ва n -тартибли узлуксиз ҳосилага эга бўлган функциялар       n k kk bta bta tytx tytxyxp 1 )()( |)()(|max |)()(|max),( 10. ] , [ b a C ] , [ b a да аниқланган узлуксиз функциялар синфи | ))( )( (| max ) , ( mt bta m e t y t x y x p     13

Фойдаланилган адабиётлар : 1. Саримсаков Т . А . Ҳақиқий ўзгарувчининг функциялари назарияси . Тошкент –1993. 2. Саримсаков Т. А. Функцинал анализ. Тошкент-1991. 3. Колмогоров А. Н. Фомин С. В. Элементы теории функции и функционального анализа. М. Наука . 1989. 4. Треногин В. А. и др. Задачи и упражнения по функциналному анализу. М. Наука. 1989. 5. Очан Ю.С. Сборник задач по математическому анализу. М. 1981. 6. Ражабов Н. Р, Очилов П.И,Носирова Х. Н, Шарипов Ф, Жураев О. Й. Функционал анализ ва интеграл тенгламалар курси буйича лаборатория ишларига доир методик курсатмалар. 1, 2- қисм. Самарканд –1989. 7. Абдукодиров Э, Жураев Ю. Й, Ашурова З. Р. Чизиқли нормаланган фазолар. Самарканд-1990. 14

Похожие

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

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

Топологик фазолар. Чизикли фазолар

Қисм фазолар

Қўшма фазолар. Чизиқли операторлар