3
$\begingroup$

I'm reviewing past assignments and am still having trouble formulating a proof for this:

Consider the sequence $(x_n)$, where $x_n = (1,\frac{1}{2}, \frac{1}{3}, \ldots, \frac{1}{n}, 0, 0, \ldots)$. Determine whether $(x_n)$ converges in $l_1$.

It's simple to show that the coordinate-wise limit does not converge, but how can I show that the coordinate-wise limit is the only possible limit? Alternatively, I'm trying to show that $(x_n)$ is unbounded, which I think should be straightforward also, but is giving me trouble.

  • 0
    Quite aware; my difficulty is in formulating the proof; specificially that $x = (1,\frac{1}{2},...)$ is the only possible limit.2011-02-24

2 Answers 2

9

Both your ideas can be made into arguments, let me show you how:

  1. The standard trick for showing divergence is to estimate \[ \|x_{2n} - x_{n}\| = \|(0,\ldots,0,\frac{1}{n+1},\frac{1}{n+2},\ldots,\frac{1}{2n},0,\ldots)\| = \sum_{k=n+1}^{2n} \frac{1}{k} \geq n \cdot \frac{1}{2n} = \frac{1}{2}, \] so the sequence $(x_{n})$ is not a Cauchy sequence, hence it can't converge. On the other hand, this also shows that $\|x_{2^k}\| \geq \frac{k}{2}$, so the sequence is unbounded.

  2. Note that the map $\ell^{1} \to \mathbb{R}$ sending a sequence $(y_{n})_{n \in \mathbb{N}} \in \ell^{1}$ to its $n$th coordinate $y_{n}$ is continuous because $|y_{n}| \leq \|(y_{n})_{n \in \mathbb{N}}\|$. So an $\ell^{1}$-limit must be a pointwise limit. So if the pointwise limit is outside $\ell^{1}$, there can't be an $\ell^{1}$-limit.

  • 0
    Thanks, the trick in (1) is the sort of thing I was looking for.2011-02-24
2

Unboundedness should be straightforward: what is $||x_n||_1$? What does it do as $n \to \infty$?