Nonseparable growth of the integers supporting a measure

Cardinal characteristics of the continuum (03E17) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Consistency and independence results in general topology (54A35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Remainders in general topology (54D40) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Counterexamples in general topology (54G20)

Abstract: Assuming

m a t h f r a k b = m a t h f r a k c

(or some weaker statement), we construct a compactification

g a m m a o m e g a

of

o m e g a

such that its remainder

g a m m a o m e g a s e t m i n u s o m e g a

is nonseparable and carries a strictly positive measure.

Review text

It is a consequence of Parovičenko's theorem that under the assumption of the Continuum Hypothesis there is a compactification of the space of integers that has the Stone space of the measure algebra as its remainder. This remainder is non-separable but it does have countable cellularity. In [Topol. Proc. 5, 11--25 (1981; Zbl 0464.54017)] \textit{M. G. Bell} constructed a ZFC example with these properties. It is still an open question whether one can have, in ZFC, a remainder that is non-separable and carries a non-trivial measure; the authors indicate that Bell's example, and others, do not carry measures. They construct a compactification of the space of integers that has a non-separable remainder that does carry a non-trivial measure, though under the assumption that \(\mathfrak{b}=\mathfrak{c}\).

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Nonseparable growth of the integers supporting a measure

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