$\mathbb R^{ω_1}$-Factorizable Spaces and Groups

Abstract

A topological space $X$ is $\mathbb R^{ω_1}$-factorizable if any continuous function $f\colon X\to \mathbb R^{ω_1}$ factors through a continuous function from $X$ to a second-countable space. It is shown that a Tychonoff space $X$ is $\mathbb R^{ω_1}$-factorizable if and only if $X\times D(ω_1)$, where $D(ω_1)$ is a discrete space of cardinality $ω_1$, is $z$-embedded in the product $βX\times βD(ω_1)$ of the Stone--Cech compactifications. It is also proved that $\mathbb R^{ω_1}$-factorizability is hereditary and countably multiplicative, that any $\mathbb R^{ω_1}$-factorizable space is hereditarily Lindelöf and hereditarily separable, and that the existence of nonmetrizable $\mathbb R^{ω_1}$-factorizable topological spaces and groups is independent of ZFC: under CH, all $\mathbb R^{ω_1}$-factorizable spaces are second-countable, while under MA + $\lnot$CH, the countable Fréchet--Urysohn fan is $\mathbb R^{ω_1}$-factorizable.