# Absolute norms and 1-unconditional sums

Absolute norm

Let $X$ and $Y$ be Banach spaces. Let $Z=X\times Y$ a norm $\|\cdot\|_N$ on $Z$ is called absolute if there is a function $N\colon R^2\rightarrow R$ such that $$\|(x,y)\|_N=N((\|x\|, \|y\|)) \qquad \text{ for all } z=(x,y)\in Z.$$

For example, the $\ell_p$-norms are absolute norms.

1-unconditional sum

Let $E$ be a Banach space with a 1-unconditional normalized Schauder basis. We can think of the elements of $E$ as sequences with the property that $$\|(a_1,a_2,\dots)\|_E=\|(|a_1|,|a_2|,...\|_E \qquad \text{ for all } (a_j)\in E.$$ Note that $E$ is naturally endowed with the structure of a Banach lattice with respect to the pointwise operations.

Suppose that $X_1, X_2,\dots$ are Banach spaces. Their $E$-sum $X=(X_1, X_2, \dots)_E$ consists of all sequences $(x_j)$ with $x_j\in X_j$ and $(\|{x_j}\|)\in E$ with the norm $\|(x_j)\|=\|(\|x_j\|)\|_E$.

Question

Let $Z=X_1\times X_2\times...$. Can I equip $Z$ with an absolute norm? If so is this norm equivalent to equipping $Z$ with an 1-unconditional norm?

Welcome to Math.SE, and +1 for writing a thoughtful post. In the question, what structure does $Z=X_1\times X_2\times \dots$ have to begin with? Is it just an abstract product of vector spaces with no norm or topology, or something else? – user53153 Jan 6 '13 at 19:13
If you mean the abstract product $Z=\{(x_n)_{n\ge 1}: x_n\in X_n \ \forall n\}$, then this product is naturally a Fréchet space which is not normable: its topology cannot be induced by any norm. – user53153 Jan 6 '13 at 19:28
Thanks, Pavel! I forgot to add that: $X_1$, $X_2$, ... are Banach spaces and $Z$ is the product of Banach spaces. – user55379 Jan 7 '13 at 5:18
Unconditional sums can be much more complicated than absolute sums. In an absolute sum, if you have linear operators $T_n$ on $X_n$ s.t. $\sup_n \|T_n\| < \infty$ and define $T$ on $Y$ by $Tx = (T_n x(n))$ for $x=(x(n))$ in $Y$, then $T$ is a bounded linear operator on $Y$. This is not true for unconditional sums. In fact, the Kalton-Peck space is (the completion of) an unconditional sum of a sequence of 2-dimensional spaces (which can all be taken to be two dimensional Hilbert spaces) and yet does not have an unconditional basis!