|
|
|
|
Bessel inequality
|
(Theorem)
|
|
|
Let $\Hilb$ be a Hilbert space, and suppose $e_1, e_2, \ldots \in \Hilb$ is an orthonormal sequence. Then for any $x\in\Hilb$ $$ \sum_{k=1}^{\infty}\size{\scalar{x}{e_k}}^2 \le \norm{x}^2. $$
Bessel's inequality immediately lets us define the sum $$ x' = \sum_{k=1}^{\infty}\scalar{x}{e_k}e_k. $$ The inequality means that the series converges.
For a complete orthonormal series, we have Parseval's theorem, which replaces inequality with equality (and consequently $x'$ with $x$ .
|
"Bessel inequality" is owned by ariels.
|
|
(view preamble | get metadata)
Cross-references: equality, Parseval's theorem, complete, converges, series, inequality, sum, sequence, orthonormal, Hilbert space
There are 3 references to this entry.
This is version 2 of Bessel inequality, born on 2002-06-10, modified 2002-06-11.
Object id is 3089, canonical name is BesselInequality.
Accessed 10214 times total.
Classification:
| AMS MSC: | 46C05 (Functional analysis :: Inner product spaces and their generalizations, Hilbert spaces :: Hilbert and pre-Hilbert spaces: geometry and topology ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
