This is related to this question see here
Let $V= \mathbb{Q}^{\mathbb{Z}}$, considered as an infinite dimensional linear space over $\mathbb{Q}$.
And assume $W=\mathbb{Q}^F$ is a finite dimensional subspace of $V$, so $F$ is just a finite set of the integers, and denote the projection from $V$ to $W$ by $P_W$.
Let $V_1\supseteq V_2\supseteq V_3\supseteq\cdots$ be a decreasing sequence of subspaces of $V$, denote $V_{\infty}=\cap_{i=1}^{\infty}V_i$.
Since $\{P_W(V_i)\}_{i=1}^{\infty}$ is a decreasing sequence of subspaces of the finite dimensional space $W$, then it would be stable after some sufficient large $j$, i.e, $P_W(V_{j})=P_W(V_{j+1})=\cdots :=\lim_iP_W(V_i)$.
My question is:
$$\lim_iP_W(V_i)=P_W(V_{\infty})?$$ Any counterexamples?
Remarks:
1, Note that $P_W(V_i)\neq V_i\cap W$, $W\cap (W_1+W_2)\neq W\cap W_1+W\cap W_2$ in general for linear subspaces $W, W_1, W_2$.
2, The nontrivial case is all the $V_i$ have infinite dimension.
Not necessarily.
Let $F = \{0\}$, let $b_k = e_k + e_0$, where the $e_k$ are the tuples containing a $1$ in the $k$-th component and $0$ everywhere else, and $V_n = \operatorname{span} \{ b_k : k \geqslant n\}$.
Then $P_W(V_i) = \mathbb{Q}^F$ for all $i \geqslant 1$, but
$$V_\infty = \bigcap_{i=1}^\infty V_i = \{0\}.$$