Besselsche Ungleichung

Die besselsche Ungleichung beschreibt in der Funktionalanalysis den Sachverhalt, dass ein Vektor eines Hilbertraums mindestens so „lang“ wie seine Orthogonalprojektion auf einen beliebigen Untervektorraum ist. Sie ist nach dem deutschen Mathematiker Friedrich Wilhelm Bessel benannt, der sie im Jahr 1828 für den Spezialfall der Fourierreihe bewies.

Aussage

Ist $H$ ein Hilbertraum und $S\subset H$ ein Orthonormalsystem, so gilt für alle $x\in H$ die Ungleichung

\sum _{e\in S}\vert \langle x,e\rangle \vert ^{2}\leq \Vert x\Vert ^{2},

wobei $\langle \cdot ,\cdot \rangle$ das Skalarprodukt auf dem Hilbertraum darstellt.

Ist das Orthonormalsystem sogar eine Orthonormalbasis, so gilt stets Gleichheit. Die Relation heißt dann parsevalsche Gleichung und stellt eine Verallgemeinerung des Satzes des Pythagoras für Prähilberträume dar.

Literatur

Dirk Werner: Funktionalanalysis. 6. korrigierte Auflage. Springer, Berlin 2007, ISBN 978-3-540-72533-6.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.