 Countable product metric

The displayed metric on a countable Cartesian product of metric spaces combines the bounded metric transform with summable positive weights. It is finite even when individual factor metrics are unbounded. The triangle inequality follows from subadditivity of $t/(1+t)$ and summation. Zero distance forces equality in each coordinate.

Convergence in this metric is exactly coordinatewise convergence. One term is bounded by the sum, so $D(x^{(n)},x)\to 0$ implies each $d_i(x_i^{(n)},x_i)\to 0$. Conversely, choose a finite head whose omitted weight sum is small; convergence in those finitely many coordinates controls the head uniformly, while boundedness of the transformed distances controls the entire tail. Thus it induces the countable product topology. Arbitrary positive summable weights work by the same proof.