In how many ways can a series of real-valued functions on an abstract set converge? Having no measure on the domain eliminates the infinitude of modes of convergence based on integral norms. I can think of five modes of convergence of where :
- (P) Pointwise convergence: converges for each .
- (U) Uniform convergence: the partial sums of the series converge to some function uniformly, i.e., .
- (PA) Pointwise convergence of absolute values: converges for each .
- (UA) Uniform convergence of absolute values: like uniform, but for .
- (M) Weierstrass M-test convergence: converges.
Implications (all easy): (M) implies (UA), which implies both (U) and (PA). Neither (U) nor (PA) implies the other one, but each of them implies (P).
Perhaps (U) and (PA) deserve an illustration, being incomparable. Let . The constant functions form a series that converges uniformly but not in the sense (PA). In the opposite direction, a series of triangles with height 1 and disjoint supports converges (PA) but not (U).
Notably, the sum of the latter series is not a continuous function. This had to happen: by Dini’s theorem, if a series of continuous functions is (PA)-convergent and its sum is continuous, then it is (UA)-convergent. This “self-improving” property of (PA) convergence will comes up again in the second part of this post.
From abstract sets to normed spaces
In functional analysis, the elements of a normed space can often be usefully interpreted as functions on the unit ball of the dual space . Indeed, each induces for . Applying the aforementioned modes of convergence to with , we arrive at
- (P) ⇔ Convergence in the weak topology of E.
- (U) ⇔ Convergence in the norm topology of E.
- (PA) ⇔ Unconditional convergence in the weak topology of E.
- (UA) ⇔ Unconditional convergence in the norm topology of E.
- (M) ⇔ Absolute convergence, i.e., converges.
The equivalences (P), (U), (M) are straightforward exercises, but the unconditional convergence merits further discussion. For one thing, there are subtly different approaches to formalizing the concept. Following “Normed Linear Spaces” by M. M. Day, let’s say that a series is
- (RC) Reordered convergent if there exists such that for every bijection
- (UC) Unordered convergent if there exists such that for every neighborhood of there exists a finite set with the property that for every finite set containing .
- (SC) Subseries convergent if for every increasing sequence of integers the series converges.
- (BC) Bounded-multiplier convergent if for every bounded sequence of scalars , the series converges.
In a general locally convex space, (BC) ⇒ (SC) ⇒ (UC) ⇔ (RC). The issue with reversing the first two implications is that they involve the existence of a sum for some new series, and if the space lacks completeness, the sum might fail to exist for no good reason. All four properties are equivalent in sequentially complete spaces (those where every Cauchy sequence converges).
Let’s prove that interpretation of (PA) stated above, using the (BC) form of unconditional convergence. Suppose converges in the sense (PA), that is for every linear functional the series converges. Then it’s clear that has the same property for any bounded scalar sequence . That is, (PA) implies bounded-multiplier convergence in the weak topology. Conversely, suppose enjoys weak bounded-multiplier convergence and let . Multiplying each by a suitable unimodular factor we can get for all . Now the weak convergence of yields the pointwise convergence of .
A theorem of Orlicz, proved in the aforementioned book by Day, says that (SC) convergence in the weak topology of a Banach space is equivalent to (SC) convergence in the norm topology. Thanks to completeness, in the norm topology of a Banach space all forms of unconditional convergence are equivalent. The upshot is that (PA) automatically upgrades to (UA) in the context of the elements of a Banach space being considered as functions on the dual unit ball.