# Hilbert Space

(redirected from*Hilbert dimension*)

Also found in: Dictionary, Thesaurus.

## Hilbert space

[′hil·bərt ¦spās]## Hilbert Space

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 *l*_{2} space). The elements (vectors) of such a space are the infinite numerical sequences

x = (*x*_{1}, *x*_{2}, … , *x _{n}*, …)

such that the series *x*_{1}^{2} + *x*_{2}^{2} + … + *x _{n}*

^{2}+ … converges. The sum of the two vectors x + y and the vector λx, where λ is a real number, are determined naturally:

x + y = (*x*_{1} + *y*_{1}, …, *x _{n}* +

*y*, …)

_{n}λx = (λx_{1}, λx_{2}, … , λx_{n}, …)

For any vectors x, y ∈ l_{2}, the equation

(x, y) = *x*_{1}*y*_{1} + *x*_{2}*y*_{2} + … + *x _{n} y_{n}* + … )

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 x* _{n}* is said to be converging to vector x if ║ x

*− x ║ → 0 as*

_{n}*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 *l*_{2} space is complete: every fundamental Cauchy sequence of the elements of this space (that is, the sequence x* _{n}* satisfying the condition ║ x

*- x*

_{n}*║ → 0 as*

_{m}*n, m*→ ∞) has a limit. In contrast to Euclidean spaces, the

*l*

_{2}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

e_{1} = (1, 0, 0, …), e_{2} = (0, 1, 0,…), …

In this case, for any vector x from l_{2}, the expansion

(1) x = x_{1}e_{1} + x_{2}e_{2} + …

applies in the system (e* _{n}*).

Another important example of Hilbert space is the *L*_{2} 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 *L*_{2} possessing the properties of orthogonality

and normalization

as well as the following property of completeness: if *f*(x) belongs to *L*_{2} and

then *f*_{x} = 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 *L*_{2} into the Fourier series

which converges to *f(x)* by the norm of the *L*_{2} space. In this case, for every function *f(x)*, the Parseval equality

is fulfilled.

The correspondence between the functions *f(x)* from *L*_{2} and the sequences of their Fourier coefficients *a*_{0}, *a*_{1}, *b*_{1}, *a*_{2}, *b*_{2}, … is a mutually single-valued mapping of *L*_{2} onto *l*_{2}, 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.

### REFERENCES

Kolmogorov, 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