Parseval-Frame

Als Hilbertraumbasis wird in der Funktionalanalysis eine Basis eines Hilbertraums bezeichnet. Ein Hilbertraum ist ein (oft unendlichdimensionaler) Vektorraum, der mit einem Skalarprodukt ausgestattet ist und in der von diesem induzierten Norm vollständig ist.

Der natürliche Basisbegriff eines Hilbertraums ist die Verallgemeinerung der Orthonormalbasis der euklidischen Geometrie, das vollständige Orthonormalsystem bzw. die Hilbertbasis. Manchmal, z. B. in der Wavelettheorie, arbeitet man mit Erzeugendensystemen eines Hilbertraumes, von denen die Orthogonalität nur schwer oder gar nicht nachzuweisen ist.

Im endlichdimensionalen Fall ist die Alternative zu einer Orthonormalbasis eine allgemeine, nicht orthogonale Basis. Für jede Basis im Endlichdimensionalen fallen die zwei charakteristischen Eigenschaften zusammen: Eine Basis ist ein maximales linear unabhängiges System und gleichzeitig ein minimales Erzeugendensystem.

Im unendlichdimensionalen Fall ist das „stabile“ Abweichen vom Begriff der Hilbert-Basis nicht so einfach. Von Spezialfällen abgesehen, verlangt man von einer Basis jedoch, dass jeder Vektor des Hilbertraums eindeutig bestimmte Koordinaten besitzt, die sich stetig mit dem Vektor ändern, sowie dass jeder Vektor durch seine Koordinaten eineindeutig bestimmt wird, mehr noch, dass es zu jedem System zulässiger Koordinaten einen stetig von diesen Koordinaten abhängenden Vektor gibt. Mit anderen Worten, es soll eine bijektive, in beide Richtungen stetige lineare Abbildung des Hilbertraumes in einen Koordinatenraum geben.

Motivation am euklidischen Fall

In einem n-dimensionalen K-Vektorraum V ist eine Basis $(b_1,b_2,\dots,b_n)$ insbesondere dadurch charakterisiert, dass zu ihr eine bijektive Abbildung zwischen dem Vektorraum V und dem Modellvektorraum Kⁿ erzeugt werden kann:

$E:K^n\to V,\qquad\text{mit}\quad x=(x^1,\dots,x^n)^t\mapsto E\cdot x=b_1x^1+b_2x^2+\dots+b_nx^n$.

Diese Abbildung kodiert wiederum die Basis, denn die Bilder der kanonischen Basisvektoren $(e_1,e_2,\dots,e_n)$ des Spaltenvektorraums Kⁿ sind gerade die gewählten Basisvektoren von V. Die inverse Abbildung zu dieser ordnet jedem Vektor aus V seinen Koordinatenvektor bzgl. dieser Basis zu.

In diesem Sinne kann man bijektive Abbildungen von Kⁿ nach V mit Basen von V identifizieren. Ist auf V eine Norm definiert, so folgt aus der Bijektivität, dass die Koordinaten von Einheitsvektoren weder sehr klein noch sehr groß werden können.

Systeme von Vektoren und ihre Eigenschaften

Sei $\mathcal H$ ein Hilbertraum über dem Körper $\mathbb K=\R$ oder $\mathbb K=\mathbb C$. Sei weiter $X\subset\mathcal H$ eine (endliche, abzählbare oder gar überabzählbare) Teilmenge des Hilbertraums. Um diese Teilmenge sprachlich von Untervektorräumen zu unterscheiden, wird X System von Vektoren genannt.

Koeffizientenraum

Zu jeder endlichen Anzahl von Vektoren aus X kann man ohne Einschränkung Linearkombinationen bilden. Die Koeffizienten einer solchen Linearkombination kann man in einer Funktion $c:X\to\mathbb K$ zusammenfassen, die nur an endlich vielen Stellen von Null verschieden ist. Die Linearkombination hat dann die Gestalt

$\sum_{x\in X}c(x)\;x,\quad\text{ wobei }\quad\#\{x:\;c(x)\ne 0\}<\infty$.

Auf dem Raum $\ell^{fin}(X)$ dieser Funktionen mit endlichem Träger kann man ein Skalarprodukt definieren als

$\langle c,\,d\rangle=\sum_{x\in X}c(x)\overline{d(x)}$.

Nur endlich viele Terme sind von Null verschieden, d. h. die Summe ist als solche definiert.

