# Тобиас Колдинг: «Как строго доказать свойства экспоненты»

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

---

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

На лекции MIT OpenCourseWare профессор Тобиас Колдинг продолжает изучение свойств непрерывных функций и строит строгое обоснование поведения экспоненциальной функции. Центральной темой обсуждения становится доказательство фундаментального функционального уравнения для экспоненты и исследование свойств непрерывности в контексте вещественных чисел.

### Теорема о произведении сходящихся рядов
[[JUMP:7:22]]

Для доказательства того, что экспоненциальная функция $E(x+y) = E(x) \cdot E(y)$, профессор Колдинг вводит более общую теорему, касающуюся рядов с неотрицательными членами.

Основные положения этой теоремы:

*   Пусть даны два сходящихся ряда $\sum a_n$ и $\sum b_n$, где все члены $a_n, b_n \geq 0$.
*   Определим «производный» ряд $\sum c_n$, где $c_n$ представляет собой сумму произведений элементов, индексы которых в сумме дают $n$: $c_n = \sum_{i=0}^{n} a_i b_{n-i}$.
*   Если исходные ряды сходятся, то ряд $\sum c_n$ также сходится, причем его сумма равна произведению сумм исходных рядов.

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

### Доказательство функционального уравнения экспоненты
[[JUMP:43:09]]

Используя доказанную теорему, профессор переходит к обоснованию того, что $E(x+y) = E(x)E(y)$. 

Алгоритм доказательства:

1.  Определяются ряды $E(x) = \sum \frac{x^n}{n!}$ и $E(y) = \sum \frac{y^n}{n!}$.
2.  Применяется биномиальная формула для раскрытия выражения $(x+y)^n = \sum_{i=0}^n \binom{n}{i} x^i y^{n-i}$.
3.  Через сокращение факториалов в коэффициенте бинома $\binom{n}{i} = \frac{n!}{i!(n-i)!}$ выражение приводится к виду, в точности соответствующему коэффициентам $c_n$ из предыдущей теоремы.
4.  Вывод: так как $c_n$ соответствует ряду для $E(x+y)$, то сумма этого ряда равна произведению сумм исходных рядов.

### Понятие непрерывности и «дикая» функция
[[JUMP:51:05]]

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

Для иллюстрации он приводит пример функции, нигде не являющейся непрерывной:

*   Функция $f(x)$ принимает значение $0$, если $x$ — рациональное число, и $1$, если $x$ — иррациональное.
*   Аргументация разрыва: в любой окрестности рациональной точки всегда найдутся иррациональные (со значением 1), и наоборот, что делает выполнение условия «близости значений» невозможным при малых $\epsilon$.

### Алгебраические свойства непрерывных функций
[[JUMP:102:29]]

В заключительной части лекции рассматриваются правила композиции и обращения функций:

*   **Композиция:** если $f$ и $g$ непрерывны, то их композиция $h(x) = g(f(x))$ также непрерывна. Доказательство опирается на последовательный выбор $\delta_g$ (для $g$) и $\delta_f$ (для $f$), что позволяет «пробросить» $\epsilon$-близость через оба отображения.
*   **Обратная функция:** если функция $f$ непрерывна и не обращается в ноль, то $1/f$ также непрерывна. Профессор поясняет технику оценки разности $\left| \frac{1}{f(x)} - \frac{1}{f(x_0)} \right|$, используя нижнюю оценку для $|f(x)|$, полученную из условия непрерывности $f$.