Can one endow the unit interval $[0,1]$ with a group operation to make it a topological group under its natural Euclidean topology?
Is $[0,1]$ a topological group?
10
$\begingroup$
general-topology
topological-groups
-
0A continuous homomorphism is uniformly continuous and an isomorphism between topological groups is an isomorphism between uniform spaces. So if we equip $(-1,1)$ with the algebraic structure of $\mathbb R$, then the uniform structure of the open interval induced by the new operation is finer from the usual uniformity inherited from $\mathbb R$, since $f^{-1}$ is not uniformly continuous. – 2012-12-18
1 Answers
19
No. A topological group is homogeneous, and $[0,1]$ is not, since it has the two endpoints. (An open neighborhood of one of the endpoints, like $[0,1/2)$, is not homeomorphic to any open neighborhood of an interior point via a homeomorphism mapping $0$ to the interior point.)