Jedes Skalarprodukt definiert auch eine Norm und damit eine Metrik. Sei mit $\ell^2(X)$ die Vervollständigung des Raumes $\ell^{fin}(X)$ bzgl. dieser Topologie bezeichnet. $\ell^2(X)$ soll im folgenden als Koeffizienten- und später als Koordinatenraum dienen. Ist X endlich, so ist dieser Koeffizientenraum isomorph zu einem euklidischen Raum, für X abzählbar ist der Koeffizientenraum isometrisch isomorph zum Folgenraum $\ell^2(\N,\mathbb K)$.

Der Einfachheit halber werden Elemente aus $\ell^2(X)$ als Koeffizientenvektoren bezeichnet, die Komponente von c zum „Index“ x ist der Wert c(x). Ein Koeffizientenvektor c heißt endlich, falls der Träger von c endlich ist.

Linearkombinationen

Die einfachste Forderung ist nun, dass es zu jedem Koeffizientenvektor $c\in\ell^2(X)$ auch eine Linearkombination des Systems X geben möge. Im allgemeinen ist aber die „Summe“

$\sum_{x\in X}c(x)\;x$

nicht definiert. Für jedes $\varepsilon>0$ gibt es aber Koeffizientenvektoren $\tilde c\in\ell^2(X)$ mit endlichem Träger und einem Abstand $\|c-\tilde c\|_{\ell^2(X)}<\varepsilon$, für den diese Linearkombination definiert ist. Die Frage ist nun, wann diese endlichen Linearkombinationen einen gemeinsamen Grenzwert für $\varepsilon\to0$ haben.

Definition (Besselsystem)

X heißt Besselsystem, falls die Abbildung $\mathcal E:\ell^2(X)\to\mathcal H$ mit $\mathcal E(c)=\sum_{x\in X}c(x)\cdot x$ stetig ist, d. h. falls es eine Konstante B gibt mit

$\|\sum_{x\in X}c(x)\, x\|_{\mathcal H}\le \sqrt{B}\,\|c\|_{\ell^2(X)}$.

Bemerkung: Diese Ungleichung muss nur für endliche Koeffizientenfolgen bzw. -funktionen mit endlichem Träger erfüllt sein, um schon für alle Koeffizientenfolgen bzw. -funktionen zu gelten.

Unter diesen Umständen bilden die Bildvektoren $\bigl(\mathcal E(c_n)\bigr)_{n\in\N}$ einer Folge endlicher Approximationen $c_n\to c$ eines Koeffizientenvektors $c\in\ell^2(X)$ eine Cauchyfolge im Hilbertraum $\mathcal H$. Diese Folge besitzt also einen Grenzwert, und dieser ist unabhängig von der gewählten approximierenden Folge.

Da $\mathcal E$ ein linearer Operator zwischen zwei Hilberträumen ist, gibt es einen adjungierten Operator $\mathcal E^*:\mathcal H\to \ell_2(X)$. Nach Definition eines adjungierten Operators bestimmt sich dieser zu $\mathcal E^*(v):X\to\mathbb K:\;x\mapsto\langle x,v\rangle$. Ist X ein Besselsystem, so erfüllt der adjungierte Operator eine Besselsche Ungleichung: Mit der Konstanten B>0 gilt für beliebige Vektoren $v\in\mathcal H$ die Ungleichung

$\|\mathcal E^*(v)\|^2=\sum_{x\in X} |\langle x,v\rangle|^2\le B\,\|v\|^2$.

Lineare Unabhängigkeit

In vielen Fällen ist die Definition nicht ausreichend, dass keine nichttriviale Linearkombination aus X der Nullvektor ist. So kann es trotz dieser Eigenschaft der Fall sein, dass es beliebig kleine Linearkombinationen gibt, bei denen der Koeffizientenvektor die Länge 1 hat. Es ist also verschärfend zu fordern, dass X ein Besselsystem ist und es eine untere Schranke A>0 gibt, so dass

$\|\mathcal E(c)\|_{\mathcal H}\ge \sqrt{A}\|c\|_{\ell^2(X)}$

für alle Koeffizientenvektoren $c\in\ell^2(X)$ gilt.

Definition (Rieszsystem)

