   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: 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.

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

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

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

Keywords: Measure zero, first category, <IMG WIDTH="18" HEIGHT="20" ALIGN="BOTTOM" BORDER="0" SRC="images/img1.gif" ALT="$\sigma$">-ideals of sets, set theoretically equivalent classes of sets, continuum, Sierpi&#324;ski-Erd&#246;s duality theorem, quotient (Boolean) algebras