Теорема Вейерштрасса о функции на компакте: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
 
(не показано 27 промежуточных версий 19 участников)
Строка 1: Строка 1:
'''Теоре́ма [[Вейерштрасс, Карл|Вейерштра́сса]]''' — теорема [[Математический анализ|математического анализа]] и [[Общая топология|общей топологии]], которая гласит, что [[Функция (математика)|функция]], [[Непрерывное отображение|непрерывная]] на [[Компактное пространство|компакте]], ограничена на нём и достигает своих [[Точная верхняя и нижняя границы множеств|точных верхней и нижней граней]]<ref name="ИльинПозняк">{{книга
{{Чистить|Сначала говорится о топологических пространствах и компактах, а доказательство дается для действительных чисел|Эта статья}}
|автор = Ильин В. А., Позняк Э. Г.
'''Теоре́ма [[Вейерштрасс, Карл|Вейерштра́сса]]''' в [[Математический анализ|математическом анализе]] и [[Общая топология|общей топологии]] гласит, что функция, непрерывная на [[Компактное пространство|компакте]], ограничена на нём и достигает своей верхней и нижней грани.
|заглавие = Основы математического анализа. Часть I
|место = М.
|год = 1998
|страницы = 248—251}}</ref>.


Иногда (в учебных курсах) два утверждения (об ограниченности и достижимости границ) разделяются на две теоремы Вейерштрасса — первую и вторую соответственно.<ref name="ИльинПозняк" />
== Формулировка для R ==
Пусть дана [[Непрерывное отображение|непрерывная]] [[Вещественное число|числовая]] [[Функция (математика)|функция]], определённая на [[Отрезок|отрезке]], то есть <math>f\colon[a,\;b]\to\R</math> и <math>f\in C\bigl([a,\;b]\bigr)</math>. Пусть
: <math>M=\sup\limits_{x\in[a,\;b]}f(x),\quad m=\inf\limits_{x\in[a,\;b]}f(x)</math>
— [[Точная верхняя и нижняя границы множеств|точные верхняя и нижняя границы]] [[Множество|множества]] [[Область значений|значений]] функции <math>f</math> соответственно. Тогда эти значения конечны (<math>-\infty<m\leqslant M<\infty</math>) и достигаются (существуют <math>x_m,\;x_M\in[a,\;b]</math> такие, что <math>f(x_m)=m,\;f(x_M)=M</math>).


== Формулировка теоремы ==
== Доказательство для R ==
Пусть <math>f(x)</math> — функция, отвечающая условиям теоремы (на компакте <math>A</math>), <math>M = \sup_A f</math>. Возьмём последовательность чисел <math>a_m</math> таких, что <math>\lim a_m = M</math> и <math>a_m \leq M</math>. Для каждого <math>m</math> найдётся точка <math>x_m</math>, такая что <math>a_m \le f(x_m)</math>. Имеем дело с компактом, поэтому, согласно [[Теорема Больцано — Вейерштрасса|теореме Больцано — Вейерштрасса]] из последовательности <math>x_m</math> можно выделить сходящуюся последовательность <math>\{x_{m_k}\}</math>, предел которой лежит в <math>A</math>.


Теорема Вейерштрасса формулируется для [[Непрерывное отображение|непрерывных функций]], действующих из заданного [[Метрическое пространство|метрического пространства]] в [[Вещественные числа|множество вещественных чисел]].
Для любого <math>x_m</math> справедливо <math>a_m \le f(x_{m_k}) \le M</math>, поэтому, применяя [[предельный переход]], получаем <math>\lim f(x_{m_k}) = M</math> и в силу непрерывности функции существует точка <math>x_0</math> такая, что <math>\lim f(x_{m_k}) = f(x_0)</math> и, следовательно <math>M = f(x_0)</math>.


=== Теорема Вейерштрасса для непрерывных функций ===
Таким образом функция <math>f(x)</math> ограничена и достигает своей верхней грани при <math>x = x_0</math>. Аналогично и для нижней грани.
В [[Математический анализ|математическом анализе]] рассматриваются числовые пространства, для которых [[Компактное пространство|компактными]] являются произвольные замкнутые и ограниченные множества. На [[Вещественные числа|вещественной прямой]] связные компактные множества — это отрезки, то теорема Вейерштрасса формулируется для отрезков:

{{начало цитаты}}
== Замечания ==
Если функция <math>f</math> непрерывна на [[Отрезок|отрезке]] <math>[a, b]</math>, то она ограничена на нём и притом достигает своих минимального и максимального значений, т. е. существуют <math>x_m, x_M \in [a, b]</math> такие, что <math>f(x_m) \leqslant f(x) \leqslant f(x_M)</math> для всех <math>x \in [a, b]</math>.
* По определению точки <math>x_m</math> и <math>x_M</math> являются [[Точка глобального минимума|точками глобального минимума]] и [[Точка глобального максимума|максимума]] соответственно. Таким образом непрерывная на отрезке функция достигает на нём своего [[Глобальный минимум|минимума]] и [[Глобальный максимум|максимума]].
{{конец цитаты|источник=}}
* В предположениях теоремы отрезок нельзя заменить на [[Промежуток (математика)|открытый интервал]]. Например, функция [[тангенс]]
*: <math>\mathrm{tg}\colon\left(-\frac{\pi}{2},\;\frac{\pi}{2}\right)\to\R</math>
непрерывна в каждой точке [[Область определения|области определения]], но не ограничена.
* Иногда (в учебных курсах) два утверждения (об ограниченности и достижимости границ) разделяются на две теоремы Вейерштрасса — первую и вторую соответственно<ref>http://allmath.ru/highermath/mathanalis/matan/matan2.htm.</ref>.

