I'm reading through some notes one locally convex spaces ("lcs" from now on) analysis and there the following version of the Banach-Steinhaus theorem is given
Theorem (Banach-Steinhaus) $\quad$ The pointwise limit of a sequence of continuous, linear mappings from a barrelled lcs $U$ to a lcs $V$ is again a continuous, linear mapping.
followed by the remark
If we replace "sequence" with "net" this needn't be the case: For a discontinuous functional $f:U\rightarrow \mathbb{K}$ we can construct for each subspace $W\subseteq U$ a continuous, linear functional $F_W$ such that $f\big|_W=F_W\big|_W$.
Can someone explain, or give me a hint, how to make this construction from the last sentence above explicit ?
I'm also not sure how to use this to obtain a counterexample to the theorem above ? I somehow can't think of a way to make use of a point of discontinuity in $x_0\in U$ of $f$ to show that the net $(F_W)_W$ doesn't converge at all at $x_0$ (at least I intuitively think that this is the case - opposed to that the net indeed converges everywhere, but not to a continuous, linear functional).
Consider the net $FIN(U)$ of finite dimensional subspaces of $U$. For each finite dimnsional subspace $W$ the functional $f|_W$ is continuous. Extend it using Hahn-Banach theorem to get continuous functional $F_W$ on $U$ such that $F_W|_W=f|_W$. By construction $(F_W)_{W\in FIN(U)}$ is a net of continuous functionals, and because $F_W|_W=f|_W$ this net pointwise converges to the functional $f$ which is discontinuous.
Now we need to show existence of at least one discontinuous functional on infinite dimensional lcs $U$. Since $U$ is infinite dimensional it has infinite Hamel basis, say $(e_i)_{i\in I}$. Fix any neighbourhood of $0$ which we denote $B$. Since $B$ is a neighbourhood of $0$ for each $i\in I$ we can find $\lambda_i\in\mathbb{K}\setminus\{0\}$ such that $\lambda_i e_i \in B$. Denote $e_i'=\lambda_i e_i$, then $(e_i')_{i\in I}$ is a Hamel basis of $U$. Now we define discontinuous linear functional $f:U\to\mathbb{K}$. Clearly it is enough to specify values of $f$ only at basis vectors. Consider arbirary countable subset $S=\{i_1,\ldots,i_n,\ldots\}$ of $I$. Define $f(e_{i_n}')=4^n$ for each $i_n\in S$ and $f(e_i')=0$ for $i\in I\setminus S$. We claim that $f$ is discontinuous. Since $\{e_i':i\in I\}\subset B$, then $\lim\limits_{n\to\infty} 2^{-n} e_{i_n}'=0$, but $\lim\limits_{n\to\infty} f(2^n e_{i_n}')=\lim\limits_{n\to\infty} 2^{-n} f( e_{i_n}')=\lim\limits_{n\to\infty} 2^{-n} 4^n=+\infty$. This proves discontinuity of $f$.