Frame (Hilbertraum)

Ein Frame ist ein Objekt aus dem mathematischen Teilgebiet der Funktionalanalysis, insbesondere aus dem Bereich der Hilbertraumtheorie. Es handelt sich um ein besonderes Erzeugendensystem eines Hilbertraumes.

Definition

Es sei $H$ ein separabler Hilbertraum mit Skalarprodukt $⟨\cdot ,\cdot ⟩$ und davon induzierter Norm $\Vert \cdot \Vert =\sqrt{⟨\cdot ,\cdot ⟩}.$ Eine Familie ${\left\{f_j\right\}}_{j\in \mathbb{Z}}\subset H$ heißt Frame von $H$, wenn es $0<m\le M$ gibt, so dass für alle $f\in H$ die Ungleichung

$m{\left|\left|f\right|\right|}^2\le \sum _{j\in \mathbb{Z}}{|⟨f,f_j⟩|}^2\le M{\left|\left|f\right|\right|}^2$

gilt. Dies bedeutet, dass die ${\ell }^2$-Norm der Folge der Fourierkoeffizienten $(⟨f,f_j⟩{)}_{j\in \mathbb{Z}}$ in direktem Zusammenhang mit der Norm der Funktion $f$ steht.

Kann darin $m=M$ gewählt werden, dann bezeichnet man den Frame als straff oder tight.

Ist obige Ungleichung speziell für $m=M=1$ erfüllt, so nennt man den Frame auch Parsevalframe. In diesem Fall gilt für alle $f\in H$ die parsevalsche Gleichung

${\left|\left|f\right|\right|}^2=\sum _{j\in \mathbb{Z}}{|⟨f,f_j⟩|}^2$.

Beispiel

• Die Vektoren $(1/2,1/2),(1/2,i/2),(1/2,-1/2),(1/2,-i/2)$ sind ein straffer Frame für den ${ℂ}^2.$

Eigenschaften

• Jedes Frame ${\left\{f_j\right\}}_{j\in \mathbb{Z}}$ ist ein Erzeugendensystem von $H$ im folgenden (topologischen) Sinne: Es gilt $\overline{\mathrm{span}\{f_j\}}=H$.
• Jede Orthonormalbasis ist ein Parsevalframe.
• Insbesondere Parsevalframes verhalten sich ähnlich gutartig wie Orthonormalbasen, da für diese die Entwicklung $f=\sum _{j\in \mathbb{Z}}⟨f,f_j⟩f_j$ gilt. Im Unterschied zu Orthonormalbasen ist diese Zerlegung jedoch nicht eindeutig, das heißt, es kann auch andere Koeffizienten $\{c_j{\}}_{j\in \mathbb{Z}}$ geben mit $f=\sum _{j\in \mathbb{Z}}{c}_j{f}_j.$

Literatur

• Ole Christensen: An Introduction to Frames and Riesz Bases. Birkhäuser 2002, ISBN 0-8176-4295-1.

Weblinks

• Frame bei PlanetMath