product of metric spaces

Theorem 1.

Let $(X_{i},\varrho_{i})$ be a metric space for each $i=1,2,\ldots,$ where the diameter of $X_{i}$ using $\varrho_{i}$ is less than $1/i$. Then the product topology for the space $\prod_{i=1}^{\infty}X_{i}$ is given by the metric

 $\varrho(x,y)=\sum_{i=1}^{\infty}\frac{1}{2^{i}}\varrho_{i}(x_{i},y_{i}).$

Hence, a countable product of metrizable topological spaces is again metrizable.

Since the convergence in the product topology is the pointwise convergence, the same is true for the metric space with the above metric.

Title product of metric spaces ProductOfMetricSpaces 2013-03-22 16:11:44 2013-03-22 16:11:44 kompik (10588) kompik (10588) 6 kompik (10588) Theorem msc 54E35