Теорема Стоуна о представлении булевых алгебр

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

ИсторияПравить

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

Пространства СтоунаПравить

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

 

где b является элементом B.

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

Верно и обратное: набор подмножеств, которые одновременно открыты и замкнуты в проконечном пространстве X, образуют булеву алгебру.

ФормулировкаПравить

Теоремы Стоуна о представлении булевых алгебр. Каждая булева алгебра B изоморфна алгебре подмножеств, которые одновременно открыты и замкнуты в своём пространстве Стоуна S(B). Изоморфизм посылает элемент bB в множество всех ультрафильтров, содержащих b. По построению, это множество открыто и замкнуто.

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

Уточнение теоремы. Существует двойственность между категорией из Булевых алгебр и категорией проконечных пространств, то есть проективных пределов систем конечных множеств  ,  , снабженных дискретной топологией.

Эта двойственность влечёт, что каждому гомоморфизму   между булевыми алгебрами естественным образом соответствует непрерывное отображение  . Иными словами, между этими категориями существует контравариантный функтор.

Вариации и обобщенияПравить

См. такжеПравить

СсылкиПравить