Related papers: Products and countable dense homogeneity

Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.

We consider the space $M(X)$ of separable measures on the Borel $\sigma$-algebra ${\cal B}(X)$ of a metric space $X$. The space $M(X)$ is furnished with the Kantorovich-Rubinshte\u{i}n metric known also as the ``Hutchinson distance''. We…

We study the existence of non-separable compact spaces that support a measure and are small from the topological point of view. In particular, we show that under Martin's axiom there is a non-separable compact space supporting a measure…

We prove that if $K$ is a compact space and the space $P(K\times K)$ of regular probability measures on $K\times K$ has countable tightness in its $weak^*$ topology, then $L_1(\mu)$ is separable for every $\mu\in P(K)$. It has been known…

We specify a result of Yokoi \cite{yo} by proving that if $G$ is an abelian group and $X$ is a homogeneous metric $ANR$ compactum with $\dim_GX=n$ and $\check{H}^n(X;G)\neq 0$, then $X$ is an $(n,G)$-bubble. This implies that any such space…

Below, by space we mean a separable metrizable zero-dimensional space. It is studied when the space can be embedded in a Cantor set while maintaining the algebraic structure. Main results of the work: every space is an open retract of a…

The property of being selectively separable is well-studied and generalizations such as H-separable and wH-separable have also generated much interest. Bardyla, Maesano, and Zdomskyy proved from Martin's Axiom that there are countable…

Given a hereditarily meager ideal $\mathcal{I}$ on a countable set $X$ we use Martin's axiom for countable posets to produce a zero-dimensional maximal topology $\tau^\mathcal{I}$ on $X$ such that $\tau^\mathcal{I}\cap…

In this paper, we mainly prove that if $H$ is a closed strong subgyrogroup of a strongly topological gyrogroup $G$ and $H$ is neutral, then (1) $G/H$ is biradial if and only if $G/H$ is nested; (2) $G/H$ is metrizable if and only if $G/H$…

In this paper, we provide a non-homogeneous $T(1)$ theorem on product spaces $(X_1 \times X_2, \rho_1 \times \rho_2, \mu_1 \times \mu_2)$ equipped with a quasimetric $\rho_1 \times \rho_2$ and a Borel measure $\mu_1 \times \mu_2$, which,…

We define and study the free topological vector space $\mathbb{V}(X)$ over a Tychonoff space $X$. We prove that $\mathbb{V}(X)$ is a $k_\omega$-space if and only if $X$ is a $k_\omega$-space. If $X$ is infinite, then $\mathbb{V}(X)$…

Improving a result of M. Talagrand, under the assumption of a weak form of Martin's axiom, we construct a totally disconnected compact Hausdorff space $K$ such that the Banach space $C(K)$ of continuous real-valued functions on $K$ is a…

We prove that if $X$ is a strongly locally homogeneous and locally compact separable metric space and $G$ is a region in $X$ with $\dim G=2$, then $G$ is not separated by any arc in $G$.

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…

Denote by Q(k) a \sigma-discrete metric weight-homogeneous space of weight k. We give an internal description of the space Q(k)^\omega. We prove that the Baire space B(k) is densely homogeneous with respect to Q(k)^\omega if k > \omega.…

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the…

Building on results of Medvedev, we construct a $\mathsf{ZFC}$ example of a non-Polish topological group that is countable dense homogeneous. Our example is a dense subgroup of $\mathbb{Z}^\omega$ of size $\mathfrak{b}$ that is a…

Let $\mu$ be a Borel measure on a compactum $X$. The main objects in this paper are $\sigma$-ideals $I(dim)$, $J_0(\mu)$, $J_f(\mu)$ of Borel sets in $X$ that can be covered by countably many compacta which are finite-dimensional, or of…

The deck, $\mathcal{D}(X)$, of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}]\colon x \in X\}$, where $[Y]$ denotes the homeomorphism class of $Y$. A space $X$ is (topologically) reconstructible if whenever…

A non-trivial separable metric space $X$ is called an almost homology $n$-manifold if the homology groups $H_k(X,X\backslash\{x\},\mathbb Z)$ are trivial for all $x\in X$ and all $k=0,1,..,n-1$. We provide a necessary and sufficient…