Теорема Стоуна о представлении булевых алгебр
Теорема Стоуна о представлении булевых алгебр утверждает, что каждая булева алгебра изоморфна некоторому полю множеств.
История
[править | править код]Теорема была доказана Стоуном в 1936 году. Эта теорема послужила отправной точкой в изучении спектральной теории операторов на гильбертовом пространстве.
Пространства Стоуна
[править | править код]Для каждой булевой алгебры B существует топологическое пространство, так называемое пространство Стоуна, обозначемое S(B). Точки в S(B) являются ультрафильтрами B, то есть гомоморфизмами из B в булеву алгебру из двух элементов. Топология на S(B) задаётся замкнутой базой, состоящей из всех множеств вида
где b является элементом B.
Для каждой булевой алгебры B пространство S(B) является компактным, вполне несвязным хаусдорфовым пространством. Такие пространства также называются проконечными.
Верно и обратное: набор подмножеств, которые одновременно открыты и замкнуты в проконечном пространстве X, образуют булеву алгебру.
Формулировка
[править | править код]Теоремы Стоуна о представлении булевых алгебр. Каждая булева алгебра B изоморфна алгебре подмножеств, которые одновременно открыты и замкнуты в своём пространстве Стоуна S(B). Изоморфизм посылает элемент b∈B в множество всех ультрафильтров, содержащих b. По построению, это множество открыто и замкнуто.
Ниже приведено уточнение теоремы на языке теории категорий. Это уточнение является одним из первых содержательных примеров двойственности категорий. Доказательство требует аксиомы выбора или её слабой формы.
Уточнение теоремы. Существует двойственность между категорией из Булевых алгебр и категорией проконечных пространств, то есть проективных пределов систем конечных множеств , , снабженных дискретной топологией.
Эта двойственность влечёт, что каждому гомоморфизму между булевыми алгебрами естественным образом соответствует непрерывное отображение . Иными словами, между этими категориями существует контравариантный функтор.
Вариации и обобщения
[править | править код]- Эта теорема является частным случаем двойственности Стоуна[англ.] между категориями топологических пространств и частично упорядоченных множеств.
- Обобщение двойственности Стоуна на категорию булевых пространств (то есть нуль-мерных локально компактных Хаусдорфовых пространств) было получено Г. Д. Димовым.
См. также
[править | править код]Ссылки
[править | править код]- Paul Halmos and Steven Givant (1998) Logic as Algebra. Dolciani Mathematical Expositions No. 21. The Mathematical Association of America.
- Johnstone, Peter T. (1982) Stone Spaces. Cambridge University Press. ISBN 0-521-23893-5.
- Marshall H. Stone (1936) "The Theory of Representations of Boolean Algebras," Transactions of the American Mathematical Society 40: 37-111.
- G. D. Dimov (2012) Some generalizations of the Stone Duality Theorem. Publ. Math. Debrecen 80: 255–293.
- H. P. Doctor (1964) The categories of Boolean lattices, Boolean rings and Boolean spaces. Canad. Math. Bulletin 7: 245–252.
- Stanley N. Burris and H. P. Sankappanavar (1981) A Course in Universal Algebra. Springer-Verlag. ISBN 3-540-90578-2.