В результате работы с последовательностями мы приходим к выводу, что не всегда бывает легко установить, к чему сходится та или иная последовательность. Приходится придумывать разные трюки и способы. Но даже и этого мало во многих случаях.
Однако теорема Вейерштрасса не всегда применима, ведь не все последовательности монотонны.
Таким образом, нам нужно научится понимать, когда последовательность сходится, не используя предел. Более точно, мы должны научится понимать, когда последовательность сходится в терминах самой последовательности, не прибегая к дополнительным методам.
Иными словами, нам нужен критерий сходимости любой последовательности.
Другими словами, для таких отрезков есть общая точка.
Proof
По условию имеем
Это означает, что последовательность не убывает и ограничена сверху. Тогда по теореме Вейерштрасса она имеет предел . Обозначим его через .
С другой стороны последовательность не возрастает и ограничена снизу, тогда мы получаем, что .
Далее, , тогда по арифметике предела:
так как по условию длины стремятся к нулю, а и есть длина отрезка
Таким образом, , т. е. это значит, что для всех , , что и означает
Proof
(1) Пусть — сходящаяся последовательность, скажем, . Тогда для любого можно найти такой , что для всех , . Тогда для любых
что и означает её фундаментальность.
(2) Пусть — фундаментальная последовательность. Выберем произвольную бесконечно малую последовательность , т. е. , но . Тогда для каждого найдутся такие , что при . В частности , то есть все при .
Введём обозначения: , тогда видно, что , и тогда длины этих отрезков стремятся к нулю, так как .
Покажем что . Действительно, мы знаем что все при , а также все при , положим , тогда при все , i.e., .
Далее, положим
таким образом, мы получили последовательность вложенных друг в друга отрезков
длины которых стремятся к нулю. Тогда по Lemma 1 существует хотя бы одна . Но тогда для любого , а это значит, что для любого мы всегда знаем такой номер , что . Последнее в силу единственности предела и произвольной последовательности из показывает, что .
Понятие фундаментальной последовательности естественным образом вводится в произвольном метрическом пространстве. Говорят, что метрическое пространство полное, если любая фундаментальная последовательность сходится к какому-то элементу из этого же . В противном случае, можно ввести операцию пополнения , которая добавляет пределы ВСЕХ фундаментальных последовательностей.
То есть эти последовательности и есть фундамент для построения анализа, исходя только из рациональных чисел. Поясним на примере:
Пространство , где расстояние между числами — это модуль их разности является полным пространством. С другой стороны, пространство с той же метрикой полным уже не является. Например, рассмотренная ранее последовательность , , имеет предел , который не лежит в . Тогда, добавив пределы всех фундаментальных последовательностей, мы и получим .
Другими словами, множество действительных чисел можно определить как множество фундаментальных последовательностей из с очевидными операциями. Если , , то положим
Итак, действительные числа можно определить как