Approximation of the identity by finite range functions in topological vector spaces Let $X$ be a topological vector space. Assume that there exists a sequence $\phi_n:X\to X$ of finite range measurable functions with $\lim\phi_n(x)=x$ for every $x\in X$. Can we concluded there exists a sequence $\{X_n\}$ of subsets of $X$ with $X=\cup X_n$ such that $X_n$'s are all relatively  second-countable? 
Note that the answer will be negative if $X$ is only assumed to be a topological space.
 A: It seems that the space $X:=C_p(2^\omega)$ of real-valued continuous functions on the Cantor set is a counterexample to this question. The space $C_p(2^\omega)$ is endowed with the topology of pointwise convergence.
Claim 1. The space $X$ cannot be written as the countable union $X=\bigcup_{n\in\omega}X_n$ of first-countable subspaces.
Proof. To derive a contradiction, assume that $X=\bigcup_{n\in\omega}X_n$ for some first-countable subsets. For every $n\in\omega$ let $\bar X_n$ be the closeure of $X_n$ in the topology of the Banach space $C(2^\omega)$. By the Baire Theorem, some $\bar X_n$ contains some ball $B(f;\varepsilon):=\{g\in C(2^\omega):\|f-g\|<\varepsilon\}$. Replacing $B(f,\varepsilon)$ by a smaller ball in $B(f,\varepsilon)$, we can assume that the center $f$ of the ball belongs to $X_n$.  Since $X_n$ is first-countable at $f$, there exists a countable neighborhood base $(U_k)_{k\in\omega}$ at $X_n$. We can assume that each $U_k$ is of the basic form $U_k=X_n\cap \{g\in C_p(2^\omega):\max_{x\in F_k}|g(x)-f(x)|<\varepsilon_k\}$ for some finite set $F_k\subset 2^\omega$ and some positive $\varepsilon_k<\frac12\varepsilon$. Choose any point $z\in 2^\omega\setminus\bigcup_{k\in\omega}F_k$ and consider the open neighborhood $V_z:=X_n\cap\{g\in C_p(2^\omega):|g(z)-f(z)|<\frac12\varepsilon\}$. We claim that $U_k\not \subset V_z$ for every $k\in\omega$. Indeed, for every $k\in\omega$, we can find a function $g\in B(f,\varepsilon)$ such that $|g(z)-f(z)|>\frac12\varepsilon$ and $|g(x)-f(x)|<\frac12\varepsilon$ for all $x\in F_k$. Since $X_n\cap B(f,\varepsilon)$ is dense in $B(f;\varepsilon)$, we can replace $g$ by a near function in $X_n$ and assume that $g\in X_n$. Then $g\not\in V_z$ but $g\in X_n\cap B(F_k,\varepsilon_k)=U_k$ and hence $U_k\not\subset V_z$. But this contradicts the choice of $(U_n)_{n\in\omega}$ as a neighborhood base of $X_n$ at $f$. $\square$
Claim 2. There exists a sequence $(\phi_n)_{n\in\omega}$ of measurable (in fact, constructible) finite range functions $\phi_n:C_p(2^\omega)\to C_p(2^\omega)$ that converges pointwisely to the identity function of $C_p(2^\omega)$.
Proof. Since the real line $\mathbb R$ is homeomorphic to the open interval $J:=(-1,1)$, the function space $C_p(2^\omega)$ is homeomorphic to the space $C_p(2^\omega,J)$ of continuous functions from $2^\omega$ to $J$. So, it suffices to construct th sequence $(\phi_n)$ for the function space $C_p(2^\omega,J)$.
The interval $J$ is a bit better than the real line as it admits a sequence of finite range measurable maps $\psi_n:J\to J$, which converges uniformly to the identity function of $J$.
Next, for every $n\in\omega$ denote by $\mathcal C_n$ the canonical finite disjoint cover of the Cantor set $2^\omega$ by basic closed-and-open sets of diameter $\frac1{3^n}$. In each basic set $C\in\mathcal C_n$ fix a point $x_C$ and for any function $f\in C_p(2^\omega,J)$ consider the finite range function $f_n:2^\omega\to C$ such that $f_n(C)=\{f(x_C)\}$ for every $C\in\mathcal C_n$. It is easy to see that the sequence $(f_n)$ converges to $f$ in $C_p(X,J)$.
So, $\varphi_n:C_p(2^\omega,J)\mapsto C_p(2^\omega,J)$, $\varphi_n:f\mapsto f_n$, is a sequence of continuous functions such that $\varphi_n(f)\to f$ for any $f\in C_p(2^\omega,J)$. Finally observe that the sequence of functions $\phi_n:=\varphi_n\circ\psi_n:C_p(2^\omega,J)\to C_p(2^\omega,J)$ has the desired property. They have finite range and converges pointwise to the identity function of $C_p(2^\omega,J)$.
Moreover, each function $\phi_n$ is not just measurable, but constructible. More percisely, the preimage of any open set can be written as the difference $U\setminus V$ of two open sets, because the half-intervals (= $\varphi^{-1}(y)$) on $J$ have this property.  
