Let $K$ be a compact Hausdorff space and let $C(K)$ be the space of all scalar-valued continuous functions on $K$. Let $(f_{n})_{n}$ be a sequence in $C(K)$ satisfying $\sup\limits_{n}\sup\limits_{t\in K}|f_{n}(t)|<\infty$. We define an equivalence relation $R$ on $K$ by $$t_{1}Rt_{2}\Leftrightarrow f_{n}(t_{1})=f_{n}(t_{2}), \forall n.$$ Let $K_{1}:=K/R$ be the quotient space with the quotient topology $\tau$. That is, $\tau=\{V\subseteq K_{1}:Q^{-1}(V)$ is open in $K\}$, where $Q:K\rightarrow K_{1}$ is the quotient mapping. It is easy to see that $(K_{1},\tau)$ is compact. My question is the following: Question. Is $(K_{1},\tau)$ metrizable?