АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Означення і приклади повних метричних просторів

Читайте также:
  1. IV. ДЕЯКІ ІНШІ ОЗНАЧЕННЯ ГРУПИ
  2. Використання функцій ДМАКС,ДМИН,ДСРЗНАЧ EXEL.Надати приклади.
  3. Використання функцій СУММ, БДСУММ, СУММЕСЛИ в Excel . Надати приклади.
  4. Властивості тригонометричних функцій
  5. Греко-латинські дублетні позначення органів, частин тіла
  6. Дайте оцінку взаємодії генетичних факторів і факторів середовища в реалізації «вроджених форм поведінки».Наведіть приклади.
  7. Заходи з покращення використання вантажопідйомності та місткості вагонів (перелічити та навести приклади)
  8. Зміна структура зайнятості і проблема зборки повних систем миследіяльності
  9. Зміст і призначення основних математичних функцій в Excel. Приклади використання.
  10. І. ОЗНАЧЕННЯ ТА ПРИКЛАДИ ПІДГРУП.
  11. Методика створення та впровадження об’єктів з одних додатків MS Office в інші. Навести приклади.
  12. Монополістична конкуренція: суть, особливості, приклади.

Лекція 4

Тема: «Повні метричні простори.Приклади. Принцип вкладених куль. Теорема Бера. Доповнення метричних просторів»

Дисципліна: «Функціональний аналіз»

 

Викладач Гусарова І.Г.

 

Харків, 2014
Тема: Повні метричні простори.Приклади. Принцип вкладених куль. Теорема Бера. Доповнення метричних просторів

Означення і приклади повних метричних просторів.

Означення: Послідовність точок метричного простору R називається фундаментальною, якщо вона задовольняє критерію Коші, тобто, якщо для будь-якого існує таке число , що для всіх . Твердження: Будь-яка збіжна послідовність фундаментальна.

Доведення. Фундаментальність послідовності безпосередньо випливає з аксіоми трикутника. Дійсно, якщо збігається до x, то для даного можна знайти таке число , що для всіх . Тоді для всіх .

Означення: Простір R називається повним, якщо всіляка фундаментальна послідовність збігається в ньому, або інакше будь-яка фундаментальна послідовність є збіжною і її границя належить цьому простору.

П р и к л а д и:

Всі простори, що розглянуті в розділі “Метричні простори” окрім є повними.

1. У просторі ізольованих точок фундаментальними будуть тільки стаціонарні послідовності (такі, в яких елементи всі однакові, або такі, в яких починаючи з деякого номера, всі елементи однакові). Кожна така послідовність, звичайно, збіжна і границя (яка сама являє собою елемент простору), звичайно, належить просторові.

2. Повнота евклідового простору - відома з аналізу (там, де доводиться критерій Коші).

3. Повнота евклідового простору безпосередньо випливає з повноти .

Дійсно, нехай - фундаментальна послідовність точок з ; це означає, що для будь-якого знайдеться таке , що

для всіх p, q> . Тут . Тоді для кожного k=1,…,n маємо відповідну нерівність для координати для всіх p, q> , тобто - фундаментальна послідовність в . Взявши і поклавши , очевидно отримаємо, що .

4. та 5. Повнота просторів і доводиться аналогічно.

6. Доведемо повноту . Нехай - деяка фундаментальна послідовність в . Це означає, що для будь-якого існує таке N, що при m, n>N для всіх t, . Звідси послідовність рівномірно збіжна і за теоремою Вейєрштраса її границею буде неперервна функція . Якщо m в потрібній нерівності буде прямувати до нескінченності, одержимо для всіх t, і для всіх n>N, а це означає, що збігається до x(t) по метриці простору .

7. Простір . Нехай - фундаментальна послідовність в . Це означає, що для будь-якого існує таке N, що

, для n, m>N. (1)

Тут . З (1) випливає, що при будь-якому k

,

тобто при кожному k послідовність дійсних чисел фундаментальна і тому збіжна в . Приймемо .

Позначимо через x послідовність (). Доведемо, що

а) , тобто x ;

б) .

З нерівності (1) випливає, що для будь-якого фіксованого M

.

В цій сумі тільки скінченне число доданків, і можна, зафіксувавши n, перейти до границі при . Одержимо

.

Нерівність вірна при будь-якому . Перейшовши до границі, якщо , одержимо

. (2) Із збіжності рядів і витікає збіжність ряду (з елементарної нерівності , тобто твердження а) доведене. Оскільки достатньо мале, то нерівність (2) означає, що ,

тобто в метриці . Твердження б) доведене.

8. Простір - не повний. Розглянемо послідовність неперервних функцій

Вона фундаментальна в , тому що

Але вона не збіжна до жодної функції з . Дійсно, нехай f – деяка функція з і - розривна функція, рівна -1 при t<0 і 1 при t 0. За інтегральною нерівністю Мінковського, маємо

З неперервності функції f(t) інтеграл в лівій частині відмінний від нуля.

Далі .

Тому не може збігатись до нуля при n, що прямує до нескінченності.


Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.005 сек.)