Incompleteness of finitely supported sequences ($\Vert x-x^{(N)}{\Vert }_1=2^{-N}$)

Equip the vector space $c_{00}$ of finitely supported sequences with the norm inherited from the absolutely summable sequence space. Consider the truncationsFor $M>N$, the geometric series givesTherefore $(x^{(N)})$ is a Cauchy sequence. Any possible norm limit must have coordinate $k$ equal to $2^{-k}$, since $|x_k-y_k|\le \Vert x-y{\Vert }_1$. That forces infinitely many nonzero coordinates, so no limit lies in $c_{00}$. There is nothing wrong with the approximations: the space is missing their limit.

Inside the absolutely summable sequence space, the limit is $x=(2^{-k}{)}_{k\ge 1}$ and its exact truncation error is $2^{-N}$. Four retained coordinates leave error $1/16$; ten leave $1/1024$. More generally, truncating any element of the absolutely summable sequence space leaves a tail whose norm tends to zero. Together with completeness, this identifies that Banach space as the completion of a normed space $c_{00}$ with this norm. Finite storage and an infinite mathematical object fit together through a controlled error.