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 ein Hilbertraum und ein Orthonormalsystem, so gilt für alle die Ungleichung

wobei 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.

Die Besselsche Ungleichung folgt außerdem direkt aus der Identität

was für jedes natürliche gilt.

Literatur

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