Complemented family of subspaces of a Banach space (Q2442624): Difference between revisions

Let \(E\) and \(X\) be Banach spaces and let \(\Omega\) be an open subset of \(X\). A family of complemented subspaces of \(E\) is holomorphically complemented if there exists \(P:\Omega\to {\mathcal L}(E)\) holomorphic such that \(P(z)\) is a projection mapping of \(E\) onto \(M(z)\) for all \(z\in \Omega\). The authors introduce holomorphic Schauder bases as follows: a sequence \((x_n)_{n\in \mathbb N}\) with \(x_n:\Omega \to E\) holomorphic for all \(n\in \mathbb N\) is said to form a holomorphic basis (resp. holomorphic basic sequence) for \(E\) if the following two conditions are satisfied: {\parindent=6mm \begin{itemize}\item[1.] \((x_n(z))_{n\in \mathbb N}\) is a Schauder basis (resp. basic sequence) for \(E\) for every \(z\in \Omega\). \item[2.] For every \(z_0\in \Omega\) there exist a neighbourhood \(V_0\) of \(z_0\) and continuous mappings \(l_0, L_0:V_0\to \mathbb R^+\) such that \[ l_0(z)\Big\|\sum_{n=1}^Na_nx_n(z_0)\Big\| \leq \Big\| \sum_{n=1}^Na_nx_n(z)\Big\| \leq L_0(z)\Big\|\sum_{n=1}^Na_nx_n(z_0)\Big\| \] for all \((a_n)_{n\in \mathbb N}\), all \(N\in \mathbb N\), and all \(z\in V_0\). Furthermore, if \((x_n)_{n\in \mathbb N}\) is a holomorphic basic sequence and \(M(z)\) denotes the closed linear span of \((x_n(z))_{n\in \mathbb N}\) for every \(z\in \Omega\), then the family \(\{M(z)\}_{z\in \Omega}\) is said to have a holomorphic basis \((x_n)_{n\in \mathbb N}\). \end{itemize}} The following nice proposition is proved: Let \(\Omega\) be a contractible pseudo-convex open subset of a Banach space with a Schauder basis and \(E\) be a Banach space. Suppose that \(\{M(z)\}_{z\in \Omega}\) is a holomorphically complemented family of subspaces of \(E\) and that, for some \(z_0\in \Omega\), the space \(M(z_0)\) has a Schauder basis. Then \(\{M(z)\}_{z\in \Omega}\) has a holomorphic basis. A partial converse to the above proposition and related results are shown. Among these, the authors give conditions that ensure that the associated biorthogonal functionals \((x_n^*)_{n\in \mathbb N}\) of a holomorphic basic sequence \((x_n)_{n\in \mathbb N}\) form a holomorphic basic sequence in the dual \(E'\) of \(E\).