3
$\begingroup$

A topological space $(X,\tau)$ is said to be homogeneous if for $x,y\in X$ there is a homeomorphism $\varphi: X\to X$ such that $\varphi(x) = y$. Let us call a topological space $(X,\tau)$ homogenizable if there is a homogeneous space $X_h$ and a continous map $e_X: X \to X_h$ such that for any homogeneous space $Z$ and continous map $f: X\to Z$, there is a continous map $g: X_h\to Z$ such that $f = g\circ e_X$.

What is an example of a non-homogenizable topological space?

$\endgroup$
1
  • $\begingroup$ If the map $e_X$ is required to be surjective, then any compact Hausdorff space with a unique non-isolated point is non-homogenizable. $\endgroup$ Commented Feb 25, 2018 at 18:50

1 Answer 1

6
$\begingroup$

This problem is classical and is discussed in $\S 3$ of this paper of Arkhangelski. In particular, in (3.24) he mentions the following

Theorem (Okhromeshko, 1983). Each topological space $X$ is a retract of its free homogeneous space $H(X)$.

The free homogeneous space $H(X)$ in Okhromeshko Theorem is the free group over $X$ endowed with the strongest topology in which for every words $u,v\in H(X)$ the map $X\to H(X)$, $x\mapsto uxv$, is continuous.

The Okhromeshko Theorem implies that each topological space is homogenizable.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .