Теорема Вейерштрасса об экстремумах¶

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

¶История

Идея о том, что непрерывная функция на замкнутом ограниченном промежутке обязательно имеет максимум и минимум, интуитивно использовалась математиками и до Вейерштрасса, однако строгое доказательство стало возможным только после формализации понятий предела, непрерывности и вещественных чисел. В середине XIX века Карл Вейерштрасс, читая лекции в Берлинском университете, систематизировал основы анализа, введя строгие определения предела и непрерывности на языке «ε-δ». В рамках этой работы он сформулировал и доказал теорему об экстремумах, которая стала одним из первых результатов, демонстрирующих силу нового подхода. Сам Вейерштрасс не публиковал свои лекции в виде монографий, но его идеи распространились через записи учеников, в частности через работы Эрнста Кёнигсбергера и других. В современной литературе теорема часто называется «теоремой Вейерштрасса» или «теоремой о достижении экстремума».

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

¶Для функций одной переменной

Пусть функция \( f: [a, b] \to \mathbb{R} \) определена и непрерывна на замкнутом ограниченном отрезке \([a, b]\). Тогда существуют точки \( x_{\min} \in [a, b] \) и \( x_{\max} \in [a, b] \) такие, что для всех \( x \in [a, b] \) выполняется:

\[ f(x_{\min}) \le f(x) \le f(x_{\max}). \]

Значение \( f(x_{\max}) \) называется глобальным (абсолютным) максимумом, а \( f(x_{\min}) \) — глобальным минимумом функции на отрезке.

¶Общая формулировка (для метрических пространств)

В более общем виде теорема формулируется для непрерывных функций на компактных множествах. Пусть \( X \) — компактное топологическое пространство (например, замкнутое и ограниченное подмножество \(\mathbb{R}^n\)), а \( f: X \to \mathbb{R} \) — непрерывная функция. Тогда \( f \) достигает на \( X \) своего глобального максимума и минимума, то есть существуют точки \( x_1, x_2 \in X \) такие, что \( f(x_1) = \sup_{x \in X} f(x) \) и \( f(x_2) = \inf_{x \in X} f(x) \).

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

¶Классическое доказательство для отрезка

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

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

1. Существование точных граней. Поскольку функция ограничена, существуют конечные точная верхняя грань \( M = \sup_{x \in [a, b]} f(x) \) и точная нижняя грань \( m = \inf_{x \in [a, b]} f(x) \).

1. Достижимость. Докажем достижимость максимума. По определению верхней грани, для любого \( n \in \mathbb{N} \) найдётся точка \( x_n \in [a, b] \) такая, что \( f(x_n) > M - \frac{1}{n} \). Последовательность \( \{x_n\} \) ограничена, поэтому по теореме Больцано — Вейерштрасса из неё можно выделить сходящуюся подпоследовательность \( \{x_{n_k}\} \), предел которой \( x^ \in [a, b] \) (так как отрезок замкнут). В силу непрерывности \( f \) в точке \( x^ \) имеем:

\[ f(x^*) = \lim_{k \to \infty} f(x_{n_k}) \ge \lim_{k \to \infty} \left( M - \frac{1}{n_k} \right) = M. \]

Но \( f(x^) \le M \) по определению верхней грани, следовательно, \( f(x^) = M \). Аналогично доказывается достижимость минимума.

¶Доказательство в общем случае

В общей топологии доказательство использует компактность: образ компактного множества при непрерывном отображении является компактным. Поскольку \( f \) непрерывна, \( f(X) \) — компактное подмножество \(\mathbb{R}\). В \(\mathbb{R}\) компактные множества замкнуты и ограничены, поэтому они содержат свои точные верхнюю и нижнюю грани. Следовательно, существуют точки \( x_1, x_2 \in X \), для которых \( f(x_1) = \sup f(X) \) и \( f(x_2) = \inf f(X) \).

¶Условия теоремы

Теорема Вейерштрасса требует двух условий:

• Непрерывность функции. Если функция имеет разрыв, она может не достигать экстремума. Например, функция \( f(x) = \frac{1}{x} \) на отрезке \([-1, 1]\) (с доопределением в нуле) не является непрерывной в нуле и не имеет максимума или минимума.
• Компактность области определения. Для отрезка это означает замкнутость и ограниченность. Если область не замкнута, функция может стремиться к значению, но не достигать его. Например, \( f(x) = x \) на интервале \((0, 1)\) не достигает максимума (1) и минимума (0). Если область не ограничена, функция может быть неограниченной, как \( f(x) = x \) на \(\mathbb{R}\).

¶Обобщения

¶Функции многих переменных

Теорема непосредственно обобщается на функции нескольких переменных: непрерывная функция на замкнутом ограниченном множестве в \(\mathbb{R}^n\) (например, на шаре или кубе) достигает своих экстремумов. Это широко используется в задачах оптимизации.

¶Функционалы и вариационное исчисление

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

¶Полунепрерывные функции

Теорема может быть ослаблена: для существования минимума достаточно, чтобы функция была полунепрерывна снизу, а для максимума — полунепрерывна сверху. При этом компактность области сохраняется.

¶Примеры

¶Пример 1: Достижение экстремума

Функция \( f(x) = \sin x \) на отрезке \([0, \pi]\) непрерывна и достигает максимума \(1\) в точке \( x = \pi/2 \) и минимума \(0\) в точках \( x = 0 \) и \( x = \pi \).

¶Пример 2: Недостижение на интервале

Функция \( f(x) = x^2 \) на интервале \((0, 1)\) не достигает минимума (0), так как точка 0 не принадлежит интервалу, хотя инфимум равен 0.

¶Пример 3: Разрывная функция

Функция:

\[ f(x) = \begin{cases} x, & 0 \le x < 1, \\ 0, & x = 1 \end{cases} \]

на отрезке \([0, 1]\) имеет разрыв в точке 1. Её точная верхняя грань равна 1, но значение 1 не достигается ни в одной точке отрезка.

¶Применение

Теорема Вейерштрасса является основой для многих разделов математики:

• Оптимизация. Гарантирует существование решений задач на нахождение максимума и минимума непрерывных функций на компактных множествах, что используется в экономике, инженерии и физике.
• Численные методы. Обеспечивает уверенность в том, что алгоритмы поиска экстремума (например, метод золотого сечения) имеют цель, к которой можно стремиться.
• Теория игр. В доказательстве существования равновесия Нэша (теорема Нэша) используется обобщение теоремы Вейерштрасса — теорема Какутани о неподвижной точке.
• Функциональный анализ. Применяется при доказательстве существования решений вариационных задач, например, в теории упругости.

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

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

¶Интересные факты

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

¶Источники

• Кудрявцев Л. Д. Курс математического анализа. — М.: Высшая школа, 1981. — Т. 1.
• Фихтенгольц Г. М. Основы математического анализа. — М.: Наука, 1968. — Т. 1.
• Рудин У. Основы математического анализа. — М.: Мир, 1976.
• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.