Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

On sigma-ideals of sets


Author: C. G. Mendez
Journal: Proc. Amer. Math. Soc. 60 (1976), 124-128
MSC: Primary 28A05; Secondary 04A15
DOI: https://doi.org/10.1090/S0002-9939-1976-0417359-8
MathSciNet review: 0417359
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ \Phi (\Psi )$ denote the family of subsets of the unit square defined to be of first category (Lebesgue measure zero) in almost every vertical line in the sense of measure (category). Theorem 1. (i) $ \Phi $ and $ \Psi $ are $ \sigma $-ideals. (ii) The union of $ \Phi $ or $ \Psi $ is $ I \times I$. (iii) The complement of each member of $ \Phi $ or $ \Psi $ contains a set of power c belonging to $ \Phi $ and $ \Psi $, respectively, (iv) The unit square may be represented as the union of two complementary Borel sets: one in $ \Phi $ and $ \Psi $ and the other one of Lebesgue measure zero and first category, (v) The unit square may be represented as the union of two complementary Borel sets: one in $ \Phi $ and the other one in $ \Psi $. Theorem 2. $ \Phi (\Psi )$ does not satisfy (vi) There is a subclass $ \Upsilon $ of power $ \leqslant $ c of the class $ \Phi (\Psi )$ such that every member of the class is contained in some member of the subclass. Theorem 3. There does not exist a one-to-one mapping f from $ I \times I$ onto itself, such that $ K \in \Phi (\Psi )\;iff\;f(K)$ is a Lebesgue measure zero (first category) subset of $ I \times I$. Theorems 2 and 3 hold for more general $ \Phi (\Psi )$.

A theorem on the theory of quotient (Boolean) algebras follows from these results.


References [Enhancements On Off] (What's this?)

  • [1] A. Horn and A. Tarski, Measures in Boolean algebras, Trans. Amer. Math. Soc. 64 (1948), 467-497. MR 10, 518. MR 0028922 (10:518h)
  • [2] C. G. Mendez, The analogy between the concepts of first category and measure zero, M.A. Thesis, Univ. of Colorado, 1968.
  • [3] -, On Borel and analytic structures and the interrelation of measure and category in an abstract setting. On sigma-ideals of sets and on measures in $ {2^x}$, Ph.D. Dissertation, Univ. of Colorado, 1974.
  • [4] J. C. Oxtoby, Measure and category, Springer-Verlag, New York, 1971. MR 584443 (81j:28003)
  • [5] R. Sikorski, On the inducing of homomorphisms by mappings, Fund. Math. 36 (1949), 7-22. MR 11, 166. MR 0031535 (11:166a)
  • [6] -, Boolean algebras, 2nd ed., Academic Press, New York, 1964. MR 31 #2178. MR 0177920 (31:2178)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 28A05, 04A15

Retrieve articles in all journals with MSC: 28A05, 04A15


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1976-0417359-8
Keywords: Measure zero, first category, $ \sigma $-ideals of sets, set theoretically equivalent classes of sets, continuum, Sierpiński-Erdös duality theorem, quotient (Boolean) algebras
Article copyright: © Copyright 1976 American Mathematical Society

American Mathematical Society