Proposition. Let (X,∥⋅∥)(X,\|\cdot\|) be a normed space.

  1. If a sequence (xn)(x_n) to both xx and yy, then x=yx=y.
  2. Every convergent sequence is .

Proof sketch.

  1. Using the triangle inequality,
∥x−y∥≤∥x−xn∥+∥xn−y∥→0,\|x-y\|\le \|x-x_n\|+\|x_n-y\|\to 0,

so ∥x−y∥=0\|x-y\|=0 and hence x=yx=y.

  1. If xn→xx_n\to x, then for nn large we have ∥xn−x∥≤1\|x_n-x\|\le 1. Then ∥xn∥≤∥x∥+1\|x_n\|\le \|x\|+1 for all large nn; finitely many remaining terms are bounded as well.
Remarks

Context. These are basic structural properties of norm convergence, paralleling the corresponding facts in metric spaces.