Визначення ст.7. Точку х € R числової прямої називають граничною точкою послідовності (хп), якщо для будь-якої околиці U (х) і будь-якого натурального числа N можна знайти елемент хп, що належить цій околиці, з номером, великим ЛГ, тобто. х 6 R - гранична точка, якщо. Інакше кажучи, точка х буде граничною для (хп), якщо в будь-яку її околицю потрапляють елементи цієї послідовності з довільно великими номерами, хоча, можливо, і не всі елементи з номерами п>N. Тому досить очевидне таке твердження. Твердження б.б. Якщо lim(xn) = 6 6 R, b - єдина гранична точка послідовності (хп). Дійсно, в силу визначення 6.3 межі послідовності всі її елементи починаючи з деякого номера потрапляють в будь-яку скільки завгодно малу околицю точки 6, а тому в околицю ніякої іншої точки не можуть потрапити елементи з довільно великими номерами. Отже, умова визначення 6.7 здійсненна лише для єдиної точки 6. Однак не всяка гранична точка (іноді її називають тонкою згущеною) послідовності є її межею. Так, послідовність (б.б) не має межі (див. приклад 6.5), але має дві граничні точки х = 1 і х = - 1. Послідовність ((-1)пп) як граничні має дві нескінченні точки +оо і -з розширеною числовою прямою, об'єднання яких позначають одним символом оо. Саме тому можна вважати, що нескінченні граничні точки збігаються, а нескінченна точка оо згідно (6.29) є межею цієї послідовності. 7 граничної точки, для кожного п існує елемент, що належить околиці U (6, 1/п) точки b радіуса 1 /п. Підпослідовність, складена з точок ijtj, ...1 ..., де zjfcn€U(6, 1/п) Vn 6 N, має межею точку 6. Дійсно, при довільному е > 0 можна вибрати N, таке, що. Тоді всі елементи підпослідовності, починаючи з номера км, потраплять в околицю U(6, е) точки 6, що відповідає умові визначення 6.3 межі послідовності. Справедлива та зворотна теорема. Граничні точки послідовності числова пряма Доказ ознаки Вейєрштраса та критерію Коші. Теорема 8.10. Якщо деяка послідовність має підпослідовність з межею 6, то є гранична точка цієї послідовності. Відповідно до визначення 6.7 х - гранична точка цієї послідовності. Тоді через теорему 6.9 існує підпослідовність, що сходить до точки х. Метод міркувань, використаний при доказі цієї теореми (її іноді називають лемою Больцано - Вейєр-штрасса) і пов'язаний з послідовним розподілом навпіл розглянутих відрізків, відомий під назвою методу Больцано. Ця теорема значно спрощує доказ багатьох складних теорем. Вона дозволяє довести іншим (іноді більш простим) шляхом низку ключових теорем. Додаток 6.2. Доказ ознаки Вейєрштраса та критерію Коші Спочатку доведемо твердження 6.1 (ознака Вейєрштраса збіжності обмеженої монотонної послідовності). Припустимо, що послідовність (яп) незменшується. Тоді безліч її значень обмежена зверху і за теоремою 2.1 має точну верхню грань, яку позначимо sup(xn) be R. В силу властивостей точної верхньої грані (див. 2.7) Граничні точки послідовності числова пряма Доказ ознаки Вейєрштраса та критерію Коші. Відповідно до визначення 6.1 для незменшувальної послідовності маємо або Тоді > Ny а з урахуванням (6.34) отримаємо що відповідає визначенню 6.3 межі послідовності, тобто. 31im(sn) та lim(xn) = 66R. Якщо послідовність (хп) не зростає, то перебіг докази аналогічний. Тепер перейдемо до доказу достатності критерію Кохії збіжності послідовності (див. твердження 6.3), оскільки необхідність умови критерію випливає з теореми 6.7. Нехай послідовність (яп) є фундаментальною. Відповідно до визначення 6.4 за довільним € > 0 можна знайти номер N(s), такий, що з m^N і n^N випливає. Тоді, прийнявши т - N, при Vn > N отримаємо € £ Оскільки послідовність, що розглядається, має кінцеву кількість елементів з номерами, що не перевершують N, з (6.35) слід, що фундаментальна послідовність обмежена (див. для порівняння доказ теореми 6.2 про обмеженість послідовності, що сходиться) ). Для безлічі значень обмеженої послідовності існують точні нижня та верхня грані (див. теорему 2.1). Для безлічі значень елементів за п > N позначимо ці грані an = inf xn і bjy = sup xn відповідно. Зі збільшенням N точна нижня грань не зменшується, а точна верхня грань не збільшується, тобто. . я отримуємо систему елоасенниа? відрізків Відповідно до принципу вкладених відрізків існує загальна точка, що належить усім відрізкам. Позначимо її через Ь. Таким чином, при З порівняння (6. 36) і (6.37) у результаті отримаємо відповідність визначенню 6.3 межі послідовності, тобто. 31im(x„) та lim(sn) = 6 6 R. Фундаментальні послідовності почав вивчати Боль-цано. Але він не мав суворої теорією дійсних чисел, і тому не вдалося довести збіжність фундаментальної послідовності. Це зробив Коші, взявши за очевидний принцип вкладених відрізків, який пізніше обґрунтував Кантор. Ім'я Коші отримав як критерій збіжності послідовності, а й фундаментальну послідовність часто називають послідовністю Коші, а ім'я Кантора носить принцип вкладених відрізків. геометричних прогресійутворюють спадну і зростаючу послідовність? 6.4. Довести співвідношення, що випливають із табл. 6.1. 6.5. Побудувати приклади послідовностей, які прагнуть нескінченних точок +оо, -оо, оо, і приклад послідовності, що сходить до точки 6 € R. в. Чи може необмежена послідовність не бути б.б.? Якщо так, то навести приклад. о 7. Побудувати приклад складається з позитивних елементів послідовності, що розходиться, не має ні кінцевої, ні нескінченної межі. 6.8. Довести збіжність послідовності (яп), заданої рекурентною формулою sn+i = sin(xn/2) за умови «1 = 1. 6.9. Довести, що lim(xn)=09 якщо sn+i/xn-g€ .
Розділимо відрізок [ a 0 ,b 0] навпіл на два рівні відрізки. Принаймні один з відрізків, що вийшли, містить нескінченну кількість членів послідовності. Позначимо його [ a 1 ,b 1 ] .
На наступному кроці повторимо процедуру з відрізком [ a 1 ,b 1 ] : розділимо його на два рівні відрізки і виберемо з них той, на якому лежить нескінченна кількість членів послідовності. Позначимо його [ a 2 ,b 2 ] .
Продовжуючи процес отримаємо послідовність вкладених відрізків
в якій кожен наступний є половиною попереднього, і містить нескінченну кількість членів послідовності ( x k } .
Довжини відрізків прагнуть нуля:
В силу принципу вкладених відрізків Коші-Кантора існує єдина точка ξ, що належить всім відрізкам:
За побудовою на кожному відрізку [a m ,b m ] лежить нескінченна кількість членів послідовності. Виберемо послідовно
дотримуючись умов умов зростання номерів:
Тоді підпослідовність сходиться до точки ξ. Це випливає з того, що відстань від до ξ не перевищує довжини відрізка, що містить їх [a m ,b m ] , звідки
Поширення у разі простору довільної розмірності
Теорема Больцано - Вейєрштрасса легко узагальнюється у разі простору довільної розмірності.
Нехай дана послідовність точок простору:
(нижній індекс – номер члена послідовності, верхній – номер координати). Якщо послідовність точок простору обмежена, кожна з числових послідовностей координат:
також обмежена ( 
- Номер координати).
З огляду на одновимірного варіанта теореми Больцано - Вейрштрасса з послідовності ( x k) можна виділити підпослідовність точок , перші координати яких утворюють послідовність, що збігається. З отриманої підпослідовності ще раз виділимо підпослідовність, що сходить по другій координаті. При цьому збіжність по першій координаті збережеться через те, що будь-яка підпослідовність послідовності, що сходить, також сходиться. І так далі.
Після nкроків отримаємо деяку послідовність
що є підпослідовністю, і що сходить по кожній з координат. Звідси випливає, що ця послідовність сходиться.
Історія
Теорема Больцано - Вейєрштраса (для випадку n= 1) вперше була доведена чеським математиком Больцано у 1817 році. У роботі Больцано вона виступала як лема в доказі теореми про проміжні значення безперервної функції, відомої тепер як теорема Больцано-Коші. Однак ці та інші результати, доведені Больцано задовго до Коші та Вейєрштраса, залишилися непоміченими.
Лише через півстоліття Вейєрштрас, незалежно від Больцано, знову відкрив і довів цю теорему. Спочатку називалася теоремою Вейєрштраса, до того як стали відомі і отримали визнання роботи Больцано.
Сьогодні ця теорема носить імена Больцано та Вейєрштрасса. Нерідко цю теорему називають лемою Больцано - Вейєрштраса, а інколи лемою про граничну точку.
Теорема Больцано - Вейєрштраса та поняття компактності
Теорема Больцано - Вейєрштраса встановлює наступне цікава властивістьобмеженої множини: всяка послідовність точок Mмістить схожу підпослідовність.
При доказі різних пропозицій в аналізі часто вдаються до наступного прийому: визначають послідовність точок, що володіє якою-небудь потрібною властивістю, а потім з неї виділяють підпослідовність, яка також володіє, але вже схожу. Наприклад, саме так доводиться теорема Вейєрштрасса про те, що безперервна на відрізку функція обмежена і набуває своїх найбільших і найменших значень.
Ефективність подібного прийому взагалі, а також бажання поширити теорему Вейєрштрасса на довільні метричні простори, спонукали в 1906 французького математика Моріса Фреше ввести поняття компактності. Властивість обмежених множин в , що встановлюється теоремою Больцано-Вейєрштрасса, полягає, образно кажучи, в тому, що точки множини розташовуються досить «тісно», або ж «компактно»: зробивши нескінченну кількість кроків по цій множині, ми неодмінно як завгодно близько підійдемо до якої то точці простору.
Фреше вводить таке визначення: безліч Mназивається компактним, або ж компактом, якщо будь-яка послідовність його точок містить підпослідовність, що сходить до деякої точки цієї множини. При цьому передбачається, що на множині Mвизначено метрику, тобто воно є
Нагадаємо, що околицею точки ми назвали інтервал, що містить цю точку; -навколо точки х - інтервал
Визначення 4. Точка називається граничною точкою множини, якщо будь-яка околиця цієї точки містить нескінченну підмножину множини X.
Ця умова, очевидно, рівносильна тому, що в будь-якій околиці точки є принаймні одна з точка множини X, що не збігається. (Перевірте!)
Наведемо кілька прикладів.
Якщо то граничною для X є лише точка.
Для інтервалу граничною є кожна точка відрізка та інших граничних точок у разі немає.
Для багатьох раціональних чисел граничною є кожна точка Е, бо, як ми знаємо, у будь-якому інтервалі дійсних чисел є раціональні числа.
Лемма (Больцано-Вейєрштрас). Будь-яка нескінченна обмежена числова множина має принаймні одну граничну точку.
Нехай X - це під безліч Е. З визначення обмеженості множини X випливає, що X міститься в деякому відрізку . Покажемо, що принаймні одна з точок відрізка є граничною для X.
Якби це було не так, то кожна точка мала б околицю в якій або взагалі немає точок множини X, або їх там кінцеве число. Сукупність таких околиць, побудованих для кожної точки утворює покриття відрізка I інтервалами з якого по лемі про кінцеве покриття можна отримати кінцеву систему інтервалів, що покриває відрізок I. Але, оскільки ця ж система покриває все безліч X. Однак у кожному інтервалі тільки кінцеве число точок множини X, отже, і їх об'єднанні теж кінцеве число точок X, т. е. X - кінцеве безліч. Отримана суперечність завершує доказ.
Визначення 1.Точка x нескінченної прямої називається граничною точкою послідовності (x n ), якщо в будь-якій e - околиці цієї точки є безліч елементів послідовності (x n ).
Лемма 1.Якщо x-гранична точка послідовності (x k ), то з цієї послідовності можна виділити підпослідовність (x n k ), що сходить до x.
Зауваження.Справедливе та зворотне твердження. Якщо з послідовності (x k ) можна виділити підпослідовність, що сходить до x, то число x є граничною точкою послідовності (x k ). Дійсно, в будь-якій e - околиці точки x є безліч елементів підпослідовності, а отже і самої послідовності (x k ).
З леми 1 випливає, що можна дати інше визначення граничної точки послідовності, еквівалентне визначення 1.
Визначення 2.Точка x нескінченно прямою називається граничною точкою послідовності (x k ), якщо з цієї послідовності можна виділити підпослідовність, що сходить до x.
Лемма 2.Кожна послідовність, що сходить, має тільки одну граничну точку, що збігається з межею цієї послідовності.
Зауваження.Якщо послідовність сходиться, вона з леми 2 має лише одну граничну точку. Однак, якщо (x n ) не є схожою, то вона може мати кілька граничних точок (і взагалі нескінченно багато граничних точок). Покажемо, наприклад, що (1+(-1) n ) має дві граничні точки.
Справді, (1+(-1) n )=0,2,0,2,0,2,... має дві граничні точки 0 та 2, т.к. підпослідовності (0)=0,0,0,... та (2)=2,2,2,... цієї послідовності мають межами відповідно числа 0 і 2. Інших граничних точок у цій послідовності немає. Справді, нехай x-будь-яка точка числової осі, відмінна від точок 0 і 2. Візьмемо e >0 настільки
малим, щоб e – околиці точок 0, x та 2 не перетиналися. У e - околицях точок 0 і 2 містяться всі елементи послідовності і тому e - околиця точки x не може містити безліч елементів (1+(-1) n ) і тому не є граничною точкою цієї послідовності.
Теорема.У будь-якій обмеженій послідовності існує хоча б одна гранична точка.
Зауваження.Жодне число x , що перевищує , перестав бути граничною точкою послідовності (x n ), тобто. - Найбільша гранична точка послідовності (x n).
Нехай x-будь-яке число, що перевищує . Виберемо e>0 настільки малим,
і x 1 Î(x), правіше x 1 лежить кінцеве число елементів послідовності (x n ) чи їх зовсім немає, тобто. x не є граничною точкою послідовності (x n).
Визначення.Найбільша гранична точка послідовності (x n ) називається верхньою межею послідовності та позначається символом . Із зауваження випливає, що у будь-якої обмеженої послідовності є верхня межа.
Аналогічно вводиться поняття нижньої межі (як найменшої граничної точки послідовності (x n)).
Отже, ми довели таке твердження. У будь-якій обмеженій послідовності існує верхня і нижня межі.
Сформулюємо без підтвердження наступну теорему.
Теорема.Для того, щоб послідовність (x n ) була схожою, необхідно і достатньо, щоб вона була обмеженою і щоб її верхня і нижня межі збігалися.
Результати цього пункту призводять до наступної основної теореми Больцано-Вейєрштрас.
Теорема Больцано-Вейєрштраса.З будь-якої обмеженої послідовності можна виділити схожу підпослідовність.
Доведення.Оскільки послідовність (x n ) обмежена, вона має хоча б одну граничну точку x. Тоді з цієї послідовності можна виділити підпослідовність, що сходить до точки x (випливає з визначення 2 граничної точки).
Зауваження.З будь-якої обмеженої послідовності можна виділити монотонну послідовність, що сходить.
Наводиться доказ теореми Больцано – Вейєрштрасса. Для цього застосовується лема про вкладені відрізки.
ЗмістДив. також: Лемма про вкладені відрізки
З будь-якої обмеженої послідовності дійсних чисел можна виділити підпослідовність, що сходить до кінцевого числа. А з будь-якої необмеженої послідовності - нескінченно велику підпослідовність, що сходить до або до .
Теорему Больцано – Вейєрштрасса можна сформулювати і так.
З будь-якої послідовності дійсних чисел можна виділити підпослідовність, що сходить або до кінцевого числа, або до або .
Доказ першої частини теореми
Для доказу першої частини теореми ми застосуємо лему про вкладені відрізки.
Нехай послідовність обмежена. Це означає, що існує позитивне число M, так що для всіх n,
.
Тобто всі члени послідовності належать відрізку, який ми позначимо як.
Розділимо відрізок навпіл. Якщо його правої половині міститься нескінченне число елементів послідовності , то наступним відрізком візьмемо праву половину . 1 В іншому випадку візьмемо ліву половину. У результаті отримаємо другий відрізок , що містить нескінченне число елементів послідовності. Довжина цього відрізка.
Тут, якщо ми взяли праву половину; і – якщо ліву. Як другий елемент підпослідовності візьмемо будь-який елемент послідовності, що належить другому відрізку з номером більшим, ніж n.
.
.
Позначимо його як ().
.
Цим способом повторюємо процес розподілу відрізків. Ділимо відрізок навпіл. Якщо його правої половині міститься нескінченне число елементів послідовності, то наступним відрізком візьмемо праву половину .
В іншому випадку візьмемо ліву половину. У результаті отримаємо відрізок , що містить нескінченне число елементів послідовності. Довжина цього відрізка.
.
Як елемент підпослідовності візьмемо будь-який елемент послідовності, що належить відрізку з номером більшим ніж n
.
k
В результаті ми отримуємо підпослідовність та систему вкладених відрізків
.
Причому кожен елемент підпослідовності належить відповідному відрізку:
Оскільки довжини відрізків , при , прагнуть до нуля, то відповідно до леми про вкладені відрізки існує єдина точка c , що належить всім відрізкам.
Покажемо, що ця точка є межею підпослідовності:
.
Справді, оскільки точки c належать відрізку довжини , то > 0
Оскільки , то відповідно до теореми про проміжні послідовності ,
.
.
.
Звідси
,
Першу частину теореми доведено.
Доказ другої частини теореми
,
Нехай послідовність необмежена. Це означає, що для будь-якого числа M існує таке n, що
Спочатку розглянемо випадок, коли послідовність необмежена справа. Тобто для будь-якого M
.
існує таке n , що
.
Як перший елемент підпослідовності візьмемо будь-який елемент послідовності, більший одиниці:
Як другий елемент підпослідовності візьмемо будь-який елемент послідовності, більший двійки:
.
Тепер розглянемо випадок, коли послідовність обмежена праворуч. Оскільки вона необмежена, то вона має бути необмеженою зліва. І тут повторюємо міркування з невеликими поправками.
Вибираємо підпослідовність, щоб її елементи задовольняли нерівності:
.
Потім вводимо числа M і N M зв'язавши їх співвідношеннями:
.
Тоді для будь-якого числа M можна підібрати натуральне число, так що для всіх натуральних k > N M виконується нерівність.
Як другий елемент підпослідовності візьмемо будь-який елемент послідовності, більший двійки:
.
Теорему доведено.
Див. також:
