Банахтың тұрақты нүктелі теоремасы - Banach fixed-point theorem

Жылы математика, Банах – Цаксиопполи тұрақты нүкте теоремасы (деп те аталады қысқартуды бейнелеу теоремасы немесе келісімшарттық картография теоремасы) теориясының маңызды құралы болып табылады метрикалық кеңістіктер; бар екендігі мен бірегейлігіне кепілдік береді бекітілген нүктелер метрикалық кеңістіктердің өзіндік карталарының тізбегі және осы бекітілген нүктелерді табудың конструктивті әдісі ұсынылған. Оны абстрактілі тұжырымдау деп түсінуге болады Пикардтың дәйекті жуықтау әдісі.[1] Теорема атымен аталған Стефан Банач (1892–1945) және Renato Caccioppoli (1904–1959), және алғаш рет 1922 жылы Банах мәлімдеді.[2][3] Цаксиопполи теореманы 1931 жылы дербес дәлелдеді.[4]

Мәлімдеме

Анықтама. Келіңіздер (X,г.) а толық метрикалық кеңістік. Содан кейін карта Т : X → X а деп аталады жиырылуды бейнелеу қосулы X бар болса q ∈ [0, 1) осылай

барлығына х, ж жылы X.

Банахтың бекітілген нүктелік теоремасы. Келіңіздер (X, d) болуы а бос емес толық метрикалық кеңістік жиырылу картасымен Т : X → X. Содан кейін Т бірегейін мойындайды тұрақты нүкте х * жылы X (яғни Т(х *) = х *). Сонымен қатар, х * келесі түрде табуға болады: ерікті элементтен бастаңыз х0 жылы X және а анықтаңыз жүйелі {хn} арқылы хn = Т(хn−1) үшін n Then 1. Содан кейін хn → х *.

1-ескерту. Келесі теңсіздіктер баламалы және сипаттайды конвергенция жылдамдығы:

Кез келген осындай мәні q а деп аталады Липшиц тұрақты үшін Т, ал ең кішісі кейде «үздік Липшиц константасы» деп аталады Т.

2-ескерту. г.(Т(х), Т(ж)) < г.(х, ж) барлығына х ≠ ж жалпы картада көрсетілгендей, тұрақты нүктенің болуын қамтамасыз ету үшін жеткіліксіз Т : [1, ∞) → [1, ∞), Т(х) = х + 1/х, онда тұрақты нүкте жоқ. Алайда, егер X болып табылады ықшам, онда бұл әлсіз жорамал минимизатор ретінде оңай табылатын тұрақты нүктенің болуы мен бірегейлігін білдіреді. г.(х, Т(х)), шынымен де, минимизатор ықшамдықта болады және оның белгіленген нүктесі болуы керек Т. Содан кейін, бұл бекітілген нүкте кез келген қайталану кезегінің шегі болатындығы оңай шығады Т.

3-ескерту. Теореманы практикада қолданған кезде ең қиын бөлігін анықтау керек X дұрыс, сондықтан Т(X) ⊆ X.

Дәлел

Келіңіздер х0 ∈ X ерікті болып, реттілікті анықтаңыз {хn} орнату арқылы хn = Т(хn−1). Алдымен біз бәріне назар аударамыз n ∈ N, бізде теңсіздік бар

Осыдан кейін индукция қосулы n, бұл фактіні қолдана отырып Т бұл жиырылуды бейнелеу. Сонда біз {хn} Бұл Коши дәйектілігі. Атап айтқанда, рұқсат етіңіз м, n ∈ N осындай м > n:

.> 0 ерікті болсын, өйткені q ∈ [0, 1), біз үлкен таба аламыз N ∈ N сондай-ақ

Сондықтан, таңдау арқылы м және n қарағанда үлкен N біз жаза аламыз:

Бұл {хn} - Коши. Толықтығы бойынша (X,г.), реттіліктің шегі бар х * ∈ X. Сонымен қатар, х * болуы керек бекітілген нүкте туралы Т:

Жиырылуды бейнелеу ретінде, Т үздіксіз, сондықтан шекті ішке алып келеді Т ақталды. Соңында, Т ішінде бірнеше белгіленген нүкте болуы мүмкін емес (X,г.), өйткені кез-келген айқын нүктелер жұбы б1 және б2 жиырылуына қайшы келеді Т:

