The Interval [0,1] Admits no Functorial Embedding into a Finite-Dimensional or Metrizable Topological Group

Abstract

An embedding X ⊂ G of a topological space X into a topological group G is called functorial if every homeomorphism of X extends to a continuous group homomorphism of G. It is shown that the interval [0, 1] admits no functorial embedding into a finite-dimensional or metrizable topological group.