Invariant metrics on free topological groups Academic Article uri icon


  • For a completely regular space X, G(X) denotes the free topological group on X in the sense of Graev. Graev proves the existence of G(X) by showing that every pseudo-metric on X can be extended to a two-sided invariant pseudo-metric on the abstract group G(X). It is natural to ask if the topology given by these two-sided invariant pseudo-metrics on G(X) is precisely the free topological group topology on G(X). If X has the discrete topology the answer is clearly in the affirmative. It is shown here that if X is not totally disconnected then the answer is always in the negative.

publication date

  • August 1973