Математический анализ: непрерывные функции и свойства экспоненты 0:00
На лекции MIT OpenCourseWare профессор Тобиас Колдинг продолжает изучение свойств непрерывных функций и строит строгое обоснование поведения экспоненциальной функции. Центральной темой обсуждения становится доказательство фундаментального функционального уравнения для экспоненты и исследование свойств непрерывности в контексте вещественных чисел.
Теорема о произведении сходящихся рядов 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$ также сходится, причем его сумма равна произведению сумм исходных рядов.
Профессор отмечает, что для рядов с неотрицательными членами порядок суммирования не имеет значения, в отличие от знакочередующихся рядов, где перестановка слагаемых может привести к изменению результата или расходимости. В качестве примера «опасного» поведения он приводит альтернативный гармонический ряд, для которого перегруппировка членов позволяет получить произвольную сумму.
Доказательство функционального уравнения экспоненты 43:09
Используя доказанную теорему, профессор переходит к обоснованию того, что $E(x+y) = E(x)E(y)$.
Алгоритм доказательства:
- Определяются ряды $E(x) = \sum \frac{x^n}{n!}$ и $E(y) = \sum \frac{y^n}{n!}$.
- Применяется биномиальная формула для раскрытия выражения $(x+y)^n = \sum_{i=0}^n \binom{n}{i} x^i y^{n-i}$.
- Через сокращение факториалов в коэффициенте бинома $\binom{n}{i} = \frac{n!}{i!(n-i)!}$ выражение приводится к виду, в точности соответствующему коэффициентам $c_n$ из предыдущей теоремы.
- Вывод: так как $c_n$ соответствует ряду для $E(x+y)$, то сумма этого ряда равна произведению сумм исходных рядов.
Понятие непрерывности и «дикая» функция 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$.
Алгебраические свойства непрерывных функций
В заключительной части лекции рассматриваются правила композиции и обращения функций:
- Композиция: если $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$.
