Непрерывность функций и теоремы об их свойствах

Что значит «непрерывная функция»?

Интуитивно непрерывная функция — та, которую можно нарисовать, не отрывая ручку от бумаги. Формальное определение переводит эту интуицию в строгий язык.

Функция f называется непрерывной в точке a, если:

1. f определена в точке a
2. Существует lim(x→a) f(x)
3. lim(x→a) f(x) = f(a)

Все три условия важны. Нарушение любого из них даёт разрыв. Функция f(x) = sin(x)/x при x ≠ 0 и f(0) = 1 непрерывна везде. А если положить f(0) = 0 — в нуле будет разрыв первого рода (устранимый).

Классификация разрывов

Устранимый разрыв: предел существует, но не равен значению функции. Достаточно переопределить функцию в этой точке.

Разрыв первого рода: оба односторонних предела конечны, но не равны друг другу (скачок).

Разрыв второго рода: хотя бы один из односторонних пределов бесконечен или не существует.

Свойства непрерывных функций

Сумма, разность, произведение, частное (при ненулевом знаменателе) непрерывных функций — непрерывны. Композиция непрерывных функций непрерывна.

Это означает: все элементарные функции (многочлены, рациональные, тригонометрические, показательные, логарифмические) непрерывны на своих областях определения.

Теорема Вейерштрасса

Если f непрерывна на замкнутом отрезке [a, b], то она достигает своего максимума и минимума на этом отрезке.

Доказательство: образ [a, b] — ограниченное множество (непрерывная функция переводит ограниченные замкнутые множества в ограниченные замкнутые). Значит, у него есть супремум M. Нужно показать, что M достигается — это следует из замкнутости образа.

Почему замкнутость отрезка важна? Функция f(x) = x на открытом интервале (0,1) не достигает sup = 1 и inf = 0. Замкнутость — не просто техническое условие.

Теорема Больцано (теорема о промежуточном значении)

Если f непрерывна на [a, b] и f(a) · f(b) < 0 (функция имеет разные знаки на концах), то существует c ∈ (a, b) такая, что f(c) = 0.

Более общо: если f(a) = A и f(b) = B, то f принимает все значения между A и B.

Доказательство методом деления пополам. Рассмотрим середину c = (a+b)/2. Если f(c) = 0 — готово. Иначе знак f(c) совпадает с одним из f(a), f(b) — выбираем ту половину, где знаки разные. Итерируем. Получаем сходящуюся последовательность отрезков — их предел и есть корень.

Следствие: уравнение x⁵ - 3x + 1 = 0 имеет корень на (0, 1), потому что f(0) = 1 > 0, f(1) = -1 < 0. Это экзистенциальное утверждение — мы знаем, что корень есть, не находя его явно.

Равномерная непрерывность

Функция f равномерно непрерывна на множестве E, если для любого ε > 0 существует δ > 0 такое, что для всех x, y ∈ E с |x-y| < δ выполнено |f(x)-f(y)| < ε.

Разница с обычной непрерывностью: δ не зависит от x — одна и та же δ работает для всего множества.

Теорема Кантора: Непрерывная функция на замкнутом отрезке равномерно непрерывна.

Это важно для теории интегрирования: равномерная непрерывность гарантирует интегрируемость по Риману.

Теорема о сохранении знака

Если f непрерывна в точке a и f(a) > 0, то существует окрестность точки a, в которой f > 0.

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

Непрерывность в экономике и технике

Непрерывность функции — не просто математическое свойство: это гарантия предсказуемого поведения. В экономике функция спроса считается непрерывной: небольшое изменение цены ведёт к небольшому изменению спроса — без резких скачков. В технике передаточная функция регулятора должна быть непрерывна, чтобы система не давала мгновенных сбоев.

Теорема Больцано о промежуточном значении объясняет, почему экономист может утверждать: «Где-то в промежутке между этими ценами спрос равен предложению» — рыночное равновесие существует, если функции спроса и предложения непрерывны и имеют подходящие граничные значения. Теорема не говорит, где именно, — но гарантирует существование.

Вопрос для размышления: Может ли непрерывная функция отображать открытый интервал (0, 1) в замкнутый отрезок [0, 1]? Приведите пример или докажите невозможность.

Равномерная непрерывность и теорема Кантора

Непрерывная функция на замкнутом ограниченном отрезке обязательно равномерно непрерывна (теорема Кантора). Разница: при обычной непрерывности δ может зависеть от x; при равномерной — δ зависит только от ε, но не от точки. Пример контраста: f(x) = 1/x непрерывна на (0, 1], но не равномерно — при x → 0 сколь угодно малые δ дают большие Δf. На [0.1, 1] — равномерно непрерывна (Кантор). Следствие: равномерно непрерывную функцию можно продолжить до непрерывной на замыкании. В численном анализе это означает, что погрешность аргумента ограниченно контролирует погрешность значения функции — основа численной устойчивости.