Weakly infinite dimensional subsets of R^ N

Partition relations (03E02) Continuum hypothesis and Martin's axiom (03E50) Applications of set theory (03E75) Compactness (54D30) Dimension theory in general topology (54F45)

Abstract: The Continuum Hypothesis implies an Erd"os-Sierpi'nski like duality between the ideal of first category subsets of

e a l s^{a t u r a l s}

, and the ideal of countable dimensional subsets of

e a l s^{a t u r a l s}

. The algebraic sum of a Hurewicz subset - a dimension theoretic analogue of Sierpinski sets and Lusin sets - of

e a l s^{a t u r a l s}

with any compactly countable dimensional subset of

e a l s^{a t u r a l s}

has first category.

Review text

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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Weakly infinite dimensional subsets of \(\mathbb R^{\mathbb N}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q972526)