A topological space $X$ is self-similar if there is a proper subspace $Y \subsetneq X$ such that $Y \simeq X$ (homeomorphic).
Is $\mathbb{S}^2$ self-similar? I guess, no. But, how to prove that?
A topological space $X$ is self-similar if there is a proper subspace $Y \subsetneq X$ such that $Y \simeq X$ (homeomorphic).
Is $\mathbb{S}^2$ self-similar? I guess, no. But, how to prove that?
Suppose $f:\mathbb{S}^2 \rightarrow Y$ is a homeomorphism where $Y \subsetneq \mathbb{S}^2$. Pick $p \in \mathbb{S}^2 \setminus Y$. Then $\mathbb{S}^2\setminus\{p\} \simeq \mathbb{R}^2$ via stereographic projection (from $p$), say $h$.
But then $h \circ f: \mathbb{S}^2 \rightarrow \mathbb{R}^2$ would be 1-1, while Borsuk Ulam says that $p \in \mathbb{S}^2$ exists with $h \circ f(p) = h \circ f(-p)$, contradiction.