Теорема Больцано — Коши

Теорема Больцано — Коши (также известная как теорема о промежуточном значении) — фундаментальное утверждение математического анализа, устанавливающее, что непрерывная функция на отрезке принимает все промежуточные значения между своими значениями на концах этого отрезка. Теорема является одной из ключевых в теории функций вещественной переменной и лежит в основе многих других результатов анализа, включая теоремы о существовании корней уравнений и неподвижных точек.

Формулировка

Пусть функция \( f \) определена и непрерывна на отрезке \([a, b]\), причём \( f(a) \neq f(b) \). Тогда для любого числа \( C \), заключённого между \( f(a) \) и \( f(b) \), найдётся такая точка \( c \in (a, b) \), что \( f(c) = C \).

В частном случае, когда \( f(a) \) и \( f(b) \) имеют разные знаки (то есть \( f(a) < 0 < f(b) \) или \( f(b) < 0 < f(a) \)), существует точка \( c \in (a, b) \), в которой \( f(c) = 0 \). Этот частный случай известен как теорема Больцано (или теорема о нуле непрерывной функции).

История

Теорема была независимо доказана двумя математиками первой половины XIX века.

Бернард Больцано

Чешский математик, философ и теолог Бернард Больцано (1781–1848) в 1817 году опубликовал работу «Чисто аналитическое доказательство теоремы, гласящей, что между любыми двумя значениями, дающими результаты противоположных знаков, существует по крайней мере один вещественный корень уравнения». В этой работе Больцано впервые строго, с использованием понятия непрерывности, сформулированного на языке эпсилон-дельта (хотя и в несколько иной форме), доказал существование корня непрерывной функции. Его доказательство опиралось на свойство полноты множества действительных чисел (принцип вложенных отрезков), что было новаторским для своего времени. Больцано стремился избавить математический анализ от интуитивных и геометрических представлений, заложив основы строгого подхода.

Огюстен Луи Коши

Французский математик Огюстен Луи Коши (1789–1857) в 1821 году в своём фундаментальном труде «Курс анализа» (Cours d’Analyse) дал современное определение непрерывности и привёл доказательство теоремы о промежуточном значении. Коши, как и Больцано, использовал метод деления отрезка пополам (бисекции). Несмотря на то, что работа Коши была опубликована позже, именно его изложение получило широкое распространение и стало классическим, поэтому теорема носит двойное название.

Доказательство

Наиболее распространённое доказательство использует метод бисекции (деления отрезка пополам) и аксиому полноты действительных чисел (в форме принципа вложенных отрезков). Рассмотрим случай, когда \( f(a) < 0 < f(b) \). Доказательство для общего случая сводится к этому.

1. Положим \( a_1 = a \), \( b_1 = b \).
2. Рассмотрим середину отрезка \( c_1 = \frac{a_1 + b_1}{2} \).
3. Если \( f(c_1) = 0 \), то теорема доказана (\( c = c_1 \)).
4. Если \( f(c_1) < 0 \), то положим \( a_2 = c_1 \), \( b_2 = b_1 \).
5. Если \( f(c_1) > 0 \), то положим \( a_2 = a_1 \), \( b_2 = c_1 \).
6. Повторяем процесс для отрезка \([a_2, b_2]\). В результате либо на каком-то шаге мы найдём точку, где функция равна нулю, либо построим бесконечную последовательность вложенных отрезков \([a_n, b_n]\), длины которых стремятся к нулю.

По принципу вложенных отрезков существует единственная точка \( c \), принадлежащая всем отрезкам. В силу непрерывности функции \( f \) в точке \( c \) и того, что на каждом шаге \( f(a_n) < 0 \) и \( f(b_n) > 0 \), предел \( f(c) \) должен быть одновременно неположительным и неотрицательным, то есть \( f(c) = 0 \).

Следствия и обобщения

Следствия

1. Теорема о существовании корня: Если непрерывная функция на концах отрезка принимает значения разных знаков, то она имеет хотя бы один корень на этом отрезке. Это свойство широко используется в численных методах (например, метод бисекции).
2. Теорема о неподвижной точке: Если непрерывная функция \( f \) отображает отрезок \([a, b]\) в себя (\( f([a, b]) \subseteq [a, b] \)), то существует точка \( x_0 \in [a, b] \) такая, что \( f(x_0) = x_0 \). Доказательство следует из применения теоремы Больцано — Коши к функции \( g(x) = f(x) - x \).
3. Свойство промежуточного значения: Образ непрерывной функции на отрезке сам является отрезком (или точкой). Это свойство является прямым переформулированием теоремы.

Обобщения

1. Обобщение на связные множества: В топологии теорема Больцано — Коши является частным случаем более общего утверждения: непрерывный образ связного топологического пространства связен. Отрезок \([a, b]\) связен, и его непрерывный образ также должен быть связен, то есть являться промежутком (отрезком, интервалом или полуинтервалом).
2. Теорема Дарбу: Для производных функций (которые не обязательно непрерывны) выполняется свойство промежуточного значения, аналогичное теореме Больцано — Коши. Это свойство называется свойством Дарбу.
3. Многомерный случай: Теорема не имеет прямого аналога для функций многих переменных, но существует обобщение для непрерывных отображений шара в себя — теорема Брауэра о неподвижной точке.

Применение

Теорема Больцано — Коши является рабочим инструментом в различных областях математики и её приложений:

• Численные методы: Метод бисекции (деления отрезка пополам) для приближённого нахождения корней уравнений основан на этой теореме.
• Доказательство существования решений: Теорема позволяет доказывать, что уравнение \( f(x) = 0 \) имеет решение, не находя его явно, а лишь проверив знаки функции на концах отрезка.
• Математический анализ: Теорема используется при доказательстве других фундаментальных теорем, таких как теорема Вейерштрасса об экстремумах непрерывной функции на отрезке и теорема о промежуточном значении для производных (теорема Дарбу).
• Экономика и физика: В моделях, где непрерывная функция описывает некоторую зависимость (например, спрос от цены или температуру от времени), теорема позволяет утверждать, что любое промежуточное значение будет достигнуто при некотором значении аргумента.

Критика и ограничения

Теорема справедлива только для функций, непрерывных на всём отрезке \([a, b]\). Если функция имеет разрыв хотя бы в одной точке внутри отрезка, то утверждение теоремы может не выполняться. Например, функция \( f(x) = \text{sign}(x) \) (знак числа) на отрезке \([-1, 1]\) принимает значения \(-1\) и \(1\), но не принимает значение \(0\), так как в точке \(x=0\) она имеет разрыв.

Кроме того, теорема гарантирует существование хотя бы одной точки \(c\), но не даёт способа её точного нахождения (кроме как численными методами) и не утверждает единственность такой точки — их может быть несколько.

Источники

1. Фихтенгольц Г.М. «Курс дифференциального и интегрального исчисления», том 1. — М.: Физматлит, 2001.
2. Зорич В.А. «Математический анализ», часть 1. — М.: МЦНМО, 2019.
3. Кудрявцев Л.Д. «Курс математического анализа», том 1. — М.: Дрофа, 2003.
4. Больцано Б. «Чисто аналитическое доказательство теоремы...» (1817).
5. Коши О.Л. «Cours d’Analyse» (1821).