Partial-sum norm on absolutely summable sequences

ID: partial-sum-norm-on-absolutely-summable-sequences

On , is a norm, bounded above by . The partial-sum map is an isometric linear embedding into the space of convergent sequences with the supremum norm. Its range contains every eventually constant sequence: take successive differences of such a sequence to obtain a finitely supported element of . These sequences are dense in , so the completion of a normed space is .
The range is proper: partial sums of the alternating harmonic series converge but their successive differences do not belong to . The finite truncations of these differences are -Cauchy and cannot have a limit in . Thus this normed version of is incomplete, despite the completeness of its usual norm.

New to topics? Read the docs here!