CC BY
25
УДК 519.21
Вестник СПбГУ. Сер. 1. Т. 3(61). 2016. Вып. 3
СТРОЕНИЕ ОТДЕЛИМЫХ АЛГЕБР ДЫНКИНА
С. С. Валландер
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
В статье изучаются абстрактные алгебры Дынкина. Такие алгебры образуют полезный инструмент для обсуждения вероятностей в достаточно естественном контексте. Абстрактность означает отсутствие теоретико-множественной структуры элементов таких алгебр. Вводится полезный широкий класс абстрактных алгебр — отделимые алгебры Дынкина и указывается простейший пример неотделимой алгебры. Свойство отделимости позволяет определить подходящие варианты булевых версий операций пересечения и объединения элементов. Такие операции в общем случае определены только частично. Доказываются некоторые свойства отделимых алгебр, которые используются для получения стандартных свойств пересечения и объединения, включая ассоциативность и дистрибутивность, в случае, когда соответствующие операции применимы. Установленные факты позволяют определить булевы подалгебры в отделимой алгебре Дынкина и проверить совпадение нашей версии определения с обычной.
Наконец, формулируется и доказывается основной результат о строении отделимых алгебр Дынкина, которые представляются как теоретико-множественное объединение максимальных булевых подалгебр. После ранее проведенной подготовки проводится доказательство при помощи стандартного применения леммы Цорна. Библиогр. 6 назв.
Ключевые слова: абстрактные алгебры Дынкина, булевы операции, отделимые алгебры Дынкина.
1. Введение. Заметка является продолжением [1] и [2]. В работе [2] определены абстрактные алгебры Дынкина, установлены некоторые их свойства и доказана теорема о продолжении вероятности с абстрактной алгебры Дынкина на ее свободное расширение. В то же время в [1] отмечено, что классическая алгебра Дынкина (термин «алгебра Дынкина» в [1] еще не использовался) представляется как объединение своих максимальных подалгебр (подалгебра понимается как обычная алгебра множеств). Основной целью настоящей статьи является доказательство (при естественных ограничениях) аналогичного результата для абстрактных алгебр Дынкина.
Предварительно мы обсуждаем возможность разумного введения булевых операций в абстрактной алгебре Дынкина. Такое определение оказывается возможным для широкого класса алгебр Дынкина, которые мы называем отделимыми.
После этого формулируется основной результат заметки — отделимая алгебра Дынкина является объединением своих максимальных булевых подалгебр.
Идеи, ведущие к алгебрам Дынкина, можно проследить с давних времен (см., например, [3-5]).
Напомним определение абстрактной алгебры Дынкина (см. [2]). Пусть A — частично упорядоченное отношением < («включение») множество с минимальным элементом 0 и максимальным элементом 1. Предположим также, что на A задано симметричное бинарное отношение L («дизъюнктность»), обладающее следующими свойствами:
(D1) для любого A е A выполняется 0LA; (D2) если справедливо AL1, выполняется A = 0;
(DI) если справедливо Ai < A2 и A2LB, выполняется AiLB (монотонность дизъ-юнктности).
(¡5 Санкт-Петербургский государственный университет, 2016
Будем называть А абстрактной алгеброй Дынкина, если на А заданы две частичные операции (сложение и вычитание): А + В для А±В и В — А для А < В, удовлетворяющие свойствам (для краткости соответствующие кванторы всеобщности опущены):
(А1) А + В = В + А (коммутативность сложения);
(А2) если А\, А2, А3 попарно дизъюнктны, выполняется А1 + А2±Аз и (А1 + А2) + А3 = А1 + (А2 + А3) (ассоциативность сложения); (А3) 0 + А = А;
(А4) если справедливо А1 < В, А2 < В и А1±А2, выполняется А1 + А2 < В (ограниченность сложения);
(А5) если справедливо А1 < А2 и А2±В, выполняется А1 + В < А2 + В (монотонность сложения);
(А6) если справедливо А1 + В < А2 + В, выполняется А1 < А2 (сократимость по сложению);
(АБ) если справедливо А < В, выполняется В—А < В, В—А±А и А+(В —А) = В (взаимная обратность вычитания и сложения).
Некоторые полезные следствия из этих аксиом доказаны в [2].
2. Отделимые алгебры Дынкина. Мы начнем с некоторых подготовительных утверждений относительно абстрактных алгебр Дынкина.
Лемма 1. Пусть имеем А1 = С + В1 и А2 = С + В2, причем А1±А2. Тогда выполняется С = 0.
Доказательство. Из монотонности сложения вытекает С < С + В1. Тогда из монотонности дизъюнктности ф1) получаем С±С + В2. Поскольку еще выполняется С < С + В2, снова по аксиоме ф1) получаем С±С. Применяя ограниченность сложения (А4), находим С + С < С. Теперь из сократимости (А6) следует С < 0, т.е. С = 0.
Лемма 2. Предположим, что выполняется А1±А2 и элемент X € А удовлетворяет соотношениям X < А1 и X < А2. Тогда справедливо X = 0.
Это утверждение вытекает из леммы 1 и аксиомы (АБ).
Лемма 3. Пусть имеем неравенства В < А, С < А и С±А — В. Тогда справедливо С < В.
Доказательство. По аксиоме (АБ) имеем А — В < А и А = В + (А — В). Применяя ограниченность сложения (А4) к С и А — В, получаем
С +(А — В) < А = В + (А — В).
Остается сократить на А — В.
Следствие из леммы 3. Если имеет место С±1 — В, выполняется С < В.
Определение 1. Элемент В €А назовем булевым пересечением А1 и А2 (В = А1 Л А2), если справедливы соотношения В < А1, В < А2 и А1 — В±А2 — В.
Лемма 4. Если булево пересечение существует, оно единственно.
Доказательство. Предположим, что В и С удовлетворяют свойствам булева пересечения:
В < Аь В < А2, А1 — В±А2 — В, С < А1, С < А2, А1 — С±А2 — С. Достаточно показать С < В.
Проверим сначала А1±А2 — В. Действительно, А\ — В, В, А2 — В попарно дизъюнктны (используем (АБ)). Поэтому ассоциативность сложения (А2) дает
А1 = (А1 — В) + В±А2 — В.
Поскольку справедливо С < А1 и А\^А2 — В, получаем С±А2 — В (аксиома ф1)). Применяя к элементам С и В (оба они < А2) лемму 3, получаем требуемое С < В. Из определения и доказанной единственности с очевидностью следует А А А = А. Определение 2. Элементы А1,А2 € А назовем слабо дизъюнктными, если из соотношений X < А1 и X < А2 вытекает X = 0.
Лемма 2 утверждает, что дизъюнктные элементы слабо дизъюнктны. Определение 3. Назовем алгебру Дынкина отделимой, если в ней дизъюнкт-ность совпадает со слабой дизъюнктностью.
Простейший пример неотделимой алгебры Дынкина получается следующим образом. Ее элементами являются 0,1, А1, А2,1 — А1,1 — А2. При этом включение и дизъ-юнктность тривиальны: 0 < А, < 1, 0 < 1 — А, < 1 (г = 1, 2); (УХ)0±Х; А,±1 — А, (г = 1, 2). Отделимость означала бы А\±А2 (в этом случае имеем А1 = 1 — А2 и А2 = 1 — А1).
Пример показывает, что отсутствие отделимости приводит к появлению различных элементов, обладающих тем свойством, что совокупности включенных в них элементов одинаковы. Этим и объясняется термин.
Теорема 1. Пусть алгебра Дынкина А отделима. Предположим, что булево пересечение элементов А1 и А2 существует, а элемент К €А удовлетворяет неравенствам К < А1 и К < А2. Тогда выполняется К < А1 А А2.
Доказательство. Обозначим для краткости В = А1 А А2. Выберем элемент X, удовлетворяющий неравенствам X < А1 — В и X < К. Поскольку по определению булева пересечения выполнено А1 — В±А2 — В, из неравенства X < А1 — В вытекает X±А2 — В (монотонность дизъюнктности ф1)). Поскольку имеем К < А2, по транзитивности выполняется X < А2.
Теперь, используя ограниченность сложения (А4), из соотношений X < А2, А2 — В < А2, X±А2 — В получаем
X + (А2 — В) < А2 = (А2 — В) + В.
Сокращение дает X < В. Теперь из соотношений X < В, X < А1 — В по лемме 2 получаем X = 0. Из определения отделимой алгебры Дынкина заключаем А1 — В±К. Применяя ограниченность сложения (А4), находим
К + (А1 — В) < А1 = В + (А1 — В).
Сокращение дает требуемый результат К < В.
3. Свойства отделимых алгебр Дынкина. Докажем еще некоторые свойства отделимых алгебр Дынкина, полезные для определения их строения.
Лемма 5. Предположим, что булево пересечение А А В определено. Тогда А — (А А В) является булевым пересечением А и 1 — В.
Доказательство. Очевидно А — (А А В) < А. Проверим А — (А А В) < 1 — В. По определению булева пересечения имеем
А — (А А В)±В — (А А В).
Согласно аксиоме (AS) выполняется A — (AЛB)±A Л B и B — (A Л B)±A АB. Поэтому по ассоциативности сложения (A2) получаем
(A Л B) + (B — (A Л B))±A — (A Л B),
т. е.
B±A — (A Л B). Согласно следствию из леммы 3 справедливо
A — (A Л B) < 1 — B.
Остается проверить
A — (A — (A Л B))±(1 — B) — (A — (A Л B)).
По свойству ассоциативности (см. свойство 7 в [2]) имеем
A — (A — (A Л B))= A Л B < B.
С другой стороны, выполняется
(1 — B) — (A — (A Л B)) < 1 — B.
Таким образом, интересующие нас элементы содержатся в дизъюнктных B и 1 — B соответственно. По монотонности дизъюнктности (DI) они и сами дизъюнктны, что и требовалось доказать.
Отметим еще, что лемма 5 дает нам формулу
A Л (1 — B)= A — (A Л B). (*)
Лемма 6. Если булевы пересечения (A1 Л A2) Л A3 и Ai Л (A2 Л A3) определены, они равны.
Доказательство. Обозначим C = (A1 лA2)лAз. По монотонности имеем C < Ai (i = 1, 2, 3). Пусть K — элемент, удовлетворяющий аналогичным соотношениям K < Ai (i = 1, 2, 3). Применяя дважды теорему 1, получаем последовательно K < Ai Л A2 и K < (A1 Л A2) Л A3 = C. Возьмем в качестве K элемент A1 Л (A2 Л A3) и получим
Ai Л (A2 Л A3) < (Ai Л A2) Л A3.
Тогда по симметрии они должны быть равны.
Лемма 7. Если справедливо A < B, выполняется A Л C < B Л C. Доказательство. Поскольку имеем A Л C < A < B и A Л C < C, достаточно применить теорему 1.
Лемма 8 (дистрибутивность). Справедливо соотношение
(A + B) Л C =(A Л C) + (B Л C).
Доказательство. Согласно лемме 7 справедливо AЛ C < (A + B) Л C и B Л C < (A+B) Л C. Поскольку выполняется AЛ C < A, BЛ C < B и A±B, имеем AЛC±B ЛC, т. е. их сумма определена.
Из ограниченности сложения (А4) получаем
(А Л С) + (В Л С) < (А + В) Л С. Учитывая единственность булева пересечения, достаточно показать
(А + В) — ((А Л С) + (В Л С))±С — ((А Л С) + (В Л С)). Проверим, что левый элемент можно записать в виде
(А — (А Л С)) + (В — (В Л С)).
Действительно,
А + В = [(А Л С) + (А — (А Л С))] + [(В Л С) + (В — (В Л С))] =
= ((А Л С) + (В Л С)) + [(А — (А Л С)) + (В — (В Л С))]
— ассоциативность сложения. Остается вычесть (А Л С) + (В Л С) из обеих частей равенства. Теперь, используя формулу (*), можно записать
(А + В) — ((А Л С) + (В Л С))= А Л (1 — С) + В Л (1 — С) < 1 — С
(мы воспользовались монотонностью пересечения и ограниченностью сложения). Заметим теперь
С — ((А Л С) + (В Л С)) < С
и воспользуемся дизъюнктностью С±1 — С и монотонностью дизъюнктности. Лемма доказана.
Определение 4. Пусть А — отделимая алгебра Дынкина и выполняется БсА. Назовем В булевой подалгеброй в А, если справедливо 0 € В, 1 € В и выполнены свойства
1) если имеем А €В, выполняется 1 — А €В;
2) если имеем А1, А2 € В, существует А1 Л А2 и выполняется А1 Л А2 € В. В силу леммы 6 операция булева пересечения ассоциативна в В. Определим теперь булево объединение в В формулой
А1 V А2 = 1 — ((1 — А1) Л (1 — А2)).
Формула (*) помогает доказать стандартные дистрибутивные правила обычным образом:
(А1 V А2) Л Аз = [1 — ((1 — А1) Л (1 — А2))] Л Аз =
= 1 — [(1 — А1) — ((1 — А1) Л А2)] Л Аз = [А1 + (1 — А1) Л А2] Л Аз = = [А1 + (А2 — (А1 Л А2))] Л Аз = (А1 Л Аз) + (1 — А1) Л А2 Л Аз = = (А1 Л Аз) + [(А2 Л Аз) — (А1 Л А2 Л Аз)] = = [((А1 Л Аз) — (А1 Л А2 Л Аз)) + (А1 Л А2 Л Аз)] + [(А2 Л Аз) — (А1 Л А2 Л Аз)] = = ((А1 Л Аз) — (А1 Л А2 Л Аз)) + [(А1 Л А2 Л Аз)((А2 Л Аз) — (А1 Л А2 Л Аз))] =
= (А2 Л Аз) + ((А1 Л Аз) — (А1 Л А2 Л Аз)).
Далее получаем
(Ai Л A3) V (A2 Л A3) = 1 - (1 - (Ai Л A3)) Л (1 - (A Л A3)) =
= 1 - [(1 - (A2 Л A3)) - (Ai Л A3) Л (1 - (A2 Л A3))] = = (A2 Л A3) + [(Ai Л A3) - ((Ai Л A3) Л (A2 Л A3))] =
= (A2 Л A3) + ((Ai Л A3) - (Ai Л A2 Л A3)).
Таким образом, будем иметь
(Ai V A2) Л A3 = (Ai Л A3) V (A2 Л A3).
Второй дистрибутивный закон проверяется аналогично. Подчеркнем, что при вычислениях следует пользоваться только корректно определенными выражениями (сложение и вычитание определены не всюду).
В итоге мы обнаруживаем, что булевы подалгебры в A удовлетворяют всем свойствам обычных булевых алгебр (см., например, [6]).
Теперь мы можем сформулировать следующий итоговый результат (см. аналогичное утверждение в [1] для классических алгебр Дынкина).
Теорема 2. Каждая отделимая алгебра Дынкина является объединением своих максимальных булевых подалгебр.
Доказательство состоит в стандартном применении леммы Цорна. Отметим еще раз, что в [1] термин «алгебра Дынкина» не использовался. Для неотделимых алгебр операция булева пересечения теряет часть своих свойств (ср., скажем, с теоремой 1 и леммами 5 и 6). Поэтому рассматривать булевы подалгебры в ней и обсуждать утверждение теоремы 2 становится, по нашему мнению, малоинтересным занятием. Может оказаться, скажем, что корректно определяются только четырехэлементные булевы подалгебры (т.е. порожденные одним нетривиальным элементом). Формально теорема 2 справедлива, но бесполезна.
Литература
1. Валландер С. С. Несколько замечаний об аксиоматике теории вероятностей // Вестн. С.-Петерб. ун-та. Сер. 1. Математика. Механика. Астрономия. 2013. Вып. 3. С. 21—23.
2. Валландер С. С. Многолистные вероятностные пространства // Вестн. С.-Петерб. ун-та. Сер. 1. Математика. Механика. Астрономия. 2015. Т. 2(60). Вып. 3. С. 327—333.
3. Колмогоров А. Н. Общая теория меры и исчисление вероятностей // Теория вероятностей и математическая статистика. М.: Наука, 1986. С. 48—58.
4. Sierpinski W. Sur une définition axiomatique des ensembles measurable (L). // Oevres choisies. PVN. Warsaw. 1975. Vol. 2. P. 256-260.
5. Дынкин Е. Б. Основания теории марковских процессов. М.: Физматгиз, 1959. 228 с.
6. Куратовский К., Мостовский А. Теория множеств. М.: Мир, 1970. 416 с.
Статья поступила в редколлегию 14 февраля 2016 г. Сведения об авторе
Валландер Сергей Сергеевич — кандидат физико-математических наук, доцент; crazymath@yandex.ru, s.vallander@spbu.ru
THE STRUCTURE OF SEPARABLE DYNKIN ALGEBRAS
Sergey S. Vallander
St. Petersburg State University, Universitetskaya nab., 7—9, St. Petersburg, 199034, Russian Federation; crazymath@yandex.ru, s.vallander@spbu.ru
We continue to study abstract Dynkin algebras introduced in [2]. Such algebras form a useful instrument for discussing probabilities in a rather natural context. Abstractness means the absence of a set-theoretic structure of elements in such algebras. We introduce a large useful class of abstract algebras — separable Dynkin algebras and indicate also the simplest example of a non-separable algebra. The property of separability allows us to define appropriate variants of Boolean versions to operations of intersection and union of elements. Such operations are in general only partially defined. Some properties of separable algebras are proved. We use them to receive the standard properties of intersection and union including associativity and distributivity in case the corresponding operations are applicable. The established facts allow us to define Boolean subalgebras in a separable Dynkin algebra and to check the coincidence of our version of definition with a usual one.
Finally we formulate and prove the main result about structure of separable Dynkin algebras — we represent them as a set-theoretic union of maximal Boolean subalgebras. The proof uses earlier done preparation and standard scheme of Zorn lemma application. Refs 6.
Keywords: abstract Dynkin algebras, Boolean operations, separable Dynkin algebras.
References
1. Vallander S. S., "Some Remarks on Axioms of Probability Theory", Vestnik St. Petersburg Univ.: Math. 46, Issue 3, 126-128 (2013).
2. Vallander S. S., "Multivalent Probability Spaces", Vestnik St. Petersburg Univ.: Math. 48, Issue 3, 135-139 (2015).
3. Kolmogorov A. N., "General Measure Theory and Calculus of Probabilities", Probability Theory and Mathematical Statistics, 48-58 (Nauka, Moscow, 1986) [in Russian].
4. Sierpinski W., "Sur une definition axiomatique des ensembles measurable (L)", Oevres choisies 2, 256-260 (PVN, Warsaw, 1975) [in French].
5. Dynkin E. B., Foundations of Markov Processes Theory (Fizmatgiz, Moscow, 1959) [in Russian].
6. Kuratowski K., Mostowski A., Set Theory (Amsterdam, North-Holland, 1967).
Для цитирования: Валландер С. С. Строение отделимых алгебр Дынкина // Вестник Санкт-Петербургского университета. Серия 1. Математика. Механика. Астрономия. 2016. Т.3(61). Вып. 3. С. 377-383. DOI: 10.21638/11701/spbu01.2016.304
For citation: Vallander S. S. The structure of separable Dynkin algebras. Vestnik of Saint Petersburg University. Series 1. Mathematics. Mechanics. Astronomy, 2016, vol. 3(61), issue 3, pp. 377383. DOI: 10.21638/11701/spbu01.2016.304
