A Bourgain-Pisier construction for general Banach spaces (Q2436867): Difference between revisions

\textit{J. Bourgain} and \textit{G. Pisier} [Bol. Soc. Bras. Mat. 14, No. 2, 109--123 (1983; Zbl 0586.46011)] showed that for every separable Banach space \(X\) there exists a separable \({\mathcal L}_\infty\)- space \(Y_X = {\mathcal L}_\infty [X]\) containing \(X\) isometrically and such that the quotient space \(Y_X/ X\) has the Radon-Nikodým property and the Schur property. In this paper, the author proves this result without the separability assumption. Though it uses the Bourgain-Pisier construction, the proof in the non-separable case needs a long and technical processing. J. Bourgain and G. Pisier constructed their space \(Y_X\) as the inductive limit of a system \((Z_n, j_n)_{n \in {\mathbb N}}\), indexed by the ``linear'' set of the integers, where \(j_n : Z_n \to Z_{n +1}\) are specific isometric embeddings (it is this ``specific'' property which will give the Radon-Nikodým and Schur properties); moreover, the \(Z_n\)'s are constructed to be finite-dimensional subspaces of the quotient space \(Y_X / X\). Since every inductive limit of linear systems is separable, the author has to construct an inductive system \(\big( (E_s)_{s \in I}, (j_{t, s})_{t \subseteq s} \big)\), indexed by the set \(I\) of all finite subsets of the density of \(X\), ordered by inclusion. This construction is made in such a way that every linear subsystem \((E_{s_n}, j_{s_n, s_{n + 1}})_{n \in {\mathbb N}}\) is a Bourgain-Pisier system. It follows that every separable subspace \(Z\) of \(Y_X\) can be isometrically embedded into the separable Bourgain-Pisier space \(Y_Z\). Since the Radon-Nikodým and Schur properties are separably determined, the space \(Y_X / X\) will have these properties.