Topological Modules/Banach spaces

Banach space A Banach space is a complete normed space. TODO: Links series criterion for Banach spaces Let be a normed space with norm . Then is a Banach space if and only if implies that exists in , whenever is a sequence in . Suppose first that is a Banach space. Then suppose that converges, where is a sequence in . Then set ; we claim that is a Cauchy sequence. Indeed, for sufficiently large, we have . Hence, also converges, because is a Banach space. Now suppose that for all sequences the implication holds. Let then be a Cauchy sequence in . By the Cauchy property, choose, for all , a number such that whenever . We may assume that , ie. is an ascending sequence of natural numbers. Then define and for set . Then . Moreover, , so that converges as a monotonely increasing, bounded sequence. By the assumption, the sequence converges, where . Thus, is a Cauchy sequence that has a convergent subsequence and is hence convergent.