== Обобщения ==


=== Теорема Вейерштрасса для полунепрерывных функций ===
=== Теорема Вейерштрасса для полунепрерывных функций ===
Строка 29: Строка 24:
*: <math>m=\inf\limits_{x\in[a,\;b]}f(x)>-\infty</math> и <math>\exists x_m\in[a,\;b]\colon f(x_m)=m.</math>
*: <math>m=\inf\limits_{x\in[a,\;b]}f(x)>-\infty</math> и <math>\exists x_m\in[a,\;b]\colon f(x_m)=m.</math>


== Доказательство ==
== См. также ==

* [[Теорема о свойстве Дарбу для непрерывной функции]].
=== Доказательство теоремы для непрерывных функций ===
* [[Теорема Больцано — Коши]].

В силу [[Непрерывность множества действительных чисел|полноты действительных чисел]] существует (конечная или бесконечная) [[точная верхняя грань]] <math>M = \sup_{x \in [a,b]} f(x)</math>. Поскольку <math>M</math> — '''точная''' верхняя грань, существует последовательность <math>x_n</math> такая, что <math>\lim f(x_n) = M</math>. По [[Теорема Больцано — Вейерштрасса|теореме Больцано — Вейерштрасса]] из ограниченной последовательности <math>x_n</math> можно выделить сходящуюся подпоследовательность <math>x_{n_k}</math>, предел которой (назовем его <math>x_M</math>) также принадлежит отрезку <math>[a,b]</math>.
В силу непрерывности функции <math>f</math> имеем <math>f(x_M) = \lim f(x_{n_k})</math>, но с другой стороны <math>\lim f(x_{n_k})= \lim f(x_n) = M</math>. Таким образом, точная верхняя грань <math>M</math> конечна и достигается в точке <math>x_M</math>.

Для нижней грани доказательство аналогично.

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

Пусть <math>A</math> — компакт, и функция <math>f</math> непрерывна на <math>A</math>.
Рассмотрим совокупность множеств <math>V_n = f^{-1}\big((-n, n)\big)</math>, где <math>(-n, n) \subset \R</math> — открытый интервал. Эти множества суть открытые (как полные прообразы открытого множества при непрерывном отображении), и, очевидно, образуют покрытие <math>A</math>. По определению компакта из этого покрытия можно выделить конечное подпокрытие <math>V_{n_k}</math>, откуда имеем <math>\forall x \in A: f(x) < \max n_k</math>, ограниченность доказана. Достижение максимума и минимума легко доказать от противного, если рассмотреть функции <math>[f(x) - \sup f(A)]^{-1}</math>, <math>[f(x) - \inf f(A)]^{-1}</math>, и применить к ним только что доказанное утверждение.

== Замечания ==
<!-- * По определению точки <math>x_m</math> и <math>x_M</math> являются [[Точка глобального минимума|точками глобального минимума]] и [[Точка глобального максимума|максимума]] соответственно. Таким образом непрерывная на отрезке функция достигает на нём своего [[Глобальный минимум|минимума]] и [[Глобальный максимум|максимума]].
-->
В предположениях теоремы отрезок нельзя заменить на [[Промежуток (математика)|открытый интервал]]. Например, функция [[тангенс]]
: <math>\operatorname{tg} \colon \left(-\frac{\pi}{2},\;\frac{\pi}{2}\right) \to \R</math>
непрерывна в каждой точке [[Область определения|области определения]], но не ограничена.


== Примечания ==
== Примечания ==
{{примечания}}
{{примечания}}


{{Нет источников |дата=2024-10-20}}
{{rq|source}}


[[Категория:Теоремы математического анализа|Вейерштрасса о функции на компакте]]
[[Категория:Теоремы математического анализа|Вейерштрасса о функции на компакте]]

[[de:Stetigkeit#Satz vom Minimum und Maximum]]

Текущая версия от 16:20, 17 декабря 2024

Теоре́ма Вейерштра́сса — теорема математического анализа и общей топологии, которая гласит, что функция, непрерывная на компакте, ограничена на нём и достигает своих точных верхней и нижней граней[1].

Иногда (в учебных курсах) два утверждения (об ограниченности и достижимости границ) разделяются на две теоремы Вейерштрасса — первую и вторую соответственно.[1]

Формулировка теоремы

[править | править код]

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

Теорема Вейерштрасса для непрерывных функций

[править | править код]

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

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

Теорема Вейерштрасса для полунепрерывных функций

[править | править код]
  • Пусть функция ограничена и полунепрерывна сверху. Тогда
    и
  • Пусть функция ограничена и полунепрерывна снизу. Тогда
    и

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

[править | править код]

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

[править | править код]

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

Для нижней грани доказательство аналогично.

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

[править | править код]

Пусть — компакт, и функция непрерывна на . Рассмотрим совокупность множеств , где  — открытый интервал. Эти множества суть открытые (как полные прообразы открытого множества при непрерывном отображении), и, очевидно, образуют покрытие . По определению компакта из этого покрытия можно выделить конечное подпокрытие , откуда имеем , ограниченность доказана. Достижение максимума и минимума легко доказать от противного, если рассмотреть функции , , и применить к ним только что доказанное утверждение.

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

непрерывна в каждой точке области определения, но не ограничена.

Примечания

[править | править код]
  1. 1 2 Ильин В. А., Позняк Э. Г. Основы математического анализа. Часть I. — М., 1998. — С. 248—251.