GetWiki
Hilbert space
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
Hilbert space
please note:
 the content below is remote from Wikipedia
 it has been imported raw for GetWiki
{{short descriptioninner product space that is metrically complete; a Banach space whose norm induces an inner product (follows the parallelogram identity)}}{{DablinkFor the Hilbert spacefilling curve, see Hilbert curve.}}{{ppmoveindef}} the content below is remote from Wikipedia
 it has been imported raw for GetWiki
missing image!
 Standing waves on a string.gif 
The state of a vibrating string can be modeled as a point in a Hilbert space. The decomposition of a vibrating string into its vibrations in distinct overtones is given by the projection of the point onto the coordinate axes in the space.
The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It extends the methods of vector algebra and calculus from the twodimensional Euclidean plane and threedimensional space to spaces with any finite or infinite number of dimensions. A Hilbert space is an abstract vector space possessing the structure of an inner product that allows length and angle to be measured. Furthermore, Hilbert spaces are complete: there are enough limits in the space to allow the techniques of calculus to be used.Hilbert spaces arise naturally and frequently in mathematics and physics, typically as infinitedimensional function spaces. The earliest Hilbert spaces were studied from this point of view in the first decade of the 20th century by David Hilbert, Erhard Schmidt, and Frigyes Riesz. They are indispensable tools in the theories of partial differential equations, quantum mechanics, Fourier analysis (which includes applications to signal processing and heat transfer), and ergodic theory (which forms the mathematical underpinning of thermodynamics). John von Neumann coined the term Hilbert space for the abstract concept that underlies many of these diverse applications. The success of Hilbert space methods ushered in a very fruitful era for functional analysis. Apart from the classical Euclidean spaces, examples of Hilbert spaces include spaces of squareintegrable functions, spaces of sequences, Sobolev spaces consisting of generalized functions, and Hardy spaces of holomorphic functions.Geometric intuition plays an important role in many aspects of Hilbert space theory. Exact analogs of the Pythagorean theorem and parallelogram law hold in a Hilbert space. At a deeper level, perpendicular projection onto a subspace (the analog of "dropping the altitude" of a triangle) plays a significant role in optimization problems and other aspects of the theory. An element of a Hilbert space can be uniquely specified by its coordinates with respect to a set of coordinate axes (an orthonormal basis), in analogy with Cartesian coordinates in the plane. When that set of axes is countably infinite, the Hilbert space can also be usefully thought of in terms of the space of infinite sequences that are squaresummable. The latter space is often in the older literature referred to as the Hilbert space. Linear operators on a Hilbert space are likewise fairly concrete objects: in good cases, they are simply transformations that stretch the space by different factors in mutually perpendicular directions in a sense that is made precise by the study of their spectrum. Standing waves on a string.gif 
The state of a vibrating string can be modeled as a point in a Hilbert space. The decomposition of a vibrating string into its vibrations in distinct overtones is given by the projection of the point onto the coordinate axes in the space.
Definition and illustration
Motivating example: Euclidean space
One of the most familiar examples of a Hilbert space is the Euclidean space consisting of threedimensional vectors, denoted by {{mathâ„3}}, and equipped with the dot product. The dot product takes two vectors {{mathx}} and {{mathy}}, and produces a real number {{mathx Â· y}}. If {{mathx}} and {{mathy}} are represented in Cartesian coordinates, then the dot product is defined by
begin{pmatrix}x_1x_2x_3end{pmatrix} cdot begin{pmatrix}y_1y_2y_3end{pmatrix} = x_1y_1+x_2y_2+x_3y_3 ,.
The dot product satisfies the properties:  It is symmetric in {{mathx}} and {{mathy}}: {{mathx Â· y {{=}} y Â· x}}.
 It is linear in its first argument: {{math(ax1 + bx2) Â· y {{=}} ax1 Â· y + bx2 Â· y}} for any scalars {{mvara}}, {{mvarb}}, and vectors {{mathx1}}, {{mathx2}}, and {{mathy}}.
 It is positive definite: for all vectors {{mathx}}, {{mathx Â· x â‰¥ 0 }}, with equality if and only if {{math x {{=}} 0}}.
mathbf{x}cdotmathbf{y} = mathbf{x},mathbf{y},costheta ,.
File:Completeness in Hilbert space.pngthumbrightCompleteness means that if a particle moves along the broken path (in blue) travelling a finite total distance, then the particle has a welldefined net displacement (in orange).]]Multivariable calculus in Euclidean space relies on the ability to compute limits, and to have useful criteria for concluding that limits exist. A mathematical series
sum_{n=0}^infty mathbf{x}_n
consisting of vectors in {{mathâ„3}} is absolutely convergent provided that the sum of the lengths converges as an ordinary series of real numbers:{{harvnbMarsden1974loc=Â§2.8}}
sum_{k=0}^infty mathbf{x}_k < infty ,.
Just as with a series of scalars, a series of vectors that converges absolutely also converges to some limit vector {{mathL}} in the Euclidean space, in the sense that
leftmathbf{L}sum_{k=0}^Nmathbf{x}_krightto 0quadtext{as }Ntoinfty ,.
This property expresses the completeness of Euclidean space: that a series that converges absolutely also converges in the ordinary sense.Hilbert spaces are often taken over the complex numbers. The complex plane denoted by {{mathâ„‚}} is equipped with a notion of magnitude, the complex modulus {{math{{absz}}}} which is defined as the square root of the product of {{mvarz}} with its complex conjugate:
z^2 = zoverline{z} ,.
If {{mathz {{=}} x + iy}} is a decomposition of {{mvarz}} into its real and imaginary parts, then the modulus is the usual Euclidean twodimensional length:
z = sqrt{x^2 + y^2} ,.
The inner product of a pair of complex numbers {{mvarz}} and {{mvarw}} is the product of {{mvarz}} with the complex conjugate of {{mvarw}}:
langle z, wrangle = zoverline{w},.
This is complexvalued. The real part of {{math{{angbrz, w}}}} gives the usual twodimensional Euclidean dot product.A second example is the space {{mathâ„‚2}} whose elements are pairs of complex numbers {{mathz {{=}} (z1, z2)}}. Then the inner product of {{mvarz}} with another such vector {{mathw {{=}} (w1, w2)}} is given by
langle z, wrangle = z_1overline{w}_1 + z_2overline{w}_2,.
The real part of {{math{{angbrz, w}}}} is then the fourdimensional Euclidean dot product. This inner product is Hermitian symmetric, which means that the result of interchanging {{mvarz}} and {{mvarw}} is the complex conjugate:
langle w, zrangle = overline{langle z, wrangle},.
Definition
A Hilbert space {{mathH}} is a real or complex inner product space that is also a complete metric space with respect to the distance function induced by the inner product.The mathematical material in this section can be found in any good textbook on functional analysis, such as {{HarvtxtDieudonnÃ©1960}}, {{HarvtxtHewittStromberg1965}}, {{HarvtxtReedSimon1980}} or {{HarvtxtRudin1980}}.To say that {{mathH}} is a complex inner product space means that {{mathH}} is a complex vector space on which there is an inner product {{math{{angbrx, y}}}} associating a complex number to each pair of elements {{mathx, y}} of {{mathH}} that satisfies the following properties: The inner product is conjugate symmetric; that is, the inner product of a pair of elements is equal to the complex conjugate of the inner product of the swapped elements:
 : langle y, xrangle = overline{langle x, yrangle},.
 The inner product is linear in its firstIn some conventions, inner products are linear in their second arguments instead. argument. For all complex numbers {{matha}} and {{mathb}},
 : langle ax_1 + bx_2, yrangle = alangle x_1, yrangle + blangle x_2, yrangle,.
 The inner product of an element with itself is positive definite:
 : begin{cases}
