Completely nonmeasurable unions (Q607431): Difference between revisions

From MaRDI portal
Changed label, description and/or aliases in en, and other parts
Page on [mardi] deleted: Publication:607431
links / mardi / namelinks / mardi / name

Revision as of 14:42, 29 April 2024

No description defined
Language Label Description Also known as
English
Completely nonmeasurable unions
No description defined

    Statements

    Completely nonmeasurable unions (English)
    0 references
    0 references
    0 references
    22 November 2010
    0 references
    In [\textit{J. Brzuchowski} et al., Bull. Acad. Pol. Sci., Sér. Sci. Math. 27, 447--448 (1979; Zbl 0433.28001)] one finds the following result: If \(\mathcal{I}\)~is a Borel-based \(\sigma\)-ideal in a separable metrizable space~\(X\) and \(\mathcal{A}\)~is a point-finite cover consisting of members of~\(\mathcal{I}\) then it has a subfamily~\(\mathcal{A}'\) whose union does not belong to the \(\sigma\)-algebra generated by~\(\mathcal{I}\) and the Borel sets. The authors prove a version of this result with the added assumptions that the quotient \(\text{Borel}(X)/\mathcal{I}\) is ccc and that no cardinal below \(2^{\aleph_0}\) is quasi-measurable; the stronger conclusion is that \(\mathcal{A}\)~has \(\aleph_1\)~many pairwise disjoint subfamilies each of which has an \(\mathcal{I}\)-Bernstein union (it and its complement meet every \(\mathcal{I}\)-positive Borel set).
    0 references
    0 references
    0 references
    0 references
    0 references
    \(\sigma\)-ideal
    0 references
    Bernstein set
    0 references
    nonmeasurable set
    0 references
    ccc ideal
    0 references
    quasi-measurable cardinal
    0 references
    Borel sets
    0 references
    0 references
    0 references