Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Т еореми про стискаючі відображення
Розглянемо повний метричний простір Х з відстанню r. Відображення f: X ® X називається стискаючим, якщо існує таке число q є (0, 1), що (2.4 ) для всіх елементів х1, х2 є X. Має місце наступне узагальнення теореми 3. Теорема 4 (про стискаючі відображення). Стискаюче відображення f: X ® X має єдину нерухому точку х* є X, яку можна знайти як границю послідовності (2.5) де х0 — довільний елемент із X. Крім того виконується (2.6) Доведення. Покажемо, що послідовність { хn } фундаментальна. З (2.4) і (2.5) одержуємо оцінки Вважаючи для визначеності, що n >m, з нерівності трикутника одержуємо оцінки при m ® ∞. Таким чином, побудована послідовність { хn } фундаментальна. Оскільки метричний простір X повний, то вона має границю х* є X. Оскільки то при n ® ∞ з наведених оцінок одержуємо доведену оцінку (2.6). Оскільки при m ® ∞ то f(x)= x* , тобто x* — нерухома точка відображення f. Доведемо, що вона — єдина. Нехай x** — інша нерухома точка для f. Тоді з оцінки випливає, що r (x*, x**) = 0 і тому x* = x**. Теорема доведена. Нерівність (2.6) дозволяє визначити, скільки потрібно знайти послідовних наближень, щоб знайти нерухому точку x* відображення f із заданою точністю e>0. Наприклад, нерівність r (x*, хm) < e буде виконана, якщо Теорема 4 широко застосовується для пошуку розв’язків систем алгебраїчних, диференціальних та інтегральних рівнянь, а також покладена в основу різних методів, які використовуються в обчислювальній математиці.
2.4 Критерій існування нерухомих точок
Розглянемо узагальнення теорем 1 і 2, що пов'язані з питаннями існування нерухомих точок відображень. Формулювання відповідних результатів використовує наступні важливі поняття. Множина К з метричного простору X, на якому введена відстань r, називається компактною, якщо з будь-якої послідовності {хn} елементів цієї множини можна виділити підпослідовність, що збігається, границя якої також належить К. Множина В з лінійного простору X (тобто множина, на якій визначені операції додавання і множення на числа з R) називається опуклою, якщо разом з будь-якими двома точками х1, х2єВ множині В належать усі точки ах1+(1-а)х2, а [0,1] (множина таких точок називається відрізком, що з'єднує точки х1, x2єВ).
Теорема 5. Будь-яке неперервне відображення f: К ® К опуклої компактної множини К з лінійного простору Rn має нерухому точку. Ця теорема доведена голландським математиком Л.Э.Я. Брауером. Оскільки будь-який відрізок [а, b] з R є опуклою компактною множиною, то теорема 2 випливає з теореми Брауера. Розглянемо деякі наслідки теореми 5. Теорема Бореука-Улама для кола. Нехай f: С ® R — функція на колі С. Тоді існує пара точок-антиподів х, х* така, що f(х) =f(x*). Наслідком цієї теореми є той факт, що на будь-якому колі Земної кулі (наприклад, на екваторі) знайдеться пара антиподів, у яких температура повітря однакова. Теорема (про млинці). Якщо А і В — обмежені фігури на площині, то існує пряма, що поділяє кожну з цих фігур на дві рівновеликі за площею частини. Тут передбачається, що кожна фігура має площу (що може бути тоді, коли фігура має складну форму). Образно кажучи, теорема стверджує, що два млинці, що лежать на тарілці, можна розрізати точно навпіл одним змахом ножа. Теорема Брауера має різноманітні узагальнення, що знаходять застосування в питаннях існування розв’язків диференціальних та інтегральних рівнянь, у математичній економіці (теорія економічної рівноваги) і теорії ігор.
|
|||||
Последнее изменение этой страницы: 2021-12-15; просмотров: 69; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 18.119.28.237 (0.007 с.) |