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
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
countable-dimensional
0 references
Hurewicz sets
0 references
classes of open covers
0 references
0 references