Partitions of 2^ω and completely ultrametrizable spaces

2014/06/05 by William R. Brian, Brian, William R., Arnold W. Miller +1
Mathematics · #54A35 #FOS: Mathematics #General Topology (math.GN) #math.GN #msc:54A35

paper · pdf · doi:10.48550/arxiv.1406.1405

arxiv created 2014/06/05 · arxiv updated 2014/06/06

Abstract

We prove that, for every n, the topological space ω_n^ω (where ω_n has the discrete topology) can be partitioned into ω_n copies of the Baire space. Using this fact, the authors then prove two new theorems about completely ultrametrizable spaces. We say that Y is a condensation of X if there is a continuous bijection from X to Y. First, it is proved that the Baire space is a condensation of ω_n^ω if and only if it can be partitioned into ω_n Borel sets, and some consistency results are given regarding such partitions. It is also proved that it is consistent with ZFC that, for any n < ω, the continuum is ω_n and there are exactly n+3 similarity types of perfect completely ultrametrizable spaces of size continuum. These results answer two questions of the first author from a previous paper.

Related

• Covering versus partitioning with the Cantor space
• Partitions of Baire space into compact sets
• Connections between Kuratowski partitions of Baire spaces, measurable cardinals and precipitous ideals
• Between Polish and completely Baire
• Topology, Metric Spaces and the Generalized Continuum Hypothesis