Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$.
Q. Can we concluded that $X$ is hereditery Lindelof?
By an interesting example Taras Banakh proved that: $X$ is not necessarily written by countable union of second countable subsets (see here).
