On sigma-ideals of sets
HTML articles powered by AMS MathViewer
- by C. G. Mendez PDF
- Proc. Amer. Math. Soc. 60 (1976), 124-128 Request permission
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
- Alfred Horn and Alfred Tarski, Measures in Boolean algebras, Trans. Amer. Math. Soc. 64 (1948), 467–497. MR 28922, DOI 10.1090/S0002-9947-1948-0028922-8 C. G. Mendez, The analogy between the concepts of first category and measure zero, M.A. Thesis, Univ. of Colorado, 1968. —, 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.
- John C. Oxtoby, Measure and category, 2nd ed., Graduate Texts in Mathematics, vol. 2, Springer-Verlag, New York-Berlin, 1980. A survey of the analogies between topological and measure spaces. MR 584443
- Roman Sikorski, On the inducing of homomorphisms by mappings, Fund. Math. 36 (1949), 7–22. MR 31535, DOI 10.4064/fm-36-1-7-22
- Roman Sikorski, Boolean algebras, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete, (N.F.), Band 25, Academic Press, Inc., New York; Springer-Verlag, Berlin-New York, 1964. MR 0177920
Additional Information
- © Copyright 1976 American Mathematical Society
- 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