Local theory of frames and Schauder bases for Hilbert space (Q1300138): Difference between revisions

A sequence \((f_i)_{i\in I}\) in a Hilbert space \(H\) is called a frame for \(H\) with bounds \(A\), \(B\) if \[ A\|f\|^2\leq \sum_{i\in I}|\langle f,f_i\rangle|^2\leq B\|f\|^2 \] for every \(f\in H\). The frame is called tight if we can choose \(A= B\). \textit{P. G. Casazza} and \textit{O. Christensen} [SIAM J. Math. Anal. 29, No. 1, 266-278 (1998; Zbl 0922.42024)] have shown that there is a tight frame for a Hilbert space which does not contain a Riesz basis (that is a basis equivalent to an orthonormal basis). The main result of this paper is: for every frame \((f_i)^m_{i=1}\) for an \(n\)-dimensional Hilbert space, and for every \(\varepsilon> 0\), there is a subset \(I\subset\{1,2,\dots, m\}\) with cardinality \(\geq(1-\varepsilon)n\) so that \((f_i)_{i\in I}\) is a Riesz basis for its span. The Riesz basic constant of \((f_i)_{i\in I}\) depends on \(\varepsilon\), the frame bounds and \((\|f_i\|)^m_{i=1}\), but not on \(m\) and \(n\). The work relies on results of \textit{J. Bourgain} and \textit{L. Tzafriri} [Isr. J. Math. 57, No. 2, 137-224 (1987; Zbl 0631.46017)].