Let , be Normed Spaces with Complete. Then is Complete. Proof Given , a Cauchy Sequence in : Have Cauchy in for all - since so for some . is linear by linearity of and taking pointwise limits. bounded: Given , for all for some . so Let : Hence Note that for all so . (???)