- Frame of a vector space
In linear algebra, 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. The key issue related to the construction of a frame appears when we have a sequence of vectors , with each and we want to express an arbitrary element as a linear combination of the vectors :
and want to determine the coefficients ck. If the set does not span V, then these coefficients cannot be determined for all such . If spans V and also is linearly independent, this set forms a basis of V, and the coefficients ck are uniquely determined by : they are the coordinates of relative to this basis. If, however, spans V but is not linearly independent, the question of how to determine the coefficients becomes less apparent, in particular if V is of infinite dimension.
Given that spans V and is linearly dependent, it may appear obvious that we should remove vectors from the set until it becomes linearly independent and forms a basis. There are some problems with this strategy:
- By removing vectors randomly from the set, it may lose its possibility to span V before it becomes linearly independent.
- Even if it is possible to devise a specific way to remove vectors from the set until it becomes a basis, this approach may become infeasible in practice if the set is large or infinite.
- In some applications, it may be an advantage to use more vectors than necessary to represent . This means that we want to find the coefficients ck without removing elements in .
In 1952, Duffin and Schaeffer gave a solution to this problem, by describing a condition on the set that makes it possible to compute the coefficients ck in a simple way. More precisely, a frame is a set of elements of V which satisfy the so-called frame condition:
- There exist two real numbers, A and B such that and
- This means that the constants A and B can be chosen independently of v: they only depend on the set .
The numbers A and B are called lower and upper frame bounds.
It can be shown that the frame condition is both necessary and sufficient to form a frame a set of dual frame vectors with the following property:
for any . 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.
Relation to bases
If the set is a frame of V, it spans V. Otherwise there would exist at least one non-zero which would be orthogonal to all . If we insert into the frame condition, we obtain
therefore , 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 condition for calling the set a frame. As an example, consider and the infinite set given by
This set spans V but since we cannot choose . Consequently, the set is not a frame.
Types of frames
A frame is tight if the frame bounds A and B are equal. This means that the frame obeys a generalized Parseval's identity. If A = B = 1, then a frame is either called normalized or Parseval. However, some of the literature refers to a frame for which where c is a constant independent of k (see uniform below) as a normalized frame.
A frame is uniform if each element has the same norm: where c is a constant independent of k. A uniform normalized tight frame with c = 1 is an orthonormal basis.
The dual frame
The frame condition is both sufficient and necessary for allowing the construction of a dual or conjugate frame, , relative the original frame, . The duality of this frame implies that
is satisfied for all . In order to construct the dual frame, we first need the linear mapping: defined as
From this definition of and linearity in the first argument of the inner product, it now follows that
which can be inserted into the frame condition to get
The properties of can be summarised as follows:
- is self-adjoint, positive definite, and has positive upper and lower bounds. This leads to
- the inverse of exists and it, too, is self-adjoint, positive definite, and has positive upper and lower bounds.
The dual frame is defined by mapping each element of the frame with :
To see that this make sense, let be arbitrary and set
It is then the case that
which proves that
Alternatively, we can set
By inserting the above definition of and applying known properties of and its inverse, we get
which shows that
This derivation of the dual frame is a summary of section 3 in the article by Duffin and Schaeffer. They use the term conjugate frame for what here is called dual frame.
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.
- Frame (linear algebra)
- 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. (Transactions of the American Mathematical Society, Vol. 72, No. 2) 72 (2): 341–366. doi:10.2307/1990760. JSTOR 1990760.
- Jelena Kovacevic, Pier Luigi Dragotti, and Vivek Goyal (June 2002). "Filter Bank Frame Expansions with Erasures". IEEE Trans. Information Theory 48 (6): 1439–1450. doi:10.1109/TIT.2002.1003832. http://citeseer.ist.psu.edu/cache/papers/cs/28168/http:zSzzSzlcavwww.epfl.chzSz~dragottizSzpublicationszSzIT_june02.pdf/kovacevic02filter.pdf.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Frame — A frame is a structural system that supports other components of a physical construction. Frame may also refer to:Engineering construction* Framing (construction), a building term known as light frame construction * Frame (vehicle), to which… … Wikipedia
Frame bundle — In mathematics, a frame bundle is a principal fiber bundle F(E) associated to any vector bundle E. The fiber of F(E) over a point x is the set of all ordered bases, or frames, for Ex. The general linear group acts naturally on F(E) via a change… … Wikipedia
Vector calculus — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables Implicit differentiation Taylor s theorem Related rates … Wikipedia
Vector-valued differential form — In mathematics, a vector valued differential form on a manifold M is a differential form on M with values in a vector space V . More generally, it is a differential form with values in some vector bundle E over M . Ordinary differential forms can … Wikipedia
space — 1. noun /speɪs/ a) The intervening contents of a volume. If it be only a Single Letter or two that drops, he thruſts the end of his Bodkin between every Letter of that Word, till he comes to a Space: and then perhaps by forcing thoſe Letters… … Wiktionary
space — spacer, n. /spays/, n., v., spaced, spacing, adj. n. 1. the unlimited or incalculably great three dimensional realm or expanse in which all material objects are located and all events occur. 2. the portion or extent of this in a given instance;… … Universalium
Vector Prime (Transformers) — Vector Prime is a fictional character from the toyline, animated series and comics.Transformers: CybertronTransformers character name = Vector Prime caption = Knight Warrior of Cybertron and Defender of Spacetime affiliation =Autobot subgroup =… … Wikipedia
Frame fields in general relativity — In general relativity, a frame field (also called a tetrad or vierbein) is a set of four orthonormal vector fields, one timelike and three spacelike, defined on a Lorentzian manifold that is physically interpreted as a model of spacetime. The… … Wikipedia
Frame of reference — A frame of reference in physics, may refer to a coordinate system or set of axes within which to measure the position, orientation, and other properties of objects in it, or it may refer to an observational reference frame tied to the state of… … Wikipedia
vector analysis — the branch of calculus that deals with vectors and processes involving vectors. * * * ▪ mathematics Introduction a branch of mathematics that deals with quantities that have both magnitude and direction. Some physical and geometric… … Universalium