In mathematics, a frame of a vector space can mean any ordered basis for that vector space. It can also refer to a somewhat different concept discussed below. A frame of a vector space V with an inner product can be seen as a generalization of the idea of a basis to sets which may be linearly dependent. More precisely, a frame is a set {ek} of elements of V which satisfy the so-called frame condition:
- There exist two real numbers A and B such that <math>0 < A \leq B < \infty</math> and
- <math>
A \| \mathbf{v} \|^{2} \leq \sum_{k} |\langle \mathbf{v} | \mathbf{e}_{k} \rangle|^{2} \leq B \| \mathbf{v} \|^{2} </math>
- for all <math>\mathbf{v} \in V</math>. This means that the constants A and B can be chosen independently of v: they only depend on the set {ek}.
The numbers A and B are called lower and upper frame bounds. It can be shown that to any set of vectors which form a frame a set of dual frame vectors <math>\mathbf{\tilde{e}}_{k}</math> can be derived which has the following property:
- <math>
\sum_{k} \langle \mathbf{v} | \mathbf{\tilde{e}}_{k} \rangle \mathbf{e}_{k} = \sum_{k} \langle \mathbf{v} | \mathbf{e}_{k} \rangle \mathbf{\tilde{e}}_{k} = \mathbf{v} </math> for any <math>\mathbf{v} \in V</math>. This implies that a frame together with its dual frame has the same properties as a basis and its dual basis in terms of reconstructing a vector from scalar products.
Contents |
Relation to bases
If the set {ek} is a frame of V, it spans V. Otherwise there would exist at least one non-zero <math>\mathbf{v} \in V</math> which would be orthogonal to all ek. If we insert <math>\mathbf{v}</math> into the frame condition, we obtain
- <math>
A \| \mathbf{v} \|^{2} \leq 0 \leq B \| \mathbf{v} \|^{2} ; </math> therefore <math>A \leq 0</math>, which is a violation of the initial assumptions on the lower frame bound. If a set of vectors spans V, this is not a sufficient for calling the set a frame. As an example, consider <math>V = R^{2}</math> and the infinite set
- <math>\{ (1,0) , \, (0,1), \, (0,1) , \, (0,1) \ldots \}</math>
This set spans V but does not satisfy the frame condition since we get <math>B = \infty</math>. Consequently, a frame is a set of vectors which
- spans V,
- are allowed to be linearly dependent
- cannot be any arbitrary set of vectors which spans V.
Types of Frames
Tight Frames
A frame is tight if the frame bounds <math>A</math> and <math>B</math> are equal. This means that the frame obeys a generalized Parseval's identity. A frame is normalized if <math>A = B = 1</math>.
Uniform Frames
A frame is uniform if each element has the same norm: <math>\forall k\ \|\mathbf{e}_k\| = 1 </math>. A uniform normalized tight frame is an orthonormal basis.
History
Frames were introduced by Duffin and Schaeffer in their study on nonharmonic Fourier series. They remained obscure until Mallat, Daubechies, and others used them to analyze wavelets in the 1980s. Some practical uses of frames today include robust coding and design and analysis of filter banks.
References
- Ole Christensen (2003). An Introduction to Frames and Riesz Bases. Birkhäuser.
- R. J. Duffin and A. C. Schaeffer (1952). "A class of nonharmonic Fourier series". Trans. Amer. Math. Soc. vol. 72: 341--366.
- Jelena Kovacevic, Pier Luigi Dragotti, and Vivek Goyal (June 2002). "Filter Bank Frame Expansions with Erasures". IEEE Trans. Information Theory 48 (6): 1439-1450.
