Point-wise limit of finite valued functions Let $X$ be a second countable topological vector space. Does there exist any sequence of finite valued functions $f_n\colon X\to X$ converging point-wise to the identity mapping on $X$?
 A: I think it is true (even in the more general setting of second countable  topological spaces). Let $\{A_n\}_{n\in\mathbb{N}}$ be a countable basis of the topology of $X$. For ${n\in\mathbb{N}}$ let $\Pi_n$ be the finite partition of $X$   generated   by the sets $A_1,\dots, A_n$, and let $f_n:X\to X$  be constant on each $E\in\Pi_n$, with $f_n(E)\in E$. 
Then $f_n(x)\to x$ for any $x\in X$. (Indeed, for any $x\in X$ and for any nbd $U$ of $x$ there is $n_0\in\mathbb{N}$ such that $x\in A_{n_0}\subset U$. Then by construction, for any $n\ge n_0$ there holds $f_n(x)\in U$).
A: To answer a question raised in comments: if $X$ is merely separable then this can fail.  Let $X = \mathbb{R}^\mathbb{R}$ with the product topology, which is a Hausdorff topological vector space.  Then $X$ is separable.  (Any product of continuum many separable spaces is separable.  Alternatively, viewing $X$ as the space of all functions from $\mathbb{R}$ to $\mathbb{R}$, one can show that the set of polynomials with rational coefficients is dense.)
Now let $f_n : X \to X$ be a sequence of finite-range functions converging pointwise to some $f$.  Let $A = \bigcup_n f_n(X)$ be the union of the images of the $f_n$, so that $A$ is countable.  Then the number of sequences of elements of $A$ has cardinality at most $(\aleph_0)^{\aleph_0} = \mathfrak{c}$, so that the set $B$ of possible limits of sequences from $A$ likewise has cardinality at most $\mathfrak{c}$.  But the image of $f$ is contained in $B$.  Since $X$ has cardinality $\mathfrak{c}^\mathfrak{c} > \mathfrak{c}$, the function $f$ cannot be surjective.
A: I'll assume that $X$ is Hausdorff.
A Hausdorff topological vector space is metrizable iff it is first countable. Hence, $X$ is metrizable and has a dense subset $\{x_n\}_{n=1}^{\infty}$. Define $f_n(x)$ as an arbitrary closest of $x_1,...,x_n$ to $x$. Then $f_n(x)\to x$. Indeed, $d(x,f_n(x))$ does not increase, and for every $\varepsilon>0$ there is $n$ such that $d(x,f_n(x))\le d(x,x_n)<\varepsilon$.
