Теорема Бэра

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

История

Предыстория

В конце XIX века математики активно исследовали свойства непрерывных функций и множеств на вещественной прямой. Георг Кантор разработал теорию множеств, а Эмиль Борель и Анри Лебег заложили основы теории меры. В этом контексте возникла потребность в классификации множеств по их «массивности» — не только по мере, но и по топологическим свойствам.

Работа Рене Бэра

Рене-Луи Бэр (1874–1932) в своей докторской диссертации «Sur les fonctions de variables réelles» (1899) ввёл понятия нигде не плотных множеств и множеств первой и второй категории. Он доказал, что полное метрическое пространство (в частности, вещественная прямая) является множеством второй категории, то есть не может быть покрыто счётным объединением нигде не плотных множеств. Это утверждение стало известно как теорема Бэра.

Дальнейшее развитие

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

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

Стандартная формулировка

Пусть \(X\) — полное метрическое пространство. Тогда:

\(X\) не является объединением счётного числа нигде не плотных множеств.
Если \(\{U_n\}_{n=1}^\infty\) — последовательность всюду плотных открытых множеств в \(X\), то их пересечение \(\bigcap_{n=1}^\infty U_n\) всюду плотно в \(X\).

Эквивалентные формулировки

Категориальная форма: Полное метрическое пространство является множеством второй категории по Бэру.
Топологическая форма: В полном метрическом пространстве пересечение счётного семейства плотных \(G_\delta\)-множеств (счётных пересечений открытых множеств) плотно.
Для локально компактных пространств: Локально компактное хаусдорфово пространство не может быть представлено в виде счётного объединения нигде не плотных множеств.

Классификация множеств по Бэру

Множества первой категории

Множество \(A\) в топологическом пространстве \(X\) называется множеством первой категории (или тощим множеством), если оно может быть представлено в виде счётного объединения нигде не плотных множеств. Примеры:

Множество рациональных чисел \(\mathbb{Q}\) на вещественной прямой — первой категории, так как каждая точка нигде не плотна, а их счётное объединение даёт \(\mathbb{Q}\).
Канторово множество — нигде не плотно, следовательно, первой категории.

Множества второй категории

Множество, не являющееся множеством первой категории, называется множеством второй категории. Теорема Бэра утверждает, что любое полное метрическое пространство (например, \(\mathbb{R}\) с обычной метрикой) является множеством второй категории.

Свойства

Дополнение к множеству первой категории в полном метрическом пространстве является всюду плотным.
Счётное объединение множеств первой категории есть множество первой категории.
Пересечение счётного семейства множеств второй категории может быть пустым (например, \(\mathbb{Q}\) и \(\mathbb{R}\setminus\mathbb{Q}\) — оба второй категории в \(\mathbb{R}\), но их пересечение пусто).

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

Для полного метрического пространства

Пусть \(X\) — полное метрическое пространство, и \(\{A_n\}_{n=1}^\infty\) — последовательность нигде не плотных множеств. Предположим, что \(X = \bigcup_{n=1}^\infty A_n\). Поскольку каждое \(A_n\) нигде не плотно, его замыкание \(\overline{A_n}\) не содержит внутренних точек. Тогда \(X \setminus \overline{A_n}\) — открытое всюду плотное множество. Построим последовательность вложенных замкнутых шаров:

Выберем шар \(B_1\) радиуса \(r_1 < 1\) такой, что \(\overline{B_1} \subset X \setminus \overline{A_1}\).
Затем выберем шар \(B_2\) радиуса \(r_2 < 1/2\) такой, что \(\overline{B_2} \subset B_1 \setminus \overline{A_2}\).

Продолжая процесс, получим последовательность замкнутых шаров \(\overline{B_n}\) с радиусами, стремящимися к нулю. По теореме о вложенных шарах (свойство полноты) их пересечение непусто. Но это пересечение лежит в \(X \setminus \bigcup_{n=1}^\infty \overline{A_n}\), что противоречит предположению, что \(X = \bigcup A_n\). Следовательно, \(X\) не может быть объединением счётного числа нигде не плотных множеств.

Для локально компактных пространств

Доказательство аналогично, но вместо шаров используются компактные окрестности, и полнота заменяется свойством компактности.

