Countable product of metric spaces is metrizable [General Metric] I know that if we have a countable collection of metric spaces $\{(X_n,\rho_n)\}_{n=1}^{\infty}$ then $X=\Pi^{\infty}_{n=1}X_n$ is a metric space with metric $\rho((x_n)_{n \in \mathbb{N}},(y_n)_{n \in \mathbb{N}})=\sum_{n=1}^{\infty} \dfrac{\rho_n(x_n,y_n)}{2^n [1+\rho_n(x_n,y_n)]}$. 

Also I have proved that $X=\Pi^{\infty}_{n=1}X_n$ is a metric space with metric $\rho_\beta((x_n)_{n \in \mathbb{N}},(y_n)_{n \in \mathbb{N}})=\sum_{n=1}^{\infty} \dfrac{\rho_n(x_n,y_n)}{\beta^n [1+\rho_n(x_n,y_n)]}$ where $\beta \in \mathbb{N}$ and $\beta \geq 2$.

But I need to have it from a book or any bibliographic reference, exists some bibliographic reference to this problem with the metric $\rho_\beta$?
In the book "Le cours de la APM III, Elements de topologie" by André Revuz and Germaine Revuz (Association des professeurs de Mathématiques de l'Enseignement Public PARIS-1966), you find the statement of exercise 20 (page 38) as follows:

Exercise 20.-Produit dénombrable d'espaces métriques.

1º Si $d$ est une distance definie sur un ensemble $E$, il en est de même de $\delta$ définie par $$\delta(x,y)=\frac{d(x,y)}{1+d(x,y)}$$ et $\delta$ définie la même topologie que $d$. 

2º Soit $E_n$, avec $n\in\mathbb N$,une famille dénombrable d'espaces métriques et $E=\prod\{E_n; n\in\mathbb N\}$ leur produit cartésien. A la distance $d_n$ de $E_n$, on associe la distance $\delta_n$ définie en 1º;en on définit sur $E\times E$ (avec $x=\{x_n\}$ et $y=\{y_n\}$ l'application $\delta$ dans $\mathbb R^+$ donnée par 
$$\delta(x,y)=\sum_{n=1}^{\infty}\frac{1}{2^n}\delta_(x_n,y_n)$$  Montrer que $\delta$ est une distance sur $E$, et que la topologie qu'elle définit est la topologie produit.

This exercise 20 is completely developed on page 172. If you want, I will print the detailed solution in two and a half pages of the book. Where there are also good references is in the analysis books of Jean Dieudonné and those of Laurent Schwartz.
The proof is the same for both cases. All we need is that $\sum_n \frac{1}{\beta^n}$ converges. See my proof here; convergence of such a series is used at one place in the proof.