%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%% Случай $ 1\lee{\ssize s}\le \infty$ %%%% First modified - : 11.08.00 14:08:45 Fri %%%% Last modified - : 22.08.00 21:33:54 Tue %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%% % % \input amstex \documentstyle{amsppt} \expandafter\edef\csname aaaaa \endcsname{% \catcode`\noexpand\@=\the\catcode`\@\space} \catcode`\@=11 \def\nologo{\let\logo@\empty} \csname aaaaa \endcsname \nologo \magnification=\magstep1 \parindent=1em \baselineskip=18pt \hsize=16 true cm \vsize=22 true cm \def\ove#1{\overline{#1}} \def\ovs#1#2{\overset{#1}\to{#2}} \def\({\left(} \def\al{\alpha} \def\lee{\leqslant} \def\){\right)} \def\e{\varepsilon} \def\gee{\geqslant} \def\[{\left[} \def\la{\lambda} \def\]{\right]} \def\ffi{\varphi} \define\be{\beta} \def\ot{\otimes} \def\<{\langle} \def\wh{\widehat} \def\>{\rangle} \def\wt{\widetilde} \def\sbs{\subset} \def\tr{\operatorname{trace}\,} %%%%%%%%%%%%% \def\Gr{\operatorname{Gr}} \def\AP{\operatorname{AP}} \def\BAP{\operatorname{BAP}} \def\MAP{\operatorname{MAP}} \def\CAP{\operatorname{CAP}} \def\N{\operatorname{N}} \def\I{\operatorname{I}} \def\K{\operatorname{K}} \def\id{\operatorname{id}} \def\L{\operatorname{L}} \def\QN{\operatorname{QN}} \def\RN{\operatorname{RN}} \def\J{\operatorname{J}} \def\R{\operatorname{R}} \def\WK{\operatorname{WK}} \def\Var{\operatorname{Var}} \def\reg{\operatorname{reg}} \def\dual{\operatorname{dual}} \def\sbs{\subset} %%%%%%%%%%%%%%%%%%%%%%%%% \def\med{\medpagebreak} \def\QQ{\qed} \def\small{\smallpagebreak} \def\Q{\quad\blacksquare} \def\bigp{\bigpagebreak} \CenteredTagsOnSplits \NoBlackBoxes \NoRunningHeads \pageno=1 \footline={\hss\tenrm\folio\hss} %\vskip5mm \topmatter \title { Аппроксимационные свойства $ \operatorname{AP_s}$ и ${\ssize p}$-ядерные операторы (случай $ 1\lee{\ssize s}\lee \infty$) } \endtitle \author { О.И.Рейнов.} \endauthor \address\newline \eightrm Санкт--Петербургский государственный университет,\newline математико--механический факультет,\newline \endaddress \email orein\@orein.usr.pu.ru \endemail \abstract\nofrills %%%% Продолжение исследований, начатых в предыдущей работе автора "Аппроксимационные свойства $ AP_s$ и $p$-ядерные операторы (случай $ 01 $ (для $ p=1$ это соответствующие свойства Гротендика, и с ними разобрались, как отмечалось выше, Фигель и Джонсон). Эти свойства были введены Сафаром [Saph] в 1970 году, который получил много положительных результатов, но результаты отрицательного характера (контрпримеры) появились лишь в 1981 г. Теорема Линденштраусса стала основанием, на котором выросли примеры пространств со свойствами аппроксимации порядка $ p,$ но без соответствующих свойств ограниченной аппроксимации, а также примеры не $ p$-ядерных операторов с $ p$-ядерными вторыми сопряженными. В дальнейшем, снова на основе теоремы Линденштраусса (и примера Энфло), стало возможным, например, упростить конструкцию Фигеля--Джонсона и получить, в некотором смысле, даже более сильный, чем их, результат --- см. [ReiOja]. Для нас полезно сказать несколько слов о центральной идее применения в заметке [ReiOja] теоремы Линденштраусса. Она очень проста и суть ее сводится к следующему. Если $ z=\sum x^*_k\ot x_k$ --- ненулевой тензорный элемент Энфло, порождающий нулевой ядерный оператор, то при помощи теоремы Линденштраусса мы можем поднять ограниченную последовательность $ (x_k)$ без существенного увеличения нормы до последовательности в некотором сепарабельном сопряженном пространстве с базисом, получив ненулевой ядерный оператор, который, однако, наследует некоторые "плохие" свойства начального элемента $ z.$ Дальше уже, имея перед собой определенную цель, нетрудно получить контрпример типа примера Фигеля--Джонсона. Эта же идея проходит (если немного повозиться с чуть более сложной ситуацией) и при рассмотрении "плохих" $ p$-ядерных %операторов тензорных элементов для $ p\in (1,2)$ (для двойки в принципе не может быть подобных контрпримеров в силу "гильбертовости" показателя $ p=2$). Рассмотрение здесь именно случая $ p<2$ возможно благодаря экстремальной конструкции Энфло. Еще в 1955 г. Гротендик установил, что никакой 2/3-ядерный тензорный элемент не может порождать нулевой оператор. В примере Энфло построен нулевой оператор, порождаемый ненулевым тензорным элементом, являющимся $ p$-ядерным элементом для любого $ p>2/3$ (см. [Dav], [Ptch]). Для $ p>2$ пример Энфло, либо другие контрпримеры к проблеме аппроксимации Гротендика, соединенные с теоремой Линденштраусса ничего похожего (если пользоваться той же идеей) не дают, поскольку в этой ситуации про последовательность $ (x_k)$ известно только, что она слабо $ p'$-суммируема (см. [ReiMN]), тогда как последовательность функционалов $ (x^*_k)$ всего лишь абсолютно $ p$-суммируема, и теорема Линденштраусса не гарантирует возможность поднятия последовательности $ (x_k)$ до снова слабо $ p'$-суммируемой последовательности. В этой ситуации нужно некоторое обобщение теоремы Линденштраусса, некая модифицированная конструкция пространства Линденштраусса, для которой уже станет возможным поднимать слабо суммируемые последовательности при факторотображениях до снова же слабо суммируемых последовательностей так, чтобы "плохие" свойства ненулевых $ p$-ядерных тензорных элементов наследовались "поднятыми" до пространства с базисом $ p$-ядерными тензорными элементами или, что в случае пространства с базисом то же, $ p$-ядерными операторами. Одна из основных целей данной работы --- привести это обобщение и ряд его применений. \heading{\S0. Предварительные сведения} \endheading %% Все рассматриваемые нами пространства $X,\,Y,\,Z,\dotso$ --- банаховы. Элементы этих пространств мы обычно обозначаем соответствующими строчными буквами: $x\in X,\,y\in Y,\dotsc,\, x^*\in X^*,\,y^{**}\in Y^{**},\dotso$. Функционалы будут также обозначаться через $ f$ и т.п., а значения их, например, функционала $ x^*$ или $ f,$ на элементе $ x$ --- либо через $\< x^*,x\>,$ $ \,$ либо через $ x^*(x),$ $f(x);$ эти обозначения равноправны. Если надо указать пространство, в котором рассматривается норма $ \|\cdot\|$ элемента $ x\in X,$ то мы пишем $ \|x\|_X.$ Обозначения для последовательности элементов некоторого множества: $(f_k), (f_k)_k$ и т.д., для замкнутой линейной оболочки $B$ --- $[B];$ значение отображения на некотором элементе --- $Ax, A(x);$ для образа отображения используем как обозначение типа $\ffi^*X^*,$ так и типа $\ffi(E).$ Обозначения $l_p, c_0 $ стандартны; нормы в этих пространствах мы также обозначаем через $ \|\al\|_p=\|\al\|_{l_p}$ для $ \al=(\al_k)\in l_p$ и $ \|\al\|_\infty=\|\al\|_{c_0}$ во втором случае; $ r'$ - сопряженный с $ r$ показатель (но в \S1 мы используем и другое обозначение при доказательстве леммы 1.3). Договоримся под $ l_p$ при $ p=\infty$ понимать пространство $ c_0.$ Мы говорим, что банахово пространство $ X$ {\it вполне сепарабельно,}\, если все его сопряженные пространства $ X^*, X^{**},\dots$ сепарабельны. Через $\operatorname{L}(X,Y )$ обозначается пространство всех (линейных непрерывных) операторов из $X$ в $Y$ со стандартной нормой (вообще, в данной работе под термином "оператор" всегда будет пониматься линейный непрерывный оператор). Мы используем стандартные обозначения из теории операторных идеалов --- $\operatorname{\Pi}{_p},\, $ $\operatorname{QN}{_p},\,$ $\operatorname{N}{_p},\, $ $\operatorname{ I}{_p}$ --- определения этих классов можно найти в [Ptch], [Pers], [PersPi], [GLR] (абсолютно $ p$-суммирующие, квази-$p$-ядерные, $ p$-ядерные, $ p$-интегральные в смысле Гротендика операторы; рассматриваются те значения показателей, для которых имеет смысл соответствующее обозначение). Далее, $ \operatorname{ N}_p^{ \operatorname{ reg}}$ --- квазинормированный идеал таких операторов $ T,$ что второй сопряженный к $ T$ оператор лежит в $ \operatorname{ N}_p.$ Нетрудно понять, что $T\in \operatorname{ N}_p^{ \operatorname{ reg}}(X,Y)$ тогда и только тогда, когда $ \pi_Y\,T\in \operatorname{ N}_p (X, Y^{**}),$ где, как обычно принято, через $ \pi_Y$ обозначается каноническое изометрическое вложение пространства $ Y$ в его второе сопряженное $ Y^{**}$ (часто мы будем опускать индекс, указывающий на то, какое пространство вкладывается в свое второе сопряженное, --- из контекста будет понятно, где действует оператор $ \pi.$ Кроме того, если это не приводит к недоразумению, мы иногда будем считать, что рассматриваемое банахово пространство является подпространством своего второго сопряженного, --- это удобно, в частности, для упрощений некоторых формул). Нормы в указанных операторных пространствах будут обозначаться, соответственно, через $ \pi_p$ --- для первых двух, $\nu_p $ и $ i_p$ --- для второй пары. Отметим, что если пространство $ X$ рефлексивно или имеет сепарабельное сопряженное, то $ \Pi_p(X,Y)= \operatorname{ QN}_p(X,Y)$ и $ \operatorname{ I}_p(X,Y^{**})= \operatorname{ N}_p(X,Y^{**})$ для всякого банахова пространства $ Y$ и любого $ p\in[1,\infty)$ (см. [Pers], [ReiDAN]). Если $0< p\lee \infty,$ то через $ X^*\wh\ot_p Y$ обозначается ассоциированное с пространством $ N_p(X, Y)$\, $ p$-проективное тензорное произведение. Удобно будет использовать обозначение $ \wt z$ для оператора, порождаемого некоторым тензорным элементом $ z\in X^*\wh\ot_p Y,$ а также иногда через $ A\circ z$ суперпозицию $ A$ и $ z,$ где $ A, z$ --- тензоры или операторы. В основном, кружок мы будем использовать тогда, когда один из символов $ A,Z$ обозначает тензорный элемент. \smallpagebreak Напомним, что если $1\lee p\lee \infty,$ то $ (X^*\wh\ot_p Y)^*= \Pi_{p'}(Y,X^{**})$ с естественной двойственностью, определяемой при помощи следа суперпозиции операторов [Saph], [Ptch]. Пусть $p\in(0,\infty].$ \, Говорят, что банахово пространство $\,Y\,$ {\it обладает свойством $\,\operatorname{AP}\!{_p}\,$ аппроксимации порядка} $\,p\,$ (коротко --- $\,Y\in\operatorname{AP}\!{_p}$), если для любого банахова пространства $\,X\,$ каноническое отображение $\,X^*\widehat \otimes _p \,Y \,\to \,\operatorname{L}\left(X,Y \right)\ $ \, взаимно однозначно (и, следовательно, $X^*\widehat \otimes _p \,Y = \operatorname{ N}\!{_p}(X,Y)$). При $ p\in[1,\infty]$ пространство $\,Y\,$ {\it обладает свойством} $\operatorname{BAP}\!{_p},$ если для любого $\,X\,$ естественное отображение $\,X^*\widehat \otimes _p \,Y \,\to \, \operatorname{I}_p(X,Y )\ $ есть $C$-изометрическое вложение для некоторого числа $\,C\ge 1;$ в случае, когда константу $ C$ можно взять равной 1, говорят, что $ Y$ обладает свойством $\operatorname{MAP}\!{_p}$. Если $\,p=1,\,$ то мы используем общепринятые в этом случае аббревиатуры $\operatorname{AP},\,$ $\operatorname{BAP},\,$ $\operatorname{MAP},\,$ и говорим просто о свойствах аппроксимации, ограниченной аппроксимации и метрической аппроксимации. Если $ X^*$ или $ Y$ обладает свойством аппроксимации и $ p\in [1,\infty],$ то $ \operatorname{ QN}_p(X,Y)^*= \operatorname{ I}_{p'}(Y,X^{**}).$ В одном месте работы нам будет удобно использовать еще и такое обозначение: $ X^*\in \operatorname{AP}_p^{ \operatorname{ dual}},$ если для любого $ Y$ естественное отображение $ X^*\wh\ot_p Y\to \operatorname{ L}(X,Y)$ взаимно однозначно. Понятно, что это некоторое новое аппроксимационное условие, налагаемое на пространство $ X^*,$ и можно определить соответствующие аппроксимационные свойства для произвольного не обязательно сопряженного пространства. Мы однако, по крайней мере в этой работе, не пойдем так далеко и не станем исследовать банаховы пространства, обладающие подобными аппроксимационными свойствами, а ограничимся всего лишь введенным обозначением. \smallpagebreak Будем говорить, что оператор $ T:X\to Y$ {\it{\rm(}компактно}) {\it факторизуется через пространство} $Z,$ если найдутся два (компактных) оператора $ A:X\to Z$ и $ B:Z\to Y,$ для которых $ T=BA.$ Если $ Z=L_p(\mu),$ то говорят о {\it$ p$-факторизуемых операторах} (основную информацию об идеале таких операторов можно найти в [Ptch]). В \S 1 нам понадобятся некоторые более конкретные понятия и один простой факт, которые мы сейчас и вспомним. Пусть $ 0)\in l_r$ для всех функционалов $ z^*\in Z^*.$ Мы полагаем $ \e_r(z_k) :=\sup \{ \|(\)\|_{l_r}:\, \|z^*\|\lee1\}.$ Пусть $ r\gee 1$ и $ (h_k)$ обозначает стандартную последовательность ортов пространства $ l_r$ (в случае $ r=\infty$ мы сейчас рассматриваем пространство $ c_0).$ Без труда проверяется, что последовательность $ (z_k)$ элементов пространства $ Z$ является слабо $ r$-суммируемой тогда и только тогда, когда вполне определен и ограничен линейный оператор $ T:l_{r'}\to Z,$ заданный соотношениями $ Th_k:=z_k;$ при этом $ \|T\|=\e_r (z_k).$ \small Напомним, что базис Шаудера %последовательность $ (z_k)$ банахова пространства %!!! ПОДПРАВИТЬ $ Z$ называется {\it ограниченно полным, %базисом }\ %этого пространства если для всякой числовой последовательности $ (a_k)$ такой, что $ \sup_N \| \sum_{k=1}^N a_kz_k \|<\infty,$ ряд $ \sum_{k=1}^\infty a_kz_k $ сходится, и называется {\it натягивающим базисом,}\, если биортогональная с ним система функционалов образует базис сопряженного пространства $ Z^*.$ Если базис натягивающий, то биортогональная система функционалов --- ограниченно полный базис. Если базис $ (z_k)$ ограниченно полный, то пространство $ Z$ изоморфно сопряженному пространству, точнее, пространству, сопряженному к линейной оболочке биортогональной системы функционалов этого базиса; в случае, когда ограниченно полный базис является монотонным, $ Z$ даже изометрично указанному сопряженному пространству (подробности и другие свойства базисов можно найти в монографии [LiTz, раздел 1.b]). \small Следующий факт, конечно, хорошо известен, но поскольку мы не можем привести конкретную ссылку на соответствующую литературу, то приведем его доказательство. Под единичным элементом нормированного пространства будем понимать любой элемент единичной нормы. \proclaim {\bf Лемма 0.1}\it Всякий единичный элемент пространства $ X$ разлагается в абсолютно сходящийся ряд по любой заранее фиксированной $ \e$-сети единичной сферы $ S(X)$ пространства $ X$ \, $( 0<\e<1).$ При этом, разумеется, сама сеть не обязана лежать на этой сфере. \endproclaim\rm \demo{\it Доказательство} Пусть $ 0<\e<1,$ \,$ V$ --- $\e$-сеть для сферы $ S(X).$ Возьмем произвольный элемент $ x\in S(X)$ и выберем для него такой $ x_1 \in V,$ что $ \al_2:=\|x-x_1\|\lee \e.$ Далее, найдем $ x_2\in V,$ для которого $ \left\|{\dsize\frac{x-x_1}{\|x-x_1\|}}-x_2 \right\|\lee \e$ и положим $ \al_3:=\|x-x_1-\al_2\,x_2\|.$ Теперь выберем такой $ x_3\in V,$ что $$ \left\|{\dsize\frac{x-x_1-\al_2\,x_2}{\|x-x_1-\al_2\,x_2\|}}-x_3 \right\|\lee \e $$ и положим $ \al_4:=\|x-x_1-\al_2\,x_2-\al_3\,x_3\|$ и т.д.. Мы получим разложение элемента $ x$ в сходящийся ряд: $$ x=x_1+\al_2\,x_2+\al_3\,x_3+\dots,\qquad x_k\in V,\ |\al_k|\lee \e^{k-1},\ k=1,2,3,\dots \quad\qed $$ \enddemo \med В частности, если $ \{ x_n\}$ --- счетное всюду плотное на единичной сфере пространства $ X$ множество, последовательность единичных элементов $ \{ e_n\}$ из нормированного пространства $ E$ порождает все $ E$ и линейное отображение, переводящее $ e_n$ в $ x_n,$ непрерывно, то его образ есть все пространство $ X.$ Действительно, можно рассмотреть дополнительно естественное отображение $ l_1\to E,$ переводящее базисные векторы пространства $ l_1$ в элементы $ e_n$ (оно, конечно, непрерывно) и взять суперпозицию $ l_1\to E\to X,$ которая будет действовать "на" по вышесказанному, и тем более, образ $ E$ накроет все пространство $ X.$ \small \heading{\S1. Обобщение теоремы Й. Линденштраусса} \endheading %--- 1 --- % Формулировка теоремы Под {\it факторотображением}\, из пространства $ Y$ на пространство $ X$ мы понимаем такое отображение $ \ffi: Y\to X,$ что естественное отображение из $ Y/ \operatorname{Ker}\ffi$ на $ X$ есть изометрия. Через $ \pi: Y\to Y^{**}$ ниже обозначается каноническое вложение пространства $ Y$ в его второе сопряженное $ Y^{**}.$ \proclaim {\bf Теорема 1.1}\it Для всякого сепарабельного банахова пространства $ X$ сущес\-т\-ву\-ет сепарабельное банахово пространство $ Y,$ обладающее следующими свойс\-т\-ва\-ми. $1)$\, $ Y$ имеет монотонный натягивающий базис и, следовательно, сопряженное пространство $ Y^*$ сепарабельно и имеет монотонный ограниченно полный базис; $2)$\, существует факторотображение $ \ffi$ из $ Y^*$ на $ X;$ $3)$\, $Y^{**}=\pi Y\oplus \ffi^*X^*$ \, (и, следовательно, $ Y^{**}$ изоморфно пространству $ Y\oplus X^*).$ $4)$\, Для всякого $ \e>0,$ любого $ r\in[1,+\infty)$ и для каждой слабо $ r$-суммиру\-е\-мой последовательности $ (z_k)$ в $ X$ существует такая слабо $ r$-суммируемая последовательность $ (y^*_k)$ в $ Y^*,$ что $ \ffi(y^*_n)=z_n,$\, $ n=1,2,\dots,$ и $ \e_r(y^*_n)\lee \e_r(z_n)+\e.$ \endproclaim\rm \small %--- 2 --- % Определение пространства и лемма 1 Доказательство теоремы мы разобьем на несколько шагов. Начнем с определения пространства $ Y.$ Пусть $S= \{x_i\}$ --- счетное всюду плотное подмножество единичной сферы пространства $ X.$ Рассмотрим пространство $ E_1$ всех вещественных последовательностей $ \al=(\al_j),$ для которых $$ \|\al\| := \sup_{\underset{\ssize \|f\|=1}\to{f\in X^*}}\ \left\{ \shave{ \sup_{k\in\Bbb N}\ \sup_{0=n_0 \right|^2\)^{1/2} } \right\}<\infty. \tag1.1 $$ Отметим сразу, что из (1.1) моментально вытекает тот факт, что для $ \al\in E_1$ все нормы вида $ \|\sum_{i=1}^N \al_ix_i\|$ не превосходят $ \|\al\|.$ Далее, для каждого $ f\in X^*$ ряд $ \sum_i \< f,\al_ix_i\>$ сходится. Действительно, пусть подобный ряд расходится. Тогда он не сходится в себе, и для некоторого $ \e>0$ мы можем найти цепочку $ 0$ будет по модулю больше $ \e.$ Это противоречит условию (1.1). Таким образом, ряд $ \sum_i \al_ix_i$ слабо сходится в себе и, следовательно, ${}^*$-слабо сходится в пространстве $ X^{**}$ к некоторому элементу, который мы обозначим через $ \ffi(\al).$ Формула $ \ffi(\al):= {w}^*$-$\lim_N\, \sum_{i=1}^N \al_ix_i$ определяет естественное отображение $ \ffi:E_1\to X^{**},$ причем понятно, что $ \|\ffi\|\lee1.$ Пусть $ (e_k)$ --- последовательность ортов в пространстве $ E_1.$ \proclaim {\bf Лемма 1.2}\it Последовательность ортов образует ограниченно полный монотонный базис в пространстве $ E_1.$ \endproclaim\rm \demo{\it Доказательство} Для $ f\in X^*$ и $ \al\in E_1$ обозначим через $ (f;\al)$ величину, стоящую в фигурных скобках формулы (1.1). Предположим, что для некоторой числовой последовательности $ \al$ \ $ \sup_N \|\sum_{i=1}^N \al_ie_i\|=:C<\infty.$ Тогда, по определению нормы (1.1), последовательность $ \al$ лежит в $ E_1$ (и $ \|\al\|=C).$ Нам надо показать, что ряд $ \sum_1^\infty \al_ie_i$ сходится в $ E_1.$ Введем еще пару обозначений: если $ \al\in E_1,$ то $ \al_{(N)}:=(\al_1,\al_2,\dots,\al_N,0,0,\dots)$\, и \, $ \al^{(N)}:=(0,0,\dots,0,\al_{N+1},\al_{N+2},\dots)=\al-\al_N.$ Заметим, что, во-первых, $ \|\al^{(N)}\|\searrow,$ $ \|\al_{(N)}\|\nearrow\|\al\|$\, и, во-вторых, для любого $ f\in X^*$\ $ (f;\al_{(N)})\nearrow$ \, и $ (f;\al^{(N)})\searrow 0$ (если последнее предельное соотношение не верно, то мы применим стандартный метод "скользящего горба" для получения противоречия с ограниченностью последовательности $ \( (f;\al_{(N)})\)$). Пусть $ \e:=\lim_N \|\al^{(N)}\|>0$ (т.е. интересующий нас ряд не сходится). Для каждого $ N$ выберем в $ X^*$ такой функционал $ f_N$ единичной нормы, что $ (f_N;\al^{(N)})\gee 1/2\,\|\al^{(N)}\|\,(\gee\e/2>0).$ В силу сепарабельности пространства $ X,$ существует подпоследовательность $ (f_{N_j})_j,$ \, ${}^*$-слабо сходящаяся в $ X^*$ к некоторому функционалу $ f.$ Так как для каждого натурального $ N$ выполняются соотношения $ (f;\al)\gee(f;\al^{(N)})$ и $ (f_N;\al)\gee(f _N;\al^{(N)})\gee\e/2,$ то $ (f;\al)\gee \underline{\lim}_j (f_{N_j};\al)\gee\e/2$ и, аналоги\-ч\-но, $ (f;\al^{(K)})\gee\e/2$ для любого $ K\gee1.$ С другой стороны, из определения $ (f;\al)$ и ограниченности последовательности $ \( (f;\al_{(N)})\),$ как отмечалось, вытекает, что $ (f;\al^{(K)})\to 0.$ \qed \enddemo \small %--- 3 --- %% Положим $ E:=\ffi^{-1}(X)\subset E_1.$ Так как $ \ffi(e_k)=x_k$ и множество $ S$ плотно на сфере пространства $ X,$ то $ \ffi$ отображает $ E$ на все пространство $ X,$ причем $ \|\ffi\|=1,$ а поскольку семейство $ (e_k)$ образует ограниченно полный монотонный базис в своей замкнутой линейной оболочке, то на самом деле $ E_1=E,$\, $ \ffi$ действует из $ E$ на $ X$ и $ E=Y^*,$ где $ Y$ --- подпространство в $ E^*,$ порожденное биортогональными функционалами $ (f_k)$ к базису $ (e_k).$ В частности, ${}^*$-слабый предел в определении отображения $ \ffi$ можно заменить на слабый предел. Более того, всякий (слабо сходящийся) ряд $ A:=\sum\al_jx_j,$ где $ \al=(\al_j)\in E,$ на самом деле сходится по норме в $ X,$ так как $ A=\ffi(\al)=\ffi(\sum\al_je_j)$ и отображение $ \ffi$ непрерывно. Итак: 1) $ E$ есть банахово пространство всех числовых последовательностей, удовлетворяющих условию (1.1), в котором семейство $ (e_j)$ ортов образует монотонный ограниченно полный базис; 2) $ E$ изометрично пространству $ Y^*,$ сопряженному к некоторому банахову пространству $ Y,$ причем при естественном вложении $ \pi$ подпространство $ \pi Y\subset Y^{**}$ есть замкнутая линейная оболочка $ [f_j]$ множества биортогональных функционалов $ (f_j)$ к базису $ (e_j);$ само семейство $ (f_j)$ образует натягивающий базис в своей оболочке $ [f_j];$ далее мы отождествляем пространства $ E$ и $ Y^*;$ 3) отображение $ \ffi:E\to X,$\, $ \ffi(\al)=\sum \al_jx_j$ (ряд сходится в $ X),$ есть факторотображение из $ Y^*$ на $ X$ (поскольку $ \ffi(e_k)=x_k)$ и, таким образом, $ \ffi^*: X^*\to Y^{**}$ --- изометрическое вложение. Если $ u=\sum_{j=1}^\infty \beta_j f_j\in \pi Y,$ то $ \beta_j\to 0.$ Поэтому, как и в [Lind], для $ x^*\in X^*$ имеем: $$ \align \|\ffi^*(x^*)+u\|&\gee \sup_i |(\ffi^*(x^*)+u)(e_i)|= \\ &= \sup_i| \< x^*,x_i\>+\beta_i|\gee \ove{\lim}_i | \< x^*,x_i\>| =\|x^*\|=\|\ffi^*(x^*)\|. \endalign $$ Следовательно, $ \pi Y\cap \ffi^*X^*=\{0\}$ и естественный проектор из $ \pi Y+\ffi^*X^*$ на $ \ffi^*X^*$ с ядром $ \pi Y$ есть проектор единичной нормы. \small %--- 4 --- % Лемма 2 \proclaim {\bf Лемма 1.3}\it Для всякого $ \e>0,$ любого $ r\in[1,+\infty)$ и для каждой слабо $ r$-суммиру\-е\-мой последовательности $ (z_k)$ в $ X$ существует такая слабо $ r$-суммируемая последовательность $ (y^*_k)$ в $ Y^*,$ что $ \ffi(y^*_n)=z_n,$\, $ n=1,2,\dots,$ и $ \e_r(y^*_n)\lee \e_r(z_n)+\e.$ \endproclaim\rm \demo{\it Доказательство} Пусть $ \e>0,$ \, $ r\in[1,+\infty)$ и $ (z_k)$ --- произвольная слабо $ r$-сумми\-ру\-е\-мая последовательность в $ X.$ Мы будем считать, что $ \|z_k\|\lee 1$ для каждого $ k.$ Пусть, далее, $ (\e_k)\in l^1,$\, $ \delta:=\sum_1^\infty \e_k$ и $ w_k:=x_{m_k}$\, $ (m_1 \right|^2} = \sum_{j=1}^k \shave{ \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i \,\<\|z_i\|\,w_i,f\> \right|^2} \lee \\ \lee \sum_{j=1}^k \( \shave { \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i\, \ \right|+ \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i\, \<\|z_i\| \(w_i-\frac{z_i}{\|z_i\|}\),f\> \right| }\)^2 \lee \\ \lee \sum_{j=1}^k \( \shave { \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i \,\ \right|+ \|\al\|_s\, \sum_{i=n_{j-1}+1}^{n_j} \e_i }\)^2 \lee %\\ \lee \sum_{j=1}^k \shave { \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i\, \ \right|^2}+ \\ + 2\,\|\al\|_s\,\max_{1\lee j\lee k} \shave { \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i\, \ \right|}\, \sum_{k=1}^\infty \e_k + \|\al\|_s^2\, \( \shave{\sum_{k=1}^\infty}\e_k\)^2 \lee \\ \lee \sum_{j=1}^k \shave { \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i\, \ \right|^2}+ 2\,\|\al\|^2_s\,\e_r(z_n)\,\delta + \|\al\|_s^2\,\delta^2. \endmultline $$ При $ s\gee2$ (и, следовательно, $ r\lee2)$ имеем: $$ \multline \sum_{j=1}^k \shave { \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i\, \ \right|^2} \lee \sum_{j=1}^k \( \shave { \sum_{i=n_{j-1}+1}^{n_j} |\al_i|^s} \)^{2/s} \, \( \shave { \sum_{i=n_{j-1}+1}^{n_j} |\|^r } \)^{2/r}\lee \\ \lee \max_{1\lee j\lee k}\, \( \shave { \sum_{i=n_{j-1}+1}^{n_j} |\al_i|^s} \)^{2/s} \, \( \shave{ \sum_{j=1}^k \sum_{i=n_{j-1}+1}^{n_j} |\|^r} \)^{2/r} \lee \|\al\|^2_s \, \e_r(z_n)^2. \endmultline $$ При $ s\in[1,2]$ имеем: $$ \multline \sum_{j=1}^k \shave { \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i\, \ \right|^2} \lee \\ \lee \sum_{j=1}^k \( \shave { \sum_{i=n_{j-1}+1}^{n_j} |\al_i|^s} \)^{2/s} \, \max_{1\lee j\lee k} \( \shave { \sum_{i=n_{j-1}+1}^{n_j} |\|^r } \)^{2/r}\lee \|\al\|^2_s \, \e_r(z_n)^2. \endmultline $$ При $ s=\infty:$ $$ \multline \sum_{j=1}^k \shave { \left| \sum_{i=n_{j-1}+1}^{n_j} \al_i\, \ \right|^2} \lee \sum_{j=1}^k \( \max_{i}|\al_i|\, \shave { \sum_{i=n_{j-1}+1}^{n_j} |\|} \)^2 \lee \\ \lee \max_{n\gee1}|\al_n|^2\, \sum_{j=1}^k \( \shave { \sum_{i=n_{j-1}+1}^{n_j} |\|} \)^2 \lee \|\al\|^2_{c_0}\,\e_1 \( (z_n)\)^2. \endmultline $$ Следовательно, $ \|T\al\|\lee \|\al\|_s\,\delta+ \( \|\al\|^2_s \e_r(z_n)^2+ 2\,\|\al\|^2_s\e_r(z_n)\,\delta + \|\al\|_s^2\delta^2 \)^{1/2},$ откуда $ \|T\al\|\lee \|\al\|_s \(\e_r(z_n)+ o(1)\)$ при $ \delta\to 0,$ т.е. $ \|T\|\lee \e_r(z_n)+o(1)$ при $ \delta\to 0.$ Так как $ (y^*_n)$ есть образ последовательности ортов пространства $ l_s$ при отображении $ T,$ то из последнего вытекает, что при достаточно малом $ \delta>0$ будет выполняться неравенство $ \e_r (y^*_n)\lee \e_r(z_n)+\e;$ в частности, последовательность $ (y^*_n)$ слабо $ r$-суммируема и по построению ее образ при отображении $ \ffi$ есть последовательность $ (z_n).$ $\quad\qed$\enddemo \small %--- 5 --- % Основная часть Линденштраусса - ее начало Осталось установить, что $ Y^{**}\subset \pi Y\oplus \ffi^*X^*.$ Подпространство $ W:=\pi Y\oplus \ffi^*X^*$ замкнуто в $ Y^{**},$ поскольку естественные проекторы из $ W$ на обе компоненты прямой суммы непрерывны и каждая из этих компонент замкнута в полном пространстве $ Y^{**}.$ Поэтому (вспомним лемму 0.1) достаточно, как и в [Lind], показать, что подпространство $ W\subset Y^{**}$ образует $ 15/16$-сеть для единичной сферы пространства $ Y^{**}.$ Предварительно, докажем следующую лемму (мы следуем идее из [Lind]). \proclaim {\bf Лемма 1.4}\it Пусть множество $ A$ состоит из всех элементов $ u\in \pi Y,$ для которых существуют такие целые числа $ k,$ \, $ 0=n_0\,f_i, \qquad \sum_{j=1}^k |\mu_j|^2\lee 1. \tag1.2 $$ Для $ 1\lee k_0\lee k$ обозначим через $ t$ часть $ \sum_{j=1}^{k_0}$ суммы в $(1.2),$ а через $ z$ --- оставшуюся часть $ \sum_{j=k_0+1}^{k}.$ Тогда $ \|t\|^2+\|z\|^2\lee1.$ В частности, множество $ A$ лежит в замкнутом единичном шаре подпространства $ \pi Y\subset Y^{**}.$ Более того, $ \|\cdot\|$-замкнутая выпуклая оболочка множества $ A$ совпадает с этим шаром. \endproclaim\rm \demo{\it Доказательство} Пусть $ u\in A$ и $ (1.2)$ --- одно из его представлений. Пусть, далее, единичные элементы $ \al^t,\al^z\in E$ таковы, что для заранее фиксированного $ \e>0$ выполняются соотношения $ \< t,\al^t\>^2\gee \|t\|^2-\e$ и $ \< z,\al^z\>^2 \gee \|z\|^2-\e.$ Тогда $$ \multline \< t,\al^t\>^2+ \< z,\al^z\>^2 = \\ = \(\sum_{j=1}^{k_0} \sum_{i=n_{j-1}+1}^{n_j} \mu_j\, \al^t_i\,\< x^*,x_i\> \)^2+ \(\sum_{j=k_0+1}^k \sum_{i=n_{j-1}+1}^{n_j} \mu_j\, \al_i^z\,\< x^*,x_i\>\)^2 \lee\\ \lee {\sum_{j=1}^{k_0}} |\mu_j|^2\, {\sum_{j=1}^{k_0} \( \shave{ \sum_{i=n_{j-1}+1}^{n_j}} \al^t_i\,\< x^*,x_i\> \)^2 } + {\sum_{j=k_0+1}^k} |\mu_j|^2 \, {\sum_{j=k_0+1}^k \( \shave{ \sum_{i=n_{j-1}+1}^{n_j}} \al^z_i\,\< x^*,x_i\> \)^2 } \lee \\ \lee {\sum_{j=1}^{k}} |\mu_j|^2\lee1\qquad \endmultline $$ и $ \|t\|^2+\|z\|^2\lee 1+2\e.$ Если наше последнее утверждение не верно, то найдется точка $ \al\in E=Y^*,$ \, $ \|\al\|=1,$ для которой $ a:=\sup \{ \< u,\al\>:\, u\in A\}<1.$ Пусть целые числа $ k,$ \, $ 0=n_0 \)^2 }\)^{1/2}\gee \sqrt{(1+a)/2}. $$ Пусть, далее, в этой ситуации $ u$ определяется формулой (1.2), где для каждого $ j$ $$ \mu_j:= \sum_{i=n_{j-1}+1}^{n_j} \al_i\,\< x^*,x_i\>. $$ Тогда $ u\in A$ и $$ \< u,\al\> = \sum_{j=1}^k \sum_{i=n_{j-1}+1}^{n_j} \mu_j\, \al_i\,\< x^*,x_i\>= \sum_{j=1}^k |\mu_j|^2 \gee (1+a)/2>a, $$ что противоречит определению числа $ a.$ $\quad\qed$\enddemo Нам удобно переписать соотношение (1.2) в несколько другом виде --- так, чтобы получить полный аналог формулы (1) из [Lind]. Положим в (1.2)\, $ x^*_j:=\mu_j\,x^*.$ Тогда (1.2) превращается в соотношение $$ u=\sum_{j=1}^k \sum_{i=n_{j-1}+1}^{n_j} \< x^*_j,x_i\>\,f_i, \qquad \sum_{j=1}^k \|x^*_j\|^2\lee 1. \tag1.3 $$ \small %--- 6 --- % Основная часть Линденштраусса - продолжение %%%%%%%%% Итак, почему подпространство $ W\subset Y^{**}$ образует $ 15/16$-сеть для единичной сферы пространства $ Y^{**}?$ Ниже в обозначениях и рассуждениях мы следуем работе [Lind]. Мы обязаны привести целиком эти рассуждения, поскольку теорема 1.1 является самым важным инструментом получения большинства наших следующих результатов\footnote{ Кроме того, доказательство теоремы из статьи [Lind] отсутствует в русской математической литературе, а ее оригинал, может быть, трудно доступен в России. Поэтому включение в нашу работу основной части доказательства теоремы Линденштраусса вполне целесообразен и с этой точки зрения.}. Всякое целое $ n_j,$ появляющееся в соотношении (1.3), мы будем называть {\it точкой разделения}\, для $ u\in A.$ Пусть $ y^{**}\in Y^{**},$ $ \|y^{**}\|=1.$ Пусть, далее, $$ v_m:=\sum_{l=1}^{\gamma_m} \lambda_{l,m} u_{l,m},\quad \lambda_{l,m}\gee 0,\quad \sum_{l=1}^{\gamma_m} \lambda_{l,m} =1, \quad u_{l,m}\in A, \tag1.4 $$ и $ v_m$ \, ${}^*$-слабо сходится к $ y^{**}$ при $ m\to\infty.$ Такая последовательность существует в силу ${}^*$-слабой плотности единичного шара подпространства $ \pi Y$ в единичном шаре пространства $ Y^{**},$ сепарабельности пространства $ Y^*=E$ и последнего утверждения из леммы 1.4. {\it Случай}\, a). \, Существует такое целое $ i_0,$ что для любого $ i>i_0$ $$ \overline{\lim}_m {\sum}' \lambda_{l,m}\gee 1/8, $$ где $ \sum'$ означает суммирование только по тем индексам $ l,$ для которых $ u_{l,m}$ не имеет точки разделения между $ i_0$ и $ i.$ \small В этом случае, используя соображения компактности, мы можем считать, что $ v_m=v'_m+v''_m,$ где $ v'_m=\sum' \la_{l,m}\,u_{lm},$ каждый элемент $ u_{l,m}$ в последней сумме не имеет точки разделения между $ i_0$ и некоторым $ i_m,$ $ \sum' \la_{l,m}\gee 1/16,$ $ \lim_m i_m=\infty$ и $ v''_m$ \, ${}^*$-слабо сходится к некоторой точке $ z^{**}\in Y^{**}.$ Так как $ \|v''_n\|\lee 15/16,$ то $ \|z^{**}\|\lee 15/16,$ при этом $ y^{**}-z^{**}= w^*\text{-}\lim_m v'_m.$ Из (1.3) и (1.4) и из предположения об элементах $ u_{l,m},$ которые входят в сумму $ v'_m,$ вытекает, что существует такой $ t'_m\in X^*,$ что $ \|t'_m\|\lee\sum' \la_{l,m}\lee1$ и $ v'_m(e_i)=t'_m(x_i)$ для $ i_0\lee i\lee i_m.$ Мы можем считать, что $ t'_m$ \, ${}^*$-слабо сходится к некоторой точке $ t^*.$ Для $ i\gee i_0$ имеем: $$ (y^{**}-z^{**})(e_i)=t^*(x_i)=\ffi^*t^*(e_i), $$ т.е. $ y^{**}-z^{**}$ отличается от $ \ffi^*t^*$ на элемент из линейной оболочки $ [f_i]_{i=1}^{i_0}$ и, таким образом, лежит в $ \pi Y.$ Следовательно, $ d(y^{**}, W)\lee\|z^{**}\|\lee 15/16.$ \small {\it Случай} b).\, Не существует целого $ i_0,$ удовлетворяющего условию случая a). \small Пусть $ i_0$ таково, что $$ \left\| \sum_{i=1}^{i_0} y^{**}(e_i)\,f_i \right\| \gee 7/8. \tag1.5 $$ Выбор такого числа $ i_0$ возможен, поскольку сумма из левой части неравенства (1.5) ${}^*$-слабо сходится к $ y^{**}$ при $ i_0\to\infty.$ Существует такое целое $ i_1>i_0,$ что для всех достаточно больших $ m$ $$ {\sum}'' \la_{l,m}\gee 7/8, $$ где суммирование в $ \sum''$ происходит по всем тем индексам $ l,$ для которых $ u_{l,m}$ имеет точку разделения между $ i_0$ и $ i_1.$ Для каждого $ l,$ входящего в $ \sum'',$ обозначим через $ i(l,m)$ первую после $ i_0$ точку разделения для $ u_{l,m}$ (так что $ i(l,m)\lee i_1)$ и представим $ u_{l,m}$ в виде $ u_{l,m}=t_{l,m}+z_{l,m},$ где $ t_{l,m}\in \pi Y$ определяется соотношениями $$ t_{l,m}(e_i)= \left\{\aligned u_{l,m}(e_i),\qquad &i\lee i(l,m),\\ 0, \qquad &i> i(l,m). \endaligned \right. $$ Из леммы 1.4 вытекает, что $$ \|t_{l,m}\|^2+\|z_{l,m}\|^2\lee1. \tag1.6 $$ Пусть $ t_m:=\sum'' \la_{l,m}\,t_{l,m},$\ $ z_m:=\sum'' \la_{l,m}\,z_{l,m}$\, и $ v'_m:=v_m-(t_m+z_m).$ Тогда $ \|v'_m\|\lee 1- \sum'' \la_{l,m}\lee1/8$ и $ z_m(e_i)=0$ для $ i\lee i_0.$ По соображениям компактности можно считать, что существуют пределы $$ v^{**}:=w^*\text{-}\lim v'_m,\ t^{**}:=w^*\text{-}\lim t_m,\ z^{**}:=w^*\text{-}\lim z_m. $$ Ясно, что $ \|v^{**}\|\lee1/8,$\, $ y^{**}=v^{**}+t^{**}+z^{**}$ и $ z^{**}=0$ для $ i\lee i_0.$ Поэтому из (1.5) вытекает, что $$ \|t^{**}\|\gee \left\|\sum_{i=1}^{i_0} t^{**}(e_i)\,f_i \right\|= \left\|\sum_{i=1}^{i_0} (y^{**}-v^{**})(e_i)\,f_i\right\|\gee 7/8-\|v^{**}\|\gee 3/4. $$ Следовательно, $$ 3/4\lee \underline{\lim}_m\|t_m\| \lee \underline{\lim}_m {\sum}''\la_{l,m}\,\|t_{l,m}\|. \tag1.7 $$ Напомним элементарное числовое неравенство (3) из [Lind], которое используется далее. Если $ \al_i,\,\beta_i$ и $ \la_i$ --- такие неотрицательные числа, что $ \sum_i \la_i\lee1$ и $ \al_i^2+\beta_i^2\lee1$ для всех $ i,$ то $$ \( \sum_i \al_i\la_i\)^2+ \( \sum_i \beta_i\la_i\)^2\lee \( \sum_i \la_i\)\,\( \sum_i \la_i(\al_i^2+\beta_i^2) \)\lee1. \tag1.8 $$ Из (1.6), (1.7) и (1.8) вытекает, что $$ \|z^{**}\|\lee \overline{\lim}_m {\sum}'' \la_{l,m}\,\|z_{l,m}\| \lee (1-(3/4)^2)^{1/2}=\sqrt7/4. $$ Так как $ t^{**}\in [f_i]_{i=1}^{i_1}\subset \pi Y,$ то $ d(y^{**},W)\lee \|v^{**}\|+\|z^{**}\|\lee 1/8+\sqrt7/4<15/16. $ {\hfil\qed} %%% Доказательство теоремы 1.1 закончено \remark {\bf Замечание 1.5} Представляется интересным следующая переформулировка теоремы 1.1: для любого сепарабельного банахова пространства $ X$ существует сепарабельное банахово пространство $ Y,$ обладающее свойствами 1)--3) из теоремы 1.1 и такое, что для всякого $ \e>0$ и любого $ p\in[1,+\infty]$ каждый оператор $ T: l_p\to X$ может быть поднят (относительно факторотображения $ \ffi$) до непрерывного линейного оператора $ \wt T: l_p\to Y^*$ так, что $ \|\wt T\|\lee \|T\|+\e.$ \endremark\medpagebreak \proclaim {\bf Следствие 1.6}\it Для любого сепарабельного пространства $ X$ существует такое сепарабельное банахово пространство $ Z,$ что $ (i)$\, $ Z^{**}$ сепарабельно и имеет базис; $ (ii)$\, существует линейный гомоморфизм $ \psi$ из $ Z^{**}$ на $ X$ с ядром $ \pi Z$ и такой, что подпространство $ \psi^*X^*$ дополняемо в $ Z^{***};$ $ (iii)$\, для всякого $ \e>0,$ любого $ r\in[1,+\infty)$ и для каждой слабо $ r$-суммиру\-е\-мой последовательности $ (x_k)$ в $ X$ существует такая слабо $ r$-суммируемая последовательность $ (z^{**}_k)$ в $ Z^{**},$ что $ \psi(z^{**}_k)=x_k,$\, $ k=1,2,\dots,$ и $ \e_r(z^{**}_k)\lee (2+\e)\,\e_r (x_k).$ \endproclaim\rm \demo{\it Доказательство} Пусть $ Y$ и $ \ffi:Y^*\to X$ --- из теоремы 1.1, $ Z:= \operatorname{ Ker}\, \ffi,$\, $ I: Z\to Y^*$ --- тождественное вложение. Положим $ T:= I^*\pi_Y: Y\to Y^{**}\to Z^*.$ Тогда $T$ есть изоморфизм из $ Y$ на $ Z^*$ %% используем то, что $ \ffi$ --- "на" %% и разложение $ Y^{**}=\pi Y\oplus \ffi^*X^*$ и, так как $$ \< T^*\pi_Zz,y\>= \< \pi_Zz,Ty\>= \< Ty,z\> = \< I^*\pi_Yy,z\>= \< \pi_Yy,Iz\>= \< Iz,y\>, $$ то $ T^*\pi_Z=I.$ Поэтому $ T^*$ --- изоморфизм из $ Z^{**}$ на $Y^*,$ индуцирующий изоморфизм $ T': Z^{**}/\pi_ZZ\to Y^*/IZ.$ Если $ \psi:= \ffi T^*,$ то $ \psi$ --- гомоморфизм и подпространство $ \psi^* X^*=T^{**}\ffi^*X^*$ дополняемо в $ Z^{***}=T^{**}Y^{**}.$ Пусть $ (x_n)$ --- слабо $ r$-суммируемая последовательность в $ X.$ По выбору пары $ Y$ и $ \ffi$ можно найти такую слабо $ r$-суммируемую последовательность $ (y^*_n),$ что $ \ffi(y^{*}_n)=x_n$ для каждого $ n.$ Так как $ (T^*)^{-1}$ есть изоморфизм, то, полагая $ z^{**}_n:=(T^*)^{-1}y_n,$ получаем слабо $r$-суммируемую последовательность, чей образ при отображении $ \psi$ есть последовательность $ (x_n).$ Остается заметить, что $ \|(T^*)^{-1}\|\lee 2.$ \qed \enddemo \proclaim {\bf Следствие 1.7}\it Для любого сепарабельного пространства $ X$ существует такие сепарабельное банахово пространство $ Z$ и гомоморфизм $ \psi$ из $ Z^{**}$ на $ X$ с ядром $ \pi Z,$ что подпространство $ \psi^*X^*$ дополняемо в $ Z^{***}$ и для любого $ p\in [1,\infty)$ имеют место утверждения: $ a)$\, для любых банахова пространства $ E$ и отображения $ T\in \operatorname{ L}(X,E)$ оператор $ T\psi$ является абсолютно $ p$-суммирующим тогда и только тогда, когда абсолютно $ p$-суммирующим является оператор $ T;$ при этом $ \pi_p(T\psi)\lee \pi_p(T)\lee 2\pi_p(T\Psi);$ $ b)$\, для любого банахова пространства $ E$ $$ \Pi_p(Z^{**},E)=\Pi_p(Z,E)\oplus \Pi^0_p(Z^{**}, E) \simeq \Pi_p(Z,E)\oplus \Pi_p(X, E),$$ где $ \Pi^0_p(Z^{**}, E)$ --- подпространство тех операторов из $ \Pi_p(Z^{**}, E),$ которые аннулируются на $ \pi Z.$ \endproclaim\rm Это вытекает непосредственно из следствия 1.6. \qed \small Утверждения, подобные следствиям 1.6--1.7, имеют многочисленные применения при изучении различных аппроксимационных свойств банаховых пространств (частич\-но мы рассмотрим их ниже). Сейчас нам хотелось бы привести примеры применения другого рода, непосредственно не связанных с аппроксимационными условиями. \proclaim {\bf Следствие 1.8}\it Для любых $ p\gee 1,$ рефлексивного пространства $ E$ и сепарабельного пространства $ X$ существует такое сепарабельное пространство $ Z,$ что в $ Z^{**}$ есть базис и $$ \Pi_p(Z,E)^{**}\simeq \Pi_p(Z,E)\oplus \Pi_p(X, E). $$ \endproclaim\rm \demo{\it Доказательство} Это получается из следствия 1.7,b) и равенств $$ \Pi_p(Z^{**},E)= \(\operatorname{ N}_{p'}(E,Z^{**})\)^*= \operatorname{QN}_p(Z,E)^{**}= \Pi_p(Z,E)^{**}. $$ При $ p=1$ второе равенство вытекает из теоремы 1.1 [МакСам] (см. также ниже лемму 2.7), а при остальных $ p$ --- например, из результатов [Pers] или [ReiDAN]; последнее равенство, для любого $ p\gee 1$ есть следствие сепарабельности пространства $ Z^*,$ --- см., например, [ReiDAN]. \qed\enddemo Наше следующее утверждение дополняет следствие 1 из [ReiPMI] и вместе с ним полностью завершает рассмотрение соответствующей ситуации для всех показателей $ p>0.$ Мы включим в часть $ b)$ этого утверждения случай $ p\lee 1,$ рассмотренный в [ReiPMI], поскольку формулировка получаемого факта в этом случае, в отличие от $ a),$ в точности такая же, как и при $ p> 1.$ Относительно $ a)$ при $ p\lee 1$ см. [ReiPMI]. \proclaim {\bf Следствие 1.9}\it % 1.4 Для всякого сепарабельного пространства $ X$ существует такое сепарабельное пространство $ Z,$ что $ Z^{**}$ имеет базис, $ Z^{**}/\pi Z$ изоморфно $ X,$ подпространство $ (\pi Z)^\perp$ дополняемо в $ Z^{**}$ и выполняются следующие условия: $ a)$\, для любых показателя $ p\gee 1$ и банахова пространства $ E$ тензорное произведение $ E^*\wh\ot_p X$ изоморфно произведению $ E^*\wh\ot_p(Z^{**}/\pi Z),$ которое, в свою очередь, канонически изометрично факторпространству $ \operatorname{ N}_p(E,Z^{**})/ \operatorname{ N}_p(E,\pi Z);$ $ b)$\, для любых показателя $ p> 0$ и банахова пространства $ E$ пространство\linebreak $ \operatorname{ N}_p(E,X)$ изоморфно пространству $ \operatorname{ N}_p(E, Z^{**}/\pi Z),$ которое канонически изоморф\-но (изометрично при $ p\gee 1$) факторпространству $ \operatorname{ N}_p(E,Z^{**})/ \operatorname{ N}^{ \operatorname{ reg}}_p(E,\pi Z).$ \endproclaim\rm \demo{\it Доказательство} Пусть $ p\in (1,\infty]$ и $ Z$ --- банахово пространство из следствия 1.6. Обозначим для простоты фактор--пространство $ Z^{**}/\pi Z$ через $ F.$ Факторотображение $ \psi: Z^{**}\to F=Z^{**}/\pi Z$ естественным образом индуцирует отображение $ \Psi: \operatorname{ N}_p(E, Z^{**})\to E^*\wh\ot_p F,\,$ $ \Psi(T):= \psi\circ T.$ В силу свойства $ (iii)$ из следствия 1.6 и по определению тензорной нормы в $ E^*\wh\ot_p F,$ отображение $ \Psi$ является гомоморфизмом из $ \operatorname{ N}_p(E,Z^{**})$ на $ E^*\wh\ot_p F.$ Пусть $ U\in \operatorname{ Ker}\,\Psi;$ это означает, что для любого $ A\in \Pi_{p'}(F,E^{**})$ след $ \operatorname{ trace}\, A\circ\psi\circ U$ равен нулю, или что для любого $ B\in \Pi_{p'}(Z^{**},E^{**}),$\, $ B|_{\pi Z}\equiv 0,$ след $ \operatorname{ trace}\, B\circ U $ равен нулю. Отсюда вытекает, что $ U(E)\subset \pi Z$ (в противном случае найдется одномерный оператор $ R\in \Pi_{p'}(Z^{**}, E^{**}),$ тождественно равный нулю на $ \pi Z,$ для которого $ \operatorname{ trace}\, R\circ U\neq 0).$ Итак, $ U\in \operatorname{ N}_p^{ \operatorname{ reg}}(E,Z).$ Нам надо уточнить это включение: установить, что $ U\in \operatorname{ N}_p(E,\pi Z)\subset \operatorname{ N}_p^{ \operatorname{ reg}}(E,\pi Z).$ Предположим, что $ U\notin \operatorname{ N}_p(E,\pi Z).$ Тогда найдется оператор $ B\in \Pi_{p'}(Z^{**}, E^{**})$ такой, что $ \operatorname{ trace}\, B\circ U=1,$ но $ \operatorname{ trace}\, B\circ T=0$ для любого $ T\in \operatorname{ N}_p(E,\pi Z)$. Так как $ \pi Z\in \operatorname{ AP},$ то из последнего вытекает тождество $ B|_{\pi Z}\equiv 0,$ что противоречит выбору $ U.$ Поэтому $ U\in \operatorname{ N}_p(E,\pi Z).$ С другой стороны, очевидно, что для любых $ V\in \operatorname{ N}_p(E,\pi Z)$ и $ B\in \Pi_{p'}(Z^{**}, E^{**}),$ где $ B|_{\pi Z}\equiv 0,$ имеем: $ \operatorname{ trace}\, B\circ V=0.$ Поэтому $ \operatorname{ Ker}\,\Psi= \operatorname{ N}_p(E,\pi Z).$ Рассмотрим теперь факторотображение $ \Psi_0:$ $$ \operatorname{ N}_p(E,Z^{**}) @>\Psi>> E^*\wh\ot_p F @>j>> \operatorname{ N}_p(E,F), $$ где $ j$ --- каноническое факторотображение. Его ядро $ \operatorname{ Ker}\, \Psi_0$ состоит из всех тех операторов $ U\in \operatorname{ N}_p(E, Z^{**}),$ которые превращаются в тождественный нуль после действия факторизации $ \psi: Z^{**}\to F,$ т.е. из тех $ U,$ для которых $ U(E)\subset \operatorname{ Ker}\, \psi.$ Это и означает, что $ \operatorname{ Ker}\, \Psi_0= \operatorname{ N}_p^{ \operatorname{ reg}}(E,\pi Z).$ \qed\enddemo Сейчас хорошо известно, что идеалы $ \operatorname{ N}_p$ при $ p>2/3,$\, $ p\neq 2,$ не являются регулярными, т.е. $ \operatorname{ N}_p\neq \operatorname{ N}_p^{ \operatorname{ reg}}$ (см. [FJ], [ReiMN] для $ p\gee 1$ и [ReiИсч, следствие 3.1] для $ p\in(2/3,1)$). В заключение этого параграфа мы отметим следующий намного более сильный результат. \proclaim {\bf Следствие 1.10}\it Если $ p\in (2/3,\infty],$ \, $ p\neq2,$ то идеал конечномерных операторов не плотен в идеале $ \operatorname{ N}_p^{ \operatorname{ reg}};$ в частности, идеал $ \operatorname{ N}_p^{ \operatorname{ reg}}$ не минимален {\rm (определение см. в [Ptch]).} \endproclaim\rm \demo{\it Доказательство} Как известно (и этим мы будем пользоваться в следующем параграфе), существуют сепарабельные пространства $ E$ и $ X,$ для которых $ E^*\wh\ot_p X\neq \operatorname{ N}_p(E,X)$\, [FJ], [ReiMN], [ReiИсч]. Для $ p\gee 1,$ по следствию 1.9, существует такое сепарабельное пространство $ Z$ с базисом, что $ \operatorname{ N}_p(E,Z)\neq \operatorname{ N}_p^{ \operatorname{ reg}}(E,Z),$ причем тождественное отображение $ \operatorname{ N}_p(E,Z)\to \operatorname{ N}_p^{ \operatorname{ reg}}(E,Z)$ есть изометрическое вложение (пространство $ Z^{**}$ обладает свойством метрической аппроксимации). Для $ p<1$ надо воспользоваться теоремой 3 из [ReiPOMI]: в этом случае существуют оператор $ T\in \operatorname{ N}_p^{ \operatorname{ reg}}(Z^{**},Z)\setminus \operatorname{ N}_1(Z^{**},Z),$ где $ Z^{**}$ имеет базис. Если этот оператор приближается в пространстве $ \operatorname{ N}_p^{ \operatorname{ reg}}(Z^{**},Z)$ конечномерными отображениями, то тем более он приближается ими и в пространстве $ N^{\operatorname{reg}}_1(Z^{**},Z)\subset N_1(Z^{**},Z^{**}).$ Но $ N_1(Z^{**},Z)$ вкладывается в $ N_1(Z^{**},Z*{**})$ при каноническом вложении изометрично. Поэтому оператор $T$ должен приближаться конечномерными и в пространстве $ N_1(Z^{**},Z),$ что противоречит его выбору. \qed\enddemo \small %%%% %%%%%%%% кусок 2 \heading{\S2. Операторы с $ p$-ядерными вторыми сопряженными} \endheading \proclaim {\bf Теорема 2.1}\it Пусть $ s\gee1.$ Предположим, что $ a)$\, каноническое отображение $ X^*\otimes_s Y^{****}\to \operatorname{L}(X, Y^{****})$ взаимно однозначно, либо $ b)$\, $ Y^{***}\in \operatorname{AP}_1.$ \newline Тогда $$ \operatorname{N}_s^{\reg}(X,Y)\subset \operatorname{N}_s(X,Y).$$ В частности, это верно, если $ X^*\in \operatorname{AP}_s^{ \operatorname{ dual}}$ или $ Y^{****}\in \operatorname{AP}_s.$ \endproclaim\rm \demo{\it Доказательство} В этом доказательстве мы обозначим через $ \operatorname{ N}^s$ дуальный к $ \operatorname{ N}_s$ операторный идеал (см. [Ptch]), а через $ {}_s\wh\ot$ --- "дуальное" к $ \wh\ot_s$ тензорное произведение (таким образом, формально $ Z^*{}_s\wh\ot W^*=W^*\wh\ot_s Z^*$ для любых банаховых пространств $ Z,W$). Предположим, что существует такой оператор $ T\in \operatorname{ L}(X,Y),$ что $ T\notin \operatorname{ N}_s(X,Y),$ но $ \pi_YT\in \operatorname{ N}_s(X,Y^{**}).$ По условию $ \operatorname{ N}_s(X,Y^{**})=X^*\wh\ot_s Y^{**};$ следовательно, существует такой оператор $ U\in\Pi_{s'}(Y^{**},X^{**}),$ что $ U|_Y\equiv 0$\, (и, значит, $ (\pi_Y^*U^*)|_{X^*}=0)$ и $ \operatorname{ trace} U\circ t=1,$ где $ t=\pi_YT.$ Рассмотрим оператор $$ V:=(U^*|_{X^*})\circ T^*\circ \pi^*_Y:\ Y^{***} @>\pi_Y^*>> Y^* @>T^*>> X^* @>U^*>> Y^{***}. $$ В случае $a) $ $$ T^*\pi_Y^*\in Y^{****}{}_s\wh\ot X^*\,(=X^*\wh\ot_s Y^{****})\,= \operatorname{ N}^s(Y^{***},X^*),\quad U^*\in (Y^{****}{}_s\wh\ot X^*)^*. $$ Поэтому след $ \operatorname{ trace}U^*\circ(T^*\pi_Y^*)$ не зависит от выбора представления $ T^*\pi_Y^*$ как элемента пространства $ \operatorname{ N}^s(Y^{****}, X^*).$ Как и при доказательстве теоремы 2,1) из [ReiPMI], нетрудно видеть, что если $ t=\sum x^*_n\ot y^{**}_n,$ то $$ T^*\pi^*_Y= \sum \pi^{**}_Y(y_n^{**})\ot x^*_n=\sum y^{**}_n\ot x^*_n. $$ Поэтому, с одной стороны, $ \operatorname{ trace}\,U^*\circ (T^*\pi^*_y)= \sum \< \pi^{**}_Y y_n^{**}, U^*x^*_n\> =0,$ а с другой стороны, $ \operatorname{ trace}\,U^*\circ (T^*\pi^*_y)= \sum \< y_n^{**}, U^*x^*_n\> =1.$ Противоречие. В случае b) $$ U^*\circ (T^*\pi_Y^*)\in \operatorname{ N}_1(Y^{***}, Y^{***})= Y^{****}\wh\ot_1 Y^{***} $$ и след $ \operatorname{ trace}\,U^*\circ (T^*\pi_Y^*)$ не зависит от ядерного представления этого оператора, что ведет к противоречию по аналогии с предыдущим случаем. $\quad\qed$\enddemo \remark {\bf Замечание 2.2} В отличие от теоремы 2 из [ReiPMI], в теореме 2.1 не совсем понятно, какое аппроксимационное условие достаточно наложить на $ Y^{***},$ чтобы формулировка теоремы стала такой же приятной как и формулировка теоремы 2 в [ReiPMI]. Видимо условие $ Y^{***}\in \operatorname{AP}_1$ намного сильнее, чем нужно. \endremark\medpagebreak Покажем теперь, что аппроксимационные предположения в утверждениях теоремы 2.1 существенны. \proclaim {\bf Теорема 2.3}\it $1)$ Для каждого $ q>2$ существуют сепарабельное рефлексивное пространство $ F,$ вполне сепарабельное пространство $ Z,$ операторы $ T\in\operatorname{L}(F,Z)$ и $ U\in \operatorname{QN}_q(Z^{**},F)$ такие, что $ Z^{**}$ имеет базис, $ U|Z=0,$ $ \operatorname{trace} UT^{**}=1,$ $ T\in \operatorname{N}_1^{\operatorname{reg}}(F,Z)$ и $ T\notin \operatorname{N}_p(F,Z),$ если $ p<2.$ $2)$ Для каждого $ s>2$ существуют сепарабельное рефлексивное пространство $ F,$ вполне сепарабельное пространство $ Z,$ \, $ T\in\operatorname{L}(F,Z)$ и $ U\in \operatorname{QN}_1(Z^{**},F)$ такие, что $ Z^{**}$ имеет базис, $ U|Z=0,$ $ \operatorname{trace} UT^{**}=1,$ $ T\in \operatorname{N}_s^{\operatorname{reg}}(F,Z)$ и $ T\notin \operatorname{N}_\infty(F,Z).$ \endproclaim\rm \demo{\it Доказательство} 1). \ По лемме 1.1,1) из [ReiMN] существуют два сепарабельных рефлексивных банаховых пространства $ E,F,$ оператор $ {U_0}\in \operatorname{QN}_q(E,F)$ и элемент $ z\in F^*\wh\ot_1 E$ такие, что $ \operatorname{trace} z\circ {U_0}=1$ и $ \operatorname{trace} z\circ \ffi=0$ для каждого $ \ffi\in E^*\ot F$ (т.е. $\wt z=0).$ Пусть $ Z$ и $ \psi:Z^{**}\to E$ --- из следствия 1.6, примененного к пространству $ X=E.$ Положим $ U=U_0\psi,$ и пусть $ T\in \operatorname{ N}_1(F,Z^{**})$ --- такой оператор, что $ \psi\circ T=z$ (так как $ Z^{**}\in \operatorname{AP},$ то $ \operatorname{ N}_1(F,Z^{**})= F^*\wh\ot_1 Z^{**}).$ Ясно, что $ \operatorname{ trace}\,U\circ T=1$ (при доказательстве утверждения 2) мы распишем это место подробнее). Так как $ \operatorname{ Ker}\,\psi=\pi Z,$ то $ T(F)\subset \operatorname{ Ker}\,\psi=\pi Z,$ т.е. $ T\in \operatorname{ L}\,(F,Z).$ Наконец, если $ T\in \operatorname{ N}_p(F,Z)$ при $ p<2,$ то для произвольного $ p$-ядерного представления $ T$ в виде $ \sum f^*_n\ot z_n$ имеем: $$ 1= \operatorname{ trace}\,U\circ T=\sum \< f^*_n, Uz_n\>=0. $$ Поэтому $ T\notin \operatorname{ N}_p(F,Z).$ \small 2).\ Воспользовавшись пунктом 2) леммы 1.1 из [ReiMN], найдем такие сепарабельные рефлексивные банаховы пространства $ E,F,$ оператор $ {U_0}\in\operatorname{QN}_{1}(E,F)$ и элемент $ z\in F^*\wh\ot_s E,$ что $ \operatorname{trace} z\circ {U_0}=1$ и $ \operatorname{trace} z\circ \ffi=0$ для каждого $ \ffi\in E^*\ot F.$ Пусть $ z=\sum f^*_n\ot e_n$ --- представление $ z$ в пространстве $ F^*\wh\ot_s E.$ Как и выше, рассмотрим пространство $ Z$ и гомоморфизм $ \psi:Z^{**}\to E$ из следствия 1.6 (для $ X=E)$ и положим $ U=U_0\psi.$ В силу утверждения (iii) следствия 1.6, существует слабо $ s'$-суммируемая последовательность $ (z_n^{**})$ в $ Z,$ для которой $ \psi(z_n^{**})=e_n.$ Определим оператор $ T\in \operatorname{ N}_s(F,Z^{**})$ следующим образом: $ T:= \sum f^*_n\ot z_n^{**.}$ Очевидно, $ U|_Z=0$ и $ T(F)\subset \pi Z.$ Кроме того, $$ \operatorname{ trace}\,U\circ T=\sum \< f^*_n, Uz^{**}_n\>= \sum \< f^*_n, U_0e_n\>= \operatorname{ trace}\,z\circ U_0=1. $$ Тот факт, что $ T\notin \operatorname{ N}_\infty(F,Z),$ проверяется так же, как и в случае 1) (используем то, что $ U\in \operatorname{ QN}_1).$ \hfil\qed \enddemo Применяя теорему 1.1 к пространству $ F$ (ср. с завершением доказательства теоремы 5 в [ReiPMI]), получаем, в частности: \proclaim {\bf Следствие 2.4}\it $1)$\, Существуют два вполне сепарабельных банаховых простра\-нства $ W$ и $ Z$ такие, что $ W$ и $ Z^{**}$ имеют базисы, и такие, что $ \operatorname{N}_1^{\operatorname{reg}}(W,Z) \not\subset \operatorname{N}_p(W,Z)$ для $ p<2.$ $2)$\, Для каждого $ s>2$ существуют два вполне сепарабельных пространства $ W$ и $ Z$ такие, что $ W$ и $ Z^{**}$ имеют базисы, и такие, что $ \operatorname{N}_s^{\operatorname{reg}}(W,Z) \not\subset \operatorname{N}_\infty(W,Z).$ \endproclaim\rm \proclaim {\bf Следствие 2.5}\it Существует такое вполне сепарабельное сепарабельное банахово пространство $ V$ с базисом что для каждого $ p\gee 1, p\neq 2,$ найдется оператор $ T\in \operatorname{L}(V,V),$ $ T\notin \operatorname{N}_p(V,V),$ для которого $ T^{**}$ является $ p$-ядерным; \endproclaim\rm \proclaim {\bf Следствие 2.6}\it Существует такое вполне сепарабельное сепарабельное банахово пространство $ V$ с базисом, что найдется оператор $ T\in\operatorname{L}(V,V),$ который не факторизуется ни через какое пространство $ C(K),$ но второй сопряженный к которому $T^{**}$ факторизуется компактно через пространство $ c_0.$ \endproclaim\rm Пространство $ V$ в последних двух следствиях строится из пространств $ W$ и $ Z,$ указанных в следствии 2.4, стандартным образом --- сложением счетного их числа (для $ s_n\searrow 2$ и $ p_n\nearrow 2)$ по типу $ l_2.$ Нам надо лишь проверить (для доказательства следствия 2.6), что если $ T$ факторизуется через некоторое пространство $ C(K),$ то он является $ \infty$-ядерным. А это вытекает из теоремы 1.2 [МакСам]. В этой теореме рассматриваются $ \infty$-интегральные по Гротендику операторы; мы приводим ее формулировку для случая операторов, $ \infty$-интегральных по Пичу, т.е. $C(K)$-факторизуемых % операторов в смысле приведенного выше определения (доказательство почти дословно повторяет рассуждения из [МакСам]): \proclaim {\bf Лемма 2.7}\it Пусть $ X^*$ обладает свойством Радона--Никодима {\rm (см., например, [МакСам], [ReiDAN], [Ptch, п. 24.2.6, 24.2.9])},\, $ Y\not\supset c_0$ и $ T\in \operatorname{ L}(X,Y).$ Если $ T$ факторизуется через $ C(K),$ то $ T\in \operatorname{ N}_\infty(X,Y).$ \qed \endproclaim\rm \remark {\bf Замечание 2.8} Три последних следствия значительно усиливает основную теорему из [ReiOja], а также, например, теорему 3.2 из [ReiMN]: в последней соответствующие пространства не обладали свойством $ \operatorname{ BAP}$ (одно из них даже не обладало свойством аппроксимации). С другой стороны, в теореме 3.2 [ReiMN] операторы из $ \operatorname{ N}_1^{ \operatorname{ reg}}\setminus \operatorname{ N}_p$ и из $ \operatorname{ N}_s^{ \operatorname{ reg}}\setminus \operatorname{ N}_\infty$ приближались конечномерными операторами по соответствующим $ \operatorname{ reg}$-нормам. В последних наших следствиях это в принципе невозможно, в силу того, что $ Z^{**}\in \operatorname{ MAP}$ и тождественное вложение $ W^*\wh\ot_r Z \to W^*\wh\ot_r Z^{**}$ изометрично. В следствиях 2.4--2.6 операторы из $ \operatorname{ N}_p^{ \operatorname{ reg}}\setminus \operatorname{ N}_p$ и $ \operatorname{ N}_s^{ \operatorname{ reg}}\setminus \operatorname{ N}_s$ лежат весьма "далеко" от множества конечномерных операторов из $ W$ в $ Z$ (соответственно, из $ V$ в $ V).$ Следствие 2.6 связано с вопросом о возможности "строгой" $ l_p$-факторизации операторов, вторые сопряженные к которым такую факторизацию допускают. {\it Автору неизвестна}\ литература, в которой можно было бы найти ответ на этот вопрос для случая показателей $ p,$ отличных от единицы, двойки и бесконечности. Последний случай (наиболее сильный контрпример) --- это как раз следствие 2.6 (более слабый вариант подобного утверждения можно найти, например, в [ReiMN]). По поводу случая $ p=1$ см., в частности, работу [ReiVst]. \endremark\medpagebreak \remark {\bf Замечание 2.9} Следствие 2.4 показывает, что избавиться от аппроксимационных условий типа $ Y^{***}\in \operatorname{AP}_1$ и $ X^*\in \operatorname{AP}_s^{ \operatorname{ dual}}$ в теореме 2.1 нельзя. Более того, заметим, что в лемме 1.1,2) из [ReiMN], которую мы использовали при доказательстве второй части предыдущей теоремы, пространство $ E$ есть фактор--пространство пространства $ l_q,$ где $ q>s>2,$ и, следовательно, $ E^*$ имеет котип 2 (все это видно из доказательства леммы). Поэтому $ E^*$ обладает свойствами $ \operatorname{ AP}_r$ для всех $ r\gee 2$ (см. [ReiИсч], введение). Следовательно, в теореме 2.3 и в следствии 2.4 \, $ Z^{***}\in \operatorname{ AP_r}$ для каждого $ r\gee 2$ (так как $ Z^{***}\simeq Z^*\oplus E^*).$ Это показывает, что {\it заменить условие "$Y^{***}\in \operatorname{AP}_1$" в теореме {\rm 2.1} на более слабое "$Y^{***}\in \operatorname{ AP}_s$" нельзя.}\, \endremark\medpagebreak Отметим еще ряд применений теоремы 2.3. Хорошо известно, что произведение двух абсолютно 2-суммирующих операторов является ядерным оператором. Естественно было бы ожидать, что и $\Pi_p\circ\Pi_{p'}\subset \operatorname{N}_1,$ где $1/p+1{p'}=1.$ Последнее включение, вообще говоря, не верно (что, видимо, хорошо известно, но автор не может привести ссылку на соответствующую литературу, --- наверное, надо отнести этот результат к математическому фольклору). Сейчас мы приведем более сильный (контр)пример к этому включению. Если $1/r+1/s=1/q\lee 1$ и $12$ существуют два пространства $ F$ и $ Z$ и операторы $ T\in \operatorname{QN}_s(F, Z),$ \, $ U\in \operatorname{QN}_0(Z^{**}, F)$ такие, что $ Z^{**}$ имеет базис, $ TU\notin \operatorname{N}_1(Z^{**}, Z),$ но $ \pi TU\in \operatorname{N}_1(Z^{**}, Z^{**}).$ $3)$ Для каждого $ r>2$ существуют пространства $ F,$\, $ G$ и $ Z$ с базисами и операторы $ T_1\in \operatorname{ N}_r(F,G)$ и $ T_2\in \operatorname{ N}_1^{ \operatorname{ reg}}(G,Z)$ такие, что $ Z^{**}$ имеет базис и $ T_2T_1\notin \operatorname{ N}_p(F,Z)$ ни для какого $ p<2.$ В частности, для $ r>2$ $$ \operatorname{ I}_1\circ \operatorname{ I}_r\notin \bigcup_{p<2} \operatorname{ N}_p $$ и для $ q<2,$\, $ r>2$ и $ 1/r+1/s=1/q\lee 1$ $$ \operatorname{ I}_s\circ \Pi_r\notin \operatorname{ N}_q. $$ \endproclaim\rm \demo{\it Доказательство} При доказательстве теоремы 2.3 были использованы пространства $ E$ и $ F,$ построенные в лемме 1.1 из [ReiMN]. Из доказательства первой части этой леммы (см. диаграмму 1 в [ReiMN]) вытекает, что пространство $ F$ может быть выбрано так, что оно рефлексивно и имеет тип 2 и котип $ q.$ Во второй части этой леммы (см. ее доказательство, диаграмму 2 в [ReiMN]) пространство $ E$ есть фактор--пространство пространства $ l_t$ при некотором $ t\in(2,\infty).$ В частности, в утверждении 1) теоремы 2.3 при $ 2\pi>> Z^{**} @>U>> F @>T>> Z @>\pi>> Z^{**}. $$ Нам надо показать, что $ TU\notin \operatorname{ N}_1(Z^{**}, Z).$ Если $ TU\in \operatorname{ N}_1(Z^{**},Z),$ то $$ TU=\sum z^{***}\ot z_n\in Z^{***}\wh\ot_1 Z$$ и $$ \operatorname{ trace}\, \pi\circ (TU)= \sum \< z^{***}, \pi z\>= \sum \< \pi^* z^{***}, z_n\>= \operatorname{ trace}\, (TU)\circ \pi=0, $$ так как $ TU\pi$ --- нулевой оператор. С другой стороны, $$ \operatorname{ trace}\, (\pi T)\circ U= \operatorname{ trace}\, U\circ(\pi T)=1. $$ При доказательстве утверждения 3) мы снова воспользуемся небольшой модификацией леммы 1.1,1) из [ReiMN]: согласно этой лемме, существуют такие пространства $ E,F$ и операторы $U\in \operatorname{QN}_{q'}(E,F)$ и $ z\in F^*\wh\ot_1 E,$ что $ \operatorname{ trace}\, z\circ U=1$ и $ \wt z=0.$ Анализируя доказательство, приведенное в [ReiMN] (см. диаграмму 1 в этой работе), нетрудно увидеть, что $ z$ есть суперпозиция двух тензоров $ z_1\in F^*\wh\ot_r G$ и $ z_2\in G^*\wh\ot_1 E,$\, $ z=z_2\circ z_1$ (именно в этом месте используются ограничения, наложенные нами на $ r,q$ и $ s).$ Поэтому можно считать, что в теореме 2.3,1) оператор $ T$ представим в виде произведения $ T=T_2\circ T_1,$ где $ T_1\in \operatorname{ N}_r(F,G)$ и $ T_2\in \operatorname{ N}_1^{ \operatorname{ reg}}(G,Z).$ Более того, применяя следствие 1.6 к пространству $ G$ и тензорному элементу (порождающему оператор $ T_1),$ мы можем поднять этот элемент до $ r$-ядерного оператора, действующего из $ F$ в пространство с базисом; иначе говоря, не умаляя общности, можно считать, что в $ G$ есть базис. Резюмируя сказанное, получаем, что существуют пространства $ F, G, Z, $ операторы $ T_1\in \operatorname{ N}_r(F,G),$ и $ T_2\in \operatorname{ N}_1^{ \operatorname{ reg}}(G,Z)$ такие, что в $ G$ и $ Z^{**}$ есть базисы и $ T_2T_1\notin \operatorname{ N}_p(F,Z)$ для любого $ p<2.$ Очевидно, что $ T_2T_1\in \operatorname{ I}_1\circ \operatorname{ I}_r \subset \operatorname{ I}_s\circ \Pi_r.$ Наконец, снова имея ввиду следствие 1.6, можно считать, что в $ F$ есть базис. \qed\enddemo \newpage %%%% %%%%%%%% ЛИТЕРАТУРА \Refs\nofrills{ЦИТИРОВАННАЯ ЛИТЕРАТУРА} \widestnumber\key{AP35555} \ref \key Enflo %\no 31 \by Enflo P. \pages 309--317 \paper A counterexample to the approximation property in Banach spaces \yr 1973 \vol 130 \issue \jour Acta Math. \finalinfo %$MR 53 \# 6288.$ \endref \ref \key FJ %\no 4 \by Figiel T., Johnson W.B.\pages 197--200 \paper The approximation property does not imply the bounded approximation property \yr 1973\vol 41 \jour Proc. Amer. Math. Soc. \finalinfo $MR 49 \# 5782.$ \endref \ref \key James %\no \by James R. C. \pages 563--571 \paper Separable Conjugate Spaces \yr 1960 \vol 10 \issue \jour Pacific J. Math. \finalinfo \endref \ref \key Lind \by Lindenstrauss J.\pages 279-284 \paper On James' paper ``Separable Conjugate Spaces" \yr 1971\vol 9 \jour Israel J. Math. \endref \ref % \no 37 \key LiTz \by Lindenstrauss J., Tzafriri L. \book Classical Banach spaces I: Sequence spaces \bookinfo \publ Springer-Verlag \vol \nofrills \publaddr Berlin -- Heldelberg -- New York \yr 1977 \endref \ref \key МакСам \pages 122-144 %\no 6 \by Макаров Б.М., Самарский В.Г. \paper Слабая секвенциальная полнота и близкие к ней свойства некоторых пространств операторов \yr 1983\vol \jour в кн. ``Теория операторов и теория функций". Л.: ЛГУ \endref \ref \key Pers %\no 12 \by Persson A. \pages 213--232 \paper On some properties of $p$-nuclear and $p$-integral operators \yr 1969\vol 33 \jour Studia Math. \finalinfo \endref \ref \key Ptch %\no 10 \by Пич А. \book Операторные идеалы \yr 1982, 536 с\vol \publ Москва: Мир \endref \ref \key ReiDAN %\no 11 \by Рейнов О.И.\pages 528-531 \paper Операторы типа RN в банаховых пространствах \yr 1975\vol 220 \issue \nofrills 3, \jour ДАН СССР \endref \ref \key ReiDN2 %\no 9 \by Рейнов О.И. \pages 43-47 \paper Свойства аппроксимации порядка p и существование не p-ядерных операторов с p-ядерными вторыми сопряженными \yr 1981\vol 256 \issue 1 \jour ДАН СССР \endref \ref \key ReiИсч %\no 21 \by Рейнов О.И.\pages 145-165 \paper Исчезновение тензорных элементов в шкале p-ядерных операторов \yr 1983\vol \jour в кн. ``Теория операторов и теория функций". Л.: ЛГУ \endref \ref \key ReiMN %\no 3 \by Reinov O.I.\pages 125-134 \paper Approximation properties of order p and the existence of non-p-nuclear operators with p-nuclear second adjoints \yr 1982 \vol 109 \jour Math. Nachr. \endref \ref \key ReiOja %\no 1 \by Oja E., Reinov O.I. \pages 121-122 \paper Un contre-exemple \`a une affirmation de A.Grothendieck \yr 1987 \vol 305 \jour C. R. Acad. Sc. Paris. --- Serie I \endref \ref \key ReiPMI %\no 22 \by Рейнов О.И. \pages 000--000 \paper Аппроксимационные свойства $ \operatorname{AP_s}$ и $p$-ядерные операторы (случай $ 0