A group distance is bi-invariant when both left and right translations are isometries. Conjugation then fixes the identity element and is an isometry, so each metric ball there is invariant under every inner automorphism. A compatible bi-invariant group metric therefore requires arbitrarily small conjugation-invariant neighbourhoods. This concerns a distance function, not merely a bi-invariant Riemannian metric tensor.
In the orientation-preserving affine group of the real line, translations converge to the identity element, but conjugation by dilation sends each one to . A compatible bi-invariant group metric would give for every , contradicting convergence. The group is nonetheless metrizable in its ordinary two real coordinates.
Articles by others on the same topic
There are currently no matching articles.