Ein System X von Vektoren eines Hilbertraumes heißt Rieszsystem, falls es endliche Konstanten $0<A<B<\infty$ gibt, so dass für endliche Koeffizientenvektoren $c\in\ell^2(X)$ und damit für alle Koeffizientenvektoren die Ungleichungen

$\sqrt{A}\|c\|_{\ell^2(X)}\le\|\sum_{x\in X}c(x)\, x\|_{\mathcal H}\le \sqrt{B}\,\|c\|_{\ell^2(X)}$

erfüllt sind.

Erzeugendensystem

Ein Erzeugendensystem X im Hilbertraum kann dadurch charakterisiert werden, dass das orthogonale Komplement von X nur aus dem Nullvektor besteht. Ist X zusätzlich ein Besselsystem, so bilden die Skalarprodukte $\langle v,\, x\rangle$ die Komponenten des Vektors $\mathcal E^*(v)$. D. h., jeder Vektor $v\in\mathcal H$ mit $\mathcal E^*(v)=0$ muss der Nullvektor sein.

Wieder ist diese Charakterisierung in vielen Fällen nicht ausreichend, da es möglich wäre, dass $\mathcal E^*(v)$ auf der Einheitskugel beliebig kleine Werte annimmt. Um dies zu verhindern, fordert man die Existenz einer unteren Schranke A>0 für die Werte auf der Einheitskugel, es sei für alle $v\in\mathcal H$ mit $\|v\|_{\mathcal H}=1$ die Ungleichung

$\|E^*(v)\|_{\ell^2(X)}^2=\sum_{x\in X}|\langle v,\, x\rangle|^2\ge A$

erfüllt.

Definition (Frame)

Ein System X von Vektoren in einem Hilbertraum heißt Frame (en. für Rahmen), falls es endliche Konstanten $0<A<B<\infty$, die Framekonstanten, gibt, so dass für jeden Vektor $v\in\mathcal H$ die Ungleichungen

$\sqrt{A}\|v\|_{\mathcal H}\le \|E^*(v)\|_{\ell^2(X)}\le \sqrt{B}\|v\|_{\mathcal H}$

erfüllt sind. Gilt sogar A = B, so wird X ein straffer Frame (engl. „tight frame“) genannt.

Insbesondere folgt aus dieser Eigenschaft die Existenz eines stetigen pseudoinversen Operators (s. weiter unten).

Definition (Rieszbasis)

Ein System X von Vektoren in einem Hilbertraum heißt Rieszbasis, falls es gleichzeitig ein Rieszsystem und ein Frame ist.

Folgerungen

Für Rieszsysteme

Pseudoinverse und Bestapproximation

Ein Rieszsystem X spannt einen abgeschlossenen Unterraum im Hilbertraum $\mathcal H$ auf. Zu jedem beliebigen Vektor $v\in\mathcal H$ gibt es eine Bestapproximation in diesem Unterraum, d. h. einen Koeffizientenvektor $c\in\ell^2(X)$ für welchen der Abstand $\|v-\mathcal E(c)\|_{\mathcal H}$ minimal wird. Dieser Koeffizientenvektor bestimmt sich zu

$c=\mathcal E^-(v)=\left((\mathcal E^*\circ\mathcal E)^{-1}\circ\mathcal E^*\right)(v)$.

Der in diesem Ausdruck vorkommende inverse Operator existiert, da das Komposit $\mathcal E^*\circ\mathcal E$ beschränkt, selbstadjungiert und positiv definit ist. Der inverse Operator kann als Neumann-Reihe konstruiert werden, denn es gilt

$\mathcal E^*\circ\mathcal E=C\,(I-T)$, daher $(\mathcal E^*\circ\mathcal E)=\frac1C\left(I+T+\sum_{k=2}^\infty T^k\right)$,

denn der Term

$T=I-\tfrac1C \left(\mathcal E^*\circ\mathcal E\right)$, mit $C:=\frac{A+B}2$,

hat eine Operatornorm kleiner 1.

Der Operator $\mathcal E^-:\mathcal H\to\ell^2(X)$ ist der pseudoinverse Operator zu $\mathcal E$, es gelten die zwei Identitäten

• $\mathcal E^-\circ\mathcal E=id_{\ell^2(X)}$ ist die Identität im Raum der Koeffizientenvektoren und
• $\mathcal E\circ\mathcal E^-=pr_{im(\mathcal E)}$ ist der orthogonale Projektor auf das Bild $im(\mathcal E)\subset\mathcal H$.

