Existence of a countable linear combination with positive coefficients

It's true in a Fréchet space. If $\|\cdot\|_k$, $k = 0,1,2,\ldots$, is a family of seminorms that induces the topology, choose $\alpha_j = c_j/\max\{\| v_j \|_k : k \le j\}$ for a summable sequence of positive numbers $c_j$.


As a partial answer, note the following necessary (and often sufficient) criteria.

Let $E$ be a (real or complex) topological vector space. Let us say that a sequence $\{x_n\}_{n=1}^\infty$ in $E$ can be made summable/bounded/to converge to zero if there is a sequence $\{\alpha_n\}_{n=1}^\infty$ of strictly positive real scalars such that $\{\alpha_n x_n\}_{n=1}^\infty$ is summable/bounded/converges to zero.

Proposition. Consider the following statements:

$\text{(a)}$. $\{x_n\}_{n=1}^\infty$ can be made summable;

$\text{(b)}$. $\{x_n\}_{n=1}^\infty$ can be made to converge to zero;

$\text{(c)}$. $\{x_n\}_{n=1}^\infty$ can be made bounded.

In every topological vector space $E$ one has $$\text{(a)} \Longrightarrow \text{(b)} \Longleftrightarrow \text{(c)}.$$ If $E$ is locally convex and sequentially complete, then $$\text{(a)} \Longleftrightarrow \text{(b)} \Longleftrightarrow \text{(c)}. $$

Proof. $\text{(a)} \Longrightarrow \text{(b)}$. Suppose that $\sum_{k=1}^\infty \alpha_k x_k$ converges to $y \in E$. Let $s_n := \sum_{k=1}^n \alpha_k x_k$ denote the $n$-th partial sum. Then $\lim_{n\to\infty} s_n = \lim_{n\to\infty} s_{n+1} = y$, so by continuity of addition $$ \lim_{n\to\infty} \alpha_{n+1} x_{n+1} = \lim_{n\to\infty} s_{n+1} - s_n = y - y = 0. $$

$\text{(b)} \Longrightarrow \text{(c)}$. Every convergent sequence is bounded.

$\text{(c)} \Longrightarrow \text{(b)}$. If $\{\alpha_n x_n\}_{n=1}^\infty$ is bounded, then $\lim_{n\to\infty} \alpha_n \beta_n x_n = 0$ for every sequence $\{\beta_n\}_{n=1}^\infty$ of scalars converging to zero (see e.g. Rudin, Theorem 1.30).

Assume now that $E$ is locally convex and sequentially complete. $\text{(b)} \Longrightarrow \text{(a)}$. Suppose that $\lim_{n\to\infty} \alpha_n x_n = 0$. Define $s_n := \sum_{k=1}^n \frac{\alpha_k}{2^k} x_k$. Use local convexity to prove that $\{s_n\}_{n=1}^\infty$ is Cauchy, and use sequential completeness to conclude that the series $\sum_{k=1}^\infty \frac{\alpha_k}{2^k} x_k$ converges. $\Box$

Some remarks:

  1. Each of the properties $\text{(a)}$, $\text{(b)}$ and $\text{(c)}$ carries over to all weaker (i.e. coarser) topologies, even those with different dual spaces. Interestingly, in locally convex spaces, property $\text{(c)}$ only depends on the dual pair.

  2. If the topology of $E$ is given by a metric $d$, then every sequence $\{x_n\}_{n=1}^\infty$ satisfies $\text{(b)}$. To prove this, note that for every $z \in E$ we have $\lim_{k\to\infty} \frac{1}{k}z = 0$ (by continuity of scalar multiplication). Equivalently: for every $\varepsilon > 0$ there exists some $K_\varepsilon \in \mathbb{N}_1$ so that $d(0,\frac{1}{k} z) < \varepsilon$ for all $k \geq K_\varepsilon$. Using this, we choose a sequence $\{\alpha_n\}_{n=1}^\infty$ of strictly positive real scalars so that $d(0,\alpha_n x_n) < \frac{1}{n}$ for all $n\in\mathbb{N}_1$. Then $\lim_{n\to\infty} \alpha_n x_n = 0$.

  3. The answer of Robert Israel follows from the previous remark and the Proposition.

  4. There are also non-metrizable tvs where every sequence satisfies $\text{(b)}$ (take a metrizable space and pass to a weaker topology). Likewise, there exist non-Fréchet tvs where every sequence satisfies $\text{(a)}$. Interesting follow-up question: if every sequence satisfies $\text{(b)}$ (resp. $\text{(a)}$), then is there necessarily a finer topology which is metrizable (resp. Fréchet)?