Weakly infinite dimensional subsets of \(\mathbb R^{\mathbb N}\) (Q972526)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Weakly infinite dimensional subsets of \(\mathbb R^{\mathbb N}\)
scientific article

    Statements

    Weakly infinite dimensional subsets of \(\mathbb R^{\mathbb N}\) (English)
    0 references
    0 references
    0 references
    19 May 2010
    0 references
    A subset of a metric space is called countable-dimensional if it is a union of countably many zero-dimensional subsets of the space. A subset of \(\mathbb R^{\omega}\) is called a Hurewicz set if it is uncountable and has a countable intersection with every countable-dimensional subset of \(\mathbb R^{\omega}\). It is shown that under CH, the ideal of countable-dimensional subsets of \(\mathbb R^{\omega}\) and the ideal of meager subsets of \(\mathbb R^{\omega}\) are dual in the sense of Sierpiński and Erdős. However, central to the entire paper is the following conjecture (to be considered with CH): If \(H\subset\mathbb R^{\omega}\) is a Hurewicz set, then for each (strongly) countable-dimensional set \(C\subset\mathbb R^{\omega}, H+C\neq\mathbb R^{\omega}\). The conjecture is settled affirmatively if \(C\) is compactly countable-dimensional. A very sophisticated example (based on Elżbieta and Roman Pol's example and combinatorics of open covers along with selection principles) is constructed showing that the conjecture may fail if \(C\) is weakly infinite-dimensional.
    0 references
    0 references
    countable-dimensional
    0 references
    Hurewicz sets
    0 references
    classes of open covers
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references