# Тобиас Колдинг: «Степенные ряды и природа экспоненты»

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

---

## Математический анализ: ряды, сходимость и непрерывные функции
[[JUMP:0:00]]

В лекции Тобиаса Колдинга (MIT OpenCourseWare) рассматриваются фундаментальные концепции математического анализа: верхний и нижний пределы (limsup и liminf), свойства степенных рядов, определение экспоненциальной функции и основы непрерывности. Лекция фокусируется на строгих доказательствах и переходе от дискретных последовательностей к аналитическим функциям.

### ⚖️ Limsup, Liminf и поведение последовательностей
[[JUMP:0:16]]

Одной из ключевых тем стало изучение поведения последовательностей с помощью верхнего и нижнего пределов. Для произвольной последовательности $a_n$ можно построить вспомогательную последовательность $b_n$, которая является точной верхней гранью (sup) множества элементов начиная с $n$-го.

*   Если последовательность $a_n$ ограничена сверху, то последовательность $b_n$ является монотонно убывающей.
*   Если $b_n$ ограничена снизу, она сходится к своему инфимуму (inf), который называется `limsup` (верхним пределом) последовательности $a_n$.
*   Аналогично, через инфимумы строится последовательность $c_n$, которая при монотонном возрастании сходится к `liminf` (нижнему пределу).

Эти инструменты необходимы для определения области сходимости степенных рядов, где обычный тест отношения не всегда применим напрямую без дополнительных условий.

### 📈 Степенные ряды и радиус сходимости
[[JUMP:6:46]]

Степенной ряд определяется как сумма $a_n x^n$. Основной вопрос анализа таких рядов — при каких значениях $x$ они сходятся.

*   **Радиус сходимости ($R$):** Это критически важная концепция. Ряд сходится на интервале $(-R, R)$ и расходится вне его.
*   **Уточненный корневой тест:** Колдинг предлагает «взрослую» версию корневого теста, использующую `limsup`. Если $d = \text{limsup} \sqrt[n]{|d_n|} < 1$, ряд сходится, если $d > 1$ — расходится.
*   Радиус сходимости вычисляется как $R = 1 / \text{limsup} \sqrt[n]{|a_n|}$.

На границах интервала сходимости (в точках $x = \pm R$) тест остается неубедительным, и требуются дополнительные методы проверки.

### 📉 Экспоненциальная функция как степенной ряд
[[JUMP:37:11]]

Колдинг предлагает определять экспоненциальную функцию $E(x)$ не через дифференциальные уравнения, а как степенной ряд: $E(x) = \sum_{n=0}^{\infty} \frac{x^n}{n!}$.

*   Для этого ряда радиус сходимости равен бесконечности, что делает функцию определенной для всех $x$.
*   Функция обладает фундаментальным свойством: $E(x+y) = E(x)E(y)$, которое лектор планирует доказать на следующем занятии.
*   Для рациональных чисел $q$ функция $E(q)$ совпадает с классической экспонентой $e^q$, где $e$ определяется как $E(1) \approx 2,718$.

Важной характеристикой такой экспоненты является её непрерывность на всей числовой прямой.

### 🧩 Основы непрерывности функций
[[JUMP:56:50]]

Функция $f$ называется непрерывной в точке $x_0$, если для любого $\epsilon > 0$ найдется такое $\delta > 0$, что из $|x - x_0| < \delta$ следует $|f(x) - f(x_0)| < \epsilon$.

*   **Примеры:** Константные функции и линейная функция $f(x) = x$ являются непрерывными.
*   **Алгебраические правила:** Если функции $f$ и $g$ непрерывны, то их сумма, произведение и (при условии $g \neq 0$) частное также непрерывны.
*   **Композиция:** Композиция непрерывных функций $g(f(x))$ также является непрерывной, при условии корректности области определения.

Используя эти правила, Колдинг доказывает, что любой многочлен (полином) непрерывен, а любая рациональная функция непрерывна везде, где она определена (то есть вне корней знаменателя). Лектор отмечает, что значение $\delta$ часто зависит не только от $\epsilon$, но и от самой точки $x_0$, что подводит слушателей к понятию равномерной непрерывности.