CC BY
12
УДК 519.248: [004.8+33+301+159.9]
On Elements of Axiomatizing Eventology
Oleg Yu. Vorobyev*
Krasnoyarsk State Trade Economic Institute, L.Prushinskoi 2, Krasnoyarsk, 660075,
Russia
Received 10.12.2009, received in revised form 10.03.2010, accepted 20.04.2010 Elements of eventologic axiomatics are offered. Eventology [1], a new direction of probability theory and philosophy, offers the original many-event-based approach to the description of many-agent being and co-being, entering human agents, together with his/her beliefs, directly in the frameworks of scientific research in the form of eventologic distribution of his/her own events. This allows us, by putting together probabilistic and many-event-based representation of information and philosophical concept of event as co-being [2], to offer an axiomatizing eventology which expands Kolmogorov's axiomatic of probability theory [3] and axiomatizes an overlapping sciences mathematical eventolanguage for the description of many-agent being and co-being.
Keywords: event, co-being, probability, Kolmogorov's axiomatics, eventology, axiomatizing eventology, eventologic axiomatics, universal elementary event, universal event, universal measurable space, universal probability space, eventologic space, name of event, set of names of events, sufficiency of eventologic space, simplicity of eventologic space.
The contemporary eventology [1] is a scientific theory with mathematical tools based on Kolmogorov's axiomatics of probability theory and with philosophical features based on the following ideas about event and probability:
• "event is always co-being" (Bakhtin, 1920, [2]);
• "event is a set of alternative outcomes and it comes if one of outcomes comes" (Kolmogorov, 1933,
[3]);
• "matter is simply a convenient way of connecting of events together" (Russell, 1946, [4]);
• "mind arises there and then, where and when there is an ability of probabilistic choosing" (Lefebvre, 2003, [5]);
• "mind is an ability of co-being, i.e., an ability of probabilistic connecting of events together into a set and of probabilistic choosing an event among the set of events" (Vorobyev, 2001, [1]).
For last years eventology managed, having connected probabilistic and many-events-based representations of matter [4] and mind [1] with philosophical interpretation of event as co-being [2], to be achieved the level of theoretic development such that an axiomatic definition of eventology has appeared possible1.
Recently the variant of expansion of Kolmogorov's axiomatics of probability theory, the Natural Axiomatic System (Xiong, 2003, [6]) has been published. This axiomatic system plunges
*[email protected] © Siberian Federal University. All rights reserved
1 Axiomatic definition is one of the supreme forms of scientific definition; definition of the scientific theory through the set of initial undefined notions and relations and the set of axioms (postulates) which limit an area of its possible interpretations. For an axiomatic definition of the scientific theory the high level of knowledge of researched area, which allows the theory to reduce studied objects and their relations to rather simple objects and relations, is required.
all probability spaces of various special probability models into the common causal space, a mathematical model of casual universe.
We assume to develop the Eventologic Axiomatic System (EAS) which absorbs Kolmogorov's Axiomatic System (KAS) [3] and the Natural Axiomatic System (NAS) [6], adds new undefinable concepts and relations, and new postulates, and formalizes the basic eventologic ideas about event and probabilities listed above.
Here the elements of eventologic axiomatics are offered only. We begin with a new statement of Kolmogorov's axiomatic system, we add to it new undefinable eventologic concepts and relations, and then we add two eventologic axioms. It has been more recently opened that these two new axioms were silently assumed true in our proofs of theorems about the maximal properties of an entropy of eventologic distributions [7, 8]. Still these eventologic axioms are not enough for formalization of all basic eventologic ideas about event and probability. Our following researches will be devoted to end of construction of the EAS.
1. Kolmogorov's Axiomatics
Kolmogorov's axiomatics of probability theory is used by us without changes as fundamental part of the EAS. First we shall give statement of KAS in our new form which is not changing Kolmogorov's contents however. Thus to distinguish Kolmogorov's concepts and denotations from its analogues introduced in the EAS, we shall add to each initial Kolmogorov's denotation or definition a sign of "stroke".
1.1. Undefined Concepts and Relations
In Kolmogorov's axiomatics the following concepts are undefined:
(a') set of random experiments E and random experiment e £ E;
(P') outcomes, or elementary events, of random experiment e are denoted by w'.
1.2. Definitions of Initial Notions and Relations
Notions of (1') elementary event,
(2') space of elementary events, or a certain event, (3') event,
(4') algebra of events, (5') probability of event,
and a relation (6') " to come, to happen, to occur",
belong to initial notions and relations of Kolmogorov's axiomatics. We define these notions and relations in the own way as follows.
Definition 1' (elementary event). Outcomes w' of the random experiment e are called
elementary events.
Definition 2' (space of elementary events, or a certain event). The set il'e of all elementary events w' is called a space of elementary events, or a certain event.
Definition 3' (event and a set of events). A set Fg of subsets of Qg is called a set of events,
and each element xg £ Fg is called a random2 event, or simply event xg C Qg.
Definition 4 ' (algebra of events). A set of events is called an algebra of events if it contains
the ceratin event Qg and if it is closed relatively set theoretic operations with a finite set of
events.
Definition 5 ' (probability of event). The function Pg on the Fg is called the probability, and its value Pg(xg) is called the probability of event x'e £ Fg. Definition 6 ' ("to come, to happen, to occur"). We say that
a) the elementary event w'e £ Qg " comes, happens, occurs" if the random experiment e comes to the end with outcome w'e;
b) the event xg £ Fg " comes, happens, occurs" if the elementary event w'e " comes, happens, occurs" such that w'e £ xg.
1.3. Kolmogorov's Axioms
1.3.1. Finite Probability Spaces
We formulate first four Kolmogorov's axioms as follows. Axiom I ' (algebraicability of a set of events). The set of events F'e is an algebra of events. Axiom II ' (reality and non-negativity of probabilities). The function Pg is real and non-negative on Fg: the probability of any event xg £ Fg is always the real non-negative number
Pg (xg) > 0.
Axiom III ' (normalization of probability). The probability of the certain event Qg £ Fg is equal to unit: Pg(Qg) = 1.
Axiom IV ' (additivity of probability). Pg (xg + y') = Pg (xg) + Pg (yg) if xg n yg = 0, i.e.
if events xg and y' from Fg are not intersected.
Definition A ' (probability space). The set of objects (Qg, Fg, Pg) satisfying to axioms I' —IV ' is called a probability space3.
1.3.2. Infinite Probability Spaces
The following Kolmogorov axiom allows to define the expanded concepts of event and probability space.
Axiom V ' (continuity of probability). For any decreasing sequence of events xgt D xg2 2 ... D xgn D ... from Fg such that p|n xgn = 0 the limit of probabilities of these events is equal to zero: limn P '(xgn) = 0.
Remark (continuity of events). A continuity of probability (Axiom V ') follows from a continuity of events (Axiom V)4.
Definition B ' (probability space in expanded sense). The set of objects (Qg, Fg, Pg)
satisfying to axioms I ' — V ' is called a probability space in expanded sense5.
It is known that there is the least sigma-algebra of events6 FgCT = 0"(Fg) containing Fg.
Moreover, the following theorem is true.
Theorem 1 (a-continuation of probability). The non-negative additive function Pg defined on measurable space of events (Qg, Fg) can be uniquely continued with invariance of all properties (non-negativity, normalization and additivity) on all sets from FgCT to receive the countable-additive function Pg a.
2According to Kolmogorov [3].
3According to Kolmogorov: a field of probabilities.
4Axiom V(a continuity of event) still should be formulated.
5According to Kolmogorov: a field of probabilities in expanded sense.
6A set of events is called a sigma-algebra of events if it contains the ceratin event and if it is closed relatively set theoretic operations with a countable set of events.
Thus, each probability space (Q'e, F', P^) can mathematically correctly is a-continued up to the infinite probability space(Q'e, F'a, P'ea) which in modern probability theory is called probability space simply.
At the same time elements of sigma-algebra F'a of infinite probability space can be considered only as "ideal events"7 ("a-events"). Nothing in the real world can be compared empirically to "ideal events". However, if the reasoning uses probabilities of "ideal events" and leads to the definition of probability of "real event" (i.e. events from F') this definition automatically will be consistent from the empirical point of view obviously [3].
2. Elements of Axiomatics of Eventology
2.1. Undefined Notions and Relations
In the EAS the following concepts are undefined:
(а) World (physical and mental), Being (physical and mental);
(в) instant states of World, instant outcomes of Being, are denoted by w.
2.2. Definitions of Initial Notions Relations
2.2.1. Analogues of Kolmogorov's Initial Notions and Relations
Together with all Kolmogorov's initial concepts and relations the following ones concern to initial concepts and relations of the eventologic axiomatics.
(1) universal elementary event,
(2) space of universal elementary events, or a universal certain event,
(3) universal event,
(4) algebra of universal events,
(5) probability of universal event,
and a relation
(б) " to come, to happen, to occur",
which are defined almost similarly as in Kolmogorov's axiomatics.
Definition 1 (universal elementary event). Instant states w of World, or instant outcomes w of Being, are called universal elementary events.
Definition 2 (space of universal elementary events, or an universal certain event).
The set Q of all elementary events w is called a space of universal elementary events, or a universal certain event.
Definition 3 (universal event and a set of universal events). A set F of subsets of Q is called a set of universal events, and each element x £ F is called an universal event x С Q. Definition 4 (algebra of universal events). A set of universal events is called an algebra of universal events if it contains the universal ceratin event Q and if it is closed relatively set theoretic operations with a finite set of universal events.
Definition 5 (probability of universal event). The function P on the F is called the probability, and its value P(x) is called the probability of universal event x £ F. Definition 6 ("to come, to happen, to occur"). We say that
a) the universal elementary event w £ Q " comes, happens, occurs" if World appears in the instant state w, or w serves as the instant outcome of Being;
b) the universal event x £ F "comes, happens, occurs" if the universal elementary event w "comes, happens, occurs" such that w £ x.
7 Kolmogorov's term [3].
2.2.2. Analogues of Kolmogorov's Axioms
We formulate analogues of Kolmogorov's axioms as follows. Axiom I (algebraicability of a set of universal events) . The set of universal events F is an algebra of universal events.
Axiom II (reality and non-negativity of probabilities). The function P is real and nonnegative on F: the probability of any universal event x £ F is always the real non-negative number P(x) ^ 0.
Axiom III (normalization of probability). The probability of the universal certain event Q £ F is equal to unit: P(Q) = 1.
Axiom IV (additivity of probability). P(x + y) = P(x) + P(y) if x П y = 0, i.e. if events x and y from F are not intersected.
Definition A (universal probability space). The set of objects (Q, F, P) satisfying to axioms I' — IV' is called an universal probability space.
2.2.3. Eventologic Initial Concepts and Relations
The eventologic axiomatics adds new notions to Kolmogorov's initial notions and relations:
(7) name of universal event and a set of names of universal events,
and a new relation:
(8) " to have a name" for universal event,
which are defined as follows.
Definition 7 (name of universal event and a set of names of universal events). The
partition N of the set of universal events F is called the set of names, and each element x £ N is called the name of universal events x £ x.
Definition 8 (relation "to have a name" for universal event). We say that the universal event x £ F "has the name" x £ N if x £ x.
Definition 9 (empty name of universal event). The name x0 £ N is called the empty name and consists of universal events x £ x0 which "have an empty name"; we also say that universal events x £ x0 "have no name".
2.3. First Two Eventologic Axioms: a Sufficiency and a Simplicity of Eventologic Space
It has appeared that for a construction of the eventologic theory and for a proof of eventologic statements additional new axioms are required. Here two new eventologic axioms are formulated. These axiom were required to prove theorems of a maximum of an entropy of multiplicative-truncated and general Gibbsean eventologic distributions [7, 8]. It was found out that aprioristic assumptions of some probability space properties are required for the proof of these theorems. These properties always silently were assumed by us, but not formulated in an explicit form.
The given assumptions have an all-eventologic character, play a fundamental role for development of eventology as a whole, and deserve to be allocated as two special eventologic axioms about a sufficiency and a simplicity of eventologic space.
Axiom VI (sufficiency of universal probability space). The universal probability space (Q, F, P) is sufficient to define Kolmogorov's probability space (Q , F , P ) for any Kolmogorov's random experiment e £ E.
Remark. The expression "is sufficient to define" has the following sense: 1) to each outcome w' £ Q'e of the experiment e £ E there corresponds the universal event we £ F, 2) to the set of all outcomes of the experiment e £ E there corresponds F-measurable partition of the space
of universal elementary events: Q = wg, 3) to each Kolmogorov's event xg £ F' there
corresponds the universal event xg = ^ wg, and 4) the set of probabilities P(wg) of all
universal events wg such that £ Qg defines Kolmogorov's probability measure Pg on the set of outcomes of experiment e by formula: Pg (w') = P(wg) and, hence, on Kolmogorov's algebra of events F .
Definition 10 (probability simplex). Let X C N — |x0| be a finite set of nonempty names of universal events. The 2|X|-vertex simplex is called the probability simplex generated by X and is denoted by
S2ixi(X}=i p : p(X) > 0,X Ç X, ]Tp(X) = 1
XCX
if it is defined as a set of points p = {p(X), X Ç X} from 2|X|-dimensional real space such that its components are numbered by subsets X Ç X and satisfy to restrictions of local normalization: 0 ^ p(X) ^ 1, X Ç X, and to the restriction of global normalization: ^ p(X) = 1.
XCX
Definition 11 (eventologic distribution). Let X Ç F be a finite set of the universal events with names from the finite set of nonempty names X Ç N — {x0} of the same power: |X| = |X|. The set of probabilities {p(X), X Ç X}, where p(X) = P (ter(X)), X Ç X are the probabilities of universal terrace-events
ter(X) = P| x P| xc G F,
x£X x£Xc
all together forming, as is known, the F-measurable partition of the space of universal elementary
events: Q = ter(X), is called the eventologic distribution (E-distribution) of the set of X CX
universal events X Ç F.
Definition 12 (event-probability (eventologic) simplex). Let (Q, F, P) be the universal probability space, X Ç N — {x0} be the finite set of nonempty names of universal events, and Xp Ç F be any finite set of the universal events with names from the finite set of nonempty names X Ç N — {x0} of the same power: |X| = |Xp| and with the E-distribution p G S2|X|. The totality of sets of universal events Xp with E-distributions p, which fill all probability simplex S2IX1 (X), is called the event-probability (eventologic) simplex generated by X and is denoted by
S2X = {Xp,p G S2IX1 (X)} .
Definition 13 (simplicial universal probability space). The universal probability space with the algebra of universal events, which contains all sets of universal events from the event-probability simplex S2X generated by X for each finite set of nonempty names X Ç N — {x0}, is called the simplicial universal probability space concerning set of names N and probabilities P, or (N, P)-simplicial universal probability space.
Axiom VII (simplicity of the universal probability space). The universal probability space (Q, F, P) is the simplicial universal probability space concerning finite set of names N and probabilities P.
Definition 14 (eventologic space).8 The universal probability space (Q, F, P) is called the
universal probability space with the set of names N, or N-eventologic space, or eventologic space (E-space), and is denoted by (Q, F, N, P) if it satisfies to axioms VI and V//.
8 In the text finite eventologic spaces are considered only.
3. Discussion
3.1. On Laconic Eventologic Terminology
The offered elements of the EAS contain KAS of probability theory.
In this first text on axiomatizing eventology for the sake of invariance of Kolmogorov's terminology we used new terminology which is designed from former Kolmogorov's one by addition of the term "general" for a denotation of eventologic concepts. For example, Kolmogorov's "event" corresponds to the "general event" from the EAS, Kolmogorov's "probability space" corresponds to the "universal probability space" from the EAS, etc.
Further we are going to pass to the more brief eventologic terminology where terms from KAS are called "Kolmogorov's terms". This will allow us to do without addition of the term "universal". For example, "events" from KAS will be called "Kolmogorov's events", and "general events" from the EAS will be called " events", etc. This will make eventologic texts more laconic and, hardly, can lead to misunderstanding.
3.2. Eventology is a Science on Event Probability Simplecies
The eventology is a science about events and their probabilities, or more precisely about event-probability simplecies where "eventologic" always means "event-probability". Therefore we can tell that this science offers in axioms VI and VII the event-probability-simplex analogy of Kolmogorov's probability space, the eventologic space (E-space).
Figure 1. The simplicial manifold (complex) in three-dimensional space
Of course it is necessary to distinguish a probability simplex and an event-probability simplex. If the first one is a set of 2|X| -dimensional points (with the components specifically numbered by subsets of events) such that each point is interpreted as a set of probabilities of events-terraces, then the second one is a totality of sets of events with E-distributions filling the probability simplex completely.
Let's notice, that if an E-distribution is understood not only as a set of probabilities p, but also as a set of corresponding terrace-events generated by Xp then we can speak that an event-
probability (eventologic) simplex is a simplicial9 totality of E-distributions generated by a fixed finite set of nonempty names of events. Thus for any X С N — in the E-space (П, F, N, P) there is the simplicial set of E-distributions generated by X.
References
[1] O.Yu. Vorobyev. Eventology. Siberian Federal University, Krasnoyarsk, 2007 (in Russian).
[2] M.M. Bakhtin, Toward a Philosophy of the Act, University of Texas Press, Austin, 1993, St.Petersburg, 1920.
[3] A.N. Kolmogorov, Grundbegriffe der Wahrscheinlichkeitrechnung, Ergebnisse der Mathematik, Berlin, 1933.
[4] B.A.W. Russell, History of Western Philosophy and its Connections with Political and Social Circumstances from the Earlist Times to the Present Day, George Allen & Unwin, London, 1946.
[5] V.A. Lefebvre, Algebra of Conscience, Kluwer Academic Publishers, Boston, 2003.
[6] D. Xiong, The Natural Axiom System of Probability Theory: Mathematical Model of the Random Universe, World Scientilc Publishing Co. Pte. Ltd., Singapore, 2003.
[7] O.Yu. Vorobyev, Multicovariances of events, Proc. of the VII Russian FAM Conf. on Financial and Actuarial Mathematics and Related Fields, Siberian Federal University, Krasnoyarsk, 1(2008), 67-81 (in Russian).
[8] O.Yu. Vorobyev, Eventological H-theorem, Proc. of the VII Russian FAM Conf. on Financial and Actuarial Mathematics and Related Fields, Siberian Federal University, Krasnoyarsk, 1(2008), 51-58 (in Russian).
О началах аксиоматизации эвентологии
Олег Ю. Воробьев
Предлагаются начала эвентологической аксиоматики. Эвентология [Воробьев, 2UU1], новое направление теории вероятностей и философии, предлагает оригинальный многособытийный подход к описанию многоагентного бытия и со-бытия, вводя человеческих агентов непосредственно в рамки научного исследования в виде эвентологических распределений множеств их собственных событий. Соединение вероятностного и многособытийного представления материи [Рассел, 1946] и разума [Воробьев, 2001], а также философского понятия события как со-бытия [Бахтин, 1920] предполагает такую аксиоматизацию эвентологии, которая, 'расширяя колмогоровскую аксиоматику теории вероятностей [Колмогоров, 1933], формулирует аксиомы перекрывающего науки математического эвентоязыка для описания многоагентного бытия и со-бытия. Ключевые слова: событие; со-бытие; всеобщее событие; вероятность; колмогоровская аксиоматика; эвентология; аксиоматика эвентологии; всеобщее вероятностное пространство; эвенто-логическое пространство; имя события; множество имен событий; достаточность эвентоло-гического пространства; симплициальность эвентологического пространства.
9 Simplicial geometry is a section of geometry studying simplicial manifolds (Fig. 1).
