The two-sided full shift on a finite alphabet consists of all functions , with the product topology and the left shift. It is a compact metric space. A compatible metric isAgreement on increasingly large finite coordinate sets is equivalent to convergence in this topology. The metric above is compatible but is not invariant under the left shift.
New to topics? Read the docs here!