Bessel's inequality

In mathematics, especially functional analysis, Bessel's inequality is a statement about the coefficients of an element $x$ in a Hilbert space with respect to an orthonormal sequence.

Let $H$ be a Hilbert space, and suppose that $e_1, e_2, ...$ is an orthonormal sequence in $H$ . Then, for any $x$ in $H$ one has

\sum_{k=1}^{\infty}\left\vert\left\langle x,e_k\right\rangle \right\vert^2 \le \left\Vert x\right\Vert^2

where 〈•,•〉 denotes the inner product in the Hilbert space $H$ .^[1]^[2]^[3] If we define the infinite sum

x' = \sum_{k=1}^{\infty}\left\langle x,e_k\right\rangle e_k,

consisting of 'infinite sum' of vector resolute $x$ in direction $e_{k}$ , Bessel's inequality tells us that this series converges. One can think of it that there exists $x' \in H$ which can be described in terms of potential basis $e_1, e_2, ...$ .

For a complete orthonormal sequence (that is, for an orthonormal sequence which is a basis), we have Parseval's identity, which replaces the inequality with an equality (and consequently $x'$ with $x$ ).

Bessel's inequality follows from the identity:

0 \le \left\| x - \sum_{k=1}^n \langle x, e_k \rangle e_k\right\|^2 = \|x\|^2 - 2 \sum_{k=1}^n |\langle x, e_k \rangle |^2 + \sum_{k=1}^n | \langle x, e_k \rangle |^2 = \|x\|^2 - \sum_{k=1}^n | \langle x, e_k \rangle |^2,

which holds for any natural n.

Notes

↑ Saxe, Karen (2001-12-07). Beginning Functional Analysis. Springer Science & Business Media. p. 82. ISBN 9780387952246.
↑ Zorich, Vladimir A.; Cooke, R. (2004-01-22). Mathematical Analysis II. Springer Science & Business Media. pp. 508–509. ISBN 9783540406334.
↑ Vetterli, Martin; Kovačević, Jelena; Goyal, Vivek K. (2014-09-04). Foundations of Signal Processing. Cambridge University Press. p. 83. ISBN 9781139916578.

External links

Hazewinkel, Michiel, ed. (2001), "Bessel inequality", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Bessel's Inequality the article on Bessel's Inequality on MathWorld.

This article incorporates material from Bessel inequality on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

Functional analysis

Set / subset types	Absolutely convex Absorbing Balanced Bounded Convex Radial Star-shaped Symmetric Linear cone (subset) Convex cone (subset)

TVS types	Banach Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (tame) Hilbert LF-space Locally convex Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Webbed Topological tensor product (of Hilbert spaces)

Mapping topologies	Dual Dual space Operator Ultraweak Weak (operator) Mackey Strong (polar operator) Ultrastrong Uniform convergence

Linear operators	Adjoint Bilinear (form) Bounded / Unbounded Closed Continuous / Discontinuous Compact Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary

Set operations	Algebraic interior (core) Interior Minkowski addition Polar

Operator theory	Banach algebras C-algebras Spectrum (C-algebra radius) Spectral theory (of ODEs Spectral theorem) Polar decomposition Singular value decomposition

Theorems	Banach–Alaoglu Banach–Saks Banach–Mazur Bessel's inequality Cauchy–Schwarz inequality Closed range Closed graph Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Open mapping Parseval's identity Schauder fixed-point

Analysis	Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gâteaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Vector measure Weakly measurable function

This article is issued from Wikipedia - version of the 5/24/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Bessel's inequality

See also

Notes

External links