Применения

В функциональном анализе

Принцип равномерной ограниченности: Если семейство линейных непрерывных операторов из банахова пространства в нормированное пространство поточечно ограничено, то оно равномерно ограничено по норме. Доказательство опирается на теорему Бэра.
Теорема об открытом отображении: Сюръективный линейный непрерывный оператор между банаховыми пространствами является открытым отображением.
Теорема о замкнутом графике: Линейный оператор с замкнутым графиком между банаховыми пространствами непрерывен.

В теории функций

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

В теории меры

Связь с мерой Лебега: Множество первой категории может иметь полную меру Лебега (например, множество рациональных чисел имеет меру нуль, но существуют множества первой категории с положительной мерой). Теорема Бэра показывает, что топологическая «малость» не эквивалентна мере.

В топологии

Свойства полных метрических пространств: Теорема Бэра используется для доказательства того, что полное метрическое пространство не может быть гомеоморфно счётному объединению своих замкнутых подмножеств без внутренних точек.
Теорема о существовании точек непрерывности: Для любой функции, являющейся поточечным пределом последовательности непрерывных функций, множество точек непрерывности является всюду плотным \(G_\delta\)-множеством.

Примеры и иллюстрации

Пример 1: Рациональные числа

Множество \(\mathbb{Q}\) — первой категории в \(\mathbb{R}\), так как \(\mathbb{Q} = \bigcup_{q \in \mathbb{Q}} \{q\}\), а каждое одноточечное множество нигде не плотно. Теорема Бэра гарантирует, что \(\mathbb{R}\) не может быть покрыто счётным числом таких множеств, что и так очевидно, но она даёт более общий результат.

Пример 2: Канторово множество

Канторово множество \(C\) — нигде не плотно, следовательно, первой категории. Однако его мощность континуум, а мера Лебега равна нулю.

Пример 3: Пространство непрерывных функций

Пространство \(C[0,1]\) с равномерной метрикой полно. Множество функций, имеющих производную хотя бы в одной точке, является множеством первой категории. Это означает, что «почти все» непрерывные функции нигде не дифференцируемы, хотя конструктивно такие функции (например, функция Вейерштрасса) считаются исключительными.

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

Необходимость полноты

Теорема Бэра неверна для неполных метрических пространств. Например, пространство рациональных чисел \(\mathbb{Q}\) с метрикой, индуцированной из \(\mathbb{R}\), является первой категорией в себе (так как \(\mathbb{Q} = \bigcup_{q \in \mathbb{Q}} \{q\}\)). Однако \(\mathbb{Q}\) неполно.

Обобщения

Теорема Бэра обобщается на псевдометрические пространства и на топологические пространства, удовлетворяющие аксиоме счётности (например, локально компактные хаусдорфовы пространства). Однако существуют полные равномерные пространства, для которых теорема не выполняется.

Связь с аксиомой выбора

Доказательство теоремы Бэра использует аксиому выбора (или её ослабленный вариант — аксиому зависимого выбора) для построения последовательности вложенных шаров. В некоторых конструктивных вариантах математики (например, в теории множеств Цермело-Френкеля без аксиомы выбора) теорема может не выполняться.

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

Теорема Бэра часто используется в «неконструктивных» доказательствах существования: она показывает, что объект с определённым свойством существует, но не даёт способа его построить. Например, доказательство существования непрерывной нигде не дифференцируемой функции через теорему Бэра не предъявляет явной формулы.
В 2005 году математик Брайан Дэвис показал, что теорема Бэра эквивалентна аксиоме зависимого выбора в теории множеств.
Теорема Бэра лежит в основе так называемого «принципа Бэра» в теории игр: в полных метрических пространствах игрок, делающий ходы, может гарантировать попадание в плотное \(G_\delta\)-множество.

Источники

Бэр Р. «Теория функций действительного переменного» (перевод с французского, 1932).
Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа» (7-е издание, 2004).
Рудин У. «Функциональный анализ» (перевод с английского, 1975).
Келли Дж. «Общая топология» (перевод с английского, 1968).
Engelking R. «General Topology» (2nd edition, 1989).

BFOmetr — база данных и аналитика по компаниям России.

На главную BFOmetr →