Принцип полноты и теорема Больцано–Вейерштрасса

Почему полнота важна

Принцип полноты вещественных чисел — самая глубокая из аксиом, отличающая вещественные числа от рациональных. Он имеет несколько эквивалентных формулировок, каждая из которых открывает новый угол зрения.

Рассмотрим последовательность 1, 1.4, 1.41, 1.414, 1.4142, ... — это десятичные приближения √2. Каждый следующий член точнее предыдущего. В рациональных числах этот предел не существует — √2 иррационально. Но мы «знаем», что где-то он должен быть, потому что числовая прямая непрерывна. Принцип полноты делает это «знание» строгим математическим фактом.

Четыре эквивалентных формулировки

1. Аксиома супремума. Если непустое множество ограничено сверху, то у него существует точная верхняя грань (супремум).

2. Принцип вложенных отрезков (Кантора). Если [a₁, b₁] ⊇ [a₂, b₂] ⊇ ... — система вложенных отрезков, то их пересечение непусто. Если длины отрезков стремятся к нулю, пересечение состоит ровно из одной точки.

3. Теорема Больцано–Вейерштрасса. Из любой ограниченной последовательности можно выделить сходящуюся подпоследовательность.

4. Критерий Коши. Последовательность сходится тогда и только тогда, когда она фундаментальна.

Все эти утверждения — разные лица одной медали. В рациональных числах все они ложны.

Теорема Больцано–Вейерштрасса: доказательство

Пусть {aₙ} — ограниченная последовательность: |aₙ| ≤ M для всех n.

Метод деления пополам: отрезок [-M, M] содержит бесконечно много членов последовательности. Делим его пополам — хотя бы один из полуотрезков содержит бесконечно много членов; выберем его. Повторяем. Получаем систему вложенных отрезков, длины которых → 0. По принципу вложенных отрезков их пересечение — ровно одна точка L.

Из каждого полуотрезка выбираем по одному члену последовательности с возрастающим номером — получаем подпоследовательность, сходящуюся к L.

Частичные пределы и число Больцано–Вейерштрасса

Число, к которому сходится хоть одна подпоследовательность, называется частичным пределом (или точкой сгущения) последовательности.

Наибольший частичный предел называется верхним пределом (limsup), наименьший — нижним пределом (liminf). Последовательность сходится тогда и только тогда, когда limsup = liminf.

Для последовательности (−1)ⁿ: limsup = 1, liminf = -1. Последовательность расходится.

Принцип вложенных отрезков на практике

Принцип вложенных отрезков — это алгоритм! Метод деления отрезка пополам для нахождения корня уравнения f(x) = 0 (метод бисекции) — прямое применение этого принципа. Мы поддерживаем отрезок [a, b], на котором f меняет знак, и каждый шаг делим его пополам, сужая область поиска вдвое. Метод гарантированно сходится и широко используется в вычислительной математике.

Супремум и инфимум

Супремум (точная верхняя грань) множества A — это наименьшее из чисел, которые больше или равны всем элементам A. Если максимум множества существует, то sup A = max A. Но у открытого интервала (0, 1) максимума нет, хотя sup (0,1) = 1.

Инфимум (точная нижняя грань) — наибольшая нижняя грань.

Эти понятия критичны везде в анализе. Когда мы говорим «функция достигает максимума», мы опираемся именно на существование супремума.

Компактность и её значение

Ограниченное замкнутое множество на числовой прямой называется компактным. Теорема Больцано–Вейерштрасса утверждает: из любой последовательности в компактном множестве можно выделить сходящуюся подпоследовательность с пределом в том же множестве.

Это свойство принципиально для экстремальных задач: непрерывная функция на компакте достигает своего максимума и минимума (теорема Вейерштрасса). Без компактности этот результат может не выполняться: функция f(x) = x на интервале (0, 1) не достигает ни sup = 1, ни inf = 0.

Принцип полноты — тот невидимый фундамент, на котором стоит всё здание математического анализа.

Числа Лиувилля и трансцендентность

Теорема Больцано–Вейерштрасса открывает путь к ещё более тонким результатам. Кантор доказал, что алгебраических чисел (корней многочленов с целыми коэффициентами) счётно много — значит, «почти все» вещественные числа трансцендентны (не являются корнями никакого многочлена). Тем не менее конкретно доказать трансцендентность числа — нетривиальная задача. Трансцендентность e доказал Эрмит (1873), трансцендентность π — Линдеман (1882), окончательно похоронив задачу квадратуры круга.

Метод деления пополам (бисекции), прямо вытекающий из принципа вложенных отрезков, — один из базовых алгоритмов численного анализа. Для нахождения корня f(x) = 0 на [a, b] он гарантированно находит решение с любой точностью за O(log(1/ε)) шагов. Его практичность: простота реализации, гарантированная сходимость, не требует производных.

Вопрос для размышления: Последовательность {sin(n)} ограничена (|sin n| ≤ 1). Теорема Больцано–Вейерштрасса гарантирует сходящуюся подпоследовательность. Можно ли явно описать все частичные пределы этой последовательности?

Принцип вложенных отрезков и его следствия

Лемма Кантора о вложенных отрезках: если [a₁, b₁] ⊃ [a₂, b₂] ⊃ ... и (bₙ − aₙ) → 0, то существует единственная точка c, принадлежащая всем отрезкам. Это эквивалентная форма принципа полноты. Доказательство Больцано–Вейерштрасса через вложенные отрезки: делим [a, b] пополам, выбираем ту половину, где бесконечно много членов последовательности. Повторяем — получаем стягивающуюся систему, в единственной общей точке которой лежит частичный предел. Следствие: несчётность вещественных чисел. Если бы [0,1] был счётным, последовательным применением леммы получили бы точку, не попавшую в список — противоречие.