Соханинг сакланиш принципи - Algebra - Referatlar

Соханинг сакланиш принципи

Yuklangan vaqt:

11.09.2022

Ko'chirishlar soni:

0

Hajmi:

828 KB

Ko'chirib olish

Соханинг сакланиш принципи Режа: 1. Соханинг сакланиш принципи. 2. Модулнинг максимуми принципи. 3. Шварц леммаси. 4. Компактлик принципи 5. Риман теоремаси.

Соханинг сакланиш принципи. "Комплекс анализ" китобининг 3-бобида элементар голоморф функциялар ва улар ёрдамида бажариладиган акслантиришлар урганилган эди. Энди ихтиёрий голоморф функция ёрдамида бажариладиган акслантиришни караймиз. Бунда соханинг акси яна соха булишини тасдикловчи куйидаги теорема мухимдир: Фараз килайлик, zf w  функция D сохада  D( ℂ ) берилган булсин. Теорема. Агар z f w  функция D сохада голоморф булиб,  const z f / булса у холда D соханинг акси     Df D D   хам соха булади. ◄ Айтайлик, zf w  функция  D D ( ℂ z ) сохада голоморф булиб, у D сохани  D тупламга   D( ℂ w ) акслантирсин:  . D f D  1)  D очик туплам булишини исботлаймиз. Айтайлик, 0w нукта  D тупламнинг ихтиёрий нуктаси булиб, 0z нукта  D z 0 эса унинг аслларидан (прообразларидан) бири булсин:   00 w z f  . D соха булгани учун нуктанинг шундай         0 0 z z z U атрофи топиладики, у D соханинг ичида жойлашган булади ва  0z U  да    D w w 0 0 нуктанинг 0z дан бошка асли булмайди. Чунки, 0z нуктанинг бирор атрофида, акси 0w булган бошка нукталар чексиз куп булса, бу нукталарда  z f функциянинг кийматлари 0w га тенг булиб, ягоналик теоремасига кура,  const z f / булишига зид булиб колади. Ёпик доира   0zU  нинг чегараси  r z z    0  да   0w z f  функция узлуксиз булади. Бинобарин,  да бу функциянинг модули   0w z f  узининг минимум кийматига эришади. Уни  билан белгилайлик:  0 min w z f z     (1) Бунда  мусбат сон булади: 0  . Чунки, 0  булса, у холда  да шундай z нукта топилиб коладики,   0w zf   булади. Бу эса ) ( 0z U  да нуктанинг 0z дан бошка асли булмаслигига зиддир.  микдордан фойдаланиб, ушбу     0w w Κ доирани оламиз. Энди   D Κ булишини курсатамиз. Равшанки,  0 0 w zf (2) тенглама    r z z z U    0 0  доирада камида битта илдизга эга. Албатта, 2 0z z тенгламанинг илдизи булади. (Маълумки, 0z нукта (2) тенгламанинг n тартибли илдизи булса, унда (2) тенгламанинг илдизлари сони n та хисобланади). Ихтиёрий  0 1 1 , w w Κ w   нуктани олиб, ушбу

      0 1 0 0 1       w w w zf w zfтенгламани караймиз. (1) муносабатга кура  r z z    0  айланада    0w z f ва    1 0 w w булишини эътиборга олиб, Руше теоремасидан фойдаланиб куйидаги хулосага келамиз: Ушбу  0 0 w zf тенгламанинг  r z z    0  айлана ичида канча илдизлари булса,  0 1 w z f тенгламанинг хам шу айлана ичида шунча илдизлари булади. Бинобарин  0 1 w z f тенглама хеч булмаганда битта илдизга эга. Уни 1z дейлик. Демак,   1 1 w z f  . Бундан эса,     0w w Κ доиранинг хар бир нуктаси  z f функциянинг    r z z z U    0 0  нинг бирор нуктасидаги кийматидан иборат эканлиги келиб чикади. Шундай килиб,  D тупламдаги хар бир нукта узининг бирор атрофи билан шу  D га тегишли булишини топдик:    D . Бу эса  D нинг очик туплам эканини билдиради. 2)  D бођламли туплам булишини исботлаймиз.  D тупламга тегишли 1w ва 2w ихтиёрий нукталарни олайлик. Бу нукталарнинг D сохадаги аслларидан бири мос равишда 1z ва 2z булсин: , , 2 1 D z D z             D zf w D zf w 2 2 1 1 , Шартга к у ра D сохадан иборат . Демак , 1z ва 2z ну к таларни бирлаштирувчи ва D га тегишли б у лган узлуксиз        t tz z , эгри чизи к мавжуд б у лади . zf w  функция узлуксиз б у лганлиги сабабли , унинг ёрдамида бажариладиган акслантириш tz z функция эгри чизи к ни 1w ва 2w ну к таларни бирлаш - тирувчи ва  D га тегишли б у лган   tz f w  узлуксиз эгри чизи кк а у тказади . Бу эса  D нинг бођламли т у плам б у лишини билдиради . Шундай к илиб ,  D нинг очи к хамда бођламли т у плам эканлиги к у рсатилди . Демак ,  D - соха . ► Бу теорема соханинг сакланиш принципи деб юритилади. Модулнинг максимуми принципи. Шварц леммаси. Айтайлик, zf w  функция  D D ( ℂ ) сохада берилган булсин. 1-теорема. Агар zf w  функция D сохада голоморф булиб, унинг модули  z f бирор   Dzz  00 нуктада максимумга (локал максимумга) эришса, у холда  z f функция D да узгармас булади. ◄ Фараз килайлик, D сохада  const z f / булиб, у D сохани  D   D( ℂ w ) га акслантирсин:  Df D  . Соханинг сакланиш принципига кура  D соха булади. Унда D z 0 нуктанинг акси   00 zfw  нукта узининг бирор

