Commutativity in Series III
Okay, here’s the part I promised I’d finish last Friday. How do we deal with rearrangements that “go to infinity” more than once? That is, we chop up the infinite set of natural numbers into a bunch of other infinite sets, add each of these subseries up, and then add the results up. If the original series was absolutely convergent, we’ll get the same answer.
First of all, if a series converges absolutely, then so does any subseries , where is an injective (but not necessarily bijective!) function from the natural numbers to themselves. For instance, we could let and add up all the even terms from the original series.
To see this, notice that at any finite we have a maximum value . Then we find
So the new sequence of partial sums of absolute values is increasing and bounded above, and thus converges.
Now let’s let , , , and so on be a countable collection of functions defined on the natural numbers. We ask that
- Each is injective.
- The image of is a subset .
- The collection is a partition of . That is, these subsets are mutually disjoint, and their union is all of .
If is an absolutely convergent series, we define — the subseries defined by . Then from what we said above, each is an absolutely convergent series whose sum we call . We assert now that is an absolutely convergent series whose sum is the same as that of .
Let’s set . That is, we have
But this is just the sum of a bunch of absolute values from the original series, and so is bounded by . So the series of absolute values of has bounded partial sums, and so converges absolutely. That it has the same sum as the original is another argument exactly analogous to (but more complicated than) the one for a simple rearrangement, and for associativity of absolutely convergent series.
This pretty much wraps up all I want to say about calculus for now. I’m going to take a little time to regroup before I dive into linear algebra in more detail than the abstract algebra I covered before. But if you want to get ahead, go back and look over what I said about rings and modules. A lot of that will be revisited and fleshed out in the next sections.