Математические основы анализа: от теоремы Больцано — Вейерштрасса к бесконечным рядам 0:17
В лекции из курса MIT OpenCourseWare профессор Тобиас Колдинг (Tobias Colding) разбирает фундаментальные понятия математического анализа. Основной сюжет занятия строится вокруг доказательства теоремы Больцано — Вейерштрасса, свойств рядов и методов проверки их на сходимость, включая ключевые примеры вроде гармонического и геометрического рядов.
📉 Доказательство теоремы Больцано — Вейерштрасса 2:52
Теорема Больцано — Вейерштрасса утверждает, что любая ограниченная последовательность имеет сходящуюся подпоследовательность. Профессор Колдинг предлагает наглядный метод доказательства, использующий принцип «сжатия».
- Идея метода: Исходная последовательность, например, лежащая в интервале $[0, 1]$, делится пополам. Мы фокусируемся на той половине, которая содержит бесконечно много членов исходной последовательности.
- Конструкция: Процесс повторяется итеративно, создавая две вспомогательные монотонные последовательности — возрастающую $b_k$ и убывающую $c_k$, между которыми «зажата» подпоследовательность $a_{n_k}$.
- Результат: Разность между $c_k$ и $b_k$ стремится к нулю, что вынуждает обе последовательности сходиться к одному и тому же пределу. Это доказывает сходимость подпоследовательности, которая оказывается зажата между ними.
♾️ Понятие ряда и геометрическая прогрессия 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$, последовательность частичных сумм не является фундаментальной (последовательностью Коши), так как разность между соседними элементами не стремится к нулю.
⚖️ Гармонический ряд и критерии сходимости 44:23
Гармонический ряд ($a_n = 1/n$) служит ярким примером расходящегося ряда, несмотря на то, что его члены стремятся к нулю.
- Доказательство расходимости: Колдинг демонстрирует, что сумма вида $s_{2^n-1}$ всегда больше или равна $n/2$. Поскольку эта подпоследовательность неограниченна, исходный ряд не может сходиться.
- Абсолютная сходимость: Ряд сходится абсолютно, если сходится ряд из абсолютных величин его членов. Абсолютная сходимость — более сильное свойство, которое всегда влечет обычную сходимость.
- Альтернирующий гармонический ряд: Ряд вида $\sum (-1)^n / n$ сходится, но не абсолютно, так как без знаков он превращается в обычный гармонический.
В заключение профессор упомянул методы проверки рядов: тест сравнения, признак Даламбера (ratio test), радикальный признак Коши (root test) и интегральный признак сходимости.
