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.
Articles by others on the same topic
There are currently no matching articles.