Let $(X_i)_{i=1}^\infty$ be a sequence of normed spaces. We define the $\ell_p$-direct sum $[\bigoplus_{i=1}^n X_i]_p$ as the normed space of elements $(x_i)_{i=1}^n\in \prod_{i=1}^n X_i$ with norm $$ \|(x_i)_{i=1}^n\|_p=\left(\sum_{i=1}^n\|x_i\|^p\right)^{\frac{1}{p}} $$ for $1\leq p <\infty$ and $$ \|(x_i)_{i=1}^n\|_\infty=\sup_{1\leq i\leq n} \|x_i\|. $$ All these norms are equivalent.
I've been thinking on which properties are inherited by the direct sum from its building spaces (i.e. which properties are such that if they are found in the spaces $X_i$, $i=1,\ldots,n$, then they can be found in $[\bigoplus_{i=1}^n X_i]_p$ too). I've stumbled upon the following (they are properties preserved by isomorphism hence true for any space $[\bigoplus_{i=1}^n X_i]_p$).
- Completeness (Banach)
- Separability
- Reflexivity
We can generalize the definition to consider $[\bigoplus_{i=1}^\infty X_i]_p$ the space of elements $(x_i)_{i=1}^\infty\in \prod_{i=1}^\infty X_i$ such that $$ \|(x_i)_{i=1}^\infty\|_p=\left(\sum_{i=1}^\infty\|x_i\|^p\right)^{\frac{1}{p}}<\infty $$ with norm $\|\cdot\|_p$, $1\leq p< \infty$, and $[\bigoplus_{i=1}^\infty X_i]_\infty$ defined analogously. This is sometimes referred to as the $\ell_p$ sum of spaces $X_i$.
It is known that $[\bigoplus_{i=1}^\infty X_i]_p$ for $1\leq p\leq \infty$ is Banach if the spaces $X_i$ are.
I believe separability is also inherited for $1\leq p <\infty$ since the union of spaces $[\bigoplus_{i=1}^n X_i]_p$, $n\in \mathbb{N}$, is dense in $[\bigoplus_{i=1}^\infty X_i]_p$ (with the trivial embedding).
For the matter of reflexivity, the property is also inherited for $1<p<\infty$ as proved here.
I was wondering if someone could give an aswer regarding this topic more complete than the bits and pieces that I've managed to gather:
Q. Which properties are inherited by the different kinds of direct sums?
Note: If the above properties are true in a direct sum not only if they present in the building spaces but if and only if please tell me so I can edit the question.