L^p sum

Let ${\displaystyle (X_{i})_{i\in I}}$ be a family of Banach spaces, where ${\displaystyle I}$ may have arbitrarily large cardinality. Set

${\displaystyle P:=\prod _{i\in I}X_{i},}$

the product vector space.

The index set ${\displaystyle I}$ becomes a measure space when endowed with its counting measure (which we shall denote by ${\displaystyle \mu }$), and each element ${\displaystyle (x_{i})_{i\in I}\in P}$ induces a function

${\displaystyle I\to \mathbb {R} ,i\mapsto \|x_{i}\|.}$

Thus, we may define a function

${\displaystyle \Phi :P\to \mathbb {R} \cup \{\infty \},(x_{i})_{i\in I}\mapsto \int _{I}\|x_{i}\|^{p}\,d\mu (i)}$

and we then set

${\displaystyle \sideset {}{^{p}}\bigoplus \limits _{i\in I}X_{i}:=\{(x_{i})_{i\in I}\in P\mid \Phi ((x_{i})_{i\in I})<\infty \}}$

together with the norm

${\displaystyle \|(x_{i})_{i\in I}\|:=\left(\int _{i\in I}\|x_{i}\|^{p}\,d\mu (i)\right)^{1/p}.}$

The result is a normed Banach space, and this is precisely the L^p sum of ${\displaystyle (X_{i})_{i\in I}}$.

• Whenever infinitely many of the ${\displaystyle X_{i}}$ contain a nonzero element, the topology induced by the above norm is strictly in between product and box topology.
• Whenever infinitely many of the ${\displaystyle X_{i}}$ contain a nonzero element, the L^p sum is neither a product nor a coproduct.