Spectrum of a separable Dynkin algebra and topology on it

Abstract

Мы продолжаем подготовку к построению обобщенной аксиоматики теории вероятностей, начатую в предыдущих работах автора. Наш подход основывается на изучении систем множеств более общего вида, чем традиционные алгебры множеств, и их булевых версий. Мы называем их алгебрами Дынкина. Вводятся спектр отделимой алгебры Дынкина и подходящая топология Гротендика на нем. Отделимые алгебры Дынкина - естественный класс абстрактных алгебр Дынкина, был выделен автором ранее. Для них можно определить частичные булевы операции, обладающие подходящими свойствами. В указанной работе был получен структурный результат - каждая отделимая алгебра Дынкина является объединением своих максимальных булевых подалгебр. В настоящей заметке, основываясь на этом результате, мы определяем спектр отделимой алгебры Дынкина и вводим подходящую топологию Гротендика на нем. Соответствующие построения в определенной степени похожи на конструкции простого спектра коммутативного кольца и топологии Зарисского на нем. Аналогия здесь неполная - топология Зарисского делает спектр коммутативного кольца обычным топологическим пространством, в то время как топология Гротендика, не являющаяся, вообще говоря, топологией в обычном смысле, превращает спектр алгебры Дынкина в более абстрактный объект (site или situs по Гротендику). Для наших целей этого достаточно.