First Results for a Mathematical Theory of Possibilistic Processes
|
|
- Ashlyn Sullivan
- 5 years ago
- Views:
Transcription
1 First Results for a Mathematical heory of Possibilistic Processes H.J. Janssen, G. de Cooman and E.E. Kerre Universiteit Gent Vakgroep oegepaste Wiskunde en Informatica Krijgslaan 281, B-9000 Gent, Belgium { Hugo.Janssen, Gert.deCooman, Etienne.Kerre}@rug.ac.be Abstract his paper provides the measure theoretic basis for a theory of possibilistic processes. We generalize the definition of a product τ- field to an indexed family of τ-fields, without imposing an ordering on the index set. We also introduce the notion measurable cylinder and show that any product τ-field can be generated by its associated field of measurable cylinders. Furthermore, we introduce and study the notions τ-subspace, extension of a τ-space and one-point extension of a τ-space. Using these notions, we prove that for any family of possibility distributions (π ), satisfying a natural consistency condition, a family (f t t ) of possibilistic variables can be constructed such that the possibilistic variable f t (with ) has π as a possibility distribution. As a special case we obtain a possibilistic analogon of the probabilistic Daniell-Kolmogorov theorem, a cornerstone for the theory of stochastic processes. 1 Preliminary notions In this paper, we develop the mathematical and topological apparatus necessary for proving a possibilistic analogon for the well-known theorem of Daniell- Kolmogorov [Doob, 1967]. his theorem is the cornerstone for the mathematical theory of stochastic processes. In short, it tells us that, given a family of realvalued functions on finite Cartesian powers of a sample space that satisfy natural consistency conditions, there exists a basic space, a probability measure on that basic space, and a family of stochastic variables that have these real-valued functions as their probability distribution functions. he results in this paper are the possibilistic counterparts. Postdoctoral Fellow of the Belgian National Fund for Scientific Research (NFWO). In this section, we give a number of basic definitions, which are needed in the following sections. A subset L of the power class P(X) of a nonempty set X is called a plump field [Wang and Klir, 1992] on X iff it is closed under arbitrary unions and intersections. he atom of L containing the element def x X is defined as [ x ] L = {A A L and x A}. Furthermore, a subset A of X is an atom of L iff ( x X)(A = [ x ] L ). he set of the atoms of L is denoted by X L. It is readily verified that X L L and that ( x X)(x [ x ] L ). Finally, for any subset A of X, A L A = x A [ x ] L. A τ-field or ample field [Wang, 1982] R on a nonempty set X is a plump field on X that is closed under complementation. he couple (X, R) is called a τ-space. Finally [Wang and Klir, 1992], for a nonempty set X and a subset A of its power class P(X), τ X (A) denotes the smallest τ-field on X which includes A. Furthermore, if A is a subset of a nonempty set X, then we write A X iff A is a finite subset of X. hroughout this paper, X denotes a nonempty set, R is a τ-field on X, (L, ) denotes a complete lattice with greatest element 1 and smallest element 0, and 1 L is the identical permutation of L. 2 Possibilistic Processes De Cooman and Kerre [1993] have generalized Zadeh s original definition of a possibility measure as follows: if (L, ) is a complete lattice and (X, R) is a τ-space, then a R L mapping Π is a (L, )-possibility measure on (X, R) iff for any family (A j j J) of elements of R Π( A j ) = sup Π(A j ). (1) j J j J he triple (X, R, Π) is called a (L, )-possibility space. Furthermore, if A is a subset of the power class P(X) of X and Π is any A L mapping, then a X L mapping π is called a distribution of Π iff for any A in
2 A: Π(A) = sup π(x). (2) x A In particular, De Cooman has proven that every (L, )-possibility measure Π on a τ-space (X, R) possesses a unique distribution π that is constant on the atoms of R, and is given by ( x X)(π(x) = Π([ x ] R )). (3) Finally, if A 1 P(X 1 ) and A 2 P(X 2 ), where X 1 and X 2 are nonempty sets, then a X 1 X 2 mapping f is called A 1 A 2 measurable iff ( B A 2 )(f 1 (B) A 1 ). In particular [De Cooman, 1993], if (Ω, R Ω, Π Ω ) is a (L, )-possibility space and (X, R) is a τ-space, then a Ω X mapping f is a possibilistic variable in (X, R) iff f is a R Ω R measurable mapping. he τ-space (X, R) in which the possibilistic variable takes its values, is called the sample space of f, and (Ω, R Ω, Π Ω ) is called the basic space of f. hroughout this paper, we shall assume that any possibilistic variable has the (L, )-possibility space (Ω, R Ω, Π Ω ) as its basic space. Finally, if π Ω represents the distribution of Π Ω and f is a possibilistic variable in (X, R), then the X L mapping π f, which is given for any x X by π f (x) = sup w f 1 ([ x ] R ) π Ω (ω), is called the possibility distribution of f. Using the previous notions, we define a family of possibilistic variables, which is more general than a possibilistic process. Definition 1 (Family of possibilistic variables) Let be a nonempty set. A family (f t t ), such that ( t )(f t is a possibilistic variable in a τ-space (X t, R t )), is called a family of possibilistic variables in the family ((X t, R t ) t ) of τ-spaces, with index set. A possibilistic process will be defined as a family of possibilistic variables, such that the possibilistic variables of this family have the same sample space. his leads to the following definition. Definition 2 (Possibilistic process) Let be a nonempty set. A family (f t t ), such that ( t )(f t is a possibilistic variable in a τ-space (X, R)), is a possibilistic process in the τ-space (X, R), with index set. If the index set is countable, then (f t t ) is called a discrete possibilistic process. A process (f t t ), for which the index set is a real interval, is called a continuous possibilistic process. 3 Product τ-spaces First, we introduce the notions Cartesian product of a family of sets, projection mapping from a Cartesian product and product mapping. Definition 3 Let (X t t ) be a family of nonempty sets with nonempty index set. hen, the Cartesian product of (X t t ) is the set X t of all X t mappings x, such that ( t )(x(t) X t ). In particular, if ( t )(A t X t ), then A t is the subset of X t, which contains all the elements x of X t, such that ( t )(x(t) A t ). If ( t )(X t = X), then the Cartesian product X t is also denoted by X. For any s, pr,s is the X t X s mapping, defined by ( x X t )(pr,s (x) = x(s)), and is called the s-th projection mapping from X t onto X s. Finally, let A be any set. hen, for any family (f t t ) of A X t mappings f t, the unique mapping f : A X t, such that ( t )(f t = pr,t f), is denoted by f t and is called the product mapping of (f t t ). Using the definitions above we can define the notion ychonov topology or product topology, which is a special case of a weak topology induced on a set (see [Kelley, 1959; Willard, 1970]). Definition 4 Let X be any set and ((X t, t ) t ) a family of topological spaces with nonempty index set. he ychonov topology or product topology on X t is the weak topology induced on X t by the family (pr,t t ) of projections, and is denoted by W((X t, t ) t ). hroughout this section, is a nonempty set and ((X t, R t ) t ) is a family of τ-spaces with index set. Furthermore, the closure operator τ X t is abbreviated by τ. Let (X 1, R 1 ) and (X 2, R 2 ) be τ-spaces. Wang [1982] has defined the product of R 1 and R 2 as the τ-field on X 1 X 2 R 1 R 2 def = τ({a 1 A 2 A 1 R 1 and A 2 R 2 }) (4) where τ = τ X1 X 2, and he has proven that for any (x 1, x 2 ) X 1 X 2 [ (x 1, x 2 ) ] R1 R 2 = [ x 1 ] R1 [ x 2 ] R2. (5) he following definition generalizes Wang s original definition towards the product of an indexed family of τ-fields, without imposing an ordering on the index set. Definition 5 R t denotes the smallest τ-field on X t, such that for any s pr,s is a R t R s measurable mapping. R t is called the product τ-field on X t of the family (R t t ) of τ-fields and
3 ( X t, R t) is called the product τ-space of the family ((X t, R t ) t ) of τ-spaces. In case ( t )(R t = R), where R is a τ-field on X, R t is also denoted by R. he following theorem generalizes (4) and (5). heorem 6 he product τ-field R t satisfies: R t = τ({ A t ( t )(A t R t )}) (6) he atoms of the product τ-field R t are characterized by [ x ] where x X t. R t = [ x(t) ] Rt = pr 1,t ([ x(t) ] R t ), (7) he following definition introduces the notion of measurable cylinder of a product τ-space. Definition 7 For any set such that, let pr, be the mapping from X t onto X t, such that ( x X t )(pr, (x) = x ), where x is the restriction of the mapping x to the domain. hen, let C, = {pr 1, (E) E R t }. Any element of C, is called a measurable - cylinder of ( X t, R t). Furthermore, let C = C,. hen any element of C is a measurable cylinder of ( X t, R t). he following properties can be proven. Proposition 8 1. C is a field on X t. 2. C is a base for the product topology W((X t, R t ) t ) on X t. 3. τ(c ) = τ(w((x t, R t ) t )) = R t. 4. he following statements are equivalent. (a) C is a τ-field on X t. (b) C is a plump field on X t. (c) here exists a set such that and C = C,. (d) C = R t. 5. Moreover, if is a finite set, then C is a τ-field on X t. 4 τ-subspaces and extensions of τ-spaces We first define the notions τ-subspace and extension of a τ-space. Definition 9 Let (X, R X ) and (Y, R Y ) be τ-spaces. hen (X, R X ) is called a τ-subspace of (Y, R Y ), and we write (X, R X ) (Y, R Y ) iff R X = {E X E R Y }. (8) It follows immediately from (8) that X Y. Furthermore, it is easily verified that {E X E R Y } is a τ-field on X, so that definition 9 is meaningful. We now introduce the notion of an extension of a τ- space, which generalizes the notion of coarseness [De Cooman and Kerre, 1993]. Definition 10 Let (X, R X ) and (Y, R Y ) be τ-spaces. hen (Y, R Y ) is called an extension of (X, R X ), and we write (X, R X ) (Y, R Y ) iff R X R Y. (9) Condition (9) implies that X Y, and if X = Y, then R X is coarser than R Y. he following property can easily be proven. Proposition 11 is a partial order on the set of τ- subspaces of any τ-space and is a partial order on the set of extensions of any τ-space. Definition 9 gives rise to the notion extension of a (L, )-possibility space as follows. Definition 12 A (L, )-possibility space (Y, R Y, Π Y ) is called an extension of the (L, )- possibility space (X, R X, Π X ) iff (X, R X ) (Y, R Y ) and Π Y RX = Π X. Since any τ-space (X, R) is a topological space, the the following results can be shown to hold. Proposition 13 Let (X, R) be a τ-space. hen (X, R) is a compact topological space iff X R is finite. A subset A of X is closed and compact in (X, R) iff A is a finite union of atoms of R. By the previous proposition, a τ-space (X, R) is not always a compact topological space, However [Kelley, 1959], a noncompact topological space (X, R) can always be embedded in a compact topological space. In particular, if we let be the set R {X \ G G is a closed, compact set in (X, R)} (10) where X = X { } and X, then (X, ) is a compact topological space, and is called a one-point compactification of (X, R). If (X, R) is a compact topological space, then let X = X and = R. Furthermore, if R = τ X ( ), then, according to definition 10, (X, R ) is an extension of (X, R). his leads to the following definition.
4 Definition 14 Let (X, R) be a τ-space. hen (X, R ) is called a *-extension of (X, R). (X, R ) is called a one-point extension of (X, R) iff (X, R) is a noncompact topological space. For a one-point extension (X, R ) of (X, R), (X, ) is called the one-point compactification associated with (X, R ). Using the previous definition, we obtain the following proposition. Proposition 15 Let (X, R) be a τ-space and let (X, R ) be a *-extension of (X, R). hen (X, R) (X, R ) and (X, R) (X, R ). In particular, 1. if (X, R) is compact, then R = = R and XR = X R, 2. if (X, R ) is a one-point extension of (X, R), then R = τ X (R), XR = X R {{ }}, and R R. 5 Main result In this section, let ((X t, R t ) t ) be a family of τ-spaces with nonempty index set and let s. We can associate a *-extension (Xs, Rs) with the τ-space (X s, R s ). According to definition 14, if (Xs, R s) is a one-point extension of (X s, R s ), then Xs = X s { s }, where s X s and using proposition 15, R s = τ X s (s ) = τ X s (R s ), in which (Xs, s ) is the one-point compactification associated with (Xs, R s). In case (X s, R s ) is a compact topological space, (Xs, R s) coincides with (X s, R s ). Furthermore, if pr,s is the s-th projection mapping from Xt onto Xs, then R t is the smallest τ-field on Xt, such that ( s )(pr,s is a R t R s measurable mapping). Also, if is a nonempty, finite subset of, pr, denotes the mapping from Xt onto Xt, such that ( x Xt )(pr, (x) = x ). For any nonempty, finite subset of, we define C, 1 = {pr, (E) E R t }. hen C = C, is, in accordance with definition 7 and proposition 8, the field of all measurable cylinders of ( Xt, R t ). Finally, let O = {pr 1, (O) O W((X t, t ) t )}, (11) C = {pr 1, (E) E R t }. (12) he following properties can be proven. Proposition C O C 2. R t = τ Xt (C ) = τ X t (W((X t, t ) t )) = τ X t (O ). 3. For any set such that, it follows that ( X t, R t ) ( X t, R t ) and ( X t, R t ) ( X t, R t ). We are now ready to proceed to the main topic of this paper, namely, finding a possibilistic counterpart for the probabilistic Daniell-Kolmogorov theorem. We want to prove that, if we have a family of L-valued functions on finite Cartesian powers of a sample space, and if these functions satisfy natural consistency conditions, then we can always find a basic space with possibility measure, and a family of possibilistic variables that have these L-valued functions as their possibility distribution functions. As a matter of fact, we prove a more general result, of which the possibilistic Daniell-Kolmogorov theorem turns out to be a special case. Let (π ) be a family of distributions such that π is the distribution of a (L, )-possibility measure Π on the τ-space ( X t, R t ) for any nonempty, finite subset of. For such family of distributions, we introduce the following consistency condition. Definition 17 (π ) is called consistent iff for any two sets 1 and 2 such that 1 2, we have: ( ) ( x 1 X t ) π 1 (x) = sup π 2 (y) pr 2, 1 (y)=x. (13) Furthermore, for any set such that, let π denote the X t L mapping, given for any x Xt by { π π (x) = (x) if x X t. (14) 0 otherwise If Π denotes the (L, )-possibility measure on ( Xt, R t ) with distribution π, then Π Rt= Π and using proposition 16.3, it fol- lows that ( Xt, R t, Π ) is an extension of the (L, )-possibility space ( X t, R t, Π ). With the above notations, we obtain directly the following result. Proposition 18 he family (π ) is consistent iff the family (π ) is consistent. Recently, Boyen et al. [1995] have generalized Wang s definition [Wang, 1985; Wang and Klir, 1992] of P-consistency for set mappings as follows.
5 Definition 19 Let X be a nonempty set, A a family of subsets of X and (L, ) a complete lattice. A A L mapping Π is called P-consistent iff for any family (A j j J) of elements of A and any element A of A: A j J A j Π(A) sup j J Π(A j ). he notion of P-consistency was introduced by Wang [Wang, 1985; Wang and Klir, 1992] in the context of the extension of set mappings with ([0, 1], ) as codomain to ([0, 1], )-possibility measures. he notion of extendability is generalized by Boyen et al. [1995] as follows. Definition 20 Let X be a nonempty set, A a family of subsets of X and (L, ) a complete lattice. A A L mapping Π is extendable to a (L, )-possibility measure on a τ-space (X, R) iff there exists a (L, )- possibility measure Π on (X, R) such that ( A A)(Π(A) = Π (A)). Π is called extendable to a (L, )- possibility measure iff there exists an ample field R on X such that Π is extendable to a (L, )-possibility measure on (X, R). he following theorem [Boyen et al., 1995] is needed to prove the theorems that follow. heorem 21 Let X be a nonempty set, A be a family of subsets of X and (L, ) a complete lattice. hen, for any P-consistent A L mapping Π, any of the following conditions is sufficient for the extendability of Π. (E 1 ) (L, ) is a complete chain. (E 2 ) A is a plump field. (E 3 ) (L, ) = (B, ), where B is a plump field on some set Y. Moreover, the complete lattice (L, ) can always be embedded using a supremum preserving mapping φ into a second complete lattice (L, ), in such a way that for any P-consistent A L mapping Π, φ Π is a P-consistent A L mapping which is extendable to a (L, )-possibility measure. Now, we are ready to construct a possibility measure on the product τ-space ( Xt, R t ) by means of the family (π ). herefore, we need the following result. heorem 22 Suppose the family (π ) is consistent, then the C L mapping Π, such that ( B C )(Π (B) = Π (A)), (15) in which satisfies and A R t such that B = pr 1, (A) is well defined. Furthermore, Π has the following properties: 1. Π preserves finite suprema, and therefore is an isotone mapping from (C, ) to (L, ). 2. If is a nonempty, finite subset of, then the restriction Π C is a (L, )-possibility measure, on ( Xt, C, ). 3. If C is a τ-field on X t, then Π is a (L, )- possibility measure on ( X t, C ). 4. If ( t )((X t, R t ) is a compact topological space ), then Π is P-consistent. 5. Π O is P-consistent. Using theorem 22.5 and theorem 21, we can construct a possibility measure on ( X t, R t ) as follows. heorem 23 Suppose the family (π ) is consistent. hen there exist a complete lattice (L, ), a supremum preserving order-embedding φ from (L, ) to (L, ) and a (L, )-possibility measure Π on ( Xt, R t ), such that Π O = φ (Π O ), in which Π is the mapping constructed in theorem 22. If the mapping Π O satisfies at least one of the sufficient conditions for extendability (E 1 ), (E 2 ), (E 3 ), then one can take (L, ) for (L, ) and 1 L for φ. his theorem can be translated into the following result, which provides the starting point for a measure-theoretic treatment of possibilistic processes. heorem 24 Suppose the family (π ) is consistent. hen there exist a (L, )-possibility space (Ω, R Ω, Π Ω ), where (L, ) is a complete lattice in which (L, ) is embedded using a supremum preserving mapping φ from (L, ) to (L, ), and a family (f t t ) of (L, )-possibilistic variables in the family ((Xt, R t ) t ), with (Ω, R Ω, Π Ω ) as basic space, such that for any x X t, and π f t (x) = (φ π )(x) Π f t ( X t ) = (φ Π )( X t ), for any nonempty, finite subset of. If the mapping Π O, constructed in theorem 22, satisfies at least one of the sufficient conditions for extendability (E 1 ), (E 2 ), (E 3 ), then one can take (L, ) for (L, ) and 1 L for φ. If the field C is a τ-field on X, then there exist a (L, )-possibility space (Ω, R Ω, Π Ω ) and a family (f t t ) of (L, )-possibilistic variables in the family ((X t, R t ) t ) with (Ω, R Ω, Π Ω ) as basic space, such that π is the possibility distribution of f t for any nonempty, finite subset of. From the previous theorem we can immediately derive a possibilistic Daniell-Kolmogorov theorem [Doob, 1967].
6 Corollary 25 Suppose the family (π ) is consistent. Furthermore, assume that any τ- space (X t, R t ) coincides with a τ-space (X, R) for any t. hen there exist a (L, )-possibility space (Ω, R Ω, Π Ω ), where (L, ) is a complete lattice in which (L, ) is embedded using a supremum preserving mapping φ from (L, ) to (L, ), and a possibilistic process (f t t ) in a *-extension (X, R ) of (X, R), with (Ω, R Ω, Π Ω ) as basic space, such that and π f t X = φ π, Π f t ((X ) ) = (φ Π )(X ), for any nonempty, finite subset of. If the mapping Π O, constructed in theorem 22, satisfies at least one of the sufficient conditions for extendability (E 1 ), (E 2 ), (E 3 ), then one can take (L, ) for (L, ) and 1 L for φ. If the field C of measurable cylinders of (X, R ) is a τ-field on X, then there exist a (L, )-possibilitity space (Ω, R Ω, Π Ω ) and a family (f t t ) of (L, )-possibilistic variables in the τ- space (X, R) with (Ω, R Ω, Π Ω ) as basic space, such that π is the possibility distribution of f t for any nonempty, finite subset of. Note that this is not a perfect analogon of the probabilistic Daniell-Kolmogorov theorem. In case of a noncompact sample space (X, R), we obtain a possibilistic process (f t t ) in a one-point extension (X, R ). Although this sample space (X, R ) is larger than the given τ-space (X, R), we obtain for any nonempty, finite subset of that the restriction π f t X of the joint distribution of the finite subfamily (f t t ) of the possibilistic process (f t t ) to the finite Cartesian power X of the given sample space (X, R) is completely determined by the given distribution π. Furthermore, Π f t ((X ) ) = (φ Π )(X ) = Π f t (X ) for any nonempty, finite subset of. So, by extending the sample space (X, R) to a one-point extension (X, R ), the possibility of a finite Cartesian product of the sample space (X, R ) still equals the possibility of the corresponding Cartesian product of the given space (X, R). In case the given space (X, R) is compact, we have a true analogon of the probabilistic Daniell-Kolmogorov theorem. If the index set is finite, we obtain the following result. Corollary 26 Suppose the family (π ) is consistent. If is finite, then there exist a (L, )-possibility space (Ω, R Ω, Π Ω ) and a family (f t t ) of (L, )-possibilistic variables in the family ((X t, R t ) t ) with (Ω, R Ω, Π Ω ) as basic space, such that π is the possibility distribution of f t for any nonempty subset of. If any τ-space (X t, R t ) coincides with a τ-space (X, R) for any t, this corollary is a special case of the possibilistic Daniell-Kolmogorov theorem, which is a true analogon of its probabilistic counterpart. References [De Cooman and Kerre, 1993] G. de Cooman and E. E. Kerre. Ample Fields. Simon Stevin, 67: , [Boyen et al., 1995] L. Boyen, G. de Cooman and E.E. Kerre. On the extension of P-consistent mappings. In De Cooman, G. and Ruan, D. and Kerre, E. E., editor, Foundations and Applications of Possibility heory, pages 88 98, Singapore, World Scientific. [De Cooman, 1993] G. de Cooman. Evaluatieverzamelingen en -afbeeldingen - Een ordetheoretische benadering van vaagheid en onzekerheid [Evaluation Sets and Mappings - An Order-heoretic Approach to Vagueness and Uncertainty]. PhD thesis, Universiteit Gent, Ghent, [Doob, 1967] J. L. Doob. Stochastic Processes. John Wiley & Sons, New York, [Kelley, 1959] J. L. Kelley. General opology. D. Van Nostrand, Princeton, New Jersey, [Wang and Klir, 1992] Z. Wang and G. J. Klir. Fuzzy Measure heory. Plenum Press, New York, [Wang, 1982] P.-Z. Wang. Fuzzy contactibility and fuzzy variables. Fuzzy Sets and Systems, 8:81 92, [Wang, 1985] Z. Wang. Extension of possibility measures defined on an arbitrary nonempty class of sets. In Proceedings of the First IFSA Congress, Palma de Mallorca, Spain, [Willard, 1970] S. Willard. General opology. Addison-Wesley, Reading, Massachusetts, 1970.
G. de Cooman E. E. Kerre Universiteit Gent Vakgroep Toegepaste Wiskunde en Informatica
AMPLE FIELDS G. de Cooman E. E. Kerre Universiteit Gent Vakgroep Toegepaste Wiskunde en Informatica In this paper, we study the notion of an ample or complete field, a special case of the well-known fields
More informationbetween implicator and coimplicator integrals,
Implicator coimplicator integrals Gert de Cooman Universiteit Gent Elektrische Energietechniek Technologiepark 9, 9052 Zwijnaarde, Belgium gert.decooman@rug.ac.be Bernard De Baets Universiteit Gent Toegepaste
More informationGERT DE COOMAN AND DIRK AEYELS
POSSIBILITY MEASURES, RANDOM SETS AND NATURAL EXTENSION GERT DE COOMAN AND DIRK AEYELS Abstract. We study the relationship between possibility and necessity measures defined on arbitrary spaces, the theory
More informationPOSSIBILITY THEORY I THE MEASURE- AND INTEGRAL-THEORETIC GROUNDWORK GERT DE COOMAN
POSSIBILITY THORY I TH MASUR- AND INTGRAL-THORTIC GROUNDWORK GRT D COOMAN Universiteit Gent, Vakgroep lektrische nergietechniek Technologiepark 9, B-9052 Zwijnaarde, Belgium. -mail: gert.decooman@rug.ac.be
More informationPOSSIBILITY THEORY III POSSIBILISTIC INDEPENDENCE GERT DE COOMAN
POSSIBILITY THEORY III POSSIBILISTIC INDEPENDENCE GERT DE COOMAN Universiteit Gent, Vagroep Eletrische Energietechnie Technologiepar 9, B-9052 Zwijnaarde, Belgium. E-mail: gert.decooman@rug.ac.be Dedicated
More informationPractical implementation of possibilistic probability mass functions
Soft Computing manuscript No. (will be inserted by the editor) Practical implementation of possibilistic probability mass functions Leen Gilbert, Gert de Cooman 1, Etienne E. Kerre 2 1 Universiteit Gent,
More informationPractical implementation of possibilistic probability mass functions
Practical implementation of possibilistic probability mass functions Leen Gilbert Gert de Cooman Etienne E. Kerre October 12, 2000 Abstract Probability assessments of events are often linguistic in nature.
More informationRough Approach to Fuzzification and Defuzzification in Probability Theory
Rough Approach to Fuzzification and Defuzzification in Probability Theory G. Cattaneo and D. Ciucci Dipartimento di Informatica, Sistemistica e Comunicazione Università di Milano Bicocca, Via Bicocca degli
More informationE.7 Alaoglu s Theorem
E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem
More informationNotes on Ordered Sets
Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,
More informationWe will begin our study of topology from a set-theoretic point of view. As the subject
p. 1 Math 490-01 Notes 5 Topology We will begin our study of topology from a set-theoretic point of view. As the subject expands, we will encounter various notions from analysis such as compactness, continuity,
More informationTopology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski
Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology
More informationTOPOLOGICAL ASPECTS OF YAO S ROUGH SET
Chapter 5 TOPOLOGICAL ASPECTS OF YAO S ROUGH SET In this chapter, we introduce the concept of transmissing right neighborhood via transmissing expression of a relation R on domain U, and then we study
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationRecursive definitions on surreal numbers
Recursive definitions on surreal numbers Antongiulio Fornasiero 19th July 2005 Abstract Let No be Conway s class of surreal numbers. I will make explicit the notion of a function f on No recursively defined
More informationOn Soft Regular Generalized Closed Sets with Respect to a Soft Ideal in Soft Topological Spaces
Filomat 30:1 (2016), 201 208 DOI 10.2298/FIL1601201G Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat On Soft Regular Generalized
More informationThat is, there is an element
Section 3.1: Mathematical Induction Let N denote the set of natural numbers (positive integers). N = {1, 2, 3, 4, } Axiom: If S is a nonempty subset of N, then S has a least element. That is, there is
More informationContinuity of partially ordered soft sets via soft Scott topology and soft sobrification A. F. Sayed
Bulletin of Mathematical Sciences and Applications Online: 2014-08-04 ISSN: 2278-9634, Vol. 9, pp 79-88 doi:10.18052/www.scipress.com/bmsa.9.79 2014 SciPress Ltd., Switzerland Continuity of partially ordered
More informationConvergence of Feller Processes
Chapter 15 Convergence of Feller Processes This chapter looks at the convergence of sequences of Feller processes to a iting process. Section 15.1 lays some ground work concerning weak convergence of processes
More informationSpring -07 TOPOLOGY III. Conventions
Spring -07 TOPOLOGY III Conventions In the following, a space means a topological space (unless specified otherwise). We usually denote a space by a symbol like X instead of writing, say, (X, τ), and we
More informationAbstract Measure Theory
2 Abstract Measure Theory Lebesgue measure is one of the premier examples of a measure on R d, but it is not the only measure and certainly not the only important measure on R d. Further, R d is not the
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationOn Markov Properties in Evidence Theory
On Markov Properties in Evidence Theory 131 On Markov Properties in Evidence Theory Jiřina Vejnarová Institute of Information Theory and Automation of the ASCR & University of Economics, Prague vejnar@utia.cas.cz
More informationINDEPENDENCE THEORIES AND GENERALIZED ZERO-ONE LAWS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 66, Number I, September 1977 INDEPENDENCE THEORIES AND GENERALIZED ZERO-ONE LAWS LAWRENCE NEFF STOUT1 Abstract. In this paper an abstract characterization
More informationThe applications of the universal morphisms of LF-TOP the category of all fuzzy topological spaces
The applications of the universal morphisms of LF-TOP the category of all fuzzy topological spaces ABDELKRIM LATRECHE 20 Aout 1955 University Sciences Faculty Department of Mathematics Skikda, ALGERIAlgeria
More informationBuilding Infinite Processes from Finite-Dimensional Distributions
Chapter 2 Building Infinite Processes from Finite-Dimensional Distributions Section 2.1 introduces the finite-dimensional distributions of a stochastic process, and shows how they determine its infinite-dimensional
More informationDynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor)
Dynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor) Matija Vidmar February 7, 2018 1 Dynkin and π-systems Some basic
More informationCOUNTABLY S-CLOSED SPACES
COUNTABLY S-CLOSED SPACES Karin DLASKA, Nurettin ERGUN and Maximilian GANSTER Abstract In this paper we introduce the class of countably S-closed spaces which lies between the familiar classes of S-closed
More informationThe prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce
The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada
More informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationFoundations of non-commutative probability theory
Foundations of non-commutative probability theory Daniel Lehmann School of Engineering and Center for the Study of Rationality Hebrew University, Jerusalem 91904, Israel June 2009 Abstract Kolmogorov s
More informationMaximilian GANSTER. appeared in: Soochow J. Math. 15 (1) (1989),
A NOTE ON STRONGLY LINDELÖF SPACES Maximilian GANSTER appeared in: Soochow J. Math. 15 (1) (1989), 99 104. Abstract Recently a new class of topological spaces, called strongly Lindelöf spaces, has been
More informationAssignment #10 Morgan Schreffler 1 of 7
Assignment #10 Morgan Schreffler 1 of 7 Lee, Chapter 4 Exercise 10 Let S be the square I I with the order topology generated by the dictionary topology. (a) Show that S has the least uppper bound property.
More informationGENERAL TOPOLOGY JESPER M. MØLLER
GENERAL TOPOLOGY JESPER M. MØLLER Contents 1. Sets, functions and relations 3 1.1. Sets 3 1.2. Functions 3 1.5. Relations 4 2. The integers and the real numbers 7 3. Products and coproducts 9 4. Finite
More informationMeasurable Choice Functions
(January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
More informationLebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures.
Measures In General Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures. Definition: σ-algebra Let X be a set. A
More informationz -FILTERS AND RELATED IDEALS IN C(X) Communicated by B. Davvaz
Algebraic Structures and Their Applications Vol. 2 No. 2 ( 2015 ), pp 57-66. z -FILTERS AND RELATED IDEALS IN C(X) R. MOHAMADIAN Communicated by B. Davvaz Abstract. In this article we introduce the concept
More informationAperiodic languages and generalizations
Aperiodic languages and generalizations Lila Kari and Gabriel Thierrin Department of Mathematics University of Western Ontario London, Ontario, N6A 5B7 Canada June 18, 2010 Abstract For every integer k
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationIntroduction to generalized topological spaces
@ Applied General Topology c Universidad Politécnica de Valencia Volume 12, no. 1, 2011 pp. 49-66 Introduction to generalized topological spaces Irina Zvina Abstract We introduce the notion of generalized
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More informationBasic Definitions: Indexed Collections and Random Functions
Chapter 1 Basic Definitions: Indexed Collections and Random Functions Section 1.1 introduces stochastic processes as indexed collections of random variables. Section 1.2 builds the necessary machinery
More informationECARES Université Libre de Bruxelles MATH CAMP Basic Topology
ECARES Université Libre de Bruxelles MATH CAMP 03 Basic Topology Marjorie Gassner Contents: - Subsets, Cartesian products, de Morgan laws - Ordered sets, bounds, supremum, infimum - Functions, image, preimage,
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the
More informationINTUITIONISTIC FUZZY TOPOLOGICAL SPACES
INTUITIONISTIC FUZZY TOPOLOGICAL SPACES A THESIS SUBMITTED TO THE NATIONAL INSTITUTE OF TECHNOLOGY, ROURKELA IN THE PARTIAL FULFILMENT FOR THE DEGREE OF MASTER OF SCIENCE IN MATHEMATICS BY SMRUTILEKHA
More informationSets, Structures, Numbers
Chapter 1 Sets, Structures, Numbers Abstract In this chapter we shall introduce most of the background needed to develop the foundations of mathematical analysis. We start with sets and algebraic structures.
More informationFUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES. Yılmaz Yılmaz
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 33, 2009, 335 353 FUNCTION BASES FOR TOPOLOGICAL VECTOR SPACES Yılmaz Yılmaz Abstract. Our main interest in this
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationENDS OF MANIFOLDS: RECENT PROGRESS
ENDS OF MANIFOLDS: RECENT PROGRESS CRAIG R. GUILBAULT Abstract. In this note we describe some recent work on ends of manifolds. In particular, we discuss progress on two different approaches to generalizing
More informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationConvex Analysis and Economic Theory Winter 2018
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Supplement A: Mathematical background A.1 Extended real numbers The extended real number
More informationA Note on the Inverse Limits of Linear Algebraic Groups
International Journal of Algebra, Vol. 5, 2011, no. 19, 925-933 A Note on the Inverse Limits of Linear Algebraic Groups Nadine J. Ghandour Math Department Lebanese University Nabatieh, Lebanon nadine.ghandour@liu.edu.lb
More informationAn arbitrary Hausdorff compactification of a Tychonoff space X obtained from a CD -base by a modified Wallman method
Topology and its Applications 155 (2008) 1163 1168 www.elsevier.com/locate/topol An arbitrary Hausdorff compactification of a Tychonoff space X obtained from a CD -base by a modified Wallman method Hueytzen
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationPOINT SET TOPOLOGY. Definition 2 A set with a topological structure is a topological space (X, O)
POINT SET TOPOLOGY Definition 1 A topological structure on a set X is a family O P(X) called open sets and satisfying (O 1 ) O is closed for arbitrary unions (O 2 ) O is closed for finite intersections.
More informationInt. J. Contemp. Math. Sciences, Vol. 5, 2010, no. 21, Tree Topology. A. R. Aliabad
Int. J. Contemp. Math. Sciences, Vol. 5, 2010, no. 21, 1045-1054 Tree Topology A. R. Aliabad Department of Mathematics Chamran University, Ahvaz, Iran aliabady r@scu.ac.ir Abstract. In this paper, we introduce
More informationAN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov
More informationA SECOND COURSE IN GENERAL TOPOLOGY
Heikki Junnila, 2007-8/2014 A SECOND COURSE IN GENERAL TOPOLOGY CHAPTER I COMPLETE REGULARITY 1. Definitions and basic properties..... 3 2. Some examples..... 7 Exercises....9 CHAPTER II CONVERGENCE AND
More informationFREE STEINER LOOPS. Smile Markovski, Ana Sokolova Faculty of Sciences and Mathematics, Republic of Macedonia
GLASNIK MATEMATIČKI Vol. 36(56)(2001), 85 93 FREE STEINER LOOPS Smile Markovski, Ana Sokolova Faculty of Sciences and Mathematics, Republic of Macedonia Abstract. A Steiner loop, or a sloop, is a groupoid
More informationSolve EACH of the exercises 1-3
Topology Ph.D. Entrance Exam, August 2011 Write a solution of each exercise on a separate page. Solve EACH of the exercises 1-3 Ex. 1. Let X and Y be Hausdorff topological spaces and let f: X Y be continuous.
More information1.1. MEASURES AND INTEGRALS
CHAPTER 1: MEASURE THEORY In this chapter we define the notion of measure µ on a space, construct integrals on this space, and establish their basic properties under limits. The measure µ(e) will be defined
More informationGENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXV, 2(1996), pp. 247 279 247 GENERALIZED DIFFERENCE POSETS AND ORTHOALGEBRAS J. HEDLÍKOVÁ and S. PULMANNOVÁ Abstract. A difference on a poset (P, ) is a partial binary
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationThe Kolmogorov extension theorem
The Kolmogorov extension theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 21, 2014 1 σ-algebras and semirings If X is a nonempty set, an algebra of sets on
More informationThis chapter contains a very bare summary of some basic facts from topology.
Chapter 2 Topological Spaces This chapter contains a very bare summary of some basic facts from topology. 2.1 Definition of Topology A topology O on a set X is a collection of subsets of X satisfying the
More informationAustin Mohr Math 730 Homework. f(x) = y for some x λ Λ
Austin Mohr Math 730 Homework In the following problems, let Λ be an indexing set and let A and B λ for λ Λ be arbitrary sets. Problem 1B1 ( ) Show A B λ = (A B λ ). λ Λ λ Λ Proof. ( ) x A B λ λ Λ x A
More informationTranslative Sets and Functions and their Applications to Risk Measure Theory and Nonlinear Separation
Translative Sets and Functions and their Applications to Risk Measure Theory and Nonlinear Separation Andreas H. Hamel Abstract Recently defined concepts such as nonlinear separation functionals due to
More informationPlanar and Affine Spaces
Planar and Affine Spaces Pýnar Anapa İbrahim Günaltılı Hendrik Van Maldeghem Abstract In this note, we characterize finite 3-dimensional affine spaces as the only linear spaces endowed with set Ω of proper
More informationA note on the σ-algebra of cylinder sets and all that
A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More information1 k x k. d(x, y) =sup k. y k = max
1 Lecture 13: October 8 Urysohn s metrization theorem. Today, I want to explain some applications of Urysohn s lemma. The first one has to do with the problem of characterizing metric spaces among all
More informationHomework 5. Solutions
Homework 5. Solutions 1. Let (X,T) be a topological space and let A,B be subsets of X. Show that the closure of their union is given by A B = A B. Since A B is a closed set that contains A B and A B is
More informationS. Mrówka introduced a topological space ψ whose underlying set is the. natural numbers together with an infinite maximal almost disjoint family(madf)
PAYNE, CATHERINE ANN, M.A. On ψ (κ, M) spaces with κ = ω 1. (2010) Directed by Dr. Jerry Vaughan. 30pp. S. Mrówka introduced a topological space ψ whose underlying set is the natural numbers together with
More information{x : P (x)} P (x) = x is a cat
1. Sets, relations and functions. 1.1. Set theory. We assume the reader is familiar with elementary set theory as it is used in mathematics today. Nonetheless, we shall now give a careful treatment of
More informationTHE JORDAN-BROUWER SEPARATION THEOREM
THE JORDAN-BROUWER SEPARATION THEOREM WOLFGANG SCHMALTZ Abstract. The Classical Jordan Curve Theorem says that every simple closed curve in R 2 divides the plane into two pieces, an inside and an outside
More informationand the union is open in X. If12U j for some j, then12 [ i U i and bx \ [ i (X \ U i ) U i = \ i ( b X \ U i )= \ i
29. Mon, Nov. 3 Locally compact Hausdor spaces are a very nice class of spaces (almost as good as compact Hausdor ). In fact, any such space is close to a compact Hausdor space. Definition 29.1. A compactification
More informationOn minimal models of the Region Connection Calculus
Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science
More informationErgodic Theory. Constantine Caramanis. May 6, 1999
Ergodic Theory Constantine Caramanis ay 6, 1999 1 Introduction Ergodic theory involves the study of transformations on measure spaces. Interchanging the words measurable function and probability density
More informationON ALMOST COUNTABLY COMPACT SPACES. Yankui Song and Hongying Zhao. 1. Introduction
MATEMATIQKI VESNIK 64, 2 (2012), 159 165 June 2012 originalni nauqni rad research paper ON ALMOST COUNTABLY COMPACT SPACES Yankui Song and Hongying Zhao Abstract. A space X is almost countably compact
More informationProofs for Large Sample Properties of Generalized Method of Moments Estimators
Proofs for Large Sample Properties of Generalized Method of Moments Estimators Lars Peter Hansen University of Chicago March 8, 2012 1 Introduction Econometrica did not publish many of the proofs in my
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationMath 201 Topology I. Lecture notes of Prof. Hicham Gebran
Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and
More informationThe Space of Maximal Ideals in an Almost Distributive Lattice
International Mathematical Forum, Vol. 6, 2011, no. 28, 1387-1396 The Space of Maximal Ideals in an Almost Distributive Lattice Y. S. Pawar Department of Mathematics Solapur University Solapur-413255,
More informationStochastic Processes. Winter Term Paolo Di Tella Technische Universität Dresden Institut für Stochastik
Stochastic Processes Winter Term 2016-2017 Paolo Di Tella Technische Universität Dresden Institut für Stochastik Contents 1 Preliminaries 5 1.1 Uniform integrability.............................. 5 1.2
More information11 Annihilators. Suppose that R, S, and T are rings, that R P S, S Q T, and R U T are bimodules, and finally, that
11 Annihilators. In this Section we take a brief look at the important notion of annihilators. Although we shall use these in only very limited contexts, we will give a fairly general initial treatment,
More informationBanach-Mazur game played in partially ordered sets
Banach-Mazur game played in partially ordered sets arxiv:1505.01094v1 [math.lo] 5 May 2015 Wies law Kubiś Department of Mathematics Jan Kochanowski University in Kielce, Poland and Institute of Mathematics,
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationCHAPTER 4. βs as a semigroup
CHAPTER 4 βs as a semigroup In this chapter, we assume that (S, ) is an arbitrary semigroup, equipped with the discrete topology. As explained in Chapter 3, we will consider S as a (dense ) subset of its
More informationA normally supercompact Parovičenko space
A normally supercompact Parovičenko space A. Kucharski University of Silesia, Katowice, Poland Hejnice, 26.01-04.02 2013 normally supercompact Parovičenko space Hejnice, 26.01-04.02 2013 1 / 12 These results
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationPhysical justification for using the tensor product to describe two quantum systems as one joint system
Physical justification for using the tensor product to describe two quantum systems as one joint system Diederik Aerts and Ingrid Daubechies Theoretical Physics Brussels Free University Pleinlaan 2, 1050
More informationNear approximations via general ordered topological spaces M.Abo-Elhamayel Mathematics Department, Faculty of Science Mansoura University
Near approximations via general ordered topological spaces MAbo-Elhamayel Mathematics Department, Faculty of Science Mansoura University Abstract ough set theory is a new mathematical approach to imperfect
More information