Hilbert Space(redirected from Hilbert dimension)
Also found in: Dictionary, Thesaurus.
Hilbert space[′hil·bərt ¦spās]
a mathematical concept extending Euclidean space to one of infinite dimensions. The concept arose at the turn of the 20th century in the form of a natural logical conclusion from the papers of the German mathematician D. Hilbert as a result of the generalization of the facts and methods related to the expansion of functions into orthogonal series and to the study of integral equations. Developing gradually, the concept of Hilbert space found increasingly wider applications in various branches of mathematics and theoretical physics. The concept is one of the most important in mathematics.
Originally, Hilbert space denoted the space of sequences with the converging series of squares (the so-called l2 space). The elements (vectors) of such a space are the infinite numerical sequences
x = (x1, x2, … , xn, …)
such that the series x12 + x22 + … + xn2 + … converges. The sum of the two vectors x + y and the vector λx, where λ is a real number, are determined naturally:
x + y = (x1 + y1, …, xn + yn, …)
λx = (λx1, λx2, … , λxn, …)
For any vectors x, y ∈ l2, the equation
(x, y) = x1y1 + x2y2 + … + xn yn + … )
determines their scalar product, and the length (norm) of vector x is understood to mean the nonnegative number
The scalar product is always finite and satisfies the inequality │ (x, y) │ ≤ ║ x ║ ║ y ║. The sequence of vectors xn is said to be converging to vector x if ║ xn − x ║ → 0 as n → ∞. Many of the definitions and facts concerning the theory of finite-dimensional Euclidean spaces also apply to Hilbert space. For example, the equation
where 0 ≤ϕ ≤ π, determines the angle between vectors x and y. Two vectors x and y are said to be orthogonal if (x, y) = 0. The l2 space is complete: every fundamental Cauchy sequence of the elements of this space (that is, the sequence xn satisfying the condition ║ xn - xm ║ → 0 as n, m → ∞) has a limit. In contrast to Euclidean spaces, the l2 Hilbert space is infinite dimensional, that is, infinite systems of linearly independent vectors exist in this space. For example, such a system is formed by the unit vectors
e1 = (1, 0, 0, …), e2 = (0, 1, 0,…), …
In this case, for any vector x from l2, the expansion
(1) x = x1e1 + x2e2 + …
applies in the system (en).
Another important example of Hilbert space is the L2 space of all measurable functions defined within a certain interval [a,b] for which the integral
is finite. This integral is to be understood as an integral in the Lebesgue sense. In this case, the functions differing from each other only by the set of measure zero are regarded as identical. Multiplication of functions by a number and their addition are performed in the usual manner, and the scalar product is understood to mean the integral
In this case the norm is equal to
The role of the unit vectors in the preceding example may be played by any functions φi(x) from L2 possessing the properties of orthogonality
as well as the following property of completeness: if f(x) belongs to L2 and
then fx = 0 everywhere, except for the set of measure zero. Over the interval [0, 2π], such a system of functions may be represented by the trigonometric system
Expansion (1) corresponds to the expansion of function f(x) from L2 into the Fourier series
which converges to f(x) by the norm of the L2 space. In this case, for every function f(x), the Parseval equality
The correspondence between the functions f(x) from L2 and the sequences of their Fourier coefficients a0, a1, b1, a2, b2, … is a mutually single-valued mapping of L2 onto l2, preserving the operations of addition and multiplication by numbers as well as the lengths and scalar products. Thus, these spaces are isomorphous and isometric and, hence, have the same structure.
In a broader sense, Hilbert space is understood to mean an arbitrary linear space in which the scalar product is given and which is complete with respect to the norm generated by this scalar product. Depending on whether multiplication is defined only by real numbers for the elements of the Hilbert space H or the elements of H may be multiplied by arbitrary complex numbers, real and complex Hilbert spaces are distinguished. In the latter case, the scalar product is understood to mean the complex function (x, y) defined for any pair x, y of elements from H and possessing the following properties:
(1) (x, x) = 0 only and only if x = 0,
(2) (x, x) ≥ 0 for any x from H,
(3) (x + y, z) = (x, z) + (y, z),
(4) (λx, y) = λ(x, y) for any complex number λ, and
(5) (x, y) = , where the bar denotes a complex conjugate quantity.
The norm of element x is determined by the equality
Complex Hilbert spaces play a larger role in mathematics and its applications than real Hilbert spaces. One of the most important trends in the theory of Hilbert spaces is the study of linear operators in Hilbert space. It is precisely this problem area that is connected with the numerous applications of Hilbert space in the theory of differential and integral equations, probability theory, quantum mechanics, and other areas.
REFERENCESKolmogorov, A. N., and S. V. Fomin. Elementy teorii funktsii i funktsional’nogo analiza, 2nd ed. Moscow, 1968.
Liusternik, L. A., and V. I. Sobolev. Elementy funktsional’nogo analiza, 2nd ed. Moscow, 1965.
Dunford, N., and J. Schwartz. Lineinye operatory. Vol. 1: Obshchaia teoria. Moscow, 1962. (Translated from English.)
Day, M. M. Normirovannye lineinye prostranstva. Moscow, 1961., (Translated from English.)
IU. V. PROKHOROV