## Infinite Summation

2012/11/03 Leave a comment

Infinite summation over arbitrary index sets can be described using nets, but there is an elementary way of talking about these sums which is equivalent to using nets. The elegance also shows that there is nothing mysterious or terribly subtle about the subject of infinite summation as talk of nets might imply. The material from today’s post is taken nearly wholesale from Paul Halmos’s excellent book *Introduction to Hilbert Space and the Theory of Spectral Multiplicity*, which as far as I can tell is out-of-print.

Definition.Let be a Banach space. We say that a family of vectors for issummable, if there exists a vector such that for all there exists a finite set such that for any finite set , we have . We write .

Of course is a (real) Banach space and is a perfectly good indexing set. We get our usual definition of summation if we restrict our attention to of the form . This means that our definition of summation is more restrictive than our usual definition for sequences, but we notice that it is equivalent to having be convergent series for all permutations . Equivalently, is summable (in our sense) if and only is absolute convergent. Considering the advantages of absolute convergence over convergence and the fact that absolute convergence makes little intuitive sense, it is tempting to consider this definition over our traditional one. Alas, there are too many practical difficulties with this definition to introduce in a calculus course.

We immediately have the fact that linearity is preserved: , , which passes from the fact that these are true when is finite. (Though technically, one must show that the sums are unique.)

One cannot go without some analogue of a Cauchy criterion, and this one is quite slick:

Theorem (Cauchy Criterion).A family of vectors is summable if and only if for all , there exists a finite set such that for any finite set such that , we have .

The proof of this is not so bad, but enlightening. One direction is straightforward. Suppose is summable. Then take such that for any one has . Take a set disjoint from and consider , we then have . So that proves one direction. Now suppose the Cauchy condition holds. Let be a finite set such that if , then . By replacing with , we may assume that for all . (Halmos makes the observation here, that is countable and if , then , then . So the sequence converges and we see that if we take any , then . The former converges to zero as and latter is less than .

So I quickly admit that I added nothing new from what Halmos had written, but I feel that this material is not as widely known as it should be. Certainly, one can generalize this by using nets, but the simplicity here works well and requires no exposition of directed sets and any difficulties that arise from dealing with more general nets.