logo

Метрик фазода компакт тупламлар ва кискартириш оператори

Yuklangan vaqt:

11.09.2022

Ko'chirishlar soni:

0

Hajmi:

143 KB
Метрик фазода компакт тупламлар ва кискартириш оператори Режа: 1. Асосий тушунчалар. 2. Асосий теоремалар. 3. Масалалар ечиш. Х  (Х,  ) метрик фазодаги К тыпламнинг ихтиёрий элементлар кетма-кетлигидан я=инлашувчи кетма- кетликни ажратиб олиш мумкин былса, у щолда К тыплам (К  Х) нисбий компакт дейилади. Агар К  (Х,  ) тыплам нисбий компакт былса ва ёпи= былса, у щолда К тыплам (Х,  ) метрик фазода компакт дейилади. Агар ихтиёрий  >0 ва ихтиёрий х  К учун (К  (Х,  )  (х,у)<  быладиган у  А мавжуд былса (А  (Х,  ) у щолда бундай А тыплам К  (Х,  ) тыплам учун  - тыр дейилади. Агар щар =андай  >0 учун ва К тыплам учун чекли  тыр мавжуд былса, у щолда К  (Х,  ) тыплам батамом (тыла) чегараланган дейилади. Компакт былган Х метрик фазо компакт дейилади. Агар К тыплам (К  (Х,  )) чегараланган былса, у щолда x(t)  K функция текис чегараланган дейилади, яъни t  [ a , b ] былганда щамма x ( t )  К учун C >0 сон мавжуд былиб  x ( t )  С былса, у щолда x ( t ) функциялар текис чегараланган дейилади. Агар щар =андай  >0 ихтиёрий t 1 , t 2  [ a , b ] учун шундай  >0 мавжуд былиб  t 2 - t 1  <  былганда x ( t )  К  С[ a , b ] функциялар учун  x ( t 2 )- x ( t 1 )  <  былса, у щолда x ( t ) функциялар бир хил даражали узлуксиз функциялар дейилади. Агар А оператор учун 0<  <1 сон мавжуд былиб (А: Х  Х), Х   х,Ау)  (х,у), х,у  былса, у щолда А =ис=артириш оператори дейилади. Агар Ах  х былса, у щолда х  Х ну=та А операторнинг =ыз\алмас ну=таси дейилади. 3. Асосий теоремалар. 8.1.теорема. Х чекли ылчовли метрик фазодаги К тыплам нисбий компакт былиши учун Х фазода К тыплам чегараланган былиши зарур ва кифоядир. 8.2.теорема. (Хаусдорф). К тыплам (К  Х) нисбий компакт былиши учун Х нинг тыла былиши зарур ва Х нинг тылалиги К нинг батамом чегараланган былиши учун кифоя. 8.3.теорема. (Арцела) К  C [ a , b ] нисбий компакт былиши учун К нинг функциялар тыплами текис чегараланган ва текис (бир хил) даражада узлуксиз былиши зарур ва кифоя. 8.4.теорема. +ис=артирувчи А оператор (А: Х  Х) учун тыла метрик Х фазода биргина =ыз\алмас ну=та мавжуд. 3. Масалалар ечиш. 8.1.-масала. Агар K  {( x , y )  R 2 : x 2  y 2  1, x >0} былса, у щолда К тыплам R 2 да компакт быладими? Ечиш. К тыплам чегараланган. Шунинг учун 8.1.теоремага асосан К нисбий компактдир. Лекин бу тыплам ёпи= эмас, чунки О(0,0) ну=та У тыплам учун лимит ну=та былиб О(0,0)  К. Демак, К компакт эмас. 8.2.-масала. Агар K  {( x , y )  R 2 :  y  у cosx ,  у  1 } былса, у щолда К тыплам R 2 фазода компакт быладими? Ечиш. Агар y >0 былса, у щолда cosx  1, х  2 k  ( k  Z ). Агар y <0 былса, у щолда cosx  -1, х  (2 k  1)  ( k  Z ). Нищоят у  0 да  у  у cosx тенглик щар =андай х  R учун ыринли. Шундай =илиб, К тыплам     Z k R y k y k          , )0 1 , )1 2(( )1 0 , 2(   кыринишдаги ну=талар тыпламидан иборат. Бу тыплам ОХ ы= быйлаб чегараланмаган, яъни 8.1.теорема шарти бажарилмайди. Демак, К тыплам компакт эмас. 8.3.-масала. Агар         1 1 }, { , i pi i p x l x K   былса, у щолда К тыплам l p фазода нисбий компакт быладими? Ечиш. l р фазода ,...)0,1 ,...,0,0( }, {    n n n e e  кетма-кетликни кыриб ытамиз. Бу ерда s n N s n e e p s n    , , , 2 ) , ( 1  энди  сонни             1 1 1 , 2 0 1 q p q  деб танлаймиз. У щолда щар =андай О  (х) да (х  l р ) e n кыринишда биттадан ну=та былади, яъни берилган  >0 учун К нинг чекли  - тыри мавжуд былмайди. Шунинг учун 8.2.теоремага асосан К тыплам нисбий компакт была олмайди. 8.4.-масала. Агар А  {( x , y )  R 2 , x 2  y 2  1, x  0} былиб В тыплам [-1,1] кесмадаги рационал сонлардан иборат былса, у щолда К  АхВ тыплам R 3 фазода компакт быладими? Ечиш. К тыплам R 3 да чегараланган. Шунинг учун 8.1.теоремага асосан К нисбий компакт. Лекин К тыплам R 3 да ёпи= эмас. Буни =уйидагича кырсатамиз. Фараз =илайлик, { r k } кетма-кетлик В тыпламдан олинган рационал сонлар кетма-кетлиги былиб, к  да 2 2   kr былсин. { S n }  {( x k , y k )}  A былганда z n  ( s n , r n ), n  N кетма-кетликни олиб =арайлик. { S n } кетма-кетлик чегараланган былгани учун n k  да s s kn  быладиган   kns мавжуд, бунда   kns   ns . А тыплам ёпи=. Шунинг учун s  А. Лекин B rn n    2 2 lim Демак,   knz кетма-кетлик R 3 даги        2 2 ,s элементга я=инлашади, чунки   knz    nz , ) , ( k kn kn r s z  . Шундай =илиб        2 2 ,s элемент К  АхВ тыпламга тегишли былмаганидан К компакт была олмайди. 8.5.-масала. K  { x ( t )  C [0,1], x (0)  0,  x ( t 1 )- x ( t 2 )  t 1 - t 2  , t 1 , t 2  [0,1]} тыплам учун  0,2 – тыр тузинг. Ечиш. К тыпламдаги x ( t ) функцияларнинг графиклари ОАВ учбурчакка жойлаштирилган. (шаклга =аранг) у В 0 С х А  t 1 - t 2  0,2 шартга асосан [0,1] кесмани 5 тадан кам былмаган былакка былиш керак. Худди шундай АС ва ВС кесмаларни щам шунча былакка былиш керак, чунки  x ( t 1 )- x ( t 2 )  t 1 - t 2  0,2 былиниш ну=талардан координата ы=ларига паралел чизи=лар ытказамиз. Натижада ОАВ учбурчакда тыр щосил =иламиз. Фараз =илайлик U тыплам тырда мавжуд былиши мумкин былган сини= чизи=лар тыплами былиб, учлари тырнинг тугунларида былсин. У щолда ихтиёрий х  К учун 2,0 )( )( max ]1,0[    t y t x t быладиган y ( t ) мавжуд ( y ( t )  U ), яъни U тыплам К тыплам учун 0,2 тырдан иборат. 8.6.-масала. А оператор       1 ) ,...,2,1 ( , j k j kj k n k b x a yтенглик билан ани=ланган былиб R n ни R n га акслантиради, яъни A : R n  R n Агар ихтиёрий k , j  1,2,…, n учун 3 1 n kj a  былса, у щолда А =ис=артириш оператори быладими? Ечиш. Фараз =илайлик х (1) ва х (2) ну=талар R n фазонинг ихтиёрий ну=талар былсин. У щолда   (1) ) ( ) , ( 1 1 2)2( )1( 1 2 1 1 )2( )1( 1 2)2( )1( )2( )1( 21 21 21                                             n k n j j j kj n k n j n j j kj j kj n k k k x x a x a x a y y Ax Ax  Бу (1) даги ички йи\индига Коши – Буняковский тенгсизлигини тадби=лаймиз. ) , ( ) ( ) ( )2( )1( 1 2 1 1 2)2( )1( 1 2 )2( )1( 21 21 21 x x a x x a x x a n j kj n j n j j j n j kj j j kj                               Бу (2) га асосан (1) =уйидагича (3) ) , ( , ( ) , ( 21 21 21 1 1 2 )2( )1( 1 2 )2( )1( 1 2 )2( )1(                                    n k n j kj n k n j kj a x x x x a Ax Ax   былади. Ихтиёрий k , j  1,2,3,…, n учун масала шартига кыра (4) 3 1 2 2 n akj  Энди (4) ни эътиборга олсак (3) дан ) , ( 3 1 ) , ( )2( )1( )2( )1( x x Ax Ax    щосил былади. Бу эса А =ис=артириш оператори эканлигини кырсатади. 8.7.-масала. А оператор х  (х 1 ,х 2 ,х 3 ,х 4 ,х 5 ,х 6 ,х 7 ) элемент учун  7 6 61 5 4 41 3 31 2 1 7, , 6, , , 2, x x x x x x x y Ax   тенглик билан ани=ланган ва A : R 7  R 7 Бундай оператор =ис=артириш оператори быладими? Ечиш. Фараз =илайлик Z 1  0  (0,0,0,0,0,0,0) ва Z 2  (1,1,0,0,1,0,1) былсин. У щолда Az 1  (0,0,0,0,0,0,0) ва Az 2  (1,2,0,0,5,0,7) былиб 79 ) , ( ,2 ) , ( 2 1 2 1   Az Az z z   яъни) , ( 2 79 ) , ( 2 1 2 1 z z Az Az      Демак, А =ис=артириш оператори былмайди. 8.8.-масала. Агар х      2,0  C элемент учун А оператор   2 0 cos sin) ( 2 1 )(  sds t s x t Ax тенглик билан ани=ланган былса, у щолда А =ис=артириш оператори быладими? Ечиш. Ихтиёрий x 1 ( t ), x 2 ( t )      2,0  C учун     ) , ( ) ( ) ( max cos cos) ( ) ( sin max cos sin) ( ) ( max ) , ( 2 1 21 0 2 1 21 0 2 1 21 0 2 1 21 ,0 2 1 2 2 2 2 x x ds s x s x s dss s x s x t sds t s x s x Ax Ax s t t                    Демак, А =ис=артириш операторидан иборат. 8.9.-масала. Фараз =илайлик А: Х  Х бунда Х компакт ва  ( Ax , Ay )<  ( x , y ), x , y  X (5) былсин. У щолда А операторнинг =ыз\алмас ну=таси мавжуд эканлиги исботлансин. Ечиш. Тескаридан фараз =иламиз. Бундай холатда Х фазода    n n n n y x n Ay Ах , 1 1 ,         (6) быладиган { x n } ва {у n } кетма-кетликлар топилади. Х компакт былгани учун n k  да х nk  ва у nk  y быладиган мос равишда { x nk }, { x nk }  { x n }, { y nk }, { y nk }  { y n } кетма-кетликлар мавжуд. Бундай кетма-кетликлар учун щам (6) тенгсизлик са=ланади. Энди n k   да (6) дан лимитга ытиб  (Ах,Ау)   (х,у) (7) тенгсизликни хосил =иламиз, бунда А оператор ва  (х,у) лар узлуксизлиги эътиборга олинди. Охирги (7) тенгсизлик (5) га зиддият А оперторнинг кыз\ алмас ну=таси мавжуд эканлигини кырсатади . 8.10-масала. Фараз =илайлик { A n } бышмас тыпламлар Х метрик фазонинг А 1  А 2  А 3  . . . компакт тыпламлари былсин.    1 n n A  эканлиги исботлансин. Ечиш: Щар бир А n тыпламдан а n ну=та танлаймиз. { A n } кетма-кетликлар =ис=ариб борувчи былганидан { а n }  А 1 А 1 тыплам компактдир. Шунинг учун { а n } кетма- кетлик я=инлашувчи { knа } =исмий кетма-кетликни ыз ичига олади. n k  да knа  а  А 1 . Энди n к сонни тайинлаймиз. У щолда   k i n kin A а    ва кетма-кетлик щам а элементга я=инлашгани учун а  kn А , n k  1,2 яъни         1 1 n n k n A А а k Демак,    1 n n A  АДАБИЁТЛАР. 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 10. www.nur.uz