Қолданбалар

  • Стандартты қосымшаның дәлелі болып табылады Пикард - Линделёф теоремасы шешімдердің болуы мен бірегейлігі туралы қарапайым дифференциалдық теңдеулер. Дифференциалдық теңдеудің шешімі үздіксіз функцияларды үздіксіз функцияларға айналдыратын қолайлы интегралды оператордың қозғалмайтын нүктесі ретінде көрсетіледі. Содан кейін Баначтың бекітілген нүктелік теоремасы осы интегралдық оператордың бірегей тұрақты нүктесі бар екенін көрсету үшін қолданылады.
  • Банахтың тұрақты нүктелі теоремасының бір нәтижесі - жеке тұлғаның кішкентай Липшицтің мазасыздығы би-липшиц гомеоморфизмдер. Ach Банах кеңістігінің ашық жиынтығы болсын E; рұқсат етіңіз Мен : Ω → E сәйкестендіру (қосу) картасын белгілеп, рұқсат етіңіз ж : Ω → E Lipschitz тұрақты картасы к <1. Содан кейін
  1. Ω ′: = (Мен+ж) (Ω) - ашық жиыны E: кез келген үшін х in осылай B(х, р) Біреуі бар B((Мен+ж)(х), р(1−к)) ⊂ Ω ′;
  2. Мен+ж : Ω → Ω ′ - би-липшиц гомеоморфизмі;
дәл, (Мен+ж)−1 әлі күнге дейін Мен + сағ : Ω → Ω ′ көмегімен сағ тұрақты липшит картасы к/(1−к). Бұл нәтиженің тікелей салдары кері функция теоремасы.
  • Мұны Ньютонның дәйекті жуықтау әдісі жұмыс істейтініне кепілдік беретін жеткілікті жағдайлар беру үшін қолдануға болады, сол сияқты Чебышевтің үшінші ретті әдісі үшін де қолдануға болады.
  • Ол интегралдық теңдеулер шешімдерінің бар екендігін және бірегейлігін дәлелдеу үшін қолданыла алады.
  • Мұны дәлелдеу үшін қолдануға болады Нэш ендіру теоремасы.[5]
  • Ол құндылық итерациясының, саясаттың қайталануының және саясатты бағалаудың шешімдерінің болуы мен бірегейлігін дәлелдеу үшін қолданыла алады арматуралық оқыту.[6]
  • Оның көмегімен тепе-теңдіктің бар екендігі мен ерекшелігін дәлелдеуге болады Курно бәсекесі,[7] және басқа динамикалық экономикалық модельдер.[8]

Әңгімелеседі

Банахтың қысқару принципінің бірнеше әңгімелері бар. Келесіге байланысты Чеслав Бессага, 1959 жылдан бастап:

Келіңіздер f : X → X реферат картасы болу орнатылды әрқайсысы қайталану fn бірегей тұрақты нүктесі бар. Келіңіздер q ∈ (0, 1), содан кейін толық көрсеткіш бар X осындай f келісімшарттық болып табылады және q жиырылу константасы.

Мұндай әңгімені алу үшін өте әлсіз болжамдар жеткілікті. Мысалы, егер f : X → X - бұл карта Т1 топологиялық кеңістік бірегейімен бекітілген нүкте а, әрқайсысы үшін х жылы X Бізде бар fn(х) → а, онда көрсеткіш бар X оған қатысты f Банахтың жиырылу принципінің шарттарын 1/2 жиырылу тұрақтысымен қанағаттандырады.[9] Бұл жағдайда метрика шын мәнінде an ультраметриялық.

Жалпылау

Бірқатар жалпылама сөздер бар (олардың кейбіреулері бірден болады қорытындылар ).[10]

Келіңіздер Т : X → X толық метрикалық емес кеңістікте карта болу. Сонымен, мысалы, Банахтың тұрақты нүктелі теоремасының кейбір жалпыламалары:

  • Біраз қайталанады деп есептейік Тn туралы Т жиырылу болып табылады. Содан кейін Т бірегей тұрақты нүктесі бар.
  • Мұны әрқайсысы үшін деп есептеңіз n, бар cn осындай d (Т.n(х), Тn(y)) ≤ cnd (x, y) барлығына х және жжәне сол
Содан кейін Т бірегей тұрақты нүктесі бар.

Қолданбаларда тіркелген нүктенің болуы мен біртұтастығын көбінесе стандартты Banach тіркелген нүктелік теоремасымен, картаны жасайтын метриканы таңдау арқылы көрсетуге болады. Т жиырылу. Шынында да, Бессаганың жоғарыдағы нәтижесі осындай көрсеткішті іздеуді ұсынады. Туралы мақаланы қараңыз шексіз кеңістіктегі тұрақты нүктелік теоремалар жалпылау үшін.

Жалпылаудың басқа сыныбы ұғымының қолайлы жалпылауынан туындайды метрикалық кеңістік, мысалы. метрика ұғымының анықтайтын аксиомаларын әлсірету арқылы.[11] Олардың кейбіреулері қосымшаларға ие, мысалы, теориялық информатикада семантиканы бағдарламалау теориясында.[12]

