The concept of direct sum extends easily from vector spaces to topological vector spaces; we wish to explore a similar but more general notion in the case of Banach spaces.
When taking the direct sum of two (or any finite number) of Banach spaces (i.e., in the category of Banach spaces and continuous linear maps), the only question is which norm to use; and we have a choice, entirely analogous to the choice of norms to put on the Cartesian space (and its complexified variant ): one for each extended real number (and actually more choices than that). In fact, this is a special case, the direct sum of two copies of the line or .
For infinitely many summands, the naïve direct sum is not complete under any of these norms, so we must complete it, getting different results for each ; this is analogous to the different sequence spaces . Again, this is a special case, a direct sum of infinitely many copies of the line.
In accordance with the last analogy, we speak of -direct sums. In fact, even more variety is possible, corresponding to other possible norms on standard Banach spaces.
Let be a Banach space equipped with a Schauder basis , so that every element of may be written uniquely as an infinitary linear combination of elements of . Suppose also that that the basis is normal: the norm of any element of is ; and absolute:
(where the are the elements of the basis and the are scalars). The typical example is the sequence space (or a finitary or uncountablary version) with its usual basis.
Then given a family of Banach spaces indexed by the set , the -direct sum of this family is a subspace of the direct product of the family, consisting of those such that this sum converges:
(where again the are the basis vectors and is in the space , with the norm of taken in and the sum taken in ). Then the norm of is the norm of this sum:
We may succinctly write the -direct sum as follows:
Strictly speaking, the only condition on the right-hand side is that the sum exists in ; then of course its norm will be finite. However, often some sense can be established for the sum outside of but then it will have no (finite) norm.
In particular, if (or a finitary or uncountablary version of such) for , then
and if , then
These are the -direct sum and -direct sum (which is really a special case). In particular, we have the -direct sum:
If short linear maps are taken as the morphisms in the category of Banach spaces, then the -direct sum is the coproduct, and the -direct sum is the product.
We can also consider the abstract concepts of direct sum and weak direct product; here again the -direct sum is the direct sum, and the -direct sum is the weak direct product. (It is quite common for coproduct and direct sum to be the same, but weak direct product usually diverges from the product for infinitely many objects. That they match up here crucially depends on completeness.)
If every Banach space in a direct sum is a Hilbert space, then their -direct sum is also a Hilbert space. This is the standard notion of direct sum of Hilbert spaces. In Hilb, this the abstract direct sum, the weak direct product, and the coproduct. Thus for finitely many objects, it is a biproduct (so behaves rather like Vect).
Any Banach space with basis is the -direct sum of copies of the line ( or ).
As is the Lebesgue space for a measure space with counting measure, and infinitary sums are simply the integrals on such a measure space, we may generalise from direct sums of Banach spaces to their direct integrals. This is particularly common (using ) for Hilbert spaces.
Here's something about direct sums of finitely many Banach spaces using norms (on ) other than the usual -norms:
Here, is the norm, viewed as a convex function of multiple arguments.
Last revised on August 14, 2023 at 07:04:12. See the history of this page for a list of all contributions to it.