# Are coordinate functionals on complete vector spaces always continuous?

(I'm just adding the completeness condition to $V$ from this 2 month old question of mine, because I realized it's relevant to whether Bill Johnson's answer to this 4 month old question of mine actually answers the question.)

Let $V$ be a complete Hausdorff locally convex topological vector space over the field $\mathbb{K}$.
Let $B$ be a subset of $V$ such that

$\;$ for all functions $c : B\to \mathbb{K}$, if $\displaystyle\sum_{b\in B} \; c(b)\cdot b = \textbf{0}$, then $c$ is identically zero

and $f : B\times V \to \mathbb{K}$ be a function such that

$\;$ for all vectors $v$ in $V$, $\; \displaystyle\sum_{b\in B} \; f(b,v)\cdot b = v$.

Let $b$ be a member of $B$, and $g : V \to \mathbb{K}$ be given by $g(v) := f(b,v)$. Does it follow that $g$ is continuous?

• The sums are unconditional, as explained at en.wikipedia.org/wiki/…. – user5810 Dec 9 '10 at 4:34
• For Banach (or Frechet) spaces the answer is "Yes", but I think you know that youself since you posted the question in such generality. – fedja Dec 11 '10 at 18:00
• I didn't actually know that (and I still don't know a proof or reference, do you know one?), I was just more interested in the general case. – user5810 Dec 12 '10 at 0:43

Consider $\ell_1:=\ell_1(\Bbb{N}\cup \{0\})$ as the dual of $c$, the space of convergent sequences indexed by $\Bbb{N}$, where the action is given by $e_0^*(x)=\lim_n x(n)$ and $e_n^*(x)=x(n)$ for $n\ge 1$. Put the bw$^*$ topology on $\ell_1$ under this pairing, which is the largest locally convex topology that agrees with the weak$^*$ topology on bounded sets. IIRC, this is a complete topology (while the weak$^*$ topology is only boundedly complete). This is an unconditional basis that is not a Schauder basis because $e_n^*$ converges weak$^*$ to $e_0^*$.
• Schauder means all of the coordinate functionals are continuous. I never thought much about the bw$^*$ topology, although I know some books on functional analysis do treat it. If you only care about sequential completeness or that bounded Cauchy nets converge, use the weak$^*$ topology instead. – Bill Johnson Dec 12 '10 at 3:32