A topological group
is metrizable if and only if
is Hausdorff and the identity
of
has a countable neighborhood basis. Furthermore, if G is metrizable, then
admits a
compatible metric
which is left-invariant, that is,
a right-invariant metric
As of this snapshot date, this entry was owned by bci1.