für Frames

Pseudoinverse

Als Folge der Frameungleichung ist der Operator $\mathcal E:\ell^2(X)\to\mathcal H$ surjektiv. Denn das orthogonale Komplement des Bildes ist gerade der Kern von $\mathcal E^*:\mathcal H\to\ell^2(X)$, und nach der linken Ungleichung hat jeder Vektor im Kern die Länge Null.

Analog zur Überlegung zum Rieszsystem ist nun der Operator $\mathcal E\circ\mathcal E^*$ selbstadjungiert, beschränkt und positiv definit. Es gibt dessen inversen Operator $R=(\mathcal E\circ\mathcal E^*)^{-1}:\mathcal H\to\mathcal H$, mit welchem wiederum der pseudoinverse Operator $\mathcal E^-=\mathcal E^*\circ R$ gebildet werden kann. In diesem Fall gelten die Identitäten

• $\mathcal E\circ \mathcal E^-=id_{\mathcal H}$ ist die Identität des Hilbertraumes und
• $\mathcal E^-\circ \mathcal E=pr_{im(\mathcal E^*)}$ ist die Projektion auf das Bild des adjungierten Operators, welches gleichzeitig das orthogonale Komplement des Kerns ist, $im(\mathcal E^*)=ker(\mathcal E)^\bot$.

Kleinster Koeffizientenvektor

Mit einem Frame X kann jeder Vektor $v\in\mathcal H$ als Linearkombination des Systems X dargestellt werden. Oft gibt es mehrere Koeffizientenvektoren, die diese Aufgabe erfüllen. Unter all diesen Koeffizientenvektoren ist $\mathcal E^-(v)$ der kleinste.

Dualer Frame

Es gibt zu einem Frame X einen dualen Frame $RX=\{Rx:\;x\in X\}$, wobei R der oben definierte inverse Operator zu $\mathcal E\circ\mathcal E^*$ ist. Dieses System ist tatsächlich ein Frame mit Konstanten $0<\tfrac1B\le\tfrac1A<\infty$, er ist dual in dem Sinne, dass die Identität $v=(\mathcal E\circ \mathcal E^-)(v)$ entwickelt werden kann zu

$v=\sum_{x\in X}\langle x,Rv\rangle\,x=\sum_{x\in X}\langle Rx,v\rangle\,x$,

d. h. die Skalarprodukte mit den Vektoren des dualen Frames ergeben die Komponenten des kleinsten Koeffizientenvektors zu v.

Parseval-Frame

Ein straffer Frame X, dessen Framekonstanten beide gleich 1 sind, wird Parsevalframe genannt, da in ihm die Parsevalsche Gleichung

$\forall v \in\mathcal H:\;\|v\|^2=\sum_{x\in X}|\langle v,x\rangle|^2$

gilt. Dies ist äquivalent dazu, dass X sein eigener dualer Frame ist, d. h. jeder Vektor kann entwickelt werden als

$v=\sum_{x\in X}\langle x,v\rangle\,x$.

Es gilt der Satz: Sind die Vektoren eines Parsevalframes X allesamt Einheitsvektoren, so ist X schon eine Hilbertbasis.

für Rieszbasen

In einer Rieszbasis stimmen die Konstanten $0<A\le B<\infty$ der Ungleichung aus der Definition des Rieszsystems mit den Framekonstanten überein und der pseudoinverse Operator $\mathcal E^-$ ist tatsächlich schon der inverse Operator zu $\mathcal E$.

Gilt zusätzlich noch A=B=1, so ist X schon ein vollständiges Orthonormalsystem, d. h. eine Hilbert-Basis. In diesem Fall gilt sowohl die Parsevalsche Gleichung

$\forall v \in H:\;\|v\|^2=\sum_{x\in X}|\langle v,x\rangle|^2$,

was äquivalent zu

$\forall v \in H:\;v=\sum_{x\in X}\langle v,x\rangle\,x$

ist; als auch

$\forall c \in \ell_2(X)\;\forall y\in X:\;c_y=\langle \sum_{x\in X}c_x\,x,y\rangle$,

äquivalent zu

$\forall c \in \ell_2(X):\;\|c\|=\|\sum_{x\in X}c_x\,x\|$.

Weblinks

• Otto Forster, Joachim Wehler: Skript zur Vorlesung: Fourier-Transformation und Wavelets. LMU München 200/01