атрофи     0w w K билан  D сохага тегишли булади. Бу K атрофда шундай 1w нукта оламизки, 0 1 w w  булсин. 2-§ да келтирилган тасдикка биноан 1w нуктанинг асли 1z нукта    1 1 w z f  , бирор  r z z U    0 ёпик доира ичида жойлашган булиб,    0 1 z f z f  тенгсизлик бажарилади. Бу эса  z f функция модули  z f нинг 0z нуктада максимумга эришишига зиддир. Демак, D сохада  const z f  булади.► Бу теорема модулнинг максимуми принципи дейилади. Уни куйидагича хам ифодалаш мумкин: 2-теорема. Агар  z f функция D сохада    C D голоморф булиб, __ D да узлуксиз булса, у холда  z f функция узининг максимум кийматига D соханинг чегараси D да эришади. ◄ Равшанки,  z f функция ёпик __ D тупламда узлуксиз. Бинобарин, у __ D да узининг максимум кийматига эришади. Агар  const z f / булса, унда  z f функция 1-теоремага асосан D сохада максимумга эриша олмайди. Шунинг учун  z f узининг максимум кийматига D да эришади. Агар  const z f  булса, унда  z f функция __ D тупламнинг хар бир нуктасида максимумга, жумладан D да хам максимумга эришади. ► Худди юкоридагидек тасдик f нинг минимуми учун, умуман олганда, туђри эмас. Масалан,  z zf  функция  1 z доирада голоморф ва const / , лекин f доиранинг ички 0z нуктасида минимумга эришади. Аммо, бу хол учун куйидаги тасдик уринли. 3-теорема . Агар  z f функция  D D ( ℂ )сохада голоморф булиб, D z  учун 0 ) (  z f булса ва f бирор  D z z 0 0 нуктада минимумга эришса, у холда  z f функция D да узгармас булади. ◄ Агар  zf z g 1  деб белгиласак, унда  z g функция D сохада голоморф булиб, 0z g нуктада максимумга эришади. Унда 1-теоремага кура   const zf const z g    ► Модулнинг максимум принципидан фойдаланиб куйидаги мухим лемма исботланади. Шварц леммаси. Фараз килайлик,  z f функция  1  z U доирада голоморф булиб,  0 0  f ва U z  да   1 z f булсин. У холда U z  да ушбу   z z f  тенгсизлик уринли булади. Агар U доиранинг бирор 0z нуктасида   z z f  тенглик уринли булса, функция куйидаги   R z e zf i     , куринишга эга булади.

◄ Берилган  z f функция ёрдамида ушбу z z f z g ) ( ) (  функцияни хосил киламиз. Шартга кура  0 0  f эканлигидан  z g функция  1  z U да голоморф булади. Энди ихтиёрий  r z Ur   , 1r доирани караймиз. Равшанки, U Ur Юкорида исбот этилган 2-теоремага кура  z g функциянинг модули  z g бу r U доира чегараси  r z Ur    ,  1r да узининг максимум кийматига эришади. Айни пайтда r U да   r z zf zg 1  булади. Демак, r U z  да  r zg 1 булади. Кейинги тенгсизликда, z ни тайинлаб, 1 r да лимитга утиб топамиз.  1 z g Бундан эса r U z  учун   z zf  булиши келиб чикади. Ихтиёрий U z учун уни уз ичига олувчи r U 1r , доира хар доим мавжуд булганлиги сабабли   z zf  тенгсизлик барча U z лар учун бажарилади. Агар бирор U z 0 нуктада   0 0 z z f  булса, у холда  z g функция шу нуктада максимум киймати   1 0  z g га эришиб,   const z g  булади. Бундан эса,  iae z g  ,  R a , яъни  z e z f ia  ,  R a , булиши келиб чикади. ► Конформ акслантиришлардан фойдаланиб, Шварц леммасининг куйидаги умумлашмасини хосил киламиз. 3-теорема (Шварц леммасининг умумлашмаси). Фараз килайлик ,  z f функция  r z Ur   доирада голоморф булиб, бирор r U z 0 нуктада   0 0  z f булсин. Агар r U z  да   M zf  булса, унда r U z  да ушбу   zz r z z M z f r 0 2 0    тенгсизлик уринли булади. (Агар бу теоремада 1 M r ва 0 0 z булса Шварц леммаси келиб чикади.) ◄ r U доирани бирлик U доирага конформ акслантирувчи каср чизикли акслантиришни топамиз:

r z 1, z z r z z r r z r z r z r z 0 2 0 0 0 1 01 01 1 . . 1 1                . Демак, z z r z z r 0 2 0     : U Ur Бу акслаштиришга тескари булган 1 : rU U  акслантиришни оламиз ва 1 1     f M деб белгилаймиз. Бу функция бирлик доира U да оддий Шварц леммасининг шартларини каноатлантиради. U z  Компактлик принципи  D сохада аникланган фунциялардан иборат ℂ    zf функциялар системаси берилган булиб, K туплам D сохада жойлашган чегараланган ёпик (компакт) туплам булсин: D K  1-таъриф. Агар DK   учун шундай узгармас сон ) (K M M  топилсаки,   zf системанинг хар бир  z f функцияси учун ихтиёрий K z да   M zf  тенгсизлик бажарилса, унда   zf система D сохада текис чегараланган дейилади. 1-теорема. Агар D сохада голомороф фунциялардан иборат  ) (z f система D да текис чегараланган булса, у холда функция хосилаларидан иборат  ) (z f система хам D сохада текис чегараланган булади. ◄ D сохада компакт жойлашган ихтиёрий  r z z U    0  D U  доирани олиб, радиуси r r r ' ,' булган ва айни пайтда D сохада компакт жойлашган ушбу  ' 0 r z z V     D V    z z   тенгсизлик бажарилади. Бу тенгсизликда z ни  z  билан алмаштирамиз.          . . 1 . z z f M z z       z z r z z r M z f z M zf 0 2 0 )( .          . ►

доирани караймиз. Айтайлик, f ( z ) функция { f ( z )} системанинг ихтиёрий функцияси булсин. V z  да функциянинг хосиласи ) (z f Коши формуласига кура dt z t tf i z f V 2) ( )( 2 1 ) (      (1) булади. Равшанки, U z булса, унда V t    учун r r z t    тенгсизлик бажарилади. Энди { f ( z )} системанинг текис чегаранганлигини эътиборга олиб U z  учун (1) муносабатдан топамиз: ) ( ) ( ) ( ) ( )( 2 1 ) ( 1 2 2 U M V M r r r dt z t t f i z f V          . Бу эса )} ( { z f системанинг U доираларда текис чегарараланганлигини билдиради. ► Маълумки, D сохадаги компакт К тупламни ) ( D K  шу сохада компакт жойлашган доиралар системаси { U } билан коплаш мумкин. Гейне- Борель теоремасига биноан бу { U } системадан К тупламни копловчи чекли сондаги U 1 , U 2 , U 3 ....., U k доираларни ажратиш мумкин. Агар ) ....,,2,1 ( ) ( max ) ( 1 1 k i U M K M i i   дейилса, унда K z  ва )} ( { ) ( z f z f   учун   K M z f 1   булади. 2-таъриф. Агар 0   сон ва  D K K   туплам учун шундай   O K   ,   топилсаки,   z z тенгсизликни каноатлантирувчи ихтиёрий K z z  , ва    ) (z f z f   учун         zf zf тенгсизлик бажарилса , у холда   z f система D сохада текис даражада узлуксиз дейилади . 2-теорема . Агар D сохада голоморф   z f система D да текис чегараланган булса ,у холда   z f система D сохада текис даражали узлуксиз булади . ◄ A йтайлик, ихтиёрий компакт D K  булсин. Теореманинг шартига биноан, K z  ,    z f z f   учун ) ( ) ( K M z f  булади. Энди K ва D тупламлар орасидаги масофа  булсин ;  z t inf ,  . , D t K z      . Шунингдек, маркази K z нукталарда булган     2   z доираларнинг бирлашмасини куйидагича белгилаймиз:  )( K      2   z UKz Равшанки, бу туплам D сохада компакт жойлашган булади: . )( D K   Унда 1-теоремага мувофик шундай узгармас М топиладики, )( K z  ва )} ( { ) ( z f z f   учун M z f   ) ( булади.

Энди 2    z z тенгсизликни каноатлантирувчи ва K тупламга тегишли ихтиёрий z ва z нукталарни оламиз. Бу нукталарни бирлаштирувчи туђри чизик кесмаси ] , [ z z   )( K тупламга тегишли булиб, ] , [ z z z     хамда )} ( { ) ( z f z f   учун M z f   ) ( тенгсизлик уринли булади. Шуни эътиборга олиб топамиз : z z M dz z f dz z f z f z f z z z z                  ] ,[ ] ,[ ) ( ) ( ) ( ) ( Демак, 0   га кура      M    ,2 min дейилса, унда   z z тенгсизликни каноатлантирувчи ихтиёрий K z z  , ва ихтиёрий )}( { )( z f z f  учун    ) ( ) ( z f z f булади. Бу эса )} ( { z f системанинг D сохада текис дара-жада узлуксиз булишини билдиради. ► 3-таъриф. Агар )} ( { z f системадаги хар бир ) (z fn функциялар кетма- кетлигидан D сохадаги компакт K тупламда текис якинлашувчи кисмий ) (z fkn кетма-кетлик ажратиш мумкин булса, у холда )} ( { z f система D сохада компакт система дейилади. 3-теорема (Монтель). Агар D сохада голоморф булган )} ( { z f функциялар системаси D сохада текис чегараланган булса, унда у D да компакт система булади. ◄ Е туплам D га кисм булиб ( D E  ) , у хамма ерда зич туплам булсин, яъни D E  . Айтайлик, )}( { )( z f z fn  кетма-кетлик Ε z  да якинлашувчи булсин. У холда бу ) (z fn кетма-кетлик D сохадаги ихтиёрий компакт К тупламда текис якинлашувчи булади. Шуни исботлаймиз. 0 сон ва К ) ( D К  тупламни тайинлаймиз. Шартга кура )} ( { z f система D сохада текис чегараланган. Бинобарин, у 2-теоремага кура D сохада текис даражада узлуксиз булади. D сохани томонлари координата укларига параллел туђри чизикларда ётуви )} {( id квадратларга ажратамиз. )} ( { z f система D сохада текис даражада узлуксиз булгани учун D соханинг бу булакланишини шундай кичик килиб олиш мумкинки, К тупламга тегишли булган хар кандай z z  , нукталар ) , ( K z z   битта ) ( id квадратга тегишли булганда,  )}( { ) ( z f z f  учун 3 ) ( ) (     z f z f (2) булади.

Айни пайтда бундай квадратларнинг чекли ) ( ),..., ( ), ( 2 1 pd d d сондагиси K тупламни коплайди. Е туплам D нинг хамма ерида зич. Бинобарин, хар бир ) ,....,2,1 ( ) ( p i di  квадратда E zi булган нукта топилади. ) (z fn кетма- кетлик Е тупламда якинлашувчи булганлиги сабабли, 3  га кура шундай N n 0 топиладики, ,0n n   0n m   ва ) ,...,2,1 ( p i zi  да 3 ) ( ) (   i n i m z f z f (3) тенгсизлик бажарилади. Айтайлик, z нукта K тупламга тегишли булган ихтиёрий нукта булсин. Бу нукта албатта юкорида айтилган квадратларнинг бири ) ( id га тегишли булади. Айни пайтда шу ) ( id квадратга тегишли булган E zi нукта мавжуд булади. Шуларни хамда (2) в (3) муносабатларни эътиборга олиб, 0 0, n m n n   булганда       ) ( ) ( ) ( )( )( )( i n i m i n m n m z f z f z f z f z f z f           3 3 3 )( ) ( z f z f n i n булишни топамиз. Бу эса ) (z fn кетма-кетликнинг K тупламда текис якинлашишини билдиради. Энди ихтиёрий    zf z fn  кетма-кетликдан D сохага тегишли ва унинг хамма ерида зич булган E туплам  D E  нукталарида якинлашувчи кисмий кетма-кетлик ажратиш мумкинлигини курсатамиз. E туплам сифатида D соханинг х ва у координаталари рационал сонлар булган iy x z   нукталари тупламини оламиз.   Q Q, y x D iy x z E       : Равшанки, бу E туплам санокли ва D нинг хамма ерида зич булади. Демак,   , , , 3 2 1 z z z E   1z fn кетма-кетлик чегараланган кетма-кетлик булади. Бинобарин, ундан якинлашувчи кисмий кетма-кетлик ажратиш мумкин. Уни   ,3,2,1 , 1   k f f kn k дейлик.  2 1z fn кетма-кетлик чегараланган. Ундан хам якинлашувчи кисмий кетма-кетлик ажратиш мумкин. Уни   ,3,2,1 ,1 2   k f f kn k дейлик. Бунда  z fn2 функционал кетма-кетлик хеч булмаганда 1z ва 2z нукталарда якинлашувчи булади.  3 2z fn кетма-кетлик чегараланган булиб, ундан якинлашувчи   ,3,2,1 ,2 3   k f f kn k

кетма-кетликни ажратиш мумкин булади. Бунда  z fn3 функционал кетма- кетлик хеч булмаганда 1z , 2z ва 3z нукталарда якинлашувчи. Бу жараённи давом эттириш натижасида ушбу          , , , , , 1 31 21 11 z f z f z f z f n          , , , , , 2 32 22 12 z f z f z f z f n ............................................          , , , , , 3 2 1 z f z f z f z f nn n n n ............................................ фунционал кетма-кетликлар хосил булади. Унинг диогоналларида турганларидан тузилган          , , , , , 33 22 11 z f z f z f z f nn функционал кетма-кетлик ихтиёрий E zi да якинлашувчи булади. Шундай килиб    zf z fn  кетма-кетликдан D K  да текис якинлашувчи кисмий кетма-кетлик ажратилиши курсатилди. Демак,   z f система D сохада компакт булади. ► Одатда бу теорема компактлик принципи дейилади. Энди келгусида керак буладиган баъзи тушунчаларни келтирамиз, тасдикларни эса баён этамиз. Айтайлик D сохада   z f функциялар системаси берилган булсин. 4-таъриф. Агар хар бир )}( { )( z f z f  га бирор конунга кура битта комплекс сон I ( f ) мос куйилган, яъни I  { f ( z )}  ℂ булса, у холда { f ( z )} да функционал берилган дейилади. Агар ихтиёрий D K  да )}( { )(0 z f z f  га текис якинлашадиган )} ( { ) ( z f z fn   олинганда хам, ) ( ) ( lim 0 f I f In n   булса, у холда I функционал { f ( z )}да узлуксиз дейилади. Мисол. D сохада голоморф булган барча функциялардан иборат { f ( z )} системани ва ихтиёрий a  D нуктани олайлик. Маълумки, f ( z )  { f ( z )} функциянинг а нукта атрофида Тейлор каторига ёйилмасининг n - коэффциенти ! ) ( ) ( )( n a f f с n n  булади. Бу { f ( z )} да аникланган функционал булади. Бу I = с n ( f ) функционал { f ( z )} да узлуксиз булади. Риман теоремаси. Маълумки, конформ акслантиришлар назарияси-нинг мухим масалаларидан бири ℂ z комплекс текисликдаги сохани ℂ w текисликдаги сохага утказувчи конформ акслантиришнинг мавжудлигини курсатишдан иборат.

Конформ акслантиришлар назариясининг асосини куйидаги теорема ташкил килади. Теорема (Риман). Кенгайтирилган комплекс текис-ликдаги D соха куйидаги шартларни бажарсин: 1) D бир бођламли соха булсин; 2) D соханинг чегараси иккита нуктадан кам булмасин. У холда D сохани ℂ w текисликдаги бирлик доирага утказувчи конформ акслантириш мавжуд. ◄ Бу теоремани боскичма-боскич исботлаймиз. 1. D сохада модули бирдан кичик булган голоморф ва бир варакли функция мавжудлигини исботлаймиз. Агар D чегараланган соха булса, равшанки бундай функция мавжуд булади. Масалан, R z z f / )(  , бу ерда R сони D сохани узида сакловчи доиранинг радиуси D  { | z |  R } Агар D чегараланмаган соха булиб, унинг ташкарисида 0z нукта ва } { 0  z z доира мавжуд булса, у холда ушбу 5-таъриф. Агар хар бир D K  тупламда текис якинлашувчи f n ( z )  { f ( z )} кетма-кетликнинг лимити { f ( z )} системага тегишли булса унда { f ( z )} система узида компакт система дейилади. 4-теорема. Узида компакт система { f ( z )} да берилган хар кандай узлуксиз функционал I чегараланган ва узининг аник юкори чегарасига эришади, яъни шундай )}( { 0 z f f  функция топиладики, ихтиёрий f ( z )  { f ( z )} да ) ( ) ( 0 f I f I  булади. 0 1 )( z z z f   функция D сохада модули буйича чегараланган         D z z f ,1 )(  голоморф ва бир варакли функция булади. Айтайлик, D чегараланмаган соха булиб, у ташки нуктага эга булмасин. Теореманинг шартига кура D соханинг хеч булмаганда иккита турли   ва чегаравий нукталари мавжуд:   д D,   дD . Ушбу      z z z F )( функцияни карайлик. Бу F ( z ) функция D сохадаги ихтиёрий йул буйича аналитик давом эттирилади. D бир бођламли соха булганлигидан

монодромия хакидаги теоремага биноан бу функциянинг иккита F 1 ( z ) ва F 2 ( z ) бир кийматли тармоклари булиб, улар D сохада бир-бирларидан ишораси билан фарк килади: F 1 ( z )=- F 2 ( z ). Айни пайтда, F 1 ( z ) ва F 2 ( z ) бир варакли функциялар булади. Хакикатдан хам F 1 ( z 1 )= F 1 ( z 2 ), F 2 ( z 1 )= F 2 ( z 2 ) тенгликлардан, 2 2 1 1         z z z z яъни          2 2 1 1 z z z z б у либ , ундан каср - чизи к ли функциянинг бир вара к ли эканлигига асосан z 1 = z 2 б у лиши келиб чи к ади . F ( z ) функциянинг F 1 ( z ) ва F 2 ( z ) тармоклари D сохани мос равишда D 1 = F 1 ( D ) , D 2 = F 2 ( D ) сохаларга конформ акслантиради. Бу D 1 ва D 2 сохалар умумий нуктага эга булмайди, чунки агар z 1 , z 2  D нукталарда F 1 ( z 1 )= F 2 ( z 2 ) булиб коладиган булса, унда юкорида айтилганларга кура z 1 = z 2 = z булиб, F 1 ( z 1 )=- F 2 ( z 2 ) булади. Бу эса F 1 ( z )  0 , F 2 ( z )  0 булишига зиддир. Демак, D 2 соханинг хар бир w 0 нуктаси D 1 соха учун ташки нукта булиб, шундай } { 0  w w доира топиладики, D сохада F 1 ( z ) функциянинг кийматлари бу доирага тегишли булмайди. Унда 0 1 1 ) ( ) ( w z F z f    функция D сохада голоморф хамда бир варакли булиб,  z  D да   1 1  z f булади. Шундай килиб, барча холларда D сохада модули бирдан кичик булган голоморф ва бир варакли функциянинг мавжудлигини курсатдик. 2) D сохада, модул буйича бирдан кичик булган голоморф хамда бир варакли функциялар системасини (тупламини) S дейлик:  )(z f S . Равшанки, ,  S чунки, S z f ) (1 . Монтель теоремасига кура S система D сохада компакт булади. ) (1 z f функция D сохада бир варакли булгани учун тайинланган D а нуктада 0 ) (1  a f булади. Энди S функциялар системасидан 0 ) ( ) ( 1     a f a f (1) шартни каноатлантирувчи функцияларни олиб, улардан иборат тупламни S 1 дейлик. Равшанки, SS  1 . Бу S 1 функциялар системаси узида компакт булади. Хакикатдан хам, D сохада компакт жойлашган ихтиёрий K тупламда

O'xshashlar

Симметрия принципи

Натурал сонлар системаси. Математик индукция принципи

Оптимал бошқарув назарияси. Понтрягиннинг максимум принципи. Максимум принципининг кўлланилиши

Босим. Босимни улчаш. Босим улчаш асбобларни турлари, тузилиши ва ишлаш принципи

Бошлангич функция ва аникмас интеграл. Морера теоремаси. Кошининг интеграл формуласи