langle x, xrangle > 0 &x neq 0
langle x, xrangle = 0 &x = 0,.
end{cases}It follows from properties 1 and 2 that a complex inner product is conjugate linear in its second argument, meaning that
langle x, xrangle = 0 &x = 0,.
langle x, ay_1 + by_2rangle = bar{a}langle x, y_1rangle + bar{b}langle x, y_2rangle,.
A real inner product space is defined in the same way, except that {{mathH}} is a real vector space and the inner product takes real values. Such an inner product will be bilinear: that is, linear in each argument.The norm is the realvalued function
x = sqrt{langle x, x rangle},,
and the distance {{mathd}} between two points {{mathx, y}} in {{mathH}} is defined in terms of the norm by
d(x, y) = x  y = sqrt{langle x  y, x  y rangle},.
That this function is a distance function means firstly that it is symmetric in {{mathx}} and {{mathy}}, secondly that the distance between {{mathx}} and itself is zero, and otherwise the distance between {{mathx}} and {{mathy}} must be positive, and lastly that the triangle inequality holds, meaning that the length of one leg of a triangle {{mathxyz}} cannot exceed the sum of the lengths of the other two legs:
d(x, z) le d(x, y) + d(y, z),.
(File:Triangle inequality in a metric space.svg300pxnone)
This last property is ultimately a consequence of the more fundamental Cauchyâ€“Schwarz inequality, which asserts
bigllangle x, yranglebigr le x,y
with equality if and only if {{mathx}} and {{mathy}} are linearly dependent.With a distance function defined in this way, any inner product space is a metric space, and sometimes is known as a preHilbert space.{{harvnbDieudonnÃ©1960loc=Â§6.2}} Any preHilbert space that is additionally also a complete space is a Hilbert space.The completeness of {{mathH}} is expressed using a form of the Cauchy criterion for sequences in {{mathH}}: a preHilbert space {{mathH}} is complete if every Cauchy sequence converges with respect to this norm to an element in the space. Completeness can be characterized by the following equivalent condition: if a series of vectors
sum_{k=0}^infty u_k
converges absolutely in the sense that
sum_{k=0}^inftyu_k < infty,,
then the series converges in {{mathH}}, in the sense that the partial sums converge to an element of {{mathH}}.As a complete normed space, Hilbert spaces are by definition also Banach spaces. As such they are topological vector spaces, in which topological notions like the openness and closedness of subsets are well defined. Of special importance is the notion of a closed linear subspace of a Hilbert space that, with the inner product induced by restriction, is also complete (being a closed set in a complete metric space) and therefore a Hilbert space in its own right.Second example: sequence spaces
The sequence space {{mathl2}} consists of all infinite sequences {{mathz {{=}} (z1, z2, â€¦)}} of complex numbers such that the series
sum_{n=1}^infty z_n^2
converges. The inner product on {{mathl2}} is defined by
langle mathbf{z}, mathbf{w}rangle = sum_{n=1}^infty z_noverline{w_n},,
with the latter series converging as a consequence of the Cauchyâ€“Schwarz inequality.Completeness of the space holds provided that whenever a series of elements from {{mathl2}} converges absolutely (in norm), then it converges to an element of {{mathl2}}. The proof is basic in mathematical analysis, and permits mathematical series of elements of the space to be manipulated with the same ease as series of complex numbers (or vectors in a finitedimensional Euclidean space).{{harvnbDieudonnÃ©1960}}History
File:Hilbert.jpgthumbrightDavid HilbertDavid HilbertPrior to the development of Hilbert spaces, other generalizations of Euclidean spaces were known to mathematicians and physicists. In particular, the idea of an abstract linear space had gained some traction towards the end of the 19th century:Largely from the work of Hermann Grassmann, at the urging of August Ferdinand MÃ¶bius {{harvBoyerMerzbach1991pp=584â€“586}}. The first modern axiomatic account of abstract vector spaces ultimately appeared in Giuseppe Peano's 1888 account ({{harvnbGrattanGuinness2000loc=Â§5.2.2}}; {{harvnbO'ConnorRobertson1996}}). this is a space whose elements can be added together and multiplied by scalars (such as real or complex numbers) without necessarily identifying these elements with "geometric" vectors, such as position and momentum vectors in physical systems. Other objects studied by mathematicians at the turn of the 20th century, in particular spaces of sequences (including series) and spaces of functions,A detailed account of the history of Hilbert spaces can be found in {{harvnbBourbaki1987}}. can naturally be thought of as linear spaces. Functions, for instance, can be added together or multiplied by constant scalars, and these operations obey the algebraic laws satisfied by addition and scalar multiplication of spatial vectors.In the first decade of the 20th century, parallel developments led to the introduction of Hilbert spaces. The first of these was the observation, which arose during David Hilbert and Erhard Schmidt's study of integral equations,{{harvnbSchmidt1908}} that two squareintegrable realvalued functions {{mvarf}} and {{mvarg}} on an interval {{math[a, b]}} have an inner product
langle f, g rangle = int_a^b f(x)g(x), mathrm{d}x
which has many of the familiar properties of the Euclidean dot product. In particular, the idea of an orthogonal family of functions has meaning. Schmidt exploited the similarity of this inner product with the usual dot product to prove an analog of the spectral decomposition for an operator of the form
f(x) mapsto int_a^b K(x, y) f(y), mathrm{d}y
where {{mvarK}} is a continuous function symmetric in {{mvarx}} and {{mvary}}. The resulting eigenfunction expansion expresses the function {{mvarK}} as a series of the form
K(x, y) = sum_n lambda_nvarphi_n(x)varphi_n(y)
where the functions {{mvarÏ†n}} are orthogonal in the sense that {{mathâŸ¨Ï†'n, Ï†'mâŸ© {{=}} 0}} for all {{mathn â‰ m}}. The individual terms in this series are sometimes referred to as elementary product solutions. However, there are eigenfunction expansions that fail to converge in a suitable sense to a squareintegrable function: the missing ingredient, which ensures convergence, is completeness.{{harvnbTitchmarsh1946loc=Â§IX.1}}The second development was the Lebesgue integral, an alternative to the Riemann integral introduced by Henri Lebesgue in 1904.{{harvnbLebesgue1904}}. Further details on the history of integration theory can be found in {{harvtxtBourbaki1987}} and {{harvtxtSaks2005}}. The Lebesgue integral made it possible to integrate a much broader class of functions. In 1907, Frigyes Riesz and Ernst Sigismund Fischer independently proved that the space {{mathL2}} of square Lebesgueintegrable functions is a complete metric space.{{harvnbBourbaki1987}}. As a consequence of the interplay between geometry and completeness, the 19th century results of Joseph Fourier, Friedrich Bessel and MarcAntoine Parseval on trigonometric series easily carried over to these more general spaces, resulting in a geometrical and analytical apparatus now usually known as the Rieszâ€“Fischer theorem.{{harvnbDunfordSchwartz1958loc=Â§IV.16}}Further basic results were proved in the early 20th century. For example, the Riesz representation theorem was independently established by Maurice FrÃ©chet and Frigyes Riesz in 1907.In {{harvtxtDunfordSchwartz1958loc=Â§IV.16}}, the result that every linear functional on {{mathL2[0,1]}} is represented by integration is jointly attributed to {{harvtxtFrÃ©chet1907}} and {{harvtxtRiesz1907}}. The general result, that the dual of a Hilbert space is identified with the Hilbert space itself, can be found in {{harvtxtRiesz1934}}. John von Neumann coined the term abstract Hilbert space in his work on unbounded Hermitian operators.{{Harvnbvon Neumann1929}}. Although other mathematicians such as Hermann Weyl and Norbert Wiener had already studied particular Hilbert spaces in great detail, often from a physically motivated point of view, von Neumann gave the first complete and axiomatic treatment of them.{{harvnbKline1972p=1092}} Von Neumann later used them in his seminal work on the foundations of quantum mechanics,{{HarvnbHilbertNordheimvon Neumann1927}} and in his continued work with Eugene Wigner. The name "Hilbert space" was soon adopted by others, for example by Hermann Weyl in his book on quantum mechanics and the theory of groups.{{HarvnbWeyl1931}}.The significance of the concept of a Hilbert space was underlined with the realization that it offers one of the best mathematical formulations of quantum mechanics.{{harvnbPrugoveÄki1981pp=1â€“10}}. In short, the states of a quantum mechanical system are vectors in a certain Hilbert space, the observables are hermitian operators on that space, the symmetries of the system are unitary operators, and measurements are orthogonal projections. The relation between quantum mechanical symmetries and unitary operators provided an impetus for the development of the unitary representation theory of groups, initiated in the 1928 work of Hermann Weyl. On the other hand, in the early 1930s it became clear that classical mechanics can be described in terms of Hilbert space (Koopmanâ€“von Neumann classical mechanics) and that certain properties of classical dynamical systems can be analyzed using Hilbert space techniques in the framework of ergodic theory.{{harvnbvon Neumann1932}}The algebra of observables in quantum mechanics is naturally an algebra of operators defined on a Hilbert space, according to Werner Heisenberg's matrix mechanics formulation of quantum theory. Von Neumann began investigating operator algebras in the 1930s, as rings of operators on a Hilbert space. The kind of algebras studied by von Neumann and his contemporaries are now known as von Neumann algebras. In the 1940s, Israel Gelfand, Mark Naimark and Irving Segal gave a definition of a kind of operator algebras called C*algebras that on the one hand made no reference to an underlying Hilbert space, and on the other extrapolated many of the useful features of the operator algebras that had previously been studied. The spectral theorem for selfadjoint operators in particular that underlies much of the existing Hilbert space theory was generalized to C*algebras. These techniques are now basic in abstract harmonic analysis and representation theory.Examples
Lebesgue spaces
space}}
Lebesgue spaces are function spaces associated to measure spaces {{math(X, M, Î¼)}}, where {{mathX}} is a set, {{mathM}} is a Ïƒalgebra of subsets of {{mathX}}, and {{mathÎ¼}} is a countably additive measure on {{mathM}}. Let {{mathL2(X, Î¼)}} be the space of those complexvalued measurable functions on {{mathX}} for which the Lebesgue integral of the square of the absolute value of the function is finite, i.e., for a function {{mathf}} in {{mathL2(X, Î¼)}},
int_X f^2 mathrm{d} mu < infty ,,
and where functions are identified if and only if they differ only on a set of measure zero.The inner product of functions {{mathf}} and {{mathg}} in {{mathL2(X, Î¼)}} is then defined as
langle f, grangle = int_X f(t) overline{g(t)} , mathrm{d} mu(t) ,.
For {{mathf}} and {{mathg}} in {{mathL2}}, this integral exists because of the Cauchyâ€“Schwarz inequality, and defines an inner product on the space. Equipped with this inner product, {{mathL2}} is in fact complete.{{HarvnbHalmos1957loc=Section 42}}. The Lebesgue integral is essential to ensure completeness: on domains of real numbers, for instance, not enough functions are Riemann integrable.{{HarvnbHewittStromberg1965}}.The Lebesgue spaces appear in many natural settings. The spaces {{mathL2(â„)}} and {{mathL2([0,1])}} of squareintegrable functions with respect to the Lebesgue measure on the real line and unit interval, respectively, are natural domains on which to define the Fourier transform and Fourier series. In other situations, the measure may be something other than the ordinary Lebesgue measure on the real line. For instance, if {{mathw}} is any positive measurable function, the space of all measurable functions {{mathf}} on the interval {{math[0, 1]}} satisfying
int_0^1 biglf(t)bigr^2w(t), mathrm{d}t < infty
is called the weighted {{mathL2}} space {{mathL{{sup=2b=w}}([0, 1])}}, and {{mathw}} is called the weight function. The inner product is defined by
langle f, grangle = int_0^1 f(t) overline{g(t)} w(t) , mathrm{d}t ,.
The weighted space {{mathL{{sup=2b=w}}([0, 1])}} is identical with the Hilbert space {{mathL2([0, 1], Î¼)}} where the measure {{mathÎ¼}} of a Lebesguemeasurable set {{mathA}} is defined by
mu(A) = int_A w(t),mathrm{d}t ,.
Weighted {{mathL2}} spaces like this are frequently used to study orthogonal polynomials, because different families of orthogonal polynomials are orthogonal with respect to different weighting functions.Sobolev spaces
Sobolev spaces, denoted by {{mathH's}} or {{mathW's, 2}}, are Hilbert spaces. These are a special kind of function space in which differentiation may be performed, but that (unlike other Banach spaces such as the HÃ¶lder spaces) support the structure of an inner product. Because differentiation is permitted, Sobolev spaces are a convenient setting for the theory of partial differential equations. They also form the basis of the theory of direct methods in the calculus of variations.{{HarvnbGiusti2003}}.For {{maths}} a nonnegative integer and {{mathÎ© âŠ‚ â„n}}, the Sobolev space {{mathH's(Î©)}} contains {{mathL2}} functions whose weak derivatives of order up to {{maths}} are also {{mathL2}}. The inner product in {{mathH's(Î©)}} is
langle f, grangle = int_Omega f(x)bar{g}(x),mathrm{d}x + int_Omega D f(x)cdot Dbar{g}(x),mathrm{d}x + cdots + int_Omega D^s f(x)cdot D^s bar{g}(x), mathrm{d}x
where the dot indicates the dot product in the Euclidean space of partial derivatives of each order. Sobolev spaces can also be defined when {{maths}} is not an integer.Sobolev spaces are also studied from the point of view of spectral theory, relying more specifically on the Hilbert space structure. If {{mathÎ©}} is a suitable domain, then one can define the Sobolev space {{mathHs(Î©)}} as the space of Bessel potentials;{{harvnbStein1970}} roughly,
H^s(Omega) = left. left{ (1Delta)^{frac{s}{2}}f ,right, fin L^2(Omega)right} ,.
Here {{mathÎ”}} is the Laplacian and {{math(1 âˆ’ Î”)âˆ’{{sfracs2}}}} is understood in terms of the spectral mapping theorem. Apart from providing a workable definition of Sobolev spaces for noninteger {{maths}}, this definition also has particularly desirable properties under the Fourier transform that make it ideal for the study of pseudodifferential operators. Using these methods on a compact Riemannian manifold, one can obtain for instance the Hodge decomposition, which is the basis of Hodge theory.Details can be found in {{harvtxtWarner1983}}.Spaces of holomorphic functions
Hardy spaces
The Hardy spaces are function spaces, arising in complex analysis and harmonic analysis, whose elements are certain holomorphic functions in a complex domain.A general reference on Hardy spaces is the book {{harvtxtDuren1970}}. Let {{mathU}} denote the unit disc in the complex plane. Then the Hardy space {{mathH2(U)}} is defined as the space of holomorphic functions {{mathf}} on {{mathU}} such that the means
M_r(f) = frac{1}{2pi}int_0^{2pi}leftfleft(re^{itheta}right)right^2,mathrm{d}theta
remain bounded for {{mathr < 1}}. The norm on this Hardy space is defined by
leftfright_2 = lim_{r to 1} sqrt{M_r(f)} ,.
Hardy spaces in the disc are related to Fourier series. A function {{mathf}} is in {{mathH2(U)}} if and only if
f(z) = sum_{n=0}^infty a_n z^n
where
sum_{n=0}^infty a_n^2 < infty ,.
Thus {{mathH2(U)}} consists of those functions that are L2 on the circle, and whose negative frequency Fourier coefficients vanish.Bergman spaces
The Bergman spaces are another family of Hilbert spaces of holomorphic functions.{{harvnbKrantz2002loc=Â§1.4}} Let {{mathD}} be a bounded open set in the complex plane (or a higherdimensional complex space) and let {{mathL2, h(D)}} be the space of holomorphic functions {{mathf}} in {{mathD}} that are also in {{mathL2(D)}} in the sense that
f^2 = int_D f(z)^2,mathrm{d}mu(z) < infty ,,
where the integral is taken with respect to the Lebesgue measure in {{mathD}}. Clearly {{mathL2, h(D)}} is a subspace of {{mathL2(D)}}; in fact, it is a closed subspace, and so a Hilbert space in its own right. This is a consequence of the estimate, valid on compact subsets {{mathK}} of {{mathD}}, that
sup_{zin K} leftf(z)right le C_K leftfright_2 ,,
which in turn follows from Cauchy's integral formula. Thus convergence of a sequence of holomorphic functions in {{mathL2(D)}} implies also compact convergence, and so the limit function is also holomorphic. Another consequence of this inequality is that the linear functional that evaluates a function {{mathf}} at a point of {{mathD}} is actually continuous on {{mathL2, h(D)}}. The Riesz representation theorem implies that the evaluation functional can be represented as an element of {{mathL2, h(D)}}. Thus, for every {{mathz âˆˆ D}}, there is a function {{mathÎ·z âˆˆ L2, h(D)}} such that
f(z) = int_D f(zeta)overline{eta_z(zeta)},mathrm{d}mu(zeta)
for all {{mathf âˆˆ L2, h(D)}}. The integrand
K(zeta, z) = overline{eta_z(zeta)}
is known as the Bergman kernel of {{mathD}}. This integral kernel satisfies a reproducing property
f(z) = int_D f(zeta)K(zeta, z),mathrm{d}mu(zeta) ,.
A Bergman space is an example of a reproducing kernel Hilbert space, which is a Hilbert space of functions along with a kernel {{mathK(Î¶, z)}} that verifies a reproducing property analogous to this one. The Hardy space {{mathH2(D)}} also admits a reproducing kernel, known as the SzegÅ‘ kernel.{{harvnbKrantz2002loc=Â§1.5}} Reproducing kernels are common in other areas of mathematics as well. For instance, in harmonic analysis the Poisson kernel is a reproducing kernel for the Hilbert space of squareintegrable harmonic functions in the unit ball. That the latter is a Hilbert space at all is a consequence of the mean value theorem for harmonic functions.Applications
Many of the applications of Hilbert spaces exploit the fact that Hilbert spaces support generalizations of simple geometric concepts like projection and change of basis from their usual finite dimensional setting. In particular, the spectral theory of continuous selfadjoint linear operators on a Hilbert space generalizes the usual spectral decomposition of a matrix, and this often plays a major role in applications of the theory to other areas of mathematics and physics.Sturmâ€“Liouville theory
File:Harmonic partials on strings.svgrightthumbThe overtones of a vibrating string. These are eigenfunctions of an associated Sturmâ€“Liouville problem. The eigenvalues 1, {{sfrac12}}, {{sfrac13}}, â€¦ form the (musical) harmonic series.]]In the theory of ordinary differential equations, spectral methods on a suitable Hilbert space are used to study the behavior of eigenvalues and eigenfunctions of differential equations. For example, the Sturmâ€“Liouville problem arises in the study of the harmonics of waves in a violin string or a drum, and is a central problem in ordinary differential equations.{{harvnbYoung1988loc=Chapter 9}}. The problem is a differential equation of the form
frac{mathrm{d}}{mathrm{d}x}left[p(x)frac{mathrm{d}y}{mathrm{d}x}right] + q(x)y = lambda w(x)y
for an unknown function {{mathy}} on an interval {{math[a, b]}}, satisfying general homogeneous Robin boundary conditions
begin{cases}
alpha y(a)+alpha' y'(a) &= 0
beta y(b) + beta' y'(b) &= 0 ,.
end{cases}The functions {{mathp}}, {{mathq}}, and {{mathw}} are given in advance, and the problem is to find the function {{mathy}} and constants {{mathÎ»}} for which the equation has a solution. The problem only has solutions for certain values of {{mathÎ»}}, called eigenvalues of the system, and this is a consequence of the spectral theorem for compact operators applied to the integral operator defined by the Green's function for the system. Furthermore, another consequence of this general result is that the eigenvalues {{mathÎ»}} of the system can be arranged in an increasing sequence tending to infinity.The eigenvalues of the Fredholm kernel are {{math{{sfrac1Î»}}}}, which tend to zero.beta y(b) + beta' y'(b) &= 0 ,.
Partial differential equations
Hilbert spaces form a basic tool in the study of partial differential equations.{{harvnbBersJohnSchechter1981}}. For many classes of partial differential equations, such as linear elliptic equations, it is possible to consider a generalized solution (known as a weak solution) by enlarging the class of functions. Many weak formulations involve the class of Sobolev functions, which is a Hilbert space. A suitable weak formulation reduces to a geometrical problem the analytic problem of finding a solution or, often what is more important, showing that a solution exists and is unique for given boundary data. For linear elliptic equations, one geometrical result that ensures unique solvability for a large class of problems is the Laxâ€“Milgram theorem. This strategy forms the rudiment of the Galerkin method (a finite element method) for numerical solution of partial differential equations.More detail on finite element methods from this point of view can be found in {{harvtxtBrennerScott2005}}.A typical example is the Poisson equation {{mathâˆ’Î”u {{=}} g}} with Dirichlet boundary conditions in a bounded domain {{mathÎ©}} in {{mathâ„2}}. The weak formulation consists of finding a function {{mathu}} such that, for all continuously differentiable functions {{mathv}} in {{mathÎ©}} vanishing on the boundary:
int_Omega nabla ucdotnabla v = int_Omega gv,.
This can be recast in terms of the Hilbert space {{mathH{{sup=1b=0}}(Î©)}} consisting of functions {{mathu}} such that {{mathu}}, along with its weak partial derivatives, are square integrable on {{mathÎ©}}, and vanish on the boundary. The question then reduces to finding {{mathu}} in this space such that for all {{mathv}} in this space
a(u, v) = b(v)
where {{matha}} is a continuous bilinear form, and {{mathb}} is a continuous linear functional, given respectively by
a(u, v) = int_Omega nabla ucdotnabla v,quad b(v)= int_Omega gv,.
Since the Poisson equation is elliptic, it follows from PoincarÃ©'s inequality that the bilinear form {{matha}} is coercive. The Laxâ€“Milgram theorem then ensures the existence and uniqueness of solutions of this equation.Hilbert spaces allow for many elliptic partial differential equations to be formulated in a similar way, and the Laxâ€“Milgram theorem is then a basic tool in their analysis. With suitable modifications, similar techniques can be applied to parabolic partial differential equations and certain hyperbolic partial differential equations.Ergodic theory
File:BunimovichStadium.svgthumbrightThe path of a billiard ball in the Bunimovich stadium is described by an ergodic dynamical systemdynamical systemThe field of ergodic theory is the study of the longterm behavior of chaotic dynamical systems. The protypical case of a field that ergodic theory applies to is thermodynamics, in whichâ€”though the microscopic state of a system is extremely complicated (it is impossible to understand the ensemble of individual collisions between particles of matter)â€”the average behavior over sufficiently long time intervals is tractable. The laws of thermodynamics are assertions about such average behavior. In particular, one formulation of the zeroth law of thermodynamics asserts that over sufficiently long timescales, the only functionally independent measurement that one can make of a thermodynamic system in equilibrium is its total energy, in the form of temperature.An ergodic dynamical system is one for which, apart from the energyâ€”measured by the Hamiltonianâ€”there are no other functionally independent conserved quantities on the phase space. More explicitly, suppose that the energy {{mathE}} is fixed, and let {{mathÎ©'E}} be the subset of the phase space consisting of all states of energy {{mathE}} (an energy surface), and let {{mathT't}} denote the evolution operator on the phase space. The dynamical system is ergodic if there are no continuous nonconstant functions on {{mathÎ©E}} such that
f(T_tw) = f(w)
for all {{mathw}} on {{mathÎ©'E}} and all time {{matht}}. Liouville's theorem implies that there exists a measure {{mathÎ¼}} on the energy surface that is invariant under the time translation. As a result, time translation is a unitary transformation of the Hilbert space {{mathL2(Î©'E, Î¼)}} consisting of squareintegrable functions on the energy surface {{mathÎ©E}} with respect to the inner product
leftlangle f, grightrangle_{L^2left(Omega_E, muright)} = int_E fbar{g},mathrm{d}mu,.
The von Neumann mean ergodic theorem states the following:  If {{mathU't}} is a (strongly continuous) oneparameter semigroup of unitary operators on a Hilbert space {{mathH}}, and {{mathP}} is the orthogonal projection onto the space of common fixed points of {{mathU't}}, {{math{x âˆˆH {{!}} U't'x {{=}} x, âˆ€t > 0}}}, then
 : Px = lim_{Ttoinfty}frac{1}{T}int_0^T U_tx,mathrm{d}t,.
underset{Ttoinfty}{L^2  lim} frac{1}{T}int_0^T f(T_tw),mathrm{d}t = int_{Omega_E} f(y),mathrm{d}mu(y),.
That is, the long time average of an observable {{mathf}} is equal to its expectation value over an energy surface.Fourier analysis
(File:Sawtooth Fourier Analysys.svgthumbrightSuperposition of sinusoidal wave basis functions (bottom) to form a sawtooth wave (top))File:Harmoniki.pngthumbrightSpherical harmonicsSpherical harmonicsOne of the basic goals of Fourier analysis is to decompose a function into a (possibly infinite) linear combination of given basis functions: the associated Fourier series. The classical Fourier series associated to a function {{mathf}} defined on the interval {{math[0, 1]}} is a series of the form
sum_{n=infty}^infty a_n e^{2pi intheta}
where
a_n = int_0^1f(theta)e^{2pi intheta},mathrm{d}theta,.
The example of adding up the first few terms in a Fourier series for a sawtooth function is shown in the figure. The basis functions are sine waves with wavelengths {{math{{sfracÎ»n}}}} (for integer {{mathn}}) shorter than the wavelength {{mathÎ»}} of the sawtooth itself (except for {{mathn {{=}} 1}}, the fundamental wave). All basis functions have nodes at the nodes of the sawtooth, but all but the fundamental have additional nodes. The oscillation of the summed terms about the sawtooth is called the Gibbs phenomenon.A significant problem in classical Fourier series asks in what sense the Fourier series converges, if at all, to the function {{mathf}}. Hilbert space methods provide one possible answer to this question.A treatment of Fourier series from this point of view is available, for instance, in {{harvtxtRudin1987}} or {{harvtxtFolland2009}}. The functions {{mathen(Î¸) {{=}} e2Ï€inÎ¸}} form an orthogonal basis of the Hilbert space {{mathL2([0, 1])}}. Consequently, any squareintegrable function can be expressed as a series
f(theta) = sum_n a_n e_n(theta),,quad a_n = langle f, e_nrangle
and, moreover, this series converges in the Hilbert space sense (that is, in the {{mathL2}} mean).The problem can also be studied from the abstract point of view: every Hilbert space has an orthonormal basis, and every element of the Hilbert space can be written in a unique way as a sum of multiples of these basis elements. The coefficients appearing on these basis elements are sometimes known abstractly as the Fourier coefficients of the element of the space.{{harvnbHalmos1957loc=Â§5}} The abstraction is especially useful when it is more natural to use different basis functions for a space such as {{mathL2([0, 1])}}. In many circumstances, it is desirable not to decompose a function into trigonometric functions, but rather into orthogonal polynomials or wavelets for instance,{{harvnbBachmanNariciBeckenstein2000}} and in higher dimensions into spherical harmonics.{{harvnbSteinWeiss1971loc=Â§IV.2}}.For instance, if {{mathen}} are any orthonormal basis functions of {{mathL2[0, 1]}}, then a given function in {{mathL2[0, 1]}} can be approximated as a finite linear combination{{harvnbLancos1988pp=212â€“213}}
f(x) approx f_n (x) = a_1 e_1 (x) + a_2 e_2(x) + cdots + a_n e_n (x),.
The coefficients {{math{a'j}}} are selected to make the magnitude of the difference {{math{{normf âˆ’ f'n}}2}} as small as possible. Geometrically, the best approximation is the orthogonal projection of {{mathf}} onto the subspace consisting of all linear combinations of the {{math{ej}}}, and can be calculated by{{harvnbLanczos1988loc=Equation 43.10}}
a_j = int_0^1 overline{e_j(x)}f (x) , mathrm{d}x,.
That this formula minimizes the difference {{math{{normf âˆ’ fn}}2}} is a consequence of Bessel's inequality and Parseval's formula.In various applications to physical problems, a function can be decomposed into physically meaningful eigenfunctions of a differential operator (typically the Laplace operator): this forms the foundation for the spectral study of functions, in reference to the spectrum of the differential operator.The classic reference for spectral methods is {{harvnbCourantHilbert1953}}. A more uptodate account is {{harvnbReedSimon1975}}. A concrete physical application involves the problem of hearing the shape of a drum: given the fundamental modes of vibration that a drumhead is capable of producing, can one infer the shape of the drum itself?{{harvnbKac1966}} The mathematical formulation of this question involves the Dirichlet eigenvalues of the Laplace equation in the plane, that represent the fundamental modes of vibration in direct analogy with the integers that represent the fundamental modes of vibration of the violin string.Spectral theory also underlies certain aspects of the Fourier transform of a function. Whereas Fourier analysis decomposes a function defined on a compact set into the discrete spectrum of the Laplacian (which corresponds to the vibrations of a violin string or drum), the Fourier transform of a function is the decomposition of a function defined on all of Euclidean space into its components in the continuous spectrum of the Laplacian. The Fourier transformation is also geometrical, in a sense made precise by the Plancherel theorem, that asserts that it is an isometry of one Hilbert space (the "time domain") with another (the "frequency domain"). This isometry property of the Fourier transformation is a recurring theme in abstract harmonic analysis, as evidenced for instance by the Plancherel theorem for spherical functions occurring in noncommutative harmonic analysis.Quantum mechanics
File:HAtomOrbitals.pngrightthumbThe orbitals of an electron in a hydrogen atom are eigenfunctions of the energy.]]In the mathematically rigorous formulation of quantum mechanics, developed by John von Neumann,{{harvnbvon Neumann1955}} the possible states (more precisely, the pure states) of a quantum mechanical system are represented by unit vectors (called state vectors) residing in a complex separable Hilbert space, known as the state space, well defined up to a complex number of norm 1 (the phase factor). In other words, the possible states are points in the projectivization of a Hilbert space, usually called the complex projective space. The exact nature of this Hilbert space is dependent on the system; for example, the position and momentum states for a single nonrelativistic spin zero particle is the space of all squareintegrable functions, while the states for the spin of a single proton are unit elements of the twodimensional complex Hilbert space of spinors. Each observable is represented by a selfadjoint linear operator acting on the state space. Each eigenstate of an observable corresponds to an eigenvector of the operator, and the associated eigenvalue corresponds to the value of the observable in that eigenstate.The inner product between two state vectors is a complex number known as a probability amplitude. During an ideal measurement of a quantum mechanical system, the probability that a system collapses from a given initial state to a particular eigenstate is given by the square of the absolute value of the probability amplitudes between the initial and final states. The possible results of a measurement are the eigenvalues of the operatorâ€”which explains the choice of selfadjoint operators, for all the eigenvalues must be real. The probability distribution of an observable in a given state can be found by computing the spectral decomposition of the corresponding operator.For a general system, states are typically not pure, but instead are represented as statistical mixtures of pure states, or mixed states, given by density matrices: selfadjoint operators of trace one on a Hilbert space. Moreover, for general quantum mechanical systems, the effects of a single measurement can influence other parts of a system in a manner that is described instead by a positive operator valued measure. Thus the structure both of the states and observables in the general theory is considerably more complicated than the idealization for pure states.Color perception
Any true physical color can be represented by a combination of pure spectral colors. As physical colors can be composed of any number of spectral colors, the space of physical colors may aptly be represented by a Hilbert space over spectral colors. Humans have three types of cone cells for color perception, so the perceivable colors can be represented by 3dimensional Euclidean space. The manytoone linear mapping from the Hilbert space of physical colors to the Euclidean space of human perceivable colors explains why many distinct physical colors may be perceived by humans to be identical (e.g., pure yellow light versus a mix of red and green light, see metamerism).Properties
Pythagorean identity
Two vectors {{mathu}} and {{mathv}} in a Hilbert space {{mathH}} are orthogonal when {{math{{angbru, v}} {{=}} 0}}. The notation for this is {{mathu âŠ¥ v}}. More generally, when {{mathS}} is a subset in {{mathH}}, the notation {{mathu âŠ¥ S}} means that {{mathu}} is orthogonal to every element from {{mathS}}.When {{mathu}} and {{mathv}} are orthogonal, one has
u + v^2 = langle u + v, u + v rangle = langle u, u rangle + 2 , operatorname{Re} langle u, v rangle + langle v, v rangle= u^2 + v^2,.
By induction on {{mathn}}, this is extended to any family {{mathu1, â€¦, un}} of {{mathn}} orthogonal vectors,
u_1 + cdots + u_n^2 = u_1^2 + cdots + u_n^2,.
Whereas the Pythagorean identity as stated is valid in any inner product space, completeness is required for the extension of the Pythagorean identity to series. A series {{mathâˆ‘uk}} of orthogonal vectors converges in {{mathH}} if and only if the series of squares of norms converges, and
leftsum_{k=0}^infty u_k right^2 = sum_{k=0}^infty leftu_kright^2,.
Furthermore, the sum of a series of orthogonal vectors is independent of the order in which it is taken.Parallelogram identity and polarization
(File:Color parallelogram.svgrightthumbGeometrically, the parallelogram identity asserts that {{mathAC2 + BD2 {{=}} 2(AB2 + AD2)}}. In words, the sum of the squares of the diagonals is twice the sum of the squares of any two adjacent sides.)By definition, every Hilbert space is also a Banach space. Furthermore, in every Hilbert space the following parallelogram identity holds:
u + v^2 + u  v^2 = 2left(u^2 + v^2right),.
Conversely, every Banach space in which the parallelogram identity holds is a Hilbert space, and the inner product is uniquely determined by the norm by the polarization identity.{{harvnbYoung1988p=23}}. For real Hilbert spaces, the polarization identity is
langle u, vrangle = frac{1}{4}left(u + v^2  u  v^2right),.
For complex Hilbert spaces, it is
langle u, vrangle = tfrac{1}{4}left(u + v^2  u  v^2 + iu + iv^2  iu  iv^2right),.
The parallelogram law implies that any Hilbert space is a uniformly convex Banach space.{{harvnbClarkson1936}}.Best approximation
This subsection employs the Hilbert projection theorem. If {{mathC}} is a nonempty closed convex subset of a Hilbert space {{mathH}} and {{mathx}} a point in {{mathH}}, there exists a unique point {{mathy âˆˆ C}} that minimizes the distance between {{mathx}} and points in {{mathC}},{{harvnbRudin1987loc=Theorem 4.10}}
y in C ,, quad x  y = operatorname{dist}(x, C) = min { x  z : z in C },.
This is equivalent to saying that there is a point with minimal norm in the translated convex set {{mathD {{=}} C âˆ’ x}}. The proof consists in showing that every minimizing sequence {{math(dn) âŠ‚ D}} is Cauchy (using the parallelogram identity) hence converges (using completeness) to a point in {{mathD}} that has minimal norm. More generally, this holds in any uniformly convex Banach space.{{harvnbDunfordSchwartz1958loc=II.4.29}}When this result is applied to a closed subspace {{mathF}} of {{mathH}}, it can be shown that the point {{mathy âˆˆ F}} closest to {{mathx}} is characterized by{{harvnbRudin1987loc=Theorem 4.11}}
y in F ,, quad x  y perp F ,.
This point {{mathy}} is the orthogonal projection of {{mathx}} onto {{mathF}}, and the mapping {{mathPF : x â†’ y}} is linear (see Orthogonal complements and projections). This result is especially significant in applied mathematics, especially numerical analysis, where it forms the basis of least squares methods.BOOK
, Blanchet, GÃ©rard, Charbit, Maurice
, Digital Signal and Image Processing Using MATLAB
, Wiley, Digital Signal and Image Processing
, 1, Second, 2014
, New Jersey, 349â€“360, 9781848216402
, In particular, when {{mathF}} is not equal to {{mathH}}, one can find a nonzero vector {{mathv}} orthogonal to {{mathF}} (select {{mathx âˆ‰ F}} and {{mathv {{=}} x âˆ’ y}}). A very useful criterion is obtained by applying this observation to the closed subspace {{mathF}} generated by a subset {{mathS}} of {{mathH}}.
, Digital Signal and Image Processing Using MATLAB
, Wiley, Digital Signal and Image Processing
, 1, Second, 2014
, New Jersey, 349â€“360, 9781848216402
A subset {{mathS}} of {{mathH}} spans a dense vector subspace if (and only if) the vector 0 is the sole vector {{mathv âˆˆ H}} orthogonal to {{mathS}}.
Duality
The dual space {{mathH*}} is the space of all continuous linear functions from the space {{mathH}} into the base field. It carries a natural norm, defined by
varphi = sup_{x=1, xin H} varphi(x) ,.
This norm satisfies the parallelogram law, and so the dual space is also an inner product space. The dual space is also complete, and so it is a Hilbert space in its own right.The Riesz representation theorem affords a convenient description of the dual. To every element {{mathu}} of {{mathH}}, there is a unique element {{mathÏ†u}} of {{mathH*}}, defined by
varphi_u(x) = langle x, urangle ,.
The mapping {{mathu â†¦ Ï†u}} is an antilinear mapping from {{mathH}} to {{mathH*}}. The Riesz representation theorem states that this mapping is an antilinear isomorphism.{{harvnbWeidmann1980loc=Theorem 4.8}} Thus to every element {{mathÏ†}} of the dual {{mathH*}} there exists one and only one {{mathuÏ†}} in {{mathH}} such that
langle x, u_varphirangle = varphi(x)
for all {{mathx âˆˆ H}}. The inner product on the dual space {{mathH*}} satisfies
langle varphi, psi rangle = langle u_psi, u_varphi rangle ,.
The reversal of order on the righthand side restores linearity in {{mathÏ†}} from the antilinearity of {{mathuÏ†}}. In the real case, the antilinear isomorphism from {{mathH}} to its dual is actually an isomorphism, and so real Hilbert spaces are naturally isomorphic to their own duals.The representing vector {{mathuÏ†}} is obtained in the following way. When {{mathÏ† â‰ 0}}, the kernel {{mathF {{=}} Ker(Ï†)}} is a closed vector subspace of {{mathH}}, not equal to {{mathH}}, hence there exists a nonzero vector {{mathv}} orthogonal to {{mathF}}. The vector {{mathu}} is a suitable scalar multiple {{mathÎ»v}} of {{mathv}}. The requirement that {{mathÏ†(v) {{=}} âŸ¨v, uâŸ©}} yields
u = langle v, v rangle^{1} , overline{varphi (v)} , v ,.
This correspondence {{mathÏ† â†” u}} is exploited by the braâ€“ket notation popular in physics. It is common in physics to assume that the inner product, denoted by {{math{{braketxy}}}}, is linear on the right,
langle x  y rangle = langle y, x rangle ,.
The result {{math{{braketxy}}}} can be seen as the action of the linear functional {{math{{brax}}}} (the bra) on the vector {{math{{kety}}}} (the ket).The Riesz representation theorem relies fundamentally not just on the presence of an inner product, but also on the completeness of the space. In fact, the theorem implies that the topological dual of any inner product space can be identified with its completion. An immediate consequence of the Riesz representation theorem is also that a Hilbert space {{mathH}} is reflexive, meaning that the natural map from {{mathH}} into its double dual space is an isomorphism.Weaklyconvergent sequences
In a Hilbert space {{mathH}}, a sequence {{math{xn}}} is weakly convergent to a vector {{mathx âˆˆ H}} when
lim_n langle x_n, v rangle = langle x, v rangle
for every {{mathv âˆˆ H}}.For example, any orthonormal sequence {{math{fn}}} converges weakly to 0, as a consequence of Bessel's inequality. Every weakly convergent sequence {{math{xn}}} is bounded, by the uniform boundedness principle.Conversely, every bounded sequence in a Hilbert space admits weakly convergent subsequences (Alaoglu's theorem).{{harvnbWeidmann1980loc=Â§4.5}} This fact may be used to prove minimization results for continuous convex functionals, in the same way that the Bolzanoâ€“Weierstrass theorem is used for continuous functions on {{mathâ„d}}. Among several variants, one simple statement is as follows:{{harvnbButtazzoGiaquintaHildebrandt1998loc=Theorem 5.17}}
If {{mathf : H â†’ â„}} is a convex continuous function such that {{mathf(x)}} tends to {{math+âˆž}} when {{math{{normx}}}} tends to {{mathâˆž}}, then {{mathf}} admits a minimum at some point {{mathx0 âˆˆ H}}.
This fact (and its various generalizations) are fundamental for direct methods in the calculus of variations. Minimization results for convex functionals are also a direct consequence of the slightly more abstract fact that closed bounded convex subsets in a Hilbert space {{mathH}} are weakly compact, since {{mathH}} is reflexive. The existence of weakly convergent subsequences is a special case of the Eberleinâ€“Å mulian theorem.Banach space properties
Any general property of Banach spaces continues to hold for Hilbert spaces. The open mapping theorem states that a continuous surjective linear transformation from one Banach space to another is an open mapping meaning that it sends open sets to open sets. A corollary is the bounded inverse theorem, that a continuous and bijective linear function from one Banach space to another is an isomorphism (that is, a continuous linear map whose inverse is also continuous). This theorem is considerably simpler to prove in the case of Hilbert spaces than in general Banach spaces.{{harvnbHalmos1982loc=Problem 52, 58}} The open mapping theorem is equivalent to the closed graph theorem, which asserts that a function from one Banach space to another is continuous if and only if its graph is a closed set.{{harvnbRudin1973}} In the case of Hilbert spaces, this is basic in the study of unbounded operators (see closed operator).The (geometrical) Hahnâ€“Banach theorem asserts that a closed convex set can be separated from any point outside it by means of a hyperplane of the Hilbert space. This is an immediate consequence of the best approximation property: if {{mathy}} is the element of a closed convex set {{mathF}} closest to {{mathx}}, then the separating hyperplane is the plane perpendicular to the segment {{mathxy}} passing through its midpoint.{{harvnbTrÃ¨ves1967loc=Chapter 18}}Operators on Hilbert spaces
Bounded operators
The continuous linear operators {{mathA : H1 â†’ H2}} from a Hilbert space {{mathH1}} to a second Hilbert space {{mathH2}} are bounded in the sense that they map bounded sets to bounded sets. Conversely, if an operator is bounded, then it is continuous. The space of such bounded linear operators has a norm, the operator norm given by
lVert A rVert = sup left{,lVert Ax rVert : lVert x rVert leq 1,right},.
The sum and the composite of two bounded linear operators is again bounded and linear. For y in H2, the map that sends x âˆˆ H1 to âŸ¨Ax, yâŸ© is linear and continuous, and according to the Riesz representation theorem can therefore be represented in the form
leftlangle x, A^* y rightrangle = langle Ax, y rangle
for some vector {{mathA*y}} in {{mathH1}}. This defines another bounded linear operator {{mathA* : H2 â†’ H1}}, the adjoint of {{mvarA}}. One can see that {{mathA** {{=}} A}}.The set {{mathB(H)}} of all bounded linear operators on {{mathH}} (operators {{MathH â†’ H}}), together with the addition and composition operations, the norm and the adjoint operation, is a C*algebra, which is a type of operator algebra.An element {{mathA}} of {{mathB(H)}} is called 'selfadjoint' or 'Hermitian' if {{mathA* {{=}} A}}. If {{mathA}} is Hermitian and {{mathâŸ¨Ax, xâŸ© â‰¥ 0}} for every {{mathx}}, then {{mathA}} is called 'nonnegative', written {{mathA â‰¥ 0}}; if equality holds only when {{mathx {{=}} 0}}, then {{mathA}} is called 'positive'. The set of self adjoint operators admits a partial order, in which {{mathA â‰¥ B}} if {{mathA âˆ’ B â‰¥ 0}}. If {{mathA}} has the form {{mathB*B}} for some {{mathB}}, then {{mathA}} is nonnegative; if {{mathB}} is invertible, then {{mathA}} is positive. A converse is also true in the sense that, for a nonnegative operator {{mathA}}, there exists a unique nonnegative square root {{mathB}} such that
A = B^2 = B^*B,.
In a sense made precise by the spectral theorem, selfadjoint operators can usefully be thought of as operators that are "real". An element {{mathA}} of {{mathB(H)}} is called normal if {{mathA*A {{=}} AA*}}. Normal operators decompose into the sum of a selfadjoint operators and an imaginary multiple of a self adjoint operator
A = frac{A + A^*}{2} + ifrac{A  A^*}{2i}
that commute with each other. Normal operators can also usefully be thought of in terms of their real and imaginary parts.An element {{mathU}} of {{mathB(H)}} is called unitary if {{mathU}} is invertible and its inverse is given by {{mathU*}}. This can also be expressed by requiring that {{mathU}} be onto and {{mathâŸ¨Ux, UyâŸ© {{=}} âŸ¨x, yâŸ©}} for all {{mathx, y âˆˆ H}}. The unitary operators form a group under composition, which is the isometry group of {{mathH}}.An element of {{mathB(H)}} is compact if it sends bounded sets to relatively compact sets. Equivalently, a bounded operator {{mathT}} is compact if, for any bounded sequence {{math{xk}}}, the sequence {{math{Txk}}} has a convergent subsequence. Many integral operators are compact, and in fact define a special class of operators known as Hilbertâ€“Schmidt operators that are especially important in the study of integral equations. Fredholm operators differ from a compact operator by a multiple of the identity, and are equivalently characterized as operators with a finite dimensional kernel and cokernel. The index of a Fredholm operator {{mathT}} is defined by
operatorname{index} T = dimker T  dimoperatorname{coker} T ,.
The index is homotopy invariant, and plays a deep role in differential geometry via the Atiyahâ€“Singer index theorem.Unbounded operators
Unbounded operators are also tractable in Hilbert spaces, and have important applications to quantum mechanics.See {{harvtxtPrugoveÄki1981}}, {{harvtxtReedSimon1980loc=Chapter VIII}} and {{harvtxtFolland1989}}. An unbounded operator {{mathT}} on a Hilbert space {{mathH}} is defined as a linear operator whose domain {{mathD(T)}} is a linear subspace of {{mathH}}. Often the domain {{mathD(T)}} is a dense subspace of {{mathH}}, in which case {{mathT}} is known as a densely defined operator.The adjoint of a densely defined unbounded operator is defined in essentially the same manner as for bounded operators. Selfadjoint unbounded operators play the role of the observables in the mathematical formulation of quantum mechanics. Examples of selfadjoint unbounded operators on the Hilbert space {{mathL2(â„)}} are:{{harvnbPrugoveÄki1981loc=III, Â§1.4}}{hide}unordered list A suitable extension of the differential operator
(A f)(x) = i frac{mathrm{d{edih}{mathrm{d}x} f(x) ,,
where {{mathi}} is the imaginary unit and {{mathf}} is a differentiable function of compact support.< infty ,.The inner product is defined by
langle x, yrangle = sum_{i in I} leftlangle x_i, y_irightrangle_{H_i} ,.
Each of the {{mathH'i}} is included as a closed subspace in the direct sum of all of the {{mathH'i}}. Moreover, the {{mathH'i}} are pairwise orthogonal. Conversely, if there is a system of closed subspaces, {{mathV'i}}, {{mathi âˆˆ I}}, in a Hilbert space {{mathH}}, that are pairwise orthogonal and whose union is dense in {{mathH}}, then {{mathH}} is canonically isomorphic to the direct sum of {{mathVi}}. In this case, {{mathH}} is called the internal direct sum of the {{mathVi}}. A direct sum (internal or external) is also equipped with a family of orthogonal projections {{mathEi}} onto the {{mathi}}th direct summand {{mathHi}}. These projections are bounded, selfadjoint, idempotent operators that satisfy the orthogonality condition
E_i E_j = 0,quad i neq j ,.
The spectral theorem for compact selfadjoint operators on a Hilbert space {{mathH}} states that {{mathH}} splits into an orthogonal direct sum of the eigenspaces of an operator, and also gives an explicit decomposition of the operator as a sum of projections onto the eigenspaces. The direct sum of Hilbert spaces also appears in quantum mechanics as the Fock space of a system containing a variable number of particles, where each Hilbert space in the direct sum corresponds to an additional degree of freedom for the quantum mechanical system. In representation theory, the Peterâ€“Weyl theorem guarantees that any unitary representation of a compact group on a Hilbert space splits as the direct sum of finitedimensional representations.Tensor products
If {{mathx1, y1 âˆŠ H1}} and {{mathx2, y2 âˆŠ H2}}, then one defines an inner product on the (ordinary) tensor product as follows. On simple tensors, let
langle x_1 otimes x_2, , y_1 otimes y_2 rangle = langle x_1, y_1 rangle , langle x_2, y_2 rangle ,.
This formula then extends by sesquilinearity to an inner product on {{mathH1 âŠ— H2}}. The Hilbertian tensor product of {{mathH1}} and {{mathH2}}, sometimes denoted by {{mathH1 widehat{otimes} H2}}, is the Hilbert space obtained by completing {{mathH1 âŠ— H2}} for the metric associated to this inner product.{{harvnbWeidmann1980loc=Â§3.4}}An example is provided by the Hilbert space {{mathL2([0, 1])}}. The Hilbertian tensor product of two copies of {{mathL2([0, 1])}} is isometrically and linearly isomorphic to the space {{mathL2([0, 1]2)}} of squareintegrable functions on the square {{math[0, 1]2}}. This isomorphism sends a simple tensor {{mathf1 âŠ— f2}} to the function
(s, t) mapsto f_1(s) , f_2(t)
on the square.This example is typical in the following sense.{{harvnbKadisonRingrose1983loc=Theorem 2.6.4}} Associated to every simple tensor product {{mathx1 âŠ— x2}} is the rank one operator from {{mathH{{sup=âˆ—b=1lh=0.8em}}}} to {{mathH2}} that maps a given {{mathx* âˆˆ H{{sup=âˆ—b=1lh=0.8em}}}} as
x^* mapsto x^*(x_1) x_2 ,.
This mapping defined on simple tensors extends to a linear identification between {{mathH1 âŠ— H2}} and the space of finite rank operators from {{mathH{{sup=âˆ—b=1lh=0.8em}}}} to {{mathH2}}. This extends to a linear isometry of the Hilbertian tensor product {{mathH1 widehat{otimes} H2}} with the Hilbert space {{mathHS(H{{sup=âˆ—b=1lh=0.8em}}, H2)}} of Hilbertâ€“Schmidt operators from {{mathH{{sup=âˆ—b=1lh=0.8em}}}} to {{mathH2}}.Orthonormal bases
The notion of an orthonormal basis from linear algebra generalizes over to the case of Hilbert spaces.{{harvnbDunfordSchwartz1958loc=Â§IV.4}}. In a Hilbert space {{mathH}}, an orthonormal basis is a family {{math{ek}k âˆˆ B}} of elements of {{mathH}} satisfying the conditions: Orthogonality: Every two different elements of {{mathB}} are orthogonal: {{mathâŸ¨ek, ejâŸ© {{=}} 0}} for all {{mathk, j âˆˆ B}} with {{nowrapk â‰ j}}.
 Normalization: Every element of the family has norm 1: {{math{{normek}} {{=}} 1}} for all {{mathk âˆˆ B}}.
 Completeness: The linear span of the family {{mathek}}, {{mathk âˆˆ B}}, is dense in H.
if {{mathâŸ¨v, e'kâŸ© {{=}} 0}} for all {{mathk âˆˆ B}} and some {{mathv âˆˆ H}} then {{mathv {{=}} 0'''}}.
This is related to the fact that the only vector orthogonal to a dense linear subspace is the zero vector, for if {{mathS}} is any orthonormal set and {{mathv}} is orthogonal to {{mathS}}, then {{mathv}} is orthogonal to the closure of the linear span of {{mathS}}, which is the whole space.Examples of orthonormal bases include:  the set {{math{(1, 0, 0), (0, 1, 0), (0, 0, 1)}}} forms an orthonormal basis of {{mathâ„3}} with the dot product;
 the sequence {{math{f'n : n âˆˆ â„¤}}} with {{mathf'n(x) {{=}} exp(2Ï€inx)}} forms an orthonormal basis of the complex space {{mathL2([0, 1])}};
Sequence spaces
The space {{mathl2}} of squaresummable sequences of complex numbers is the set of infinite sequences
(c_1, c_2, c_3, dots)
of complex numbers such that
leftc_1right^2 + leftc_2right^2 + leftc_3right^2 + cdots < infty ,.
This space has an orthonormal basis:
begin{align}
e_1 &= (1, 0, 0, dots)
e_2 &= (0, 1, 0, dots)
& vdots
end{align}More generally, if {{mathB}} is any set, then one can form a Hilbert space of sequences with index set {{mathB}}, defined by
e_2 &= (0, 1, 0, dots)
& vdots
l^2(B) =left{ x : B xrightarrow{x} mathbb{C} , left , sum_{b in B} leftx (b)right^2 < infty right. right} ,.
The summation over B is here defined by
sum_{b in B} leftx (b)right^2 = sup sum_{n=1}^N leftx(b_n)right^2
the supremum being taken over all finite subsets of {{mathB}}. It follows that, for this sum to be finite, every element of {{mathl2(B)}} has only countably many nonzero terms. This space becomes a Hilbert space with the inner product
langle x, y rangle = sum_{b in B} x(b)overline{y(b)}
for all {{mathx, y âˆˆ l2(B)}}. Here the sum also has only countably many nonzero terms, and is unconditionally convergent by the Cauchyâ€“Schwarz inequality.An orthonormal basis of {{mathl2(B)}} is indexed by the set {{mathB}}, given by
e_bleft(b'right) = begin{cases}
1 & text{if } b=b'
0 & text{otherwise.}
end{cases}{{AnchorBessel's inequality}}{{AnchorParseval's formula}}0 & text{otherwise.}
Bessel's inequality and Parseval's formula
Let {{mathf1, ..., fn}} be a finite orthonormal system in {{mathH}}. For an arbitrary vector {{mathx âˆˆ H}}, let
y = sum_{j=1}^n langle x, f_j rangle , f_j ,.
Then {{mathâŸ¨x, f'kâŸ© {{=}} âŸ¨y, f'kâŸ©}} for every {{mathk {{=}} 1, â€¦, n}}. It follows that {{mathx âˆ’ y}} is orthogonal to each {{mathfk}}, hence {{mathx âˆ’ y}} is orthogonal to {{mathy}}. Using the Pythagorean identity twice, it follows that
x^2 = x  y^2 + y^2 ge y^2 = sum_{j=1}^nbigllangle x, f_j ranglebigr^2 ,.
Let {{math{fi}, i âˆˆ I}}, be an arbitrary orthonormal system in {{mathH}}. Applying the preceding inequality to every finite subset {{mathJ}} of {{mathI}} gives the Bessel inequalityFor the case of finite index sets, see, for instance, {{harvnbHalmos1957loc=Â§5}}. For infinite index sets, see {{harvnbWeidmann1980loc=Theorem 3.6}}.
sum_{i in I}bigllangle x, f_i ranglebigr^2 le x^2, quad x in H
(according to the definition of the sum of an arbitrary family of nonnegative real numbers).Geometrically, Bessel's inequality implies that the orthogonal projection of {{mathx}} onto the linear subspace spanned by the {{mathfi}} has norm that does not exceed that of {{mathx}}. In two dimensions, this is the assertion that the length of the leg of a right triangle may not exceed the length of the hypotenuse.Bessel's inequality is a stepping stone to the more powerful Parseval identity, which governs the case when Bessel's inequality is actually an equality. If {{math{ek}k âˆˆ B}} is an orthonormal basis of {{mathH}}, then every element {{mathx}} of {{mathH}} may be written as
x = sum_{k in B} leftlangle x, e_k rightrangle , e_k ,.
Even if {{mathB}} is uncountable, Bessel's inequality guarantees that the expression is welldefined and consists only of countably many nonzero terms. This sum is called the Fourier expansion of {{mathx}}, and the individual coefficients {{mathâŸ¨x, ekâŸ©}} are the Fourier coefficients of {{mathx}}. Parseval's formula is then
x^2 = sum_{kin B}langle x, e_krangle^2 ,.
Conversely, if {{math{e'k}}} is an orthonormal set such that Parseval's identity holds for every {{mathx}}, then {{math{e'k}}} is an orthonormal basis.Hilbert dimension
As a consequence of Zorn's lemma, every Hilbert space admits an orthonormal basis; furthermore, any two orthonormal bases of the same space have the same cardinality, called the Hilbert dimension of the space.{{harvnbLevitan2001}}. Many authors, such as {{harvtxtDunfordSchwartz1958loc=Â§IV.4}}, refer to this just as the dimension. Unless the Hilbert space is finite dimensional, this is not the same thing as its dimension as a linear space (the cardinality of a Hamel basis). For instance, since {{mathl2(B)}} has an orthonormal basis indexed by {{mathB}}, its Hilbert dimension is the cardinality of {{mathB}} (which may be a finite integer, or a countable or uncountable cardinal number).As a consequence of Parseval's identity, if {{math{e'k}k âˆˆ B}} is an orthonormal basis of {{mathH}}, then the map {{mathÎ¦ : H â†’ l2(B)}} defined by {{mathÎ¦(x) {{=}} âŸ¨x, e'kâŸ©kâˆˆB}} is an isometric isomorphism of Hilbert spaces: it is a bijective linear mapping such that
bigllangle Phi (x), Phi(y) bigrrangle_{l^2(B)} = leftlangle x, y rightrangle_H
for all {{mathx, y âˆˆ H}}. The cardinal number of {{mathB}} is the Hilbert dimension of {{mathH}}. Thus every Hilbert space is isometrically isomorphic to a sequence space {{mathl2(B)}} for some set {{mathB}}.Separable spaces
A Hilbert space is separable if and only if it admits a countable orthonormal basis. All infinitedimensional separable Hilbert spaces are therefore isometrically isomorphic to {{mathl2}}.In the past, Hilbert spaces were often required to be separable as part of the definition.{{harvnbPrugoveÄki1981loc=I, Â§4.2}} Most spaces used in physics are separable, and since these are all isomorphic to each other, one often refers to any infinitedimensional separable Hilbert space as "the Hilbert space" or just "Hilbert space".{{harvtxtvon Neumann1955}} defines a Hilbert space via a countable Hilbert basis, which amounts to an isometric isomorphism with l2. The convention still persists in most rigorous treatments of quantum mechanics; see for instance {{harvnbSobrino1996loc=Appendix B}}. Even in quantum field theory, most of the Hilbert spaces are in fact separable, as stipulated by the Wightman axioms. However, it is sometimes argued that nonseparable Hilbert spaces are also important in quantum field theory, roughly because the systems in the theory possess an infinite number of degrees of freedom and any infinite Hilbert tensor product (of spaces of dimension greater than one) is nonseparable.{{harvnbStreaterWightman1964pp=86â€“87}} For instance, a bosonic field can be naturally thought of as an element of a tensor product whose factors represent harmonic oscillators at each point of space. From this perspective, the natural state space of a boson might seem to be a nonseparable space. However, it is only a small separable subspace of the full tensor product that can contain physically meaningful fields (on which the observables can be defined). Another nonseparable Hilbert space models the state of an infinite collection of particles in an unbounded region of space. An orthonormal basis of the space is indexed by the density of the particles, a continuous parameter, and since the set of possible densities is uncountable, the basis is not countable.Orthogonal complements and projections
If {{mathS}} is a subset of a Hilbert space {{mathH}}, the set of vectors orthogonal to {{mathS}} is defined by
S^perp = left{ x in H : langle x, s rangle = 0 forall s in S right} ,.
{{mathSâŠ¥}} is a closed subspace of {{mathH}} (can be proved easily using the linearity and continuity of the inner product) and so forms itself a Hilbert space. If {{mathV}} is a closed subspace of {{mathH}}, then {{mathVâŠ¥}} is called the orthogonal complement of {{mathV}}. In fact, every {{mathx âˆˆ H}} can then be written uniquely as {{mathx {{=}} v + w}}, with {{mathv âˆˆ V}} and {{mathw âˆˆ VâŠ¥}}. Therefore, {{mathH}} is the internal Hilbert direct sum of {{mathV}} and {{mathVâŠ¥}}.The linear operator {{mathPV : H â†’ H}} that maps {{mathx}} to {{mathv}} is called the orthogonal projection onto {{mathV}}. There is a natural onetoone correspondence between the set of all closed subspaces of {{mathH}} and the set of all bounded selfadjoint operators {{mathP}} such that {{mathP2 {{=}} P}}. Specifically,
Theorem. The orthogonal projection {{mathPV}} is a selfadjoint linear operator on {{mathH}} of norm â‰¤ 1 with the property {{mathP{{sup=2b=V}} {{=}} PV}}. Moreover, any selfadjoint linear operator {{mathE}} such that {{mathE2 {{=}} E}} is of the form {{mathPV}}, where {{mathV}} is the range of {{mathE}}. For every {{mathx}} in {{mathH}}, {{mathPV(x)}} is the unique element {{mathv}} of {{mathV}} that minimizes the distance {{math{{normx âˆ’ v}}}}.
This provides the geometrical interpretation of {{mathPV(x)}}: it is the best approximation to x by elements of V.{{harvnbYoung1988loc=Theorem 15.3}}Projections {{mathPU}} and {{mathPV}} are called mutually orthogonal if {{mathP'U'P'V {{=}} 0}}. This is equivalent to {{mathU}} and {{mathV}} being orthogonal as subspaces of {{mathH}}. The sum of the two projections {{mathP'U}} and {{mathP'V}} is a projection only if {{mathU}} and {{mathV}} are orthogonal to each other, and in that case {{mathP'U + P'V {{=}} P'U+V}}. The composite {{mathP'U'P'V}} is generally not a projection; in fact, the composite is a projection if and only if the two projections commute, and in that case {{mathP'U'P'V {{=}} PUâˆ©V}}.By restricting the codomain to the Hilbert space {{mathV}}, the orthogonal projection {{mathPV}} gives rise to a projection mapping {{mathÏ€ : H â†’ V}}; it is the adjoint of the inclusion mapping
i : V to H ,,
meaning that
leftlangle i x, yrightrangle_H = leftlangle x, pi y rightrangle_V
for all {{mathx âˆˆ V}} and {{mathy âˆˆ H}}.The operator norm of the orthogonal projection {{mathPV}} onto a nonzero closed subspace {{mathV}} is equal to 1:
P_V = sup_{x in H, xnot=0} frac{P_V x}{x} = 1 ,.
Every closed subspace V of a Hilbert space is therefore the image of an operator {{mathP}} of norm one such that {{mathP2 {{=}} P}}. The property of possessing appropriate projection operators characterizes Hilbert spaces:{{harvnbKakutani1939}}  A Banach space of dimension higher than 2 is (isometrically) a Hilbert space if and only if, for every closed subspace {{mathV}}, there is an operator {{mathPV}} of norm one whose image is {{mathV}} such that {{mathP{{sub=Vp=2}} {{=}} PV}}.
 A Banach space {{mathX}} is topologically and linearly isomorphic to a Hilbert space if and only if, to every closed subspace {{mathV}}, there is a closed subspace {{mathW}} such that {{mathX}} is equal to the internal direct sum {{mathV âŠ• W}}.
left(sum_i V_iright)^perp = bigcap_i V_i^perp ,.
If the {{mathVi}} are in addition closed, then
overline{sum_i V_i^perp} = left(bigcap_i V_iright)^perp ,.
Spectral theory
There is a welldeveloped spectral theory for selfadjoint operators in a Hilbert space, that is roughly analogous to the study of symmetric matrices over the reals or selfadjoint matrices over the complex numbers.A general account of spectral theory in Hilbert spaces can be found in {{harvtxtRieszSz Nagy1990}}. A more sophisticated account in the language of C*algebras is in {{harvtxtRudin1973}} or {{harvtxtKadisonRingrose1997}} In the same sense, one can obtain a "diagonalization" of a selfadjoint operator as a suitable sum (actually an integral) of orthogonal projection operators.The spectrum of an operator {{mathT}}, denoted {{mathÏƒ(T)}}, is the set of complex numbers {{mathÎ»}} such that {{mathT âˆ’ Î»}} lacks a continuous inverse. If {{mathT}} is bounded, then the spectrum is always a compact set in the complex plane, and lies inside the disc {{math{{absz}} â‰¤ {{normT}}}}. If {{mathT}} is selfadjoint, then the spectrum is real. In fact, it is contained in the interval {{math[m, M]}} where
m = inf_{x=1}langle Tx, xrangle ,,quad M = sup_{x=1}langle Tx, xrangle ,.
Moreover, {{mathm}} and {{mathM}} are both actually contained within the spectrum.The eigenspaces of an operator {{mathT}} are given by
H_lambda = ker(T  lambda),.
Unlike with finite matrices, not every element of the spectrum of {{mathT}} must be an eigenvalue: the linear operator {{mathT âˆ’ Î»}} may only lack an inverse because it is not surjective. Elements of the spectrum of an operator in the general sense are known as spectral values. Since spectral values need not be eigenvalues, the spectral decomposition is often more subtle than in finite dimensions.However, the spectral theorem of a selfadjoint operator {{mathT}} takes a particularly simple form if, in addition, {{mathT}} is assumed to be a compact operator. The spectral theorem for compact selfadjoint operators states:See, for instance, {{harvtxtRieszSz Nagy1990loc=Chapter VI}} or {{harvnbWeidmann1980loc=Chapter 7}}. This result was already known to {{harvtxtSchmidt1907}} in the case of operators arising from integral kernels.  A compact selfadjoint operator {{mathT}} has only countably (or finitely) many spectral values. The spectrum of {{mathT}} has no limit point in the complex plane except possibly zero. The eigenspaces of {{mathT}} decompose {{mathH}} into an orthogonal direct sum:
 : H=bigoplus_{lambdainsigma(T)}H_lambda ,.
Moreover, if {{mathEÎ»}} denotes the orthogonal projection onto the eigenspace {{mathHÎ»}}, then
This theorem plays a fundamental role in the theory of integral equations, as many integral operators are compact, in particular those that arise from Hilbertâ€“Schmidt operators.The general spectral theorem for selfadjoint operators involves a kind of operatorvalued Riemannâ€“Stieltjes integral, rather than an infinite summation.{{harvnbRieszSz Nagy1990loc=Â§Â§107â€“108}} The spectral family associated to {{mathT}} associates to each real number Î» an operator {{mathEÎ»}}, which is the projection onto the nullspace of the operator {{math(T âˆ’ Î»)+}}, where the positive part of a selfadjoint operator is defined by
T = sum_{lambdainsigma(T)} lambda E_lambda ,,
where the sum converges with respect to the norm on {{mathB(H)}}.
A^+ = tfrac{1}{2}left(sqrt{A^2} + Aright) ,.
The operators {{mathEÎ»}} are monotone increasing relative to the partial order defined on selfadjoint operators; the eigenvalues correspond precisely to the jump discontinuities. One has the spectral theorem, which asserts
T = int_mathbb{R} lambda, mathrm{d}E_lambda ,.
The integral is understood as a Riemannâ€“Stieltjes integral, convergent with respect to the norm on {{mathB(H)}}. In particular, one has the ordinary scalarvalued integral representation
langle Tx, yrangle = int_{mathbb{R}} lambda,mathrm{d}langle E_lambda x, yrangle ,.
A somewhat similar spectral decomposition holds for normal operators, although because the spectrum may now contain nonreal complex numbers, the operatorvalued Stieltjes measure {{mathdEÎ»}} must instead be replaced by a resolution of the identity.A major application of spectral methods is the spectral mapping theorem, which allows one to apply to a selfadjoint operator {{mathT}} any continuous complex function {{mathf}} defined on the spectrum of {{mathT}} by forming the integral
f(T) = int_{sigma(T)} f(lambda),mathrm{d}E_lambda ,.
The resulting continuous functional calculus has applications in particular to pseudodifferential operators.{{harvnbShubin1987}}The spectral theory of unbounded selfadjoint operators is only marginally more difficult than for bounded operators. The spectrum of an unbounded operator is defined in precisely the same way as for bounded operators: {{mathÎ»}} is a spectral value if the resolvent operator
R_lambda = (T  lambda)^{1}
fails to be a welldefined continuous operator. The selfadjointness of {{mathT}} still guarantees that the spectrum is real. Thus the essential idea of working with unbounded operators is to look instead at the resolvent {{mathRÎ»}} where {{mathÎ»}} is nonreal. This is a bounded normal operator, which admits a spectral representation that can then be transferred to a spectral representation of {{mathT}} itself. A similar strategy is used, for instance, to study the spectrum of the Laplace operator: rather than address the operator directly, one instead looks as an associated resolvent such as a Riesz potential or Bessel potential.A precise version of the spectral theorem in this case is:{{harvnbRudin1973loc=Theorem 13.30}}.
Given a densely defined selfadjoint operator {{mathT}} on a Hilbert space {{mathH}}, there corresponds a unique resolution of the identity {{mathE}} on the Borel sets of {{mathâ„}}, such that
There is also a version of the spectral theorem that applies to unbounded normal operators.
langle Tx, yrangle = int_mathbb{R} lambda,mathrm{d}E_{x,y}(lambda)
for all {{mathx âˆˆ D(T)}} and {{mathy âˆˆ H}}. The spectral measure {{mathE}} is concentrated on the spectrum of {{mathT}}.
In popular culture
Thomas Pynchon introduced the fictional character, Sammy HilbertSpaess (a pun on "Hilbert Space"), in his 1973 novel, Gravity's Rainbow. HilbertSpaess is first described as a "a ubiquitous double agent" and later as "at least a double agent". The novel had earlier referenced the work of fellow German mathematician Kurt GÃ¶del's Incompleteness Theorems which showed that Hilbert's Program, Hilbert's formalized plan to unify mathematics into a single set of axioms, was not possible.WEB,weblink H  Thomas Pynchon Wiki {{!, Gravity's Rainbowwebsite=gravitysrainbow.pynchonwiki.comlanguage=enaccessdate=20181023}}WEB,weblink G  Thomas Pynchon Wiki {{!, Gravity's Rainbowwebsite=gravitysrainbow.pynchonwiki.comlanguage=enaccessdate=20181023}}BOOK, Gravity's Rainbow, Thomas, Pynchon, Viking Press, 1973, 9780143039945, 217,275,See also
 Hadamard space
 Hilbert algebra
 Hilbert Cmodule
 Hilbert manifold
 Operator theory
 Operator topologies
 Rigged Hilbert space
Remarks
{{reflistgroup=nb}}Notes
{{reflistcolwidth=30em}}References
 {{Citation  last1=Bachman  first1=George  last2=Narici  first2=Lawrence  last3=Beckenstein  first3=Edward  title=Fourier and wavelet analysis  publisher=SpringerVerlag  location=Berlin, New York  series=Universitext  isbn=9780387988993  mr=1729490  year=2000}}.
 {{citationtitle=Partial differential equationsfirst=Lipmanlast= Bersauthorlink=Lipman Bersfirst2=Fritzlast2= Johnauthorlink2=Fritz Johnfirst3= Martinlast3= Schechterpublisher= American Mathematical Societyyear=1981isbn=9780821800492}}.
 {{citationfirst=Nicolaslast=Bourbakiauthorlink=Nicolas Bourbakititle=Spectral theoriesseries=Elements of mathematicspublisher= SpringerVerlaglocation=Berlinyear=1986isbn=9780201007671}}.
 {{citationfirst=Nicolaslast=Bourbakiauthorlink=Nicolas Bourbakititle=Topological vector spacesseries=Elements of mathematicspublisher= SpringerVerlaglocation=Berlinyear=1987isbn=9783540136279}}.
 {{citation authorlink1 = Carl Benjamin Boyerlast1=Boyerfirst1=Carl Benjaminlast2=Merzbachfirst2=Uta Cauthor2link= Uta Merzbach  year = 1991 title = A History of Mathematics edition= 2nd publisher = John Wiley & Sons, Inc.isbn=9780471543978}}.
 {{citationfirst1=S.last1=Brennerfirst2=R. L.last2=Scotttitle=The Mathematical Theory of Finite Element Methodsedition=2ndpublisher=Springeryear=2005isbn=9780387954516}}.
 {{Citation  last1=Buttazzo  first1=Giuseppe  last2=Giaquinta  first2=Mariano  last3=Hildebrandt  first3=Stefan  title=Onedimensional variational problems  publisher=The Clarendon Press Oxford University Press  series=Oxford Lecture Series in Mathematics and its Applications  isbn=9780198504658  mr=1694383  year=1998  volume=15}}.
 {{citationfirst=J. A.last=Clarksontitle=Uniformly convex spacesjournal=Trans. Amer. Math. Soc.volume=40year=1936pages=396â€“414doi=10.2307/1989630issue=3jstor=1989630}}.
 {{citationfirst=Richardlast=Courantauthorlink=Richard Courantfirst2=Davidlast2=Hilbertauthorlink2=David Hilberttitle=Methods of Mathematical Physics, Vol. Ipublisher=Interscienceyear=1953}}.
 {{citation first = Jean last = DieudonnÃ© authorlink=Jean DieudonnÃ©title= Foundations of Modern Analysispublisher = Academic Press year= 1960}}.
 {{citationfirst=P.A.M.last=Diracauthorlink=Paul Diractitle=Principles of Quantum Mechanics publisher=Clarendon Presslocation=Oxfordyear=1930titlelink=Principles of Quantum Mechanics}}.
 {{citationfirst1=N.last1=Dunfordfirst2=J.T.last2=Schwartzauthorlink2=Jacob T. Schwartztitle=Linear operators, Parts I and IIpublisher=WileyInterscienceyear=1958}}.
 {{citationfirst=P.last= Durentitle=Theory of HpSpacesyear=1970publisher= Academic Presslocation= New York}}.
 {{citation title=Fourier analysis and its application first=Gerald B.last=Folland url=https://books.google.com/books?as_isbn=0821847902 isbn=9780821847909 publisher=American Mathematical Society Bookstore year=2009 edition=Reprint of Wadsworth and Brooks/Cole 1992}}.
 {{citationfirst=Gerald B.last=Follandtitle=Harmonic analysis in phase spaceseries=Annals of Mathematics Studiesvolume= 122publisher=Princeton University Pressyear= 1989isbn= 9780691085272}}.
 {{citationfirst=Mauricelast=FrÃ©chettitle=Sur les ensembles de fonctions et les opÃ©rations linÃ©airesjournal=C. R. Acad. Sci. Parisvolume=144pages=1414â€“1416year=1907}}.
 {{citationfirst=Mauricelast=FrÃ©chettitle=Sur les opÃ©rations linÃ©airesyear=1904â€“1907}}.
 {{citationfirst=Enricolast=Giustititle=Direct Methods in the Calculus of Variationspublisher=World Scientificyear=2003isbn=9789812380432}}.
 {{Citation  last1=GrattanGuinness  first1=Ivor  title=The search for mathematical roots, 1870â€“1940  publisher=Princeton University Press  series=Princeton Paperbacks  isbn=9780691058580  mr=1807717  year=2000}}.
 {{citation last =Halmos first =Paul authorlink=Paul Halmostitle=Introduction to Hilbert Space and the Theory of Spectral Multiplicityyear=1957
 {{citation last=Halmosfirst=Paulauthorlink=Paul Halmostitle=A Hilbert Space Problem Bookyear=1982publisher=SpringerVerlagisbn=9780387906850}}.
 {{citation last = Hewitt first = Edwin last2 = Stromberg first2 = Karl title = Real and Abstract Analysis year = 1965 publisher = SpringerVerlag location = New York}}.
 {{citation last1=Hilbert first1=David authorlink1 = David Hilbert last2=Nordheim first2 = Lothar (Wolfgang) authorlink2= Lothar Nordheim last3= von Neumann first3= Johnauthorlink3= John von Neumann title = Ãœber die Grundlagen der Quantenmechanik url=http://dzsrv1.sub.unigoettingen.de/sub/digbib/loader?ht=VIEW&did=D27779 journal = Mathematische Annalen volume = 98 pages = 1â€“30 year = 1927 doi=10.1007/BF01451579}}{{dead linkdate=July 2016}}.
 {{citationfirst=Marklast=Kacauthorlink=Mark Kactitle=Can one hear the shape of a drum?journal=American Mathematical Monthlyvolume=73issue=4, part 2year=1966pages=1â€“23doi=10.2307/2313748jstor=2313748}}.
 {{Citation  last1=Kadison  first1=Richard V.  last2=Ringrose  first2=John R.  title=Fundamentals of the theory of operator algebras. Vol. I  publisher=American Mathematical Society  location=Providence, R.I.  series=Graduate Studies in Mathematics  isbn=9780821808191  mr=1468229  year=1997  volume=15}}.
 {{Citation  last1=Kakutani  first1=Shizuo  author1link=Shizuo Kakutani  title=Some characterizations of Euclidean space  mr=0000895  year=1939  journal=Japanese Journal of Mathematics  volume=16  pages=93â€“97}}.
 {{Citation  last1=Kline  first1=Morris  author1link=Morris Kline  title=Mathematical thought from ancient to modern times, Volume 3  year=1972  publisher=Oxford University Press  edition=3rd  isbn=9780195061376  publicationdate=1990}}.
 {{citation title = Introductory Real Analysis last1 = Kolmogorov first1 = Andrey authorlink1 = Andrey Kolmogorov last2= Fominfirst2= Sergei V. authorlink2 = Sergei Fomin year = 1970 edition = Revised English edition, trans. by Richard A. Silverman (1975) publisher = Dover Press isbn= 9780486612263}}.
 {{Citation  last1=Krantz  first1=Steven G.  authorlink=Steven Krantztitle=Function Theory of Several Complex Variables  publisher=American Mathematical Society  location=Providence, R.I.  isbn=9780821827246  year=2002}}.
 {{citation title=Applied analysis first=Corneliuslast=Lanczosisbn=9780486656564 publisher=Dover Publications year=1988 edition=Reprint of 1956 PrenticeHall url=https://books.google.com/books?as_isbn=048665656X}}.
 {{Citation  last1=Lindenstrauss  first1=J.  last2=Tzafriri  first2=L.  title=On the complemented subspaces problem  mr=0276734  year=1971  journal=Israel Journal of Mathematics  issn=00212172  volume=9  pages=263â€“269  doi=10.1007/BF02771592  issue=2}}.
 {{MacTutorclass=HistTopicsid=Abstract_linear_spacestitle=Abstract linear spacesdate=1996}}.
 {{citationfirst=Henrilast=Lebesguetitle=LeÃ§ons sur l'intÃ©gration et la recherche des fonctions primitivesurl=https://books.google.com/?id=VfUKAAAAYAAJ&dq=%22Lebesgue%22%20%22Le%C3%A7ons%20sur%20l'int%C3%A9gration%20et%20la%20recherche%20des%20fonctions%20...%22&pg=PA1v=onepage&q=year=1904publisher=GauthierVillars}}.
 {{springerid=H/h047380title=Hilbert spaceauthor=B.M. Levitan}}.
 {{Citation  last1=Marsden  first1=Jerrold E.  author1link=Jerrold E. Marsden  title=Elementary classical analysis  publisher=W. H. Freeman and Co.  mr=0357693  year=1974}}.
 {{citation last=von Neumann first=John authorlink=John von Neumann title=Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren journal=Mathematische Annalen volume = 102 pages = 49â€“131 year = 1929 doi=10.1007/BF01782338}}.
 {{citationfirst=Johnlast=von Neumannauthorlink=John von Neumanntitle=Physical Applications of the Ergodic Hypothesisyear=1932journal=Proc Natl Acad Sci USAvolume=18pages=263â€“266doi=10.1073/pnas.18.3.263pmid=16587674issue=3pmc=1076204jstor=86260bibcode = 1932PNAS...18..263N }}.
 {{Citation  last1=von Neumann  first1=John  author1link=John von Neumann  title=Mathematical Foundations of Quantum Mechanics  publisher=Princeton University Press  series=Princeton Landmarks in Mathematics  isbn=9780691028934  mr=1435976  publicationdate=1996year=1932 titlelink=Mathematical Foundations of Quantum Mechanics }}.
 {{citation last=PrugoveÄkifirst=Eduardtitle=Quantum mechanics in Hilbert spacepublisher=Doveredition=2ndyear=1981publicationdate=2006isbn=9780486453279}}.
 {{citationfirst=Michaellast=Reedauthorlink=Michael C. Reedfirst2=Barrylast2=Simonauthorlink2=Barry Simonseries=Methods of Modern Mathematical Physicstitle=Functional Analysispublisher=Academic Pressyear=1980isbn= 9780125850506}}.
 {{citationfirst=Michaellast=Reedauthorlink=Michael C. Reedfirst2=Barrylast2=Simonauthorlink2=Barry Simontitle=Fourier Analysis, SelfAdjointnessseries=Methods of Modern Mathematical Physicspublisher=Academic Pressyear=1975isbn=9780125850025 }}.
 {{citation first=Frigyeslast=Rieszauthorlink=Frigyes Riesztitle=Sur une espÃ¨ce de GÃ©omÃ©trie analytique des systÃ¨mes de fonctions sommablesjournal=C. R. Acad. Sci. Parisvolume=144pages=1409â€“1411year=1907}}.
 {{citationfirst=Frigyeslast=Rieszauthorlink=Frigyes Riesztitle=Zur Theorie des Hilbertschen Raumesjournal=Acta Sci. Math. Szegedvolume=7pages=34â€“38year=1934}}.
 {{citationfirst=Frigyeslast=Rieszauthorlink=Frigyes Rieszfirst2=BÃ©lalast2=Sz.Nagyauthorlink2=BÃ©la SzÅ‘kefalviNagytitle=Functional analysispublisher=Doveryear=1990isbn= 9780486662893}}.
 {{citation first=Walterlast=Rudinauthorlink=Walter Rudintitle=Functional analysispublisher=Tata MacGrawHillyear=1973}}.
 {{citationfirst=Walterlast=Rudinauthorlink=Walter Rudintitle=Real and Complex Analysisyear=1987publisher=McGrawHillisbn=9780071002769}}.
 {{citationfirst=StanisÅ‚awlast=Saksauthorlink=StanisÅ‚aw Sakstitle=Theory of the integralpublisher=Doveryear=2005edition=2nd Doverisbn=9780486446486}}; originally published Monografje Matematyczne, vol. 7, Warszawa, 1937.
 {{citation last=Schmidt first=Erhardauthorlink=Erhard Schmidttitle=Ãœber die AuflÃ¶sung linearer Gleichungen mit unendlich vielen Unbekanntenjournal=Rend. Circ. Mat. Palermovolume=25pages=63â€“77year=1908 doi=10.1007/BF03029116}}.
 {{Citation  last1=Shubin  first1=M. A.  title=Pseudodifferential operators and spectral theory  publisher=SpringerVerlag  location=Berlin, New York  series=Springer Series in Soviet Mathematics  isbn=9783540136217  mr=883081  year=1987}}.
 {{Citation  last1=Sobrino  first1=Luis  title=Elements of nonrelativistic quantum mechanics  journal=  publisher=World Scientific Publishing Co. Inc.  location=River Edge, New Jersey  isbn=9789810223861  mr=1626401  year=1996 bibcode=1996lnrq.book.....S  doi=10.1142/2865 }}.
 {{citationtitle=Calculus: Concepts and Contextsedition=3rdfirst=Jameslast=Stewartpublisher=Thomson/Brooks/Coleyear=2006}}.
 {{citationlast=Steinfirst=Etitle= Singular Integrals and Differentiability Properties of Functions publisher=Princeton Univ. Pressyear=1970 isbn= 9780691080796}}.
 {{citationlast1=Steinfirst1=Eliasauthorlink1=Elias Steinfirst2=Guidolast2=Weissauthorlink2=Guido Weisstitle=Introduction to Fourier Analysis on Euclidean Spacespublisher=Princeton University Pressyear=1971isbn=9780691080789location=Princeton, N.J.}}.
 {{citationlast1=Streaterfirst1=Rayauthorlink1=Ray Streaterlast2=Wightmanfirst2=Arthurauthorlink2=Arthur Wightmantitle= PCT, Spin and Statistics and All Thatyear=1964publisher=W. A. Benjamin, Inc}}.
 BOOK, Teschl, Gerald, Gerald Teschl, Mathematical Methods in Quantum Mechanics; With Applications to SchrÃ¶dinger Operators, American Mathematical Society, Providence, Rhode Island, Providence, 2009,weblink 9780821846605, .
 {{citation last=Titchmarshfirst=Edward Charlesauthorlink=Edward Charles Titchmarshtitle=Eigenfunction expansions, part 1year=1946publisher=Clarendon Presslocation=Oxford University}}.
 {{citationfirst=FranÃ§oislast=TrÃ¨vestitle=Topological Vector Spaces, Distributions and Kernelspublisher=Academic Pressyear=1967}}.
 {{Citation  last1=Warner  first1=Frank  title=Foundations of Differentiable Manifolds and Lie Groups  publisher=SpringerVerlag  location=Berlin, New York  isbn=9780387908946  year=1983}}.
 {{Citation  last1=Weidmann  first1=Joachim  title=Linear operators in Hilbert spaces  publisher=SpringerVerlag  location=Berlin, New York  series=Graduate Texts in Mathematics  isbn=9780387904276  mr=566954  year=1980  volume=68}}.
 {{citation last=Weyl first=Hermann authorlink=Hermann Weyl title = The Theory of Groups and Quantum Mechanics year = 1931 publisher = Dover Press edition = English 1950 isbn= 9780486602691}}.
 {{citation last=Youngfirst=Nicholastitle=An introduction to Hilbert spacepublisher=Cambridge University Pressyear=1988zbl=0645.46024isbn=9780521330718}}.
External links
 {{springertitle=Hilbert spaceid=p/h047380}}
 Hilbert space at Mathworld
 245B, notes 5: Hilbert spaces by Terence Tao
 content above as imported from Wikipedia
 "Hilbert space" does not exist on GetWiki (yet)
 time: 12:51pm EDT  Sun, Apr 21 2019
 "Hilbert space" does not exist on GetWiki (yet)
 time: 12:51pm EDT  Sun, Apr 21 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
GETWIKI 19 AUG 2014
GETWIKI 18 AUG 2014
Wikinfo
Culture
Culture
© 2019 M.R.M. PARROTT  ALL RIGHTS RESERVED
x}} operator:
(B f) (x) = x f(x),.
}}These correspond to the momentum and position observables, respectively. Note that neither {{mathA}} nor {{mathB}} is defined on all of {{mathH}}, since in the case of {{mathA}} the derivative need not exist, and in the case of {{mathB}} the product function need not be square integrable. In both cases, the set of possible arguments form dense subspaces of {{mathL2(â„)}}.ConstructionsDirect sumsTwo Hilbert spaces {{mathH1}} and {{mathH2}} can be combined into another Hilbert space, called the (orthogonal) direct sum,{{harvnbDunfordSchwartz1958loc=IV.4.1718}} and denoted
H_1 oplus H_2 ,,
consisting of the set of all ordered pairs {{math(x1, x2)}} where {{mathx'i âˆˆ H'i}}, {{mathi {{=}} 1, 2}}, and inner product defined by
bigllangle (x_1, x_2), (y_1, y_2)bigrrangle_{H_1 oplus H_2} = leftlangle x_1, y_1rightrangle_{H_1} + leftlangle x_2, y_2rightrangle_{H_2} ,.
More generally, if {{mathH'i}} is a family of Hilbert spaces indexed by {{nowrapi âˆˆ I}}, then the direct sum of the {{mathH'i}}, denoted
bigoplus_{i in I}H_i
consists of the set of all indexed families
x = (x_i in H_ii in I) in prod_{i in I}H_i
in the Cartesian product of the {{mathHi}} such that
sum_{i in I} x_i^2
