CC BY
39
2015 ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА Сер. 1. Том 2(60). Вып. 3
МАТЕМАТИКА
УДК 519.21
МНОГОЛИСТНЫЕ ВЕРОЯТНОСТНЫЕ ПРОСТРАНСТВА
С. С. Валландер
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7/9
Мы даем абстрактную версию некоторых систем множеств, сходных с А-системами, обсуждавшимися Дынкиным и другими в качестве полезного вспомогательного средства. Наша абстрактная версия имеет «булеву» природу. Это означает, в частности, что элементы соответствующей абстрактной алгебры не имеют внутренней теоретико-множественной природы. Формулируется естественная система аксиом. Эта система описывает свойства двух бинарных отношений (включение и дизъюнктность) и свойства двух частичных бинарных операций (сложение и вычитание), тесно связанных с этими бинарными отношениями. В частности, сложение и вычитание являются в некотором точно формулируемом смысле взаимно обратными.
Мы устанавливаем простые свойства этих абстрактных алгебр Дынкина и изучаем расширения таких алгебр посредством некоторых предельных переходов (мы называем эти расширения свободными). Свободное расширение абстрактной алгебры Дынкина замкнуто относительно пределов монотонных последовательностей её элементов.
Мы доказываем, что каждая (аддитивная) вероятность на абстрактной алгебре Дынки-на имеет единственное непрерывное (= счетно-аддитивное) продолжение на соответствующее свободное расширение. Этот результат, не согласующийся с обычным различием между аддитивностью и счетной аддитивностью, может быть объяснен свойством свободности рассматриваемого расширения. Библиогр. 7 назв.
Ключевые слова: алгебра Дынкина, свободное расширение, непрерывное продолжение вероятности.
1. Введение. Излагаемые ниже идеи и результаты возникли из размышлений автора над задачей продолжения вероятности. Первым поводом к ним явилось то обстоятельство, что вероятности естественно рассматривать на системах множеств, имеющих более бедную структуру, чем структура алгебры множеств. Подобные мысли в теории меры появлялись ещё на заре её становления, например у А. Н. Колмогорова [1]. Более подробно об истории этого вопроса можно прочитать в обзорной статье [2]. Вероятностная интуиция позволяет более естественным образом, опираясь на частотную эвристику, выделить те свойства системы событий, без которых вряд ли можно обойтись (см. [3]).
Будем называть алгеброй Дынкина систему A подмножеств непустого множества Q, содержащую само Q и удовлетворяющую следующим двум свойствам: (DA) (disjoint addition): если A, B £ A и A П B = 0, то A U B £ A;
(MS) (monotonie subtraction): если A, B G A и A Ç B, то B — A G A.
Дынкин [4] на самом деле рассматривал системы множеств (он называл их А-системами, а последующие авторы также и системами Дынкина), дополнительно удовлетворяющие свойству
(L) если (A„)^=1 — возрастающая последовательность элементов A, то An G A.
Для него А-системы играли чисто техническую роль. В неявном виде А-системы появлялись и много раньше, например у Серпинского [5].
Вторым поводом явилось обдумывание стандартного примера аддитивной, но не счётно-аддитивной, функции множеств (см., например, [6], с. 269). В этом примере П = Q П [0,1] (как обычно, Q — множество рациональных чисел) и множествам вида Q П (а.Ь) приписывается мера b — а. Треугольные скобки мы используем здесь для обозначения промежутка любого типа — открытого, замкнутого или полуоткрытого. Естественно предположить, что одной из причин, препятствующих счётной аддитивности в этом примере, является вычурный выбор пространства П, в котором мера «живет», и что можно избежать этого препятствия, «продолжая» меру за пределы П. Имеющиеся слабые ассоциации с идеей продолжения аналитической функции породили прилагательное «многолистные» в названии статьи. Разумеется, никакого формального отношения к теории аналитических функций наша многолистность не имеет. На самом деле, как будет видно из дальнейшего, многолистность, благодаря переходу на абстрактный «булев» язык, явным образом не появляется. С другой стороны, и это оказывается очень существенным, абстрактный язык позволяет несколько иначе взглянуть на счётные операции.
Основным результатом нашей работы является формулируемая в последнем параграфе теорема, утверждающая, что в обсуждаемой абстрактной ситуации (для свободного расширения абстрактной алгебры Дынкина соответствующие определения приводятся в нижеследующем тексте) продолжение аддитивной вероятности автоматически оказывается счетно-аддитивным. Она может оказаться полезной при изучении вероятностных моделей, для которых представление о событиях как о множествах элементарных исходов является неестественным.
2. Абстрактные алгебры Дынкина. Пусть A — частично упорядоченное множество (поскольку в литературе имеются неравносильные определения частичной упорядоченности, уточним, что мы включаем в определение требование, чтобы одновременное выполнение соотношений A < B и B < A влекло за собой равенство A = B), имеющее наибольший элемент 1 и наименьший элемент 0. Соответствующее бинарное отношение мы обозначим < и назовем включением. Таким образом, для любого A G A имеем 0 < A < 1.
Предположим, что на A имеется также симметричное бинарное отношение ^ (дизъюнктность), такое, что
(D1) для любого A G A выполняется 0±A;
(D2) если A±1, то A = 0;
(DI) если Ai < A2 и A2±B, то Ai±B (монотонность дизъюнктности).
Определим теперь на A две частичные бинарные операции: A + B для A±B (сложение) и B — A для A < B (вычитание). Потребуем выполнения следующих свойств этих операций:
(A1) коммутативность сложения — A + B = B + A;
(A2) ассоциативность сложения — если Ai, A2, A3 попарно дизъюнктны, то Ai + A2±A3 и (Ai + A2) + A3 = Ai + (A2 + A3);
(А3) для любого А € А выполняется 0 + А = А;
(А4) ограниченность сложения — если Ах < В, А2 < В и Ах±А2, то Ах + А2 < В; (А5) монотонность сложения — если Ах < А2 и А2^В, то Ах + В < А2 + В; (А6) сократимость по сложению — если Ах + В < А2 + В, то Ах < А2; (АБ) взаимная обратность вычитания и сложения — если А < В, то В — А < В, В — А±А и А + (В — А) = В.
Множество А, удовлетворяющее всем перечисленным свойствам, назовем абстрактной алгеброй Дынкина. Очевидно, что ранее определенные алгебры Дынкина удовлетворяют приведенным аксиомам. В отличие от абстрактных, мы будем называть их классическими алгебрами Дынкина.
Отметим несколько полезных свойств абстрактных алгебр Дынкина.
1. Элементы 0 и 1 единственны.
2. Сократимость по сложению в равенствах — если Ах + В = А2 + В, то Ах = А2.
3. Для любого А € А выполняется А — 0 = А.
4. Если А±В, то А < А + В.
5. Монотонность вычитания (I) —если А < Вх < В2, то Вх — А < В2 — А.
6. Монотонность вычитания (II) — если Ах < А2 < В, то В — А2 < В — Ах. В частности, если А < В, то 1 — В < 1 — А.
7. Ассоциативность (I) — если А < В < С, то С — (В — А) = (С — В) + А,
8. Ассоциативность (II) — если А < В и В±С, то (В + С) — А = (В — А) + С. Свойства 1 и 2 непосредственно следуют из определения. Свойство 3 вытекает
из (АБ) при А = 0 и из (А3). Свойство 4 — частный случай монотонности сложения (А5) при Ах = 0. Свойство 5 вытекает из (АБ) и сократимости по сложению (А6). Докажем свойство 6. Имеем
А2 = (А2 — Ах) + Ах
и
В = (В — А2) + А2 = (В — А2) + (А2 — Ах) + Ах. По монотонности сложения (А5) получаем
(В — А2) + Ах < (В — А2) + (А2 — Ах) + Ах = В = (В — Ах) + Ах.
Сокращая на Ах, получаем требуемое неравенство.
Для доказательства свойства 7 достаточно вычесть В — А из обеих частей равенства
С = А + (В — А) + (С — В). Аналогично, свойство 8 получается вычитанием А из обеих частей равенства
В + С = (В — А) + А + С.
3. Свободные расширения абстрактных алгебр Дынкина. Мы будем рассматривать бесконечные монотонные последовательности (Ап) элементов абстрактной алгебры Дынкина А. Для последующих конструкций удобно считать, что нумерация элементов каждой такой последовательности начинается со своего по (зависящего от последовательности).
Пусть (Ап) и (Вп) — две монотонно возрастающие последовательности. Определим отношение < правилом (Ап) < (Вп) в том и только в том случае, когда для
любого m найдется такое n, что Am < Bn. Будем писать (An) ~ (Bn), если одновременно (An) < (Bn) и (Bn) < (An). Очевидно, что ~ есть отношение эквивалентности и что на множестве соответствующих классов эквивалентности < является частичным упорядочением, продолжающим отношение < на A. Отметим, что класс эквивалентности постоянной последовательности состоит только из неё самой и возрастающих последовательностей, совпадающих с ней с некоторого места.
Аналогично определяется отношение < на классах эквивалентности монотонно убывающих последовательностей. Более того, если (An) —возрастающая, а (Bn) — убывающая последовательности, включения (An) < (Bn) и (Bn) < (An) также определяются (и переносятся на соответствующие классы эквивалентности) очевидным образом.
Обозначим через Ai множество классов эквивалентности монотонных последовательностей элементов A. Для этих классов эквивалентности будем писать A = lim An и называть (An) представляющей последовательностью.
Заметим, что пределы монотонных последовательностей элементов Ai уже нельзя, вообще говоря, отождествить с элементами Ai. Это обстоятельство аналогично хорошо известному факту из теории борелевских множеств в евклидовых пространствах—совокупности множеств типа , F^, F^, ... (и, аналогично, , , G^, ...) образуют строго возрастающую последовательность (см. [7], §30). Однако такое отождествление возможно, если направление монотонности сохраняется. Скажем, если (A(n)) —возрастающая последовательность элементов Ai, а каждый A(n), в свою очередь — предел возрастающей последовательности (A^ )m элементов A, то найдется возрастающая последовательность вида (Am )n. Предел этой последовательности, лежащий в Ai , не зависит ни от выбора её, ни от выбора представляющих последовательностей (A^n '))m. Тем самым можно по определению положить lim A(n) = lim A^^ni.
Распространим теперь на Ai отношение дизъюнктности Пусть A = lim An и B = lim Bn — классы эквивалентности возрастающих последовательностей. Будем считать A±B, если для любых m,n выполняется Am±B„.
Пусть теперь A и B — классы эквивалентности убывающих последовательностей. Будем считать A±B, если существуют m, n, такие, что Am±B„.
Наконец, если A — класс эквивалентности возрастающих последовательностей, а B — класс эквивалентности убывающих последовательностей, будем считать, что A±B, если для любого m существует такое n, что Am±B„.
Из монотонности дизъюнктности (DI) следует, что это определение корректно (не зависит от выбора представляющих последовательностей). Очевидно, что для продолженных отношений < и ± справедливы аксиомы (D1), (D2) и (DI).
Перейдем теперь к бинарным операциям. Для возрастающих последовательностей можно просто положить по определению
lim A„ + lim Bn = lim(A„ + B„).
Аналогично можно поступить с убывающими последовательностями, с той оговоркой, что An + Bn будет определено только для достаточно больших n.
И здесь легко проверяется, что значение суммы не зависит от выбора представляющих последовательностей.
Пусть, наконец, A — предел возрастающей последовательности элементов A, а B — предел убывающей последовательности. Тогда при фиксированном m и достаточно больших n определены Am + Bn, и эта последовательность убывает по n. Тем
самым определено Am + B е Ai. Однако предел этой возрастающей последовательности определить в Ai уже, вообще говоря, нельзя.
Аналогично, определить разность элементов A, B е Ai можно только в том случае, когда направления монотонности представляющих последовательностей для A и B противоположны.
Легко проверяется, что все свойства продолженных операций сложения и вычитания сохраняются (в тех случаях, когда соответствующие результаты определены).
Теперь можно определить отношение < для монотонных последовательностей элементов Ai и образовать множество A2 соответствующих классов эквивалентности. По той же схеме, что и раньше, определяются отношение дизъюнктности ± и бинарные операции сложения и вычитания, продолжающие соответствующие операции на Ai. Заметим, что сумма и разность элементов Ai оказываются теперь корректно определенными во всех необходимых случаях (A + B для A±B и B — A для A < B), однако лежат, вообще говоря, в A2.
Далее, трансфинитной рекурсией по той же схеме определяются множества Aa для любого счётного ординала а (если а непредельный ординал, конструкция вполне аналогична построению Ai из A или A2 из Ai; если же а — предельный ординал, полагаем Aa = U^<aAe).
Пусть A — объединение возрастающего семейства множеств Aa по всем счётным ординалам а. Из нашего построения следует, что A — абстрактная алгебра Дынкина (результаты сложения и вычитания элементов Aa лежат в Aa+i). Более того, A содержит пределы монотонных последовательностей своих элементов, т. е. удовлетворяет аксиоме (L). Действительно, предположим, что (An) возрастающая последовательность, An е Aan. Тогда а = sup ап — снова счетный ординал и lim An е Aa+i.
Будем называть А-систему A свободным расширением абстрактной алгебры Дын-кина A. Отметим, что понятие свободного расширения в некотором смысле сходно с понятием универсального накрывающего пространства в топологии.
4. Продолжение вероятности на свободные расширения. Вероятностью на абстрактной алгебре Дынкина A мы называем неотрицательную функцию P, определенную на A и удовлетворяющую свойствам
P(1) = 1,
P(A + B) = P(A) + P(B) (A±B), P(B — A) = P(B) — P(A) (A < B).
Теорема. Любая вероятность P на абстрактной алгебре Дынкина A имеет единственное счетно-аддитивное продолжение р на её свободное 'расширение A.
Сформулированный результат контрастирует с обычным положением дел (обычно счетная аддитивность не вытекает из аддитивности, см. классический пример в § 1). Дело, однако, в том, что для каждого элемента свободного расширения A имеется, по существу, единственный способ получения из элементов исходной алгебры Дынкина A. Именно поэтому мы называем расширение A свободным.
Доказательство теоремы. Функция р строится рекурсивным образом по схеме предыдущего параграфа. Пусть A = lim An и значения P(A„) уже определены. Ясно, что числовая последовательность (P(A„)) монотонна. Поэтому можно положить
P(A) = lim P(An).
Из конструкции классов эквивалентности монотонных последовательностей с очевидностью вытекает, что значение P(A) не зависит от выбора представляющей последовательности. Как было выше отмечено, произвол в конструировании элементов свободного расширения фактически отсутствует — он состоит только в выборе представляющих последовательностей в соответствующих классах эквивалентности, что не сказывается на значениях Р. Тем самым, функция Р однозначна на А. Определения бинарных операций в А таковы, что продолженная вероятность автоматически оказывается аддитивной на А. Её непрерывность очевидна по построению. Равносильность непрерывности и счётной аддитивности, как обычно, вытекает из формулы
lim A„ = Ai + (A2 - Ai) + (A3 - A2) + ...,
справедливой для любой монотонно возрастающей последовательности.
Замечание. Для любой классической алгебры Дынкина определено её свободное расширение, являющееся абстрактной алгеброй Дынкина, т. е. элементы свободного расширения, вообще говоря, нельзя рассматривать как подмножества соответствующего пространства П. Точнее говоря, разным элементам свободного расширения может соответствовать одно и то же множество. Это множество получается, если в конструкции элемента свободного расширения пределы трактовать как пределы монотонных последовательностей подмножеств П. Таким образом, свободное расширение можно интерпретировать как «многолистное продолжение» классической алгебры Дынкина.
Литература
1. Колмогоров А. Н. Общая теория меры и исчисление вероятностей // Тр. Коммунистической академии. Разд. мат., 1929. Т. 1. С. 8—21. [Перепечатано в: Колмогоров А.Н. Теория вероятностей и математическая статистика. М.: Наука, 1986. С. 48—58]
2. Shafer G., Vovk V. The Sources of Kolmogorov's Grundbegriffe // Statistical Science, 2006. Vol. 21, N1. P. 70-98.
3. Валландер С. С. Несколько замечаний об аксиоматике теории вероятностей // Вестн. С.-Петерб. ун-та. Сер. 1. 2013. Вып.3. С. 21-23.
4. Дынкин Е. Б. Основания теории марковских процессов. М.: Физматгиз, 1959. 228 с.
5. Sierpinski W. Sur une definition axiomatique des ensembles measurable (L) // Bull. Internat. Akad. Sci. Cracovie A (1918). P. 173-178. [Reprinted in: Sierpinski W. Oeuvres choisies. Vol.2, 1975, PWN, Warsaw, 256-260]
6. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. Изд. 5. М.: Физматлит, 1981. 544 с.
7. Куратовский К. Топология. Т. 1. М.: Мир, 1966. 594 с.
Статья поступила в редакцию 26 марта 2015 г. Сведения об авторе
Валландер Сергей Сергеевич — кандидат физико-математических наук, доцент; crazymath@yandex.ru
MULTIVALENT PROBABILITY SPACES
Sergei S. Vallander
St.Petersburg State University, Universitetskaya nab., 7/9, St.Petersburg, 199034, Russian Federation; crazymath@yandex.ru
We give an abstract version of some systems of sets similar to A-systems discussed by Dynkin and others as a useful auxiliary tool. Our abstract version has a "Boolean" nature. This means that its elements have no internal set-theoretic structure. A natural system of axioms is formulated. This system describes properties
of two binary relations (inclusion and disjointness) and properties of two partial binary operations (addition and subtraction) closely connected with these binary relations. Particularly addition and subtraction are in some exactly formulated sense mutually inverse.
We state some properties of these abstract Dynkin algebras and investigate enlargements of such algebras via some limit transitions (we referred to them as to free enlargements). The free enlargement of an abstract Dynkin algebra is closed under limits of monotonic sequences of its elements.
We prove that every (additive) probability on an abstract Dynkin algebra has a unique continuous (= contably additive) extension to the corresponding free enlargement. This result contradicting to the usual difference between additivity and countable additivity can be explained by freeness of the enlargement under review. Refs 7.
Keywords: Dynkin algebra, free enlargement, continuous extension of probability.
References
1. Kolmogorov A.N., "General Measure Theory and calculus of probabilities", Proceedings of Kommunist Academy. Section Math., 1, 8—21 (1929) [Reprinted in: Kolmogorov A.N. Probability Theory and Mathematical Statistics (Nauka, Moscow, 48-58 (1986))]
2. Shafer G., Vovk V., "The Sources of Kolmogorov's Grundbegriffe", Statistical Science, 21(1), 70-98 (2006).
3. Vallander S. S., "Some Remarks Concerning Axiomatics of Probability Theory", Vestnik SPbGU, N3, 21-23 (2013).
4. Dynkin E. B., "Foundations of Markov Processes Theory" (Fizmatgiz, Moscow, 1959).
5. Sierpinski W., "Sur une definition axiomatique des ensembles measurable (L)" Bull. Internat. Akad. Sci. Cracovie A, 173-178 (1918). [Reprinted in: Sierpinski W. Oeuvres choisies, 2, PWN, Warsaw, 256-260 (1975)]
6. Kolmogorov A. N., Fomin S. V., "Elements of Function Theory and Functional Analysis" (Ed.5, Fizmatlit, Moscow, 1981).
7. Kuratowski K. Topology, 1. M., Mir, 1966.
