Определение в.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), является пределом этой последовательности. Предельные точки последовательности числовая прямая Доказательство признака Вейерштрасса и критерия Коши. Пусть задана последовательность {яп} и пусть числа к образуют возрастающую последовательность целых положительных чисел. Тогда последовательность {УпЬ где уп = хкп> называют подпоследовательностью исходной последовательности. Очевидно, что если {i„} имеет пределом число 6, то любая ее подпоследовательность имеет тот же самый предел, поскольку начиная с некоторого номера все элементы как исходной последовательности, так и любой ее подпоследовательности попадают в любую выбранную окрестность точки 6. В то же время любая предельная точка подпоследовательности является предельной и для последовательности. Теорема в.9. Из любой последовательности, имеющей предельную точку, можно выбрать подпоследовательность, имеющую своим пределом эту предельную"точку. Пусть b - предельная точка последовательности {хп}. Тогда, согласно определению 6.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.3 предела последовательности следует, что начиная с некоторого номера все элементы подпоследовательности с пределом b попадают в окрестность U(b, е) произвольного радиуса е. Поскольку элементы подпоследовательности являются одновременно элементами последовательности {хп}> внутрь этой окрестности попадают элементы хп со сколь угодно большими номерами, а это в силу определения 6.7 означает, что Ь - предельная точка последовательности {яп}. Замечание 0.2. Теоремы 6.9 и 6.10 справедливы и в случае, когда предельная точка является бесконечной, если при доказательстве вмерто окрестности U(6, 1 /п) рассматривать окрестность (или окрестности Условие, при котором из последовательности можно выделить сходящуюся подпоследовательность, устанавливает следующая теорема. Теорема 6.11 (Больцано - Веиерштрасса). Всякая ограниченная последовательность содержит подпоследовательность, сходящуюся к конечному пределу. Пусть все элементы последовательности {ап} заключены между числами а и 6, т.е. хп € [а, b] Vn € N. Разделим отрезок [а, Ь] пополам. Тогда хотя бы одна из его половин будет содержать бесконечное множество элементов последовательности, так как в противном случае и весь отрезок [а, Ь] содержал бы конечное их число, что невозможно. Пусть ] будет та из половин отрезка [а, 6], которая содержит бесконечное множество элементов последовательности {жп} (или если обе половины таковы, то любая из них). Аналогично из отрезка , содержащую бесконечное множество элементов последовательности, и т.д. Продолжая этот процесс, построим систему вложенных отрезков причем Ьп - ап = (6- а)/2П. Согласно принципу вложенных отрезков существует точка ж, принадлежащая всем этим отрезкам. Эта точка и будет предельной для последовательности {яп}- В самом деле, для любой е-окрестности Щж, е) = = (х ж + е) точки х существует отрезок С U(x, е) (достаточно лишь выбрать п из неравенства (, содержащий бесконечное множество элементов последовательности {sn}. Согласно определению 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. Фундаментальные последовательности начал изучать Боль-цано. Но он не располагал строгой теорией действительных чисел, и поэтому ему не удалось доказать сходимость фундаментальной последовательности. Это сделал Коши, приняв за очевидное принцип вложенных отрезков, который позднее обосновал Кантор. Имя Коши получил не только критерий сходимости последовательности, но и фундаментальную последовательность часто именуют последовательностью Коши, а имя Кантора носит принцип вложенных отрезков. Вопросы и задачи 8.1. Доказать, что: 6.2. Привести примеры несходящихся последовательностей с элементами, принадлежащими множествам Q и R\Q. 0.3. При каких условиях члены арифметической и геометрической прогрессий образуют убывающую и возрастающую последовательности? 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 определена метрика, то есть оно является