Фундаментальна послідовність
Фундаментальна послідовність — в математичному аналізі послідовність, члени якої наближаються як завгодно близько один до одного зі збільшенням порядкових номерів. Фундаментальні послідовності дійсних чисел завжди є збіжними, і тому послідовність можна перевірити на збіжність (так зв. збіжність за Коші) не знаходячи фактичного значення її границі. Поняття фундаментальної послідовності узагальнюється на довільні метричні простори. На відміну від дійсних чисел, воно може не бути еквівалентним до збіжності. Повний метричний простір нагадує дійсні числа у тому, що будь-яка фундаментальна послідовність є збіжна.
Означення
ред.- Послідовність елементів метричного простору називається фундаментальною послідовністю, якщо для кожного дійсного існує таке ціле (яке залежить від ), що для всіх цілих виконується
(так званий критерій Коші).
Трохи неформально висловлюючись, вимагаємо, що члени послідовності із достатньо великими індексами (більшими за ) стають як завгодно близькими один до одного у (відстань менша за ). Це наштовхує на думку про існування границі фундаментальної послідовності у . Але насправді границі може й не бути! А саме,
- Метричний простір в якому кожна фундаментальна послідовність має границю в називають повним.
(Неформально: у «немає дірок», множина точок розриву є множина міри 0, М — вимірна за Жорданом.)
Будь-який метричний простір можна поповнити, тобто розширити його до простору
приєднавши границі усіх фундаментальних послідовностей з
Приклади
ред.1. Будь-яка збіжна послідовність у довільному метричному просторі — фундаментальна. Наприклад: що має границю — фундаментальна.
2. Множина дійсних чисел із звичайною відстанню є повним метричним простором. (Це одна із найвизначніших властивостей дійсних чисел, що може бути навіть використана для їх аксіоматичної характеризації.) Тому довільна фундаментальна послідовність дійсних чисел має границю в . Повнота дозволяє надати умови для збіжності послідовності (або ряду) дійсних чисел без обчислювання її (його) границі (див. критерій Вейєрштраса). Наприклад, визначимо послідовність за правилом
(послідовності схожого типу з'являються у методі Ньютона розв'язання рівнянь). Тоді неважко довести, що це — фундаментальна послідовність дійсних чисел, тому вона має певну границю
3. Зауважимо, що всі члени щойно побудованої послідовності — раціональні числа, але її границя — ірраціональне число. Справді, звідки одержуємо, що тому Розглянута як послідовність елементів з із звичайною відстанню, вона так само є фундаментальною. Оскільки ми винайшли фундаментальну послідовність раціональних чисел, яка не має границі серед раціональних чисел, метричний простір не є повним. Одне із класичних означень дійсних чисел — вони є поповнення раціональних чисел, (див. вище).
4. Розглянемо метричний простір цілих чисел із звичайною відстанню Тоді неважко переконатися, що послідовність — фундаментальна лише тоді, якщо вона «згодом постійна», тобто всі її члени із достатньо великими індексами дорівнюють певній цілій константі Справді, обираючи в означенні фундаментальної послідовності знаходимо, що існує таке ціле , що для всіх індексів виконується Оскільки всі — цілі числа, а відстань між будь-якими відмінними цілими числами принаймні маємо для всіх
5. Розглянемо множину натуральних чисел як метричний простір із дещо незвичайною відстанню. По-перше, нехай дорівнює максимальній кількості останніх цифр (тобто, рахуючи з кінця) у десятковому записі та що збігаються між собою. Наприклад, Інакше кажучи, — це число нулів наприкінці десяткового запису Визначимо відстань між натуральними числами за формулою Можна переконатися, що становить собою метричний простір (пор. p-адичні числа). Утворимо послідовність таким чином, що одержано з додаванням попереду його десяткового запису будь-якої цифри, що не дорівнює нулю (наприклад, можна визначити що складається з одиниць). Тоді — це фундаментальна послідовність, що не має границі у Зокрема, цей метричний простір не є повним.
Властивості
ред.1. Кожна збіжна послідовність є фундаментальною, і кожна фундаментальна послідовність є обмеженою.
2. Якщо і — дві фундаментальні послідовності в просторі раціональних, дійсних чи комплексних чисел, тоді сума і добуток також є фундаментальними послідовностями.
3. Якщо є рівномірно неперервним відображенням метричних просторів і є фундаментальною послідовністю в тоді є фундаментальною послідовністю в
Див. також
ред.Джерела
ред.- Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — 4-е изд. — Москва : Наука, 1976. — 544 с. — ISBN 5-9221-0266-4.(рос.)