Сондай-ақ қараңыз

Ескертулер

  1. ^ Киндерлехер, Дэвид; Стампакия, Гвидо (1980). «Вариациялық теңсіздіктер RN". Вариациялық теңсіздіктерге кіріспе және олардың қолданылуы. Нью-Йорк: Academic Press. 7-22 бет. ISBN  0-12-407350-6.
  2. ^ Банах, Стефан (1922). «Sur les opéations dans les ansambles abstraits et leur қолдану aux équations intégrales» (PDF). Fundamenta Mathematicae. 3: 133–181. дои:10.4064 / fm-3-1-133-181.
  3. ^ Ciesielski, Krzysztof (2007). «Стефан Банах және оның кейбір нәтижелері туралы» (PDF). Банах Дж. Математика. Анал. 1 (1): 1–10. дои:10.15352 / bjma / 1240321550.
  4. ^ «Renato Caccioppoli библиографиясы». Алынған 23 мамыр 2020.
  5. ^ Гюнтер, Матиас (1989). «Zum Einbettungssatz von J. Nash» [Дж. Нэштің ендірілген теоремасы туралы]. Mathematische Nachrichten (неміс тілінде). 144: 165–187. дои:10.1002 / mana.19891440113. МЫРЗА  1037168.
  6. ^ Льюис, Фрэнк Л .; Врабие, Драгуна; Syrmos, Vassilis L. (2012). «Арматуралық оқыту және оңтайлы адаптивті бақылау». Оңтайлы басқару. Нью-Йорк: Джон Вили және ұлдары. 461-517 бб. [б. 474]. ISBN  978-1-118-12272-3.
  7. ^ Ұзын, Нго Ван; Субейран, Антуан (2000). «Курно тепе-теңдігінің болуы және бірегейлігі: карта кескінін қысқартудың тәсілі» (PDF). Экономикалық хаттар. 67 (3): 345–348. дои:10.1016 / S0165-1765 (00) 00211-1.
  8. ^ Стоки, Нэнси Л .; Лукас, кіші Роберт Е. (1989). Экономикалық динамикадағы рекурсивті әдістер. Кембридж: Гарвард университетінің баспасы. 508-516 бет. ISBN  0-674-75096-9.
  9. ^ Гитцлер, Паскаль; Седа, Энтони К. (2001). «Банахтың жиырылуын картаға түсіруге арналған теореманың» конверсі «. Электротехника журналы. 52 (10 / с): 3-6.
  10. ^ Латиф, Абдул (2014). «Банахтың қысылу принципі және оны жалпылау». Бекітілген нүктелік теориядағы тақырыптар. Спрингер. 33-64 бет. дои:10.1007/978-3-319-01586-6_2. ISBN  978-3-319-01585-9.
  11. ^ Гитцлер, Паскаль; Седа, Энтони (2010). Логикалық бағдарламалаудың математикалық аспектілері семантикасы. Чэпмен және Холл / CRC. ISBN  978-1-4398-2961-5.
  12. ^ Седа, Энтони К .; Гитцлер, Паскаль (2010). «Есептеу теориясындағы жалпыланған арақашықтық функциялары». Компьютерлік журнал. 53 (4): 443–464. дои:10.1093 / comjnl / bxm108.

Әдебиеттер тізімі

  • Агарвал, Правин; Джлели, Мохамед; Samet, Bessem (2018). «Банахтың қысылу принципі және қолданылуы». Метрикалық кеңістіктердегі бекітілген нүктелік теория. Сингапур: Спрингер. 1–23 бет. дои:10.1007/978-981-13-2913-5_1. ISBN  978-981-13-2912-8.
  • Чиконе, Кармен (2006). «Шарт». Қолданбалы қарапайым дифференциалдық теңдеулер (2-ші басылым). Нью-Йорк: Спрингер. 121–135 беттер. ISBN  0-387-30769-9.
  • Гранас, Анджей; Дугунджи, Джеймс (2003). Бекітілген нүктелік теория. Нью-Йорк: Спрингер-Верлаг. ISBN  0-387-00173-5.
  • Истретеску, Василе И. (1981). Бекітілген нүктелік теория: кіріспе. Нидерланды: Д.Рейдель. ISBN  90-277-1224-7. 7 тарауды қараңыз.
  • Кирк, Уильям А .; Хамси, Мохамед А. (2001). Метрикалық кеңістіктерге және тіркелген нүктелік теорияға кіріспе. Нью-Йорк: Джон Вили. ISBN  0-471-41825-0.

Бұл мақала материалды қамтиды Банахтың бекітілген нүктелік теоремасы қосулы PlanetMath бойынша лицензияланған Creative Commons Attribution / Share-Alike лицензиясы.