Теорема Стоуна

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

История

В 1930-х годах Маршалл Стоун (1903–1989) активно занимался теорией булевых алгебр и их топологических представлений. До его работы булевы алгебры рассматривались преимущественно как алгебраические структуры, связанные с логикой и теорией множеств. Стоун первым заметил глубокую связь между алгебраическими свойствами булевой алгебры и топологическими свойствами пространства её ультрафильтров.

В 1936 году он опубликовал статью «The theory of representations for Boolean algebras» (Теория представлений для булевых алгебр), в которой сформулировал и доказал теорему, ныне носящую его имя. Эта работа заложила основы для целого направления — стоуновской двойственности, которая впоследствии была обобщена на другие алгебраические структуры (например, дистрибутивные решётки, алгебры Гейтинга, булевы алгебры с операторами).

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

Теорема Стоуна состоит из двух частей: топологического представления булевой алгебры и категориальной двойственности.

Топологическое представление

Для любой булевой алгебры \( B \) существует компактное вполне несвязное хаусдорфово топологическое пространство \( S(B) \) (называемое стоуновским пространством или пространством ультрафильтров булевой алгебры \( B \)), такое что:

• Точками пространства \( S(B) \) являются все ультрафильтры (максимальные собственные фильтры) алгебры \( B \).
• Топология на \( S(B) \) задаётся базой, состоящей из множеств вида \( U_a = \{ F \in S(B) \mid a \in F \} \), где \( a \in B \).
• Булева алгебра \( B \) изоморфна булевой алгебре всех открыто-замкнутых (клокеновских) множеств пространства \( S(B) \).

Обратно, для любого булева пространства \( X \) (компактного вполне несвязного хаусдорфова пространства) булева алгебра \( Cl(X) \) всех его открыто-замкнутых множеств является булевой алгеброй, а пространство \( S(Cl(X)) \) гомеоморфно \( X \).

Категориальная двойственность

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

• Каждому гомоморфизму булевых алгебр \( f: B_1 \to B_2 \) соответствует непрерывное отображение \( S(f): S(B_2) \to S(B_1) \), и наоборот.
• Композиции гомоморфизмов соответствует композиция отображений в обратном порядке.
• Эта двойственность является эквивалентностью категорий, то есть каждое булево пространство изоморфно стоуновскому пространству своей булевой алгебры открыто-замкнутых множеств, и каждая булева алгебра изоморфна булевой алгебре открыто-замкнутых множеств своего стоуновского пространства.

Стоуновское пространство

Стоуновское пространство булевой алгебры \( B \) — это топологическое пространство, точками которого являются все ультрафильтры алгебры \( B \). Топология на нём определяется как топология подпространства тихоновского произведения \( \{0,1\}^B \), где \( \{0,1\} \) наделён дискретной топологией. Эквивалентно, топология порождается множествами \( U_a \), которые одновременно открыты и замкнуты.

Свойства стоуновского пространства

• Компактность: пространство \( S(B) \) компактно как замкнутое подмножество компактного тихоновского произведения.
• Вполне несвязность: любые две различные точки можно разделить открыто-замкнутым множеством.
• Хаусдорфовость: пространство хаусдорфово (следует из вполне несвязности и компактности).
• Метризуемость: стоуновское пространство метризуемо тогда и только тогда, когда булева алгебра счётна.

Примеры

Конечные булевы алгебры

Если \( B \) — конечная булева алгебра с \( 2^n \) элементами, то её стоуновское пространство \( S(B) \) состоит из \( n \) точек (каждая точка соответствует ультрафильтру, порождённому атомом). Топология на таком пространстве дискретна, и оно является булевым пространством. Булева алгебра открыто-замкнутых множеств этого пространства изоморфна \( B \).

Булева алгебра всех подмножеств натурального ряда

Рассмотрим булеву алгебру \( \mathcal{P}(\mathbb{N}) \) всех подмножеств множества натуральных чисел. Её стоуновское пространство \( S(\mathcal{P}(\mathbb{N})) \) гомеоморфно пространству ультрафильтров на \( \mathbb{N} \), которое известно как компактификация Чеха — Стоуна \( \beta\mathbb{N} \) дискретного пространства натуральных чисел. Это пространство является одним из важнейших примеров в общей топологии: оно компактно, хаусдорфово, вполне несвязно, но не метризуемо (имеет мощность \( 2^{2^{\aleph_0}} \)).

Булева алгебра борелевских множеств по модулю множеств первой категории

В теории меры и дескриптивной теории множеств стоуновское пространство булевой алгебры борелевских множеств вещественной прямой, факторизованной по идеалу множеств первой категории, даёт пространство, известное как «пространство Стоуна — Чеха» для этой алгебры. Оно используется для изучения свойств категории Бэра.

Применения

В топологии

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

В алгебре

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

В математической логике

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

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

Теорема Стоуна используется при изучении алгебр непрерывных функций на компактных пространствах. Например, алгебра \( C(S(B)) \) непрерывных вещественнозначных функций на стоуновском пространстве изоморфна алгебре ограниченных функций на множестве ультрафильтров, что важно для теории банаховых алгебр.

Обобщения

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

• Двойственность Пристли для дистрибутивных решёток (обобщение на случай, когда пространство не обязательно вполне несвязно, а лишь упорядоченно и компактно).
• Двойственность Хофмана — Лоусона для алгебр Гейтинга.
• Двойственность Стоуна — Чеха для компактификаций тихоновских пространств.
• Двойственность Гельфанда — Наймарка для коммутативных C-алгебр, где роль булевых алгебр играют коммутативные C-алгебры, а роль булевых пространств — компактные хаусдорфовы пространства.

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

• Маршалл Стоун первоначально сформулировал теорему в терминах «булевых колец» (булевых алгебр с операцией симметрической разности как сложением и пересечением как умножением). Топологическая интерпретация пришла позже.
• Стоуновское пространство \( \beta\mathbb{N} \) (компактификация Чеха — Стоуна) является одним из самых больших компактных пространств, которые можно построить из счётного дискретного множества: его мощность равна \( 2^{2^{\aleph_0}} \), и оно не содержит нетривиальных сходящихся последовательностей.
• Теорема Стоуна была одним из первых примеров того, как алгебраическая структура может быть полностью описана топологическими средствами, что предвосхитило развитие некоммутативной геометрии.

Источники

• Stone, M. H. (1936). «The theory of representations for Boolean algebras». Transactions of the American Mathematical Society, 40(1), 37–111.
• Halmos, P. R. (1963). Lectures on Boolean Algebras. Van Nostrand.
• Johnstone, P. T. (1982). Stone Spaces. Cambridge University Press.
• Архангельский, А. В., Пономарёв, В. И. (1974). Основы общей топологии в задачах и упражнениях. Наука.
• Сикорский, Р. (1969). Булевы алгебры. Мир.