$T:X\to X$ is absolutely summing if and only if $\sum_{n=1}^\infty \|Tx_n\|<\infty$ whenever $\sum_{n=1}^\infty x_n$ is unconditionally convergent.
The following proposition is extracted from Topics in Banach Space Theory by Albiac and Kalton.
Proposition $8.2.2$: An operator $T:X\to X$ is absolutely summing if and only if $\sum_{n=1}^\infty \|Tx_n\|<\infty$ whenever $\sum_{n=1}^\infty x_n$ is unconditionally convergent.
In the book, the authors do not provide a proof of the above theorem and they say the proof is routine. However, I do not know how to prove it. Any hint is appreciated. If anyone knows of any reference containing a proof of the proposition, may I have it?
Definitions: Let $X$ and $Y$ be Banach spaces. $T$ is said to be absolutely summing if there is a constant $C$ such that for all choices of $(x_k)_{k=1}^n$ in $X,$ $$\sum_{k=1}^n\|Tx_k\|\leq C\sup\bigg\{ \sum_{k=1}^n|x^*(x_k)|:x^*\in X^*, \|x^*\|\leq 1 \bigg\}.$$
We say that $\sum_{n=1}^\infty x_n$ is unconditionally convergent if one of the following holds:
$(1)$ $\sum_{n=1}^\infty x_{\pi(n)}$ converges for every permutation $\pi$ of $\mathbb{N}.$
$(2)$ The series $\sum_{k=1}^\infty x_{n_k}$ converges for every increasing sequence $(n_k)_{k=1}^\infty$
$(3)$ The series $\sum_{n=1}^\infty \varepsilon_n x_n$ converges for every choice of signs $(\varepsilon_n).$
$(4)$ For every $\varepsilon>0,$ there exists $n$ such that if $F$ is a finite subset of $\{n+1,n+2,...\},$ then $$\bigg\| \sum_{j\in F} x_j \bigg\|<\varepsilon.$$
real-analysis sequences-and-series functional-analysis reference-request banach-spaces
Idonknow
IdonknowIdonknow
2,77699 gold badges5353 silver badges123123 bronze badges
I'm going to assume real scalars for convenience (any complex Banach space is also a real Banach space). We need another equivalent form of unconditional convergence, namely
(5) For every $\varepsilon>0$, there exists $n$ such that $$\sum_{k>n} |x^*(x_k)| < \epsilon $$ for all $x^*\in X^*$ with $\|x^*\|\le 1$.
(Remark: thinking of each $x$ as a function on the unit ball of $X^*$, we can interpret (5) as saying that unconditional convergence is uniform absolute convergence of the series of these functions.)
Let's show that (5) is equivalent to (4). First, (5) implies (4) because for any finite set $F$ as in (4) we have $$ \bigg\| \sum_{j\in F} x_j \bigg\| = \sup_{\|x^*\|=1} x^*\bigg( \sum_{j\in F} x_j\bigg) = \sup_{\|x^*\|=1} \sum_{j\in F} x^*(x_j) \le \sup_{\|x^*\|=1} \sum_{k>n} |x^*(x_k)| $$
Conversely, suppose (4) holds. Given $\varepsilon$, apply (4) to $\varepsilon/3$ and get $n$ from it. Given $x^*$ with $\|x^*\|\le 1$ and a number $N>n$, let $$ F^+ = \{n < k\le N : x^*(x_k)>0\}, \quad F^- = \{n < k \le N : x^*(x_k)<0\} $$ According to (4), $$ \sum_{k\in F^+} |x^*(x_k)| = \sum_{k\in F^+} x^*(x_k) = x^*\left(\sum_{k\in F^+} x_k\right) < \varepsilon/3 $$ Similarly, $\sum_{k\in F^-} |x^*(x_k)|<\varepsilon/3$. We thus obtain $$ \sum_{k=n+1}^N |x^*(x_k)|<2\varepsilon/3 $$ Since $N$ was arbitrary, $$ \sum_{k>n} |x^*(x_k)|\le 2\varepsilon/3 < \varepsilon. $$
Absolutely summing operators
Suppose $T$ is absolutely summable and $\sum x_n$ is unconditionally convergent. Given $\varepsilon>0$, let $n$ be as in property (5) above. Then for every $N>n$ we have $$ \sum_{k=n+1}^N \|Tx_k\| \leq C\sup\bigg\{ \sum_{k=n+1}^N |x^*(x_k)|:x^*\in X^*, \|x^*\|\leq 1 \bigg\} < C\varepsilon $$
Since $\varepsilon$ is arbitrarily small, this shows $\sum \|Tx_k\|$ converges.
Conversely, suppose $T$ is not absolutely summing. Then for each $j\in\mathbb{N}$ there is a finite sequence of vectors $(x_k)_{k=1}^n$ such that $$ \sum_{k=1}^n\|Tx_k\| > 2^j \sup\bigg\{ \sum_{k=1}^n|x^*(x_k)|:x^*\in X^*, \|x^*\|\leq 1 \bigg\} $$ Multiply all these vectors by a suitable constant so that $\sum_{k=1}^n\|Tx_k\| =1 $, hence
$$\sup\bigg\{ \sum_{k=1}^n|x^*(x_k)|:x^*\in X^*, \|x^*\|\leq 1 \bigg\} < 2^{-j}$$ Repeat the above for $j=1, 2, 3, \dots$, getting a finite sequence of vectors each time, and put all these vectors into one series: (vectors from $j=1$), (vectors from $j=2$), (vectors from $j=3$), etc. By construction this series satisfies property (5) and therefore is unconditionally convergent. Also by construction, the series of $\|Tx_j\|$ is divergent, as each $j$-th block contributes $1$ to it.
$\begingroup$ Thanks for your answers. May I know whether this kind of proof is considered routine? $\endgroup$ – Idonknow May 20 '18 at 23:07
$\begingroup$ With sufficient experience, it is. $\endgroup$ – user357151 May 20 '18 at 23:28
Not the answer you're looking for? Browse other questions tagged real-analysis sequences-and-series functional-analysis reference-request banach-spaces or ask your own question.
Equivalent definitions of unconditional convergence
Show that $\displaystyle \sum_{n\geq{1}} ||x_n -x_{n+1}|| < \infty$ is a Cauchy sequence.
Shorter proof for $T$ compact and $x_n \to x$ weaky then $Tx_n \to Tx$ strongly
To show $T$ bounded
Show that $\sum_{n=0}^{\infty} a_{f(n)}$ is also absolutely convergent series.
There is isomorphism $T:X \rightarrow Y$ such that $Tx_n = y_n$ for each $n$ implies $(x_n)_{n=1}^{\infty}$ and $(y_n)_{n=1}^{\infty}$ are equivalent
Image of double adjoint operator
Proof of a series $\sum_{n=0}^{\infty} x_n$ is absolutely convergent.
Normed Space $X$ complete iff any absolutely comvergent series in $X$ converges
Prove $\|T\| = \sup_{\|x\| < 1} \|Tx\|$