◄
1. Если множество значений, которые принимает последовательность
конечное, т.е.
, то хотя бы одно из значений
, обозначим его
, она принимает бесконечно много раз, т.е. существует бесконечное множество номеров
таких, что
. Поэтому
, подпоследовательность
искомая.
2. Рассмотрим теперь случай, когда множество значений бесконечно. Так как
- бесконечное ограниченное множество, то по теореме 6.1 существует предельная точка этого множества, равная A. Покажем, что существует последовательность
такая, что
. По определению предельной точки, для
существует номер
такой, что
. Положим
. Существует
такое, что
. Точка
, т.к.
, а номер
выбираем так, чтобы выполнялось неравенство
, что можно сделать, так как в любой окрестности предельной точки содержится бесконечное число элементов этого множества. Далее,
. Как и раньше, строим
так, что
и
. Продолжая этот процесс, получаем последовательность
такую, что
, что означает, что
.►
Определение 12.2. Последовательность
называется фундаментальной, если для любого положительного
существует такое
, что для всех
разность значений
по модулю меньше
, т.е.
.