Product metric ($d((x_1,x_2),(y_1,y_2))=d_1(x_1,y_1)+d_2(x_2,y_2)$)

For metric spaces $(X_1,d_1)$ and $(X_2,d_2)$, the sum metric on $X_1\times X_2$ is the displayed formula. Nonnegativity, symmetry and the triangle inequality follow by adding the respective inequalities in the two factors, and zero distance forces equality in both coordinates. It induces the finite product topology, as does the maximum product metric, since their distances satisfy $d_{\max }\le d_{\mathrm{sum}}\le 2d_{\max }$. A sequence converges for this metric exactly when both coordinate sequences converge. Two successive extractions of a convergent subsequence therefore show that the product of two sequentially compact spaces is sequentially compact.

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.

If every factor is a complete metric space, the countable product metric is complete. For a product-Cauchy sequence, the inequality $2^{-i}\varphi (d_i(x_i^{(m)},x_i^{(n)}))\le D(x^{(m)},x^{(n)})$, with $\varphi (t)=t/(1+t)$, makes each coordinate sequence Cauchy. Its coordinate limits define a product point. Coordinatewise convergence and the uniformly small summable tail imply convergence to that point in $D$. It matters that the original distances are bounded before they are summed: summing arbitrary unbounded metrics directly need not be finite.