Genericity: A Measure Theoretic Analysis
|
|
- Dustin Bradford
- 5 years ago
- Views:
Transcription
1 Genericity: A Measure Theoretic Analysis Massimo Marinacci Draft of December 1994 y 1 Introduction In many results of Mathematical Economics the notion of smallness plays a crucial role. Indeed, it often turns out that desirable properties do not hold in all the environment of interest, but only in some of its parts. For example, this is usually the case in the di erentiable approach to General Equilibrium (see e.g. [4]). The purpose of the analysis then becomes to prove that the desired property fails only in a negligible part of the environment. This is the so called generic point of view (see e.g. [14, pp ]). In a similar approach it is crucial to make precise what is meant by terms like negligible and generic. Two notions of smallness are available. On one hand, nowhere dense subsets and meager (often called rst category) subsets have been regarded as small in a topological sense. To help intuition, observe that a nowhere dense subset of the real line is a subset full of holes. On the other hand, from a measure-theoretic viewpoint the notion of small is represented by nullsets. Consequently, quoting [15, p.4], it is natural to ask whether these notions of smallness are related. This is the purpose of the study of residual measures, i.e. Borel measures that give measure zero to all meager sets. With respect to a residual measure, meager subsets are small not only in a topological sense, but also in measure theoretic one. In this paper we will investigate under which conditions these measures exist. In particular, it will turn Department of Economics, Northwestern University. I wish to thank Keith Burns and Itzhak Gilboa for helpful comments. Financial support from Ente Einaudi is gratefully acknowledged. y First draft: February
2 out that in many interesting spaces these measures do not exist. This means that in such spaces for any given nite Borel measure there always exists a meager subset A such that (A) > 0; i.e. a topologically negligible set which is not negligible from a measure-theoretic standpoint. A similar situation already occurs in Euclidean spaces. In fact, in these spaces genericity analysis integrates topological and measure-theoretic considerations. For example, by considering as negligible the sets whose closure has Lebesgue measure zero. However, in Euclidean spaces the topological and measure-theoretic notions employed have usually a strong intuitive basis, and there is a natural way to integrate them. This is not the case in abstract spaces, where the analysis is usually based on the topological notions of smallness. Our results show that in many spaces of interest it is impossible to have a measure-theoretic support for the topological approach. In other words, there is no Borel measure for which all the topologically negligible sets get measure zero. Stronger results have been obtained for nonatomic measures by Marczewski and Sikorski [12] and [13]. In particular, they have proved that given any nonatomic nite Borel measure de ned on a metric spaces with a basis whose cardinal is nonmeasurable (see below; separable metric spaces are an example) it is always possible to decompose the space in two disjoint subsets, one meager, the other one of measure zero. The results presented here are weaker, but hold for any nite Borel measure, not necessarily nonatomic. As an aside, it is worth noting that the results of Marczewski and Sikorski are important for the analysis of Nash re nements in normal form games with in nite strategy spaces. Here the problem is to nd the appropriate in nite counterpart of completely mixed strategies, on which re nements for nite games are based. A natural candidate are the Borel measures with full support, i.e. measures assigning strictly positive mass to every nonempty open subset. In Simon and Stinchcombe [19] is developed an approach to in nite games re nements based on full support Borel measures. However, the results of Marczewski and Sikorski show that for every full support nonatomic measure on a metric space with a basis whose cardinal is nonmeasurable, there exists a partition fa; A c g such that A is meager and (A c ) = 0. In other words, even though puts strictly positive measure to all open sets, there exists a topologically large set like A c which gets zero measure under. As nonatomic measures are an important class of mixed strategies, this shows that full support measures are a much weaker notion 2
3 than completely mixed strategies in nite spaces. Besides genericity analysis, residual measures are interesting in the theory of Boolean algebras. Indeed, let A be a Boolean -algebra and P a probability measure (not necessarily strictly positive) de ned on it. By the Loomis-Sikorski representation theorem, to the pair (A; P ) can be associated a measure space characterized by a residual measure. Using techniques of this type it is possible to derive some results about probability measures de ned on Boolean algebras from propositions established for residual measures. The paper is organized as follows. Section 2 contains some preliminary notions. Section 3 gives existence results concerning residual measures. In section 4 the results of section 3 are used in order to obtain some non-existence results for probability measures de ned on Boolean algebras. Finally, in section 5 the constructions of the previous sections are used to get a result about the ranges of probability measures on Boolean algebras. We follow the notation of [10]. This implies, for instance, that lower and upper cases will usually denote, respectively, sets and Boolean algebras. 2 Preliminary notions 2.1 Measures Let X be a topological space and let cl(a) and int(a) denote, respectively, the closure and the interior of a subset a X. A subset a is nowhere dense if int (cl(a)) =?, i.e. if the closure of a has empty interior. Nowhere dense subsets have no interior points. A subset a is meager (or of the rst category) if it can be represented as a countable union of nowhere dense subsets. They are the subsets of X which can be approximated by nowhere dense subsets. We now de ne some classes of Borel probability measures. De nition 1 A Borel probability measure P de ned on a topological space X is regular if for all Borel subsets a we have P (a) = sup fp (c) : c aand cclosedg = inf fp (v) : a vand vopeng : 3
4 De nition 2 A Borel probability measure P de ned on a topological space X is - additive if whenever fg g is a net of open subsets such that g g for, then P [! g = sup P (g ): Let M denote the -ideal of all meager Borel subsets. measures. Next we de ne residual De nition 3 A Borel probability measure P de ned on a topological space X is residual if P (a) = 0 for all a 2 M. Given a probability measure P on a eld A, a subset a 2 A is called a P -atom if: (i) P (a) > 0; (ii) if b a and b 2 A, then either P (b) = 0 or P (a n b) = 0: De nition 4 A Borel probability measure P de ned on a topological space X is nonatomic if there are no P -atoms. In the sequel we make use also of the notion of nonmeasurable cardinal. Indeed, suppose that on the power set of a space X there exists a di use probability measure, i.e. a measure giving measure zero to all singletons. In such a case, the cardinal number of X is called measurable. Instead, a is called nonmeasurable if the previous property does not hold for all spaces of Now we turn to Boolean algebras. For basic notions and results we refer to [10]. We begin with a de nition. A bit of notation: 1 is the unit element of A, while P 1 n=1 a n is the supremum of fa n g 1 n=1 in A. De nition 5 A probability measure P on a Boolean algebra A is a real-valued function such that: (i) P (a) 0 for all a 2 A; (ii) P ( P 1 n=1 a n) = P 1 n=1 P (a n) whenever fa n g 1 n=1 A is a set of pairwise disjoint elements for which P 1 n=1 a n exists; 4
5 (iii) P (1) = 1: It is worth noting that P has not been de ned as a strictly positive measure (i.e. it is not required P (a) = 0 i a is the zero element). It is important to distinguish the previous de nition from the usual de nition of probability measures on elds of subsets. Let A be a eld of subsets. A real valued set function P on A is countably additive if: (iii ) P ( S 1 n=1 a n) = P 1 n=1 P (a n) whenever fa n g 1 n=1 A is a set of pairwise disjoint elements such that S 1 n=1 a n 2 A. Condition (iii ) is quite di erent from condition (iii) in de nition 5, as it was stressed in [8]. In fact, P 1 n=1 a n, the supremum of fa n g 1 n=1 in A, can exists even when S 1 n=1 a n is not in A. Instead, if S 1 n=1 a n 2 A, then S 1 n=1 a n = P 1 n=1 a n. Therefore, if a set function satis es (iii ), then it satis es (iii), while a set function which satis es (iii ) can fail to satisfy (iii). We illustrate this failure with what would be otherwise a counterexample to the results of next section. Example. Let A be the smallest eld of subsets of [0; 1) generated by the intervals [a; b), with 0 a < b 1: The eld A is both separable and atomless (these notions are introduced below). It is known that each element of A can be expressed as a nite and disjoint union of half-open intervals of the form [a; b). Consequently, each element of A contains an open subset. Now, let m be the restriction of the Lebesgue measure on A. We want to show that m does not satisfy condition (iii) of de nition 5. In fact, let us construct a subset of [0; 1) in a way similar to that of the Cantor set. However, this time at stage n we delete 2 n 1 intervals of the form [a; b) and of length (3 n ), with 0 < < 1: We denote by c ;n what remains after stage n and we set c = T 1 n=1 c ;n. The subsets c ;n belong to A for all n 1: Moreover, we have c c 0 where c was de ned in section 2. Thus cl(c ) c, and so c is nowhere dense. This implies that c does not contain any open subset. Therefore, c not belong to A because we have already seen that each element of A has a non-empty interior. Furthermore, for the same reason all subsets of c do not belong to A. To sum up, T 1 n=1 c ;n = c 6 2A and ^1n=1c ;n =?. In section 2 we said that m(c ) = 1. Looking at the construction of c, it is easy to see that the continuity of m implies m(c ) = m(c ). Therefore, using again the continuity of m, we have lim n!1 m(c ;n) = m(c ) = 1. But 5
6 m(^1n=1c ;n) = m(?) = 0. Hence, lim n!1 m(c ;n) > m(^1n=1c ;n), and it easy to verify that this violates condition (iii) of de nition Duality This subsection contains some preliminary material on Stone spaces that will be used in section 4. The reader not interested in section 4 can skip this section without loss of continuity. Following [10], Ult(A) denotes the Stone space of A and Clop(Ult(A)) the dual algebra of Ult(A). In the next section we will make use of a generalization of the Loomis-Sikorski representation theorem, due to [18]. To report this generalization we need some further notions. A subset of Ult(A) is -closed provided it is the intersection of countably many subsets in Clop(U lt(a)). A subset of U lt(a) is -nowhere dense if it is a subset of a nowhere dense -closed set. Clearly, a -nowhere dense subset is nowhere dense. Finally, a subset of Ult(A) is of the -category if it is the union of countably many subsets -nowhere dense in U lt(a). Observe that a -category subset is meager in Ult(A). Let M 0 be the -ideal of all subsets of the -category in (Clop (U lt(a))), the - eld generated by Clop(U lt(a)). Set F = f(u [ v 1 ) v 2 with u 2 Clop(Ult(A)) and v 1 ; v 2 2 M 0 g F is a eld contained in (Clop(Ult(A))). Let s : A! Clop(Ult(A)) be the Stone isomorphism. Let h be the -homomorphism from F onto the quotient algebra FjM 0 de ned by h(a) = fb 2 F : ba 2 M 0 g where a 2 F. Let be a homomorphism from A onto FjM 0 de ned by (a) = h(s(a)), where a 2 A. is called the canonical homomorphism. This is the version of Sikorski s result we are interested in: Proposition 1 (Sikorski) The canonical homomorphism is a -isomorphism from A onto FjM 0. A Boolean algebra satis es the countable chain condition, c.c.c. for short, if each pairwise disjoint family in A is at most countable. For this class of Boolean algebras, the next result is proved in [18]: 6
7 Proposition 2 (Sikorski) A Boolean algebra A satis es the c.c.c. if and only if every nowhere dense subset in U lt(a) is -nowhere dense. Therefore, if a Boolean algebra A satis es the c.c.c., then a subset of Ult(A) is meager i it is -nowhere dense. Let M 0 be the -ideal of all meager subsets in (Clop(Ult(A))). By proposition 2, FjM 0 = FjM 0 in a Boolean algebra which satis es the c.c.c. Separable Boolean algebras and atomless Boolean algebras are the two other notions we are interested in. A Boolean algebra A is separable if there exists a countable set D of nonzero elements of A which is dense in A, i.e. such that for every a 2 A, with a 6= 0, there is an element a 0 2 D with a 0 a. A Boolean algebra is atomless if it has no atoms. An atom is a nonzero element a 2 A such that, for every element a 0 2 A with a 0 a; we have either a 0 = a or a 0 = 0, where 0 is the zero element of A. In view of the results of section 3 we are particularly interested in the Boolean algebras in separable Stone spaces. To deal with them we introduce a cardinal function. Let s be a countable subset of the Stone space Ult(A). Let d() be the cardinal function on A de ned by d(a) = min fjsj : s is a dense subset of Ult(A)g : Clearly, Ult(A) is separable i d(a) 0. Remark. Unlike [10], we denote by Bai(X) the Baire - eld of X and not the - eld of subsets with the Baire property. Moreover, we call Baire subsets the elements of Bai(X). 3 Existence of residual measures We begin by proving a quite useful existence result. Proposition 3 Let X be a separable T 1 space. Then there exists a residual regular measure i X has an isolated point. Proof. If x is an isolated point, the Dirac probability measure x is a residual regular measure. For the converse, suppose that X is perfect (i.e. X has no isolated points). 7
8 Since X is a T 1 space, all singletons fxg, for x 2 X, are closed subsets. Since X is perfect, no singleton can be at the same time both open and closed. So int(fxg) =? and the singletons are nowhere dense subsets. Let s be a countable dense subset of X and let P be a regular residual measure. We have P (s) = 0 since P (fxg) = 0; the singletons being nowhere dense subsets. Then P (s) = P x2s P (fxg) = 0: Since s is a dense subset, X n s does not contain any nonempty open subset. This implies that all closed subsets c contained in X n s are such that int(c) =?, i.e. they are nowhere dense subsets. Then P (c) = 0: Since P is regular, we have: P (X n s) = sup fp (c) : c X n s and c closedg : It follows P (X n s) = 0 and so P (X) = P (X n s) + P (s) = 0 for any regular residual measure P: Remark. After the rst draft of this paper was completed, I have found a similar result in [6, p.113]. However my proof is di erent and more direct than that given in [6]. Remark. The Borel measure on [0; 1] is not residual. In fact, there exists a nowhere dense subset with positive Borel measure. This set is constructed like the Cantor set, except that now, at each stage, are deleted intervals of length, with 0 < < 1: The 3 n set has Borel measure 1, and it is nowhere dense. For later reference, we denote this set by c. In [5, proposition 5] it is stated that in a perfect metric space cannot exist a nonzero residual measure which is compact regular. In [2, proposition 4a] it is proved that there exists a nonzero -additive residual measure on a metric space X i X has an isolated point. We can give a more general result. Proposition 4 Let X be a metric space. Then there exists a nonzero residual measure i X has an isolated point. Proof. In [5, p.249] it is proved that a perfect metric space contains a dense subset s which is meager. Let P be a residual measure. Then P (s) = 0: Since s is dense, we have int(x n s) =?. Moreover, since X is a metric space, P is regular. Therefore, in order to complete the proof it su ces to follow the same reasoning employed in the nal part of the proof of proposition 3. 8
9 Proposition 4 is a partial generalization of the well known fact that an Euclidean space can be decomposed in two sets, one of Lebesgue measure zero, the other meager. In proposition 4 we considered metric spaces. Similar results hold for other topological spaces, as the next proposition shows. Here T 3 means regular and T 1. Proposition 5 Let X be a T 3 separable space. Then there exists a residual measure i X has an isolated point. Proof. A separable space has the countable chain property. Therefore it follows from [2, proposition 2a] and from [1, proposition 6] that every residual measure is - additive. On the other hand, by [7, theorem 5.4] every -additive probability measure on a regular space is a regular probability measure. A simple application of proposition 3 completes the proof. Now we turn to nonatomic residual measures. The next proposition contains some non existence results for this class of measures. In particular, points (i) and (iv) will be employed in section 4. We denote by Is(X) the set of all isolated points of the space X. Proposition 6 (i) Let X be a T 3 separable space. Then there is no nonzero nonatomic residual measure. (ii) Let X be a separable metric space. Then there is no nonzero nonatomic residual measure. (iii) Let X be a T 3 space such that Is(X) forms a dense subset. If Is(X) is nonmeasurable, then there is no nonatomic residual measure. (iv) Let X be a compact Hausdor space such that Is(X) forms a dense subset. Then there is no nonatomic and regular residual measure. Proof. (i) Let P be a nonatomic residual measure. Since P is nonatomic, P (fxg) = 0 for all x 2 X. In particular, if s is the countable dense subset of X which exists by hypothesis, we have P (s) = P x2s P (fxg) = 0: Observe that, if there are isolated points in X, they are all contained in s. In fact int(x n s) =?. We have seen in the proof of proposition 5 that all residual measures on a separable T 3 space are regular. Therefore a reasoning similar to the one employed in the proof of proposition shows that P (int(x n s)) = 0: 9
10 (ii) The proof is similar to the one of point (i). (iii) Let P be a nonatomic residual measure. Clearly the cardinal number of each pairwise disjoint family of open subsets is at most jis(x)j. By [2, proposition 2a] every residual measure on X is -additive. In particular, P is -additive. Let I Is(X) with jij 0. From point (i), we know that P (I) = 0: Now suppose that I Is(X) with jij 1. Let us denote the ordinal numbers by Greek letters. It is known that the set I can be put into a one-to-one correspondence with the ordinal numbers less 1 so that can be written I = fx : 1 g (see [16, proposition 3.27]). Set h = [ fx : 1 g : The collection fh : 1 g is a monotone increasing net with respect to set inclusion. Every isolated point is a clopen subset. So h is an open subset for every ordinal number. By de nition, we have I = S fh : 1 g. Therefore it holds P (I) = supfp (h ) : 1 ) because P is -additive. From what we have already proved for jij 0, we can say that P (h ) = 0 for each 1. Therefore P (I) = 0: This implies that every subset of Is(X) of 1 has measure zero. Using trans nite induction, it is easy to extend this conclusion to all jis(x)j. In particular P (Is(X)) = 0. Since Is(X) is a dense subset, we have int(x n Is(X)) =?. Since all -additive measures on a T 3 space are regular, a reasoning similar to the one employed in the proof of proposition 3 shows that P (int(xns)) = 0: (iv) A compact regular Borel probability measure is -additive. Therefore the proof is similar to the one of point (iii). 4 The existence of probability measures on Boolean algebras The existence results proved in the previous section have interesting applications for the study of probability measures de ned on Boolean algebras. We begin with a consequence of proposition 5. Proposition 7 Let A be an atomless Boolean algebra with d(a) 0. Then there is no nonzero probability measure on A. 10
11 Proof. Let Bai(Ult(A)) be the Baire - eld of Ult(A). It is known that Bai(Ult(A)) coincides with the - eld generated by Clop(Ult(A)), i.e. (Clop(Ult(A))). Then M 0 is the collection of all meager Baire subsets. Let P be a probability measure on A. Set P = P 1 h : F! [0; 1] and P s = P s 1 : Clop(Ult(A))! [0; 1]. By propositions 1 and 2, P s and P are probability measure, respectively, on Clop(Ult(A)) and on F. Let P # be the restriction of P to Clop(Ult(A)). If a 2 A, we have: P # (s(a)) = P (s(a)) = P ( 1 (h(s(a))) = P ( 1 ((a))) = P (a) = P s (s(a)): Therefore P # P s, and P is the probability measure which extends P s on F. Clearly M 0 F and it is easy to check that P (v) = 0 for all v 2 M 0. From the inclusions Clop(U lt(a)) F Bai(U lt(a)), it follows (F ) = Bai(U lt(a)). By Caratheodory extension theorem there is a unique probability measure P 0 which extends P s from Clop(Ult(A)) to Bai(Ult(A)). Clearly P 0 coincides with P on F. The Boolean algebra A satis es the countable chain condition (c.c.c.). Suppose not. Let fa i g i2i A be a set of pairwise disjoint and nonzero elements with jij 0. Then fs(a i )g i2i is a set of pairwise disjoint elements in Ult(A). Moreover s(a i ) 6=? for all i 2 I since a i is nonzero. But Ult(A) is separable and so it satis es the c.c.c. for topological spaces. Since the s(a i ) are clopen subsets, this implies that at most a countable number of the s(a i ) are non-empty. This contradiction shows that A satis es the c.c.c.. Therefore, by proposition 2, every nowhere dense subset in U lt(a) is -nowhere dense, i.e. it is contained in a closed nowhere dense subset c such that c = T 1 i=1 u i for some u i 2 Clop(A). Clearly c 2 Bai(Ult(A)). Let a Ult(A) be a meager subset. Then a = S 1 i=1 a i, with a i nowhere dense subsets. By proposition 2, 1[ 1[ a = a i i=1 where the c i are closed and Baire nowhere dense subsets. Since S 1 i=1 c i 2 Bai(Ult(A)), it follows that every meager subset is contained in a Baire meager subset. Let Bor(U lt(a)) be the Borel - eld of Ult(A). Since Ult(A) is compact and Hausdor, there exists a unique regular extension P 00 from Bai(Ult(A)) to Bor(Ult(A)) (see [3, p.183]). Let M be the -ideal of all meager Borel subsets of Ult(A). If a 2 M, we know that there is a subset a 0 2 M 0 such that a a 0. Since P 0 (a 0 ) = 0; it follows that P 00 (a) = 0, i.e. P i=1 c i
12 is a residual measure. Furthermore, P 00 is just the unique extension of P 0. In fact, by now it is clear that every extension of P 0 is residual. And we have seen in the proof of proposition 5 that each residual measure on a - eld like Bor(U lt(a)) is regular. But, there is a unique regular extension. To sum up, we have proved that the existence of a nonzero probability measure P on A implies the existence of a unique nonzero residual and regular measure P 00 on Bor(Ult(A)). However, by proposition 5 we have P 00 0: Therefore, by contraposition, P 0: In [9, theorem 3.2] it was proved that on a separable atomless Boolean algebra there is no nonzero probability measure. This result is now an easy consequence of our proposition 7, as shown by the next corollary. Corollary 1 Let A be a separable atomless Boolean algebra. Then there is no nonzero probability measure on A. Proof. In view of the proof of proposition 7, it su ces to show that Ult(A) is separable. By hypothesis there exists a countable dense subset D of A. Let s : A!Ult(A) be the Stone isomorphism. For every f 2Clop(U lt(a)) there exists a subset v 2 s(d) such that? 6= v f. Since Clop(Ult(A)) is a base for Ult(A), it follows that s(d) is a pseudobase for Ult(A). Let x v 2 v for every v 2 s(d). It is easy to check that fx v g v2s(d) is a countable dense subset of Ult(A). While [9, theorem 3.2] is a consequence of proposition 7, the following result shows that the converse is not true. Proposition 8 There exists an atomless Boolean algebra A with d(a) 0, but not separable. Proof. Let us consider the generalized Cantor space 2 I with I = 0. According to [17, theorem 14.3] its dual eld Clop(2 I ) is a free Boolean algebra with 0 free generators. So Clop(2 I ) is atomless (cf. [10, proposition 9.11]) and has a separable Stone space ([10, corollary 9.7a] and [17, 14E]). However Clop(2 I ) is not a separable Boolean algebra (cf. [9, p.479]). Remark. As shown by corollary 1 and proposition 8, proposition 7 extends the result of Horn and Tarski. Moreover, the proof they gave was algebraic. Instead, our proof of proposition 7 is mainly of topological nature. 12
13 The next proposition shows a rather interesting fact. It says that we can keep the result of proposition 7 by replacing the atomlessness assumption on A with a nonatomicity assumption on the probability measure. Proposition 9 Let A be a Boolean algebra with d(a) 0. Then there is no nonzero nonatomic probability measure on A. Proof. Suppose that P is a nonzero probability measure on A. From the proof of proposition 7 we know that this implies the existence of a nonzero, regular and residual measure P 00 on Bor(Ult(A)). Now suppose that P is nonatomic. Set P s = P s 1 : Clop(Ult(A))! [0; 1]. We already know that P s coincides with the restriction of P 00 on Clop(Ult(A)). It is a simple matter to verify that P s is nonatomic. Let g be a open subset of Ult(A). We have g = S i2i f i with f i 2 Clop(Ult(A) because Clop(Ult(A) is a base. Let g = S ff : and gg. Since P 00 is -additive, we have P 00 (g) = supfp 00 (g ) : gg. If P 00 (g) > 0; then a reasoning similar to the one employed in the proof of proposition 6(iv) allows us to say that there is some f i 2 Clop(Ult(A) such that P s (f i ) > 0: Since P s is nonatomic, f i is not a P s -atom. A fortiori, f i is not a P 00 -atom. Therefore g is not a P 00 -atom. Let c be a closed subset of Ult(A). We have P 00 (c) = P 00 (int(c)) because the boundary b(c) is a nowhere dense Borel subset. Suppose P 00 (c) > 0: Then P 00 (int(c)) > 0 and c is not a P 00 - atom. Let a2bor(ult(a)). Since P 00 is regular we have P 00 (A)= supfp 00 (c) : c a and c 2 Ult(A)g. If P 00 (a) > 0; then P 00 (c) > 0 for some c. Therefore a is not a P 00 -atom and this implies that P 00 is nonatomic. Hence, by proposition 6(i) we have P 00 0 and so, by contraposition, P 0: Proposition 9 shows a class of Boolean algebras which do not admit nonatomic probability measures. A special case of interest is now considered. Corollary 2 Let A be an atomic Boolean algebra which satis es the c.c.c.. Then there is no nonzero nonatomic probability measure on A. Proof. It is known that if a Boolean algebra is atomic, then the subset of the isolated point is dense in the Stone space. Since A satis es the c.c.c., then there are at most a countable number of isolated points. Therefore, Is(Ult(A)) is a countable dense subset of Ult(A), and so d(a) 0. 13
14 5 The range of a nonatomic probability measure Let P be a nonatomic probability measure de ned on a Boolean algebra which satis es the c.c.c.. Using some constructions of the previous sections, we prove that the range R(P ) of P is a dense subset of the unit interval. To do this we need the following result, that can be proved with the techniques used in [11]. Proposition 10 Let X be a topological space on which the open Baire subsets G(X) form a base, and let 0 be a Baire measure which has a inner regular and weakly - additive Borel extension 00. Then R( G(X) ) is dense in R( 00 ). The announced result is now an easy consequence of the last result. Proposition 11 Let P be a nonatomic probability measure de ned on a Boolean algebra A which satis es the c.c.c.. Then R(P ) is a dense subset of [0; 1]. Proof. From the proof of proposition 9 we know that P implies the existence of a regular, nonatomic and residual probability measure P 00 on Bor(Ult(A)). Since X is compact, P 00 is also compact regular and so -additive. By proposition 10; R(P ) is dense in R(P 00 ). But, being P 00 nonatomic, it is known that R(P 00 ) = [0; 1]. Remarks. (i) In looking at this result it is important to keep in mind the distinction between measures on Boolean algebras and measures on elds outlined in section 2. In fact, the example given there shows that this result is not true for probability measures de ned on elds. (ii) Let Bor(<) be the Borel - eld of the real line. Let N be the -ideal of the subsets with Lebesgue measure zero. The quotient algebra Bor(<)=N does not have a separable Stone space (cf. [17, p.95]). But Bor(<)=N satis es the c.c.c.. In fact, on Bor(<)=N there exists a nonzero strictly positive - nite measure induced by the Lebesgue measure. This example shows that proposition 9 does not con ict with proposition 11. References [1] W. Adamski, Note on support-concentrated Borel measures, J. Austral. Math. Soc. (Series A) 29 (1980),
15 [2] T.E. Armstrong and K. Prikry, Residual measures, Illinois J. Math. 22 (1978), [3] R. Ash, Real analysis and probability, Academic Press, New York, [4] G. Debreu, Economies with a nite set of values, Econometrica 38 (1970), [5] B. Fishel and D. Papert, A note on hyperdi use measures, J. London Math. Soc. 39 (1964), [6] J. Flachsmeyer, Normal and category measures on topological spaces, in Gen. Top. and Relations, III, Prague, 1972, [7] R.J. Gardner, The regularity of Borel measures and Borel measure compactness, Proc. London Math. Soc. (3) 30 (1975), [8] E. Hewitt, A note on measures in Boolean algebras, Duke Math. J. 20 (1952), [9] A. Horn and A. Tarski, Measures in Boolean algebras, Trans. Amer. Math. Soc. 64 (1948), [10] S. Koppelberg, General theory of Boolean algebras, in Monk J.D. (ed.), Hanbook of Boolean algebras vol.1, North-Holland, Amsterdam, [11] M. Marinacci, A note on comparative probability structures, mimeo, [12] E. Marczewski and R. Sikorski, Measures in non-separable metric spaces, Coll. Math. 1 (1948), [13] E. Marczewski and R. Sikorski, Remarks on measure and category, Coll. Math. 2 (1949), [14] A. Mas-Colell, The theory of general economic equilibrium: a di erentiable approach, Cambridge University Press, Cambridge, [15] J.C. Oxtoby, Measure and category, Springer-Verlag, New York, [16] J.R. Rosenstein, Linear orderings, Academic Press, New York,
16 [17] R. Sikorski, Boolean algebras, Springer-Verlag, New York, [18] R. Sikorski, Distributivity and representability, Fund. Math. 48 (1960), [19] L.K. Simon and M.B. Stinchcombe, Equilibrium re nement for in nite normal form games, Econometrica 63 (1995),
1 Measure and Category on the Line
oxtoby.tex September 28, 2011 Oxtoby: Measure and Category Notes from [O]. 1 Measure and Category on the Line Countable sets, sets of first category, nullsets, the theorems of Cantor, Baire and Borel Theorem
More informationON DENSITY TOPOLOGIES WITH RESPECT
Journal of Applied Analysis Vol. 8, No. 2 (2002), pp. 201 219 ON DENSITY TOPOLOGIES WITH RESPECT TO INVARIANT σ-ideals J. HEJDUK Received June 13, 2001 and, in revised form, December 17, 2001 Abstract.
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
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 informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationSELF-DUAL UNIFORM MATROIDS ON INFINITE SETS
SELF-DUAL UNIFORM MATROIDS ON INFINITE SETS NATHAN BOWLER AND STEFAN GESCHKE Abstract. We extend the notion of a uniform matroid to the infinitary case and construct, using weak fragments of Martin s Axiom,
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 informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationFINITE BOREL MEASURES ON SPACES OF CARDINALITY LESS THAN c
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 81, Number 4, April 1981 FINITE BOREL MEASURES ON SPACES OF CARDINALITY LESS THAN c R. J. GARDNER AND G. GRUENHAGE Abstract. Let k < c be uncountable.
More informationThe ideal of Sierpiński-Zygmund sets on the plane
The ideal of Sierpiński-Zygmund sets on the plane Krzysztof P lotka Department of Mathematics, West Virginia University Morgantown, WV 26506-6310, USA kplotka@math.wvu.edu and Institute of Mathematics,
More informationBaire measures on uncountable product spaces 1. Abstract. We show that assuming the continuum hypothesis there exists a
Baire measures on uncountable product spaces 1 by Arnold W. Miller 2 Abstract We show that assuming the continuum hypothesis there exists a nontrivial countably additive measure on the Baire subsets of
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
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 informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
More informationSOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS
LE MATEMATICHE Vol. LVII (2002) Fasc. I, pp. 6382 SOME MEASURABILITY AND CONTINUITY PROPERTIES OF ARBITRARY REAL FUNCTIONS VITTORINO PATA - ALFONSO VILLANI Given an arbitrary real function f, the set D
More informationA BOREL SOLUTION TO THE HORN-TARSKI PROBLEM. MSC 2000: 03E05, 03E20, 06A10 Keywords: Chain Conditions, Boolean Algebras.
A BOREL SOLUTION TO THE HORN-TARSKI PROBLEM STEVO TODORCEVIC Abstract. We describe a Borel poset satisfying the σ-finite chain condition but failing to satisfy the σ-bounded chain condition. MSC 2000:
More informationDENSELY k-separable COMPACTA ARE DENSELY SEPARABLE
DENSELY k-separable COMPACTA ARE DENSELY SEPARABLE ALAN DOW AND ISTVÁN JUHÁSZ Abstract. A space has σ-compact tightness if the closures of σ-compact subsets determines the topology. We consider a dense
More informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More informationWHY SATURATED PROBABILITY SPACES ARE NECESSARY
WHY SATURATED PROBABILITY SPACES ARE NECESSARY H. JEROME KEISLER AND YENENG SUN Abstract. An atomless probability space (Ω, A, P ) is said to have the saturation property for a probability measure µ on
More informationSo in the abstract setting dene the following: f n converges to f with respect to I i every subsequence ff n : n 2 Ag has a subsequence B A such that
Souslin's Hypothesis and Convergence in Category by Arnold W. Miller 1 Abstract: A sequence of functions f n : X! R from a Baire space X to the reals R is said to converge in category i every subsequence
More informationCHODOUNSKY, DAVID, M.A. Relative Topological Properties. (2006) Directed by Dr. Jerry Vaughan. 48pp.
CHODOUNSKY, DAVID, M.A. Relative Topological Properties. (2006) Directed by Dr. Jerry Vaughan. 48pp. In this thesis we study the concepts of relative topological properties and give some basic facts and
More informationNEW NORMALITY AXIOMS AND DECOMPOSITIONS OF NORMALITY. J. K. Kohli and A. K. Das University of Delhi, India
GLASNIK MATEMATIČKI Vol. 37(57)(2002), 163 173 NEW NORMALITY AXIOMS AND DECOMPOSITIONS OF NORMALITY J. K. Kohli and A. K. Das University of Delhi, India Abstract. Generalizations of normality, called(weakly)(functionally)
More informationUniquely Universal Sets
Uniquely Universal Sets 1 Uniquely Universal Sets Abstract 1 Arnold W. Miller We say that X Y satisfies the Uniquely Universal property (UU) iff there exists an open set U X Y such that for every open
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationTopics in Mathematical Economics. Atsushi Kajii Kyoto University
Topics in Mathematical Economics Atsushi Kajii Kyoto University 25 November 2018 2 Contents 1 Preliminary Mathematics 5 1.1 Topology.................................. 5 1.2 Linear Algebra..............................
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
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 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 informationEssential equilibria in normal-form games
Journal of Economic Theory 145 (2010) 421 431 www.elsevier.com/locate/jet Note Essential equilibria in normal-form games Oriol Carbonell-Nicolau 1 Department of Economics, Rutgers University, 75 Hamilton
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationA NEW LINDELOF SPACE WITH POINTS G δ
A NEW LINDELOF SPACE WITH POINTS G δ ALAN DOW Abstract. We prove that implies there is a zero-dimensional Hausdorff Lindelöf space of cardinality 2 ℵ1 which has points G δ. In addition, this space has
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 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 informationWalker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015
Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use of
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationTopics in Mathematical Economics. Atsushi Kajii Kyoto University
Topics in Mathematical Economics Atsushi Kajii Kyoto University 26 June 2018 2 Contents 1 Preliminary Mathematics 5 1.1 Topology.................................. 5 1.2 Linear Algebra..............................
More informationColumbia University. Department of Economics Discussion Paper Series. The Knob of the Discord. Massimiliano Amarante Fabio Maccheroni
Columbia University Department of Economics Discussion Paper Series The Knob of the Discord Massimiliano Amarante Fabio Maccheroni Discussion Paper No.: 0405-14 Department of Economics Columbia University
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
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 informationA thesis. submitted in partial fulfillment. of the requirements for the degree of. Master of Science in Mathematics. Boise State University
THE DENSITY TOPOLOGY ON THE REALS WITH ANALOGUES ON OTHER SPACES by Stuart Nygard A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics Boise
More informationCHAPTER 5. The Topology of R. 1. Open and Closed Sets
CHAPTER 5 The Topology of R 1. Open and Closed Sets DEFINITION 5.1. A set G Ω R is open if for every x 2 G there is an " > 0 such that (x ", x + ") Ω G. A set F Ω R is closed if F c is open. The idea is
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More information4 Choice axioms and Baire category theorem
Tel Aviv University, 2013 Measure and category 30 4 Choice axioms and Baire category theorem 4a Vitali set....................... 30 4b No choice....................... 31 4c Dependent choice..................
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
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 informationChapter 3. Topology of the Real Numbers.
3.1. Topology of the Real Numbers 1 Chapter 3. Topology of the Real Numbers. 3.1. Topology of the Real Numbers. Note. In this section we topological properties of sets of real numbers such as open, closed,
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationMeasure and Category. Marianna Csörnyei. ucahmcs
Measure and Category Marianna Csörnyei mari@math.ucl.ac.uk http:/www.ucl.ac.uk/ ucahmcs 1 / 96 A (very short) Introduction to Cardinals The cardinality of a set A is equal to the cardinality of a set B,
More informationNear convexity, metric convexity, and convexity
Near convexity, metric convexity, and convexity Fred Richman Florida Atlantic University Boca Raton, FL 33431 28 February 2005 Abstract It is shown that a subset of a uniformly convex normed space is nearly
More informationUNIVERSITY OF VIENNA
WORKING PAPERS Konrad Podczeck Note on the Core-Walras Equivalence Problem when the Commodity Space is a Banach Lattice March 2003 Working Paper No: 0307 DEPARTMENT OF ECONOMICS UNIVERSITY OF VIENNA All
More informationStochastic Processes
Introduction and Techniques Lecture 4 in Financial Mathematics UiO-STK4510 Autumn 2015 Teacher: S. Ortiz-Latorre Stochastic Processes 1 Stochastic Processes De nition 1 Let (E; E) be a measurable space
More informationarxiv: v1 [math.gn] 27 Oct 2018
EXTENSION OF BOUNDED BAIRE-ONE FUNCTIONS VS EXTENSION OF UNBOUNDED BAIRE-ONE FUNCTIONS OLENA KARLOVA 1 AND VOLODYMYR MYKHAYLYUK 1,2 Abstract. We compare possibilities of extension of bounded and unbounded
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationLecture 8: Basic convex analysis
Lecture 8: Basic convex analysis 1 Convex sets Both convex sets and functions have general importance in economic theory, not only in optimization. Given two points x; y 2 R n and 2 [0; 1]; the weighted
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationSet, functions and Euclidean space. Seungjin Han
Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,
More informationMath General Topology Fall 2012 Homework 11 Solutions
Math 535 - General Topology Fall 2012 Homework 11 Solutions Problem 1. Let X be a topological space. a. Show that the following properties of a subset A X are equivalent. 1. The closure of A in X has empty
More informationCW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.
CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological
More informationAlvaro Rodrigues-Neto Research School of Economics, Australian National University. ANU Working Papers in Economics and Econometrics # 587
Cycles of length two in monotonic models José Alvaro Rodrigues-Neto Research School of Economics, Australian National University ANU Working Papers in Economics and Econometrics # 587 October 20122 JEL:
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationTOPOLOGICAL GROUPS MATH 519
TOPOLOGICAL GROUPS MATH 519 The purpose of these notes is to give a mostly self-contained topological background for the study of the representations of locally compact totally disconnected groups, as
More information1 Selected Homework Solutions
Selected Homework Solutions Mathematics 4600 A. Bathi Kasturiarachi September 2006. Selected Solutions to HW # HW #: (.) 5, 7, 8, 0; (.2):, 2 ; (.4): ; (.5): 3 (.): #0 For each of the following subsets
More informationErgodic Theory (Lecture Notes) Joan Andreu Lázaro Camí
Ergodic Theory (Lecture Notes) Joan Andreu Lázaro Camí Department of Mathematics Imperial College London January 2010 Contents 1 Introduction 2 2 Measure Theory 5 2.1 Motivation: Positive measures and
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 informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
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 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 informationAveraging Operators on the Unit Interval
Averaging Operators on the Unit Interval Mai Gehrke Carol Walker Elbert Walker New Mexico State University Las Cruces, New Mexico Abstract In working with negations and t-norms, it is not uncommon to call
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 informationStanford Encyclopedia of Philosophy
Stanford Encyclopedia of Philosophy The Mathematics of Boolean Algebra First published Fri Jul 5, 2002; substantive revision Mon Jul 14, 2014 Boolean algebra is the algebra of two-valued logic with only
More informationALGEBRAIC SUMS OF SETS IN MARCZEWSKI BURSTIN ALGEBRAS
François G. Dorais, Department of Mathematics, Dartmouth College, 6188 Bradley Hall, Hanover, NH 03755, USA (e-mail: francois.g.dorais@dartmouth.edu) Rafa l Filipów, Institute of Mathematics, University
More informationint cl int cl A = int cl A.
BAIRE CATEGORY CHRISTIAN ROSENDAL 1. THE BAIRE CATEGORY THEOREM Theorem 1 (The Baire category theorem. Let (D n n N be a countable family of dense open subsets of a Polish space X. Then n N D n is dense
More informationCOMPLETION AND DIFFERENTIABILITY IN WEAKLY O-MINIMAL STRUCTURES
COMPLETION AND DIFFERENTIABILITY IN WEAKLY O-MINIMAL STRUCTURES HIROSHI TANAKA AND TOMOHIRO KAWAKAMI Abstract. Let R = (R,
More informationGeneralized Pigeonhole Properties of Graphs and Oriented Graphs
Europ. J. Combinatorics (2002) 23, 257 274 doi:10.1006/eujc.2002.0574 Available online at http://www.idealibrary.com on Generalized Pigeonhole Properties of Graphs and Oriented Graphs ANTHONY BONATO, PETER
More informationVARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES
Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationTHE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION
THE UNIQUE MINIMAL DUAL REPRESENTATION OF A CONVEX FUNCTION HALUK ERGIN AND TODD SARVER Abstract. Suppose (i) X is a separable Banach space, (ii) C is a convex subset of X that is a Baire space (when endowed
More informationFragmentability and σ-fragmentability
F U N D A M E N T A MATHEMATICAE 143 (1993) Fragmentability and σ-fragmentability by J. E. J a y n e (London), I. N a m i o k a (Seattle) and C. A. R o g e r s (London) Abstract. Recent work has studied
More informationINDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS
INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS JAMES P. KELLY AND JONATHAN MEDDAUGH Abstract. In this paper, we develop a sufficient condition for the inverse limit of upper semi-continuous
More informationMax-min (σ-)additive representation of monotone measures
Noname manuscript No. (will be inserted by the editor) Max-min (σ-)additive representation of monotone measures Martin Brüning and Dieter Denneberg FB 3 Universität Bremen, D-28334 Bremen, Germany e-mail:
More informationConvergence and submeasures in Boolean algebras
Convergence and submeasures in Boolean algebras Thomas Jech e-mail: jech@math.psu.edu January 30, 2018 In memory of Bohuslav Balcar Abstract A Boolean algebra carries a strictly positive exhaustive submeasure
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationWHEN AN ATOMIC AND COMPLETE ALGEBRA OF SETS IS A FIELD OF SETS WITH NOWHERE DENSE BOUNDARY
WHEN AN ATOMIC AND COMPLETE ALGEBRA OF SETS IS A FIELD OF SETS WITH NOWHERE DENSE BOUNDARY ARTUR BARTOSZEWICZ AND PIOTR KOSZMIDER Abstract. We consider pairs A, H(A) where A is an algebra of sets from
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 informationBoundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption
Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption Chiaki Hara April 5, 2004 Abstract We give a theorem on the existence of an equilibrium price vector for an excess
More informationDistributivity of Quotients of Countable Products of Boolean Algebras
Rend. Istit. Mat. Univ. Trieste Volume 41 (2009), 27 33. Distributivity of Quotients of Countable Products of Boolean Algebras Fernando Hernández-Hernández Abstract. We compute the distributivity numbers
More informationIDEAL GAMES AND RAMSEY SETS
IDEAL GAMES AND RAMSEY SETS CARLOS DI PRISCO, JOSÉ G. MIJARES, AND CARLOS UZCÁTEGUI Abstract. It is shown that Matet s characterization ([9]) of the Ramsey property relative to a selective co-ideal H,
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationG δ ideals of compact sets
J. Eur. Math. Soc. 13, 853 882 c European Mathematical Society 2011 DOI 10.4171/JEMS/268 Sławomir Solecki G δ ideals of compact sets Received January 1, 2008 and in revised form January 2, 2009 Abstract.
More informationEconomics Bulletin, 2012, Vol. 32 No. 1 pp Introduction. 2. The preliminaries
1. Introduction In this paper we reconsider the problem of axiomatizing scoring rules. Early results on this problem are due to Smith (1973) and Young (1975). They characterized social welfare and social
More informationA G δ IDEAL OF COMPACT SETS STRICTLY ABOVE THE NOWHERE DENSE IDEAL IN THE TUKEY ORDER
A G δ IDEAL OF COMPACT SETS STRICTLY ABOVE THE NOWHERE DENSE IDEAL IN THE TUKEY ORDER JUSTIN TATCH MOORE AND S LAWOMIR SOLECKI Abstract. We prove that there is a G δ σ-ideal of compact sets which is strictly
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 informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationThe Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected
Claremont Colleges Scholarship @ Claremont All HMC Faculty Publications and Research HMC Faculty Scholarship 9-1-1988 The Space of Minimal Prime Ideals of C(x) Need not be Basically Disconnected Alan Dow
More information