Unconditional Orthonormal Systems

From MaRDI portal





Let \(\Phi=\{\varphi_ k\}_{k\in N}\) be a complete orthonormal system in \(L_ 2(\Omega,\mu)\), where \((\Omega,\mu)\) is a measure space. A Banach space \(X\) is called \(\Phi\)-unconditional if there is a constant \(c>0\) such that for all \(n\in N\), \((x_ k)^ n_ 1\subset X\) and signs \((\varepsilon_ k)^ n_ 1\subset\{-1,+1\}\) holds the inequality \[ \left\|\sum^ n_ 1\varepsilon_ kx_ k\varphi_ k\right\|_{L_ 2(\Omega,X)}\leq c\left\|\sum^ n_ 1x_ k\varphi_ k\right\|_{L_ 2(\Omega,X)}. \tag{*} \] The main result of this paper is as follows: Let \(\Phi\) be a complete orthonormal system such that \(\int_ \Omega\sup_ k|\varphi_ k(\omega)|^ 2d\mu(\omega))<\infty\). Then a Banach space \(X\) is isomorphic to a Hilbert space if and only if it is \(\Phi\)-unconditional. A special characterization can be obtained if \(\Phi\) is the trigonometric system \(\Phi=(e^{ik.})_{k\in\mathbb{Z}}\) on the torus \(\mathbb{T}\). If the constant \(c\) form \((*)\) is equal to one the space \(X\) is even isometric to a Hilbert space. Moreover, the characteristic inequality can be given equivalently in the form: For all \(n\in N\) and \((x_ k)^{n+1}_{- (n+1)}\subset X\) we have \[ \left\|\sum^ n_{-n}x_ ke^{ik.}\right\|_{L_ 2\mathbb{T},X)} \leq\left\|\sum^{n+ 1}_{- (n+1)}x_ ke^{ik.}\right\|_{L_ 2(\mathbb{T},X)}. \] The proofs are based on an earlier result of Maurey-Kwapien [see Theorem 3.4 in \textit{A. Pietch}: Operator Ideals. Berlin (1978; Zbl 0399.47039)] and a result of the first author [Math. Nachr. 141, 251-265 (1989; Zbl 0676.44002)] concerning the norm of a bounded linear operator from \(L_ 2(\mathbb{T},X)\) to \(L_ 2(\mathbb{T},X)\).











This page was built for publication: Unconditional Orthonormal Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4024464)