# Тобиас Колдинг: «Теорема Больцано — Вейерштрасса и секреты сходимости рядов»

Источник: https://www.youtube.com/watch?v=qeDewaJ4n24
Канал: MIT OpenCourseWare
Опубликовано: 02.09.2025

---

## Математические основы анализа: от теоремы Больцано — Вейерштрасса к бесконечным рядам
[[JUMP:0:17]]

В лекции из курса MIT OpenCourseWare профессор Тобиас Колдинг (Tobias Colding) разбирает фундаментальные понятия математического анализа. Основной сюжет занятия строится вокруг доказательства теоремы Больцано — Вейерштрасса, свойств рядов и методов проверки их на сходимость, включая ключевые примеры вроде гармонического и геометрического рядов.

### 📉 Доказательство теоремы Больцано — Вейерштрасса
[[JUMP:2:52]]

Теорема Больцано — Вейерштрасса утверждает, что любая ограниченная последовательность имеет сходящуюся подпоследовательность. Профессор Колдинг предлагает наглядный метод доказательства, использующий принцип «сжатия».

*   **Идея метода:** Исходная последовательность, например, лежащая в интервале $[0, 1]$, делится пополам. Мы фокусируемся на той половине, которая содержит бесконечно много членов исходной последовательности.
*   **Конструкция:** Процесс повторяется итеративно, создавая две вспомогательные монотонные последовательности — возрастающую $b_k$ и убывающую $c_k$, между которыми «зажата» подпоследовательность $a_{n_k}$.
*   **Результат:** Разность между $c_k$ и $b_k$ стремится к нулю, что вынуждает обе последовательности сходиться к одному и тому же пределу. Это доказывает сходимость подпоследовательности, которая оказывается зажата между ними.

### ♾️ Понятие ряда и геометрическая прогрессия
[[JUMP:23:00]]

Ряд определяется как последовательность частичных сумм $s_n = \sum_{i=1}^n a_i$ исходной последовательности $a_n$. Сходимость ряда эквивалентна сходимости этой последовательности сумм.

*   **Геометрический ряд:** Это важнейший пример, позволяющий сравнивать другие ряды. Профессор доказывает формулу для частичной суммы: если $c \neq 1$, то сумма равна $\frac{1 - c^{n+1}}{1 - c}$.
*   **Условие сходимости:** Ряд сходится тогда и только тогда, когда модуль знаменателя $|c| < 1$, в этом случае предельная сумма равна $\frac{1}{1 - c}$.
*   **Причины расходимости:** Если $|c| \geq 1$, последовательность частичных сумм не является фундаментальной (последовательностью Коши), так как разность между соседними элементами не стремится к нулю.

### ⚖️ Гармонический ряд и критерии сходимости
[[JUMP:44:23]]

Гармонический ряд ($a_n = 1/n$) служит ярким примером расходящегося ряда, несмотря на то, что его члены стремятся к нулю.

*   **Доказательство расходимости:** Колдинг демонстрирует, что сумма вида $s_{2^n-1}$ всегда больше или равна $n/2$. Поскольку эта подпоследовательность неограниченна, исходный ряд не может сходиться.
*   **Абсолютная сходимость:** Ряд сходится абсолютно, если сходится ряд из абсолютных величин его членов. Абсолютная сходимость — более сильное свойство, которое всегда влечет обычную сходимость.
*   **Альтернирующий гармонический ряд:** Ряд вида $\sum (-1)^n / n$ сходится, но не абсолютно, так как без знаков он превращается в обычный гармонический.

В заключение профессор упомянул методы проверки рядов: тест сравнения, признак Даламбера (ratio test), радикальный признак Коши (root test) и интегральный признак сходимости.