PlanetMath: frame

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (205)
Orphanage
Unclass'd
Unproven (490)
Corrections (8)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

frame

(Definition)

Introduction

The concept of a frame is a generalization of the concept of an orthonormal basis: each vector in the space can be represented as a sum of the elements in the frame, but not necessarily uniquely. It is because of this redundancy in representation that frames have found important applications. Surpisingly, despite the fact that frames do not in general consist of orthonormal vectors, the frame representation of a vector may still satisfy the Parseval equation.

Definition

A frame in a Hilbert space

is a collection $(x_i)_{i=1}^n$ of vectors in

such that there exist constants

such that for all $x \in H$ ,

$\displaystyle A \Vert x\Vert^2 \leq \sum_i \vert\langle x, x_i\rangle\vert^2 \leq B\Vert x\Vert^2$

The constants are called the lower and upper frame bounds respectively, or the frame constants. The optimal frame constants $A^\prime$ and $B^\prime$ are defined respectively as the supremum and infimum of all possible lower and upper frame bounds. When , the frame is a tight frame, or an -tight frame. A -tight frame is referred to as a Parseval frame, and the Parseval equation holds with respect to the frame elements:

$\displaystyle x = \sum_{i=1}^n \langle x, x_i \rangle x_i$

for all $x \in H$ .

Associated Operators (for finite frames)

Let $\dim H = n$ and $\{x_i\}_{i=1}^k$ be a frame in

( $k \ge n$ ).

The analysis operator $\theta: H \rightarrow {\mathbb{C}}^k$ is the function defined such that $\theta: x \mapsto (\langle x, x_i \rangle)_i.$

The synthesis operator $\tau: {\mathbb{C}}^k \rightarrow H$ is the function defined such that $(c_i)_i^k \mapsto \sum_{i=1}^k c_i x_i.$

$\tau = \theta^\ast$ , that is, $\langle \theta x, y\rangle_{{\mathbb{C}}^k} = \langle x, \tau y\rangle_H$ for all $x \in H$ and all $y \in {\mathbb{C}}^k$ .

$\displaystyle \langle \theta x, y\rangle_{{\mathbb{C}}^k}$	$\displaystyle =$	$\displaystyle \langle (\langle x, x_i \rangle_H)_{i=1}^k, (y_i)_{i=1}^k \rangle_{{\mathbb{C}}^k}$
	$\displaystyle =$	$\displaystyle \sum_{i=1}^k \langle x, x_i \rangle_H \overline{y_i} = \sum_{i=1}^k \langle x, y_i x_i \rangle_H$
	$\displaystyle =$	$\displaystyle \langle x , \sum_{i=1}^k y_i x_i \rangle_H = \langle x, \tau y \rangle_H$

The frame operator is defined as the $n\times n$ matrix $\theta^\ast\theta : H \rightarrow H$ such that $\theta^\ast\theta : x \mapsto \sum_{i=1}^k \langle x, x_i \rangle x_i$ for all $x \in H$ .

The Grammian operator is defined as the composition $\theta \theta^\ast: {\mathbb{C}}^k \rightarrow {\mathbb{C}}^k$ .

The Grammian and frame operators have the same nonzero eigenvalues.

"frame" is owned by swiftset.

(view preamble)

See Also: Riesz sequence, set of sampling

Also defines:

Parseval frame, tight frame, frame constants, frame bounds, synthesis operator, analysis operator, frame operator, Grammian

Attachments:: characterization of tight frames in ${\mathbb R}^n$ (Result) by swiftset
Gabor frame (Definition) by ErlendA

Log in to rate this entry.
(view current ratings)

Cross-references: eigenvalues, composition, matrix, function, operator, infimum, supremum, Hilbert space, Parseval equation, orthonormal, sum, vector, orthonormal basis
There are 10 references to this entry.

This is version 6 of frame, born on 2004-06-21, modified 2004-07-06.
Object id is 5935, canonical name is Frame2.
Accessed 10198 times total.

Classification:

AMS MSC:

46C99 (Functional analysis :: Inner product spaces and their generalizations, Hilbert spaces :: Miscellaneous)

Pending Errata and Addenda

None.

Discussion

forum policy

No messages.

Interact