Namespaces
Variants
Actions

Difference between revisions of "Hilbert space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(latex details)
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
A [[Vector space|vector space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h0473801.png" /> over the field of complex (or real) numbers, together with a complex-valued (or real-valued) function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h0473802.png" /> defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h0473803.png" />, with the following properties:
+
<!--
 +
h0473801.png
 +
$#A+1 = 266 n = 0
 +
$#C+1 = 266 : ~/encyclopedia/old_files/data/H047/H.0407380 Hilbert space
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h0473804.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h0473805.png" />;
+
{{TEX|auto}}
 +
{{TEX|done}}
  
2) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h0473806.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h0473807.png" />;
+
A [[Vector space|vector space]]  $  H $
 +
over the field of complex (or real) numbers, together with a complex-valued (or real-valued) function  $  ( x, y) $
 +
defined on  $  H \times H $,
 +
with the following properties:
  
3) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h0473808.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h0473809.png" />;
+
1)  $  ( x, x) = 0 $
 +
if and only if  $  x = 0 $;
  
4) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738010.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738011.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738012.png" /> a complex (or real) number;
+
2) $  ( x, x ) \geq  0 $
 +
for all  $  x \in H $;
  
5) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738013.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738014.png" />;
+
3)  $  ( x + y, z) = ( x, z) + ( y, z) $,
 +
$  x, y, z \in H $;
  
6) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738016.png" /> and if
+
4)  $  ( \alpha x, y) = \alpha ( x, y) $,
 +
$  x, y \in H $,  
 +
$  \alpha $
 +
a complex (or real) number;
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738017.png" /></td> </tr></table>
+
5)  $  ( x, y) = \overline{ {( y, x) }}\; $,
 +
$  x, y \in H $;
  
then there exists an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738018.png" /> such that
+
6) if  $  x _ {n} \in H $,
 +
$  n = 1, 2 \dots $
 +
and if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738019.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {n, m \rightarrow \infty } \
 +
( x _ {n} - x _ {m} , x _ {n} - x _ {m} )  = 0,
 +
$$
  
the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738020.png" /> is called the limit of the sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738021.png" />;
+
then there exists an element $  x \in H $
 +
such that
  
7) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738022.png" /> is an infinite-dimensional vector space.
+
$$
 +
\lim\limits _ {n \rightarrow \infty } \
 +
( x - x _ {n} , x - x _ {n} ) = 0;
 +
$$
  
The function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738023.png" /> which satisfies axioms 1)–5) is called the scalar (or inner) product of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738024.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738025.png" />. The magnitude <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738026.png" /> is said to be the norm (or the length) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738027.png" />. The inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738028.png" /> is valid. If a distance between elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738029.png" /> is introduced in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738030.png" /> by means of the equality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738031.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738032.png" /> is converted into a [[Metric space|metric space]].
+
the element  $  x $
 +
is called the limit of the sequence  $  ( x _ {n} ) $;
  
Two Hilbert spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738033.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738034.png" /> are said to be isomorphic (or isometrically isomorphic) if there exists a one-to-one correspondence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738035.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738036.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738037.png" />, between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738038.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738039.png" /> which preserves the linear operations and the scalar product.
+
7) $  H $
 +
is an infinite-dimensional vector space.
  
Hilbert spaces constitute the class of infinite-dimensional vector spaces that are most often used and that are the most important as far as applications are concerned. They are the natural extension of the concept of a finite-dimensional vector space with a scalar product (i.e. a finite-dimensional Euclidean space or a finite-dimensional unitary space). In fact, if a scalar product is specified in a finite-dimensional vector space (over the field of real or complex numbers), then property 6), which is called the completeness of the Hilbert space, is automatically satisfied. Infinite-dimensional vector spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738040.png" /> with a scalar product are known as pre-Hilbert spaces; there exist pre-Hilbert spaces for which property 6) does not hold. Any pre-Hilbert space can be completed to a Hilbert space.
+
The function  $  ( x, y) $
 +
which satisfies axioms 1)–5) is called the scalar (or inner) product of  $  x $
 +
and  $  y $.
 +
The magnitude  $  \| x \| = ( x, x)  ^ {1/2} $
 +
is said to be the norm (or the length) of  $  x \in H $.
 +
The inequality  $  | ( x, y ) | \leq  \| x  \| \cdot \|  y \| $
 +
is valid. If a distance between elements  $  x, y \in H $
 +
is introduced in  $  H $
 +
by means of the equality  $  \rho ( x, y ) = \| x - y \| $,
 +
$  H $
 +
is converted into a [[Metric space|metric space]].
 +
 
 +
Two Hilbert spaces  $  H $
 +
and  $  H _ {1} $
 +
are said to be isomorphic (or isometrically isomorphic) if there exists a one-to-one correspondence  $  x \iff x _ {1} $,
 +
$  x \in H $,
 +
$  x _ {1} \in H _ {1} $,
 +
between  $  H $
 +
and  $  H _ {1} $
 +
which preserves the linear operations and the scalar product.
 +
 
 +
Hilbert spaces constitute the class of infinite-dimensional vector spaces that are most often used and that are the most important as far as applications are concerned. They are the natural extension of the concept of a finite-dimensional vector space with a scalar product (i.e. a finite-dimensional Euclidean space or a finite-dimensional unitary space). In fact, if a scalar product is specified in a finite-dimensional vector space (over the field of real or complex numbers), then property 6), which is called the completeness of the Hilbert space, is automatically satisfied. Infinite-dimensional vector spaces $  H $
 +
with a scalar product are known as pre-Hilbert spaces; there exist pre-Hilbert spaces for which property 6) does not hold. Any pre-Hilbert space can be completed to a Hilbert space.
  
 
In the definition of a Hilbert space the condition of infinite dimensionality is often omitted, i.e. a pre-Hilbert space is understood to mean a vector space over the field of complex (or real) numbers with a scalar product, while a Hilbert space is the name given to a complete pre-Hilbert space.
 
In the definition of a Hilbert space the condition of infinite dimensionality is often omitted, i.e. a pre-Hilbert space is understood to mean a vector space over the field of complex (or real) numbers with a scalar product, while a Hilbert space is the name given to a complete pre-Hilbert space.
Line 33: Line 84:
 
===Examples of Hilbert spaces.===
 
===Examples of Hilbert spaces.===
  
 +
1) The complex space  $  l _ {2} $(
 +
or  $  l  ^ {2} $).
 +
The elements of this Hilbert space are infinite sequences of complex numbers  $  x = \{ \xi _ {1} , \xi _ {2} ,\dots \} $,
 +
$  y = \{ \eta _ {1} , \eta _ {2} ,\dots \} $
 +
that are square summable:
  
1) The complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738041.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738042.png" />). The elements of this Hilbert space are infinite sequences of complex numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738043.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738044.png" /> that are square summable:
+
$$
 
+
\sum _ {k = 1 } ^  \infty  | \xi _ {k} |  ^ {2}  < + \infty ,\ \
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738045.png" /></td> </tr></table>
+
\sum _ {k = 1 } ^  \infty  | \eta _ {k} |  ^ {2}  < + \infty .
 +
$$
  
 
The scalar product is defined by the equation
 
The scalar product is defined by the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738046.png" /></td> </tr></table>
+
$$
 +
( x, y)  = \
 +
\sum _ {k = 1 } ^  \infty  \xi _ {k} \overline \eta \; _ {k} .
 +
$$
  
2) The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738047.png" /> (a generalization of Example 1)). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738048.png" /> be an arbitrary set. The elements of the Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738049.png" /> are complex-valued functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738050.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738051.png" /> differing from zero in at most countably many points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738052.png" /> and such that the series
+
2) The space $  l _ {2} ( T) $(
 +
a generalization of Example 1)). Let $  T $
 +
be an arbitrary set. The elements of the Hilbert space $  l _ {2} ( T) $
 +
are complex-valued functions $  x( t) $
 +
on $  T $
 +
differing from zero in at most countably many points $  t \in T $
 +
and such that the series
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738053.png" /></td> </tr></table>
+
$$
 +
\sum _ {t \in T } | x ( t) |  ^ {2}
 +
$$
  
 
converges. The scalar product is defined by the equation
 
converges. The scalar product is defined by the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738054.png" /></td> </tr></table>
+
$$
 +
( x, y)  = \
 +
\sum _ {t \in T } x ( t) \overline{ {y ( t) }}\; .
 +
$$
  
Any Hilbert space is isomorphic to the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738055.png" /> for some suitably chosen <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738056.png" />.
+
Any Hilbert space is isomorphic to the space $  l _ {2} ( T) $
 +
for some suitably chosen $  T $.
  
 
{{Anchor|L2 space}}
 
{{Anchor|L2 space}}
3) The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738057.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738058.png" />) of complex-valued functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738059.png" /> defined on a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738060.png" /> with a totally-additive positive measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738061.png" /> (given on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738062.png" />-algebra of subsets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738063.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738064.png" />) which are measurable and have an integrable square modulus:
+
3) The space $  L _ {2} ( S, \Sigma , \mu ) $(
 +
or $  L  ^ {2} ( S, \Sigma , \mu ) $)  
 +
of complex-valued functions $  x( s) $
 +
defined on a set $  S $
 +
with a totally-additive positive measure $  \mu $(
 +
given on the $  \sigma $-
 +
algebra of subsets $  \Sigma $
 +
of $  S $)  
 +
which are measurable and have an integrable square modulus:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738065.png" /></td> </tr></table>
+
$$
 +
\int\limits _ { S } | x ( s) |  ^ {2}  d \mu ( s)  < + \infty .
 +
$$
  
 
In this Hilbert space the scalar product is defined by:
 
In this Hilbert space the scalar product is defined by:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738066.png" /></td> </tr></table>
+
$$
 +
( x ( s), y ( s))  = \
 +
\int\limits _ { S } x ( s) \overline{ {y ( s) }}\; d \mu ( s).
 +
$$
  
4) The [[Sobolev space|Sobolev space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738067.png" />, which is also denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738068.png" /> (cf. [[Imbedding theorems|Imbedding theorems]]).
+
4) The [[Sobolev space|Sobolev space]] $  W _ {l}  ^ {2} ( \Omega ) $,  
 +
which is also denoted by $  H _ {(} l) $(
 +
cf. [[Imbedding theorems|Imbedding theorems]]).
  
5) A Hilbert space of functions with values in a Hilbert space. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738069.png" /> be some Hilbert space with scalar product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738070.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738071.png" />. Further, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738072.png" /> be an arbitrary domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738073.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738074.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738075.png" />, be a function with values in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738076.png" /> that is Bochner-measurable (cf. [[Bochner integral|Bochner integral]]) and is such that
+
5) A Hilbert space of functions with values in a Hilbert space. Let $  H $
 +
be some Hilbert space with scalar product $  ( x, y) $,
 +
$  x, y \in H $.  
 +
Further, let $  \Omega $
 +
be an arbitrary domain in $  \mathbf R  ^ {n} $,  
 +
and let $  f( x) $,  
 +
$  x \in \Omega $,  
 +
be a function with values in $  H $
 +
that is Bochner-measurable (cf. [[Bochner integral|Bochner integral]]) and is such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738077.png" /></td> </tr></table>
+
$$
 +
\int\limits _  \Omega  \| f ( x) \| _ {H}  ^ {2}  dx  < \infty ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738078.png" /> is Lebesgue measure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738079.png" /> (instead of Lebesgue measure one may take any other positive countably-additive measure). If one defines the scalar product
+
where $  d x $
 +
is Lebesgue measure on $  \Omega $(
 +
instead of Lebesgue measure one may take any other positive countably-additive measure). If one defines the scalar product
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738080.png" /></td> </tr></table>
+
$$
 +
( f ( x), g ( x)) _  \perp  = \
 +
\int\limits _  \Omega  ( f ( x), g ( x))  dx
 +
$$
  
on this set of functions, a new Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738081.png" /> is obtained.
+
on this set of functions, a new Hilbert space $  H _ {1} $
 +
is obtained.
  
 
6) The set of continuous [[Bohr almost-periodic functions|Bohr almost-periodic functions]] on the real line forms a pre-Hilbert space if the scalar product is defined by
 
6) The set of continuous [[Bohr almost-periodic functions|Bohr almost-periodic functions]] on the real line forms a pre-Hilbert space if the scalar product is defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738082.png" /></td> </tr></table>
+
$$
 +
( x ( t), y ( t))  = \
 +
\lim\limits _ {T \rightarrow \infty } \
 +
{
 +
\frac{1}{2T}
 +
}
 +
\int\limits _ {- T } ^ { T }  x ( t) \overline{ {y ( t) }}\; dt.
 +
$$
  
The existence of the limit follows from the theory of almost-periodic functions. This space is completed to the class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738083.png" /> of [[Besicovitch almost-periodic functions|Besicovitch almost-periodic functions]].
+
The existence of the limit follows from the theory of almost-periodic functions. This space is completed to the class $  B  ^ {2} $
 +
of [[Besicovitch almost-periodic functions|Besicovitch almost-periodic functions]].
  
The spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738084.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738085.png" /> were introduced and studied by D. Hilbert [[#References|[1]]] in his fundamental work on the theory of integral equations and infinite quadratic forms. The definition of a Hilbert space was given by J. von Neumann [[#References|[3]]], F. Riesz [[#References|[4]]] and M.H. Stone [[#References|[13]]], who also laid the basis for their systematic study.
+
The spaces $  l _ {2} $
 +
and $  L _ {2} $
 +
were introduced and studied by D. Hilbert [[#References|[1]]] in his fundamental work on the theory of integral equations and infinite quadratic forms. The definition of a Hilbert space was given by J. von Neumann [[#References|[3]]], F. Riesz [[#References|[4]]] and M.H. Stone [[#References|[13]]], who also laid the basis for their systematic study.
  
A Hilbert space is a natural extension of the ordinary three-dimensional space in Euclidean geometry, and many geometric concepts have their interpretation in a Hilbert space, so that one is entitled to speak about the geometry of Hilbert space. Two vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738086.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738087.png" /> from a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738088.png" /> are said to be orthogonal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738089.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738090.png" />. Two linear subspaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738091.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738092.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738093.png" /> are said to be orthogonal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738094.png" /> if each element of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738095.png" /> is orthogonal to each element from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738096.png" />. The orthogonal complement of a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738097.png" /> is the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738098.png" />, i.e. the set of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h04738099.png" /> which are orthogonal to all elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380100.png" />. It is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380101.png" /> or, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380102.png" /> is understood, by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380103.png" />. The orthogonal complement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380104.png" /> of an arbitrary set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380105.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380106.png" /> is a closed linear subspace. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380107.png" /> is a closed linear subspace in a Hilbert space (which may also be referred to as a Hilbert subspace), then any element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380108.png" /> can be uniquely represented as the sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380109.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380110.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380111.png" />. This decomposition is known as the theorem on orthogonal complements and is usually written as
+
A Hilbert space is a natural extension of the ordinary three-dimensional space in Euclidean geometry, and many geometric concepts have their interpretation in a Hilbert space, so that one is entitled to speak about the geometry of Hilbert space. Two vectors $  x $
 +
and $  y $
 +
from a Hilbert space $  H $
 +
are said to be orthogonal $  ( x \perp  y) $
 +
if $  ( x, y ) = 0 $.  
 +
Two linear subspaces $  \mathfrak M $
 +
and $  \mathfrak N $
 +
in $  H $
 +
are said to be orthogonal $  ( \mathfrak M \perp  \mathfrak N ) $
 +
if each element of $  \mathfrak M $
 +
is orthogonal to each element from $  \mathfrak N $.  
 +
The orthogonal complement of a set $  A \subset  H $
 +
is the set $  B = \{ {x } : {( x, A) = 0 } \} $,  
 +
i.e. the set of elements $  x \in H $
 +
which are orthogonal to all elements of $  A $.  
 +
It is denoted by $  H \ominus A $
 +
or, if $  H $
 +
is understood, by $  A  ^  \perp  $.  
 +
The orthogonal complement $  \mathfrak N $
 +
of an arbitrary set $  \mathfrak M $
 +
in $  H $
 +
is a closed linear subspace. If $  \mathfrak M $
 +
is a closed linear subspace in a Hilbert space (which may also be referred to as a Hilbert subspace), then any element $  x \in H $
 +
can be uniquely represented as the sum $  x = y + z $,  
 +
$  y \in \mathfrak M $,  
 +
$  z \in \mathfrak N $.  
 +
This decomposition is known as the theorem on orthogonal complements and is usually written as
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380112.png" /></td> </tr></table>
+
$$
 +
= \mathfrak M \oplus \mathfrak N .
 +
$$
  
A set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380113.png" /> is said to be an orthonormal set or an orthonormal system if any two different vectors from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380114.png" /> are orthogonal and if the norm of each vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380115.png" /> is equal to one. An orthonormal set is said to be a complete orthonormal set if there is no non-zero vector from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380116.png" /> that is orthogonal to all the vectors of this set. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380117.png" /> is an orthonormal sequence and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380118.png" /> is a sequence of scalars, then the series
+
A set $  A \subset  H $
 +
is said to be an orthonormal set or an orthonormal system if any two different vectors from $  A $
 +
are orthogonal and if the norm of each vector $  y \in A $
 +
is equal to one. An orthonormal set is said to be a complete orthonormal set if there is no non-zero vector from $  H $
 +
that is orthogonal to all the vectors of this set. If $  \{ y _ {i} \} $
 +
is an orthonormal sequence and $  \{ \alpha _ {i} \} $
 +
is a sequence of scalars, then the series
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380119.png" /></td> </tr></table>
+
$$
 +
\sum _ { i } \alpha _ {i} y _ {i}  $$
  
 
converges if and only if
 
converges if and only if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380120.png" /></td> </tr></table>
+
$$
 +
\sum _ { i } | \alpha _ {i} |  ^ {2}  < \infty ;
 +
$$
  
 
moreover
 
moreover
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380121.png" /></td> </tr></table>
+
$$
 +
\left \| \sum _ { i } \alpha _ {i} y _ {i} \right \|  ^ {2}  = \
 +
\sum _ { i } | \alpha _ {i} |  ^ {2}
 +
$$
  
 
(Pythagoras' theorem in Hilbert spaces).
 
(Pythagoras' theorem in Hilbert spaces).
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380122.png" /> be an orthonormal set in a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380123.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380124.png" /> be an arbitrary vector from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380125.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380126.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380127.png" />, with the exception of a finite or countable set of vectors. The series
+
Let $  A $
 +
be an orthonormal set in a Hilbert space $  H $
 +
and let $  x $
 +
be an arbitrary vector from $  H $.  
 +
Then $  ( x, y) = 0 $
 +
for all $  y \in A $,  
 +
with the exception of a finite or countable set of vectors. The series
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380128.png" /></td> </tr></table>
+
$$
 +
Px  = \sum _ {y \in A } ( x, y) y
 +
$$
  
converges, and its sum is independent of the order of its non-zero terms. The operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380129.png" /> is the orthogonal projection operator, or projector, on the (closed) Hilbert subspace generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380130.png" />.
+
converges, and its sum is independent of the order of its non-zero terms. The operator $  P $
 +
is the orthogonal projection operator, or projector, on the (closed) Hilbert subspace generated by $  A $.
  
A set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380131.png" /> is said to be an orthonormal basis of a linear subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380132.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380133.png" /> is contained in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380134.png" /> and if the equality
+
A set $  A \subset  H $
 +
is said to be an orthonormal basis of a linear subspace $  \mathfrak N \subseteq H $
 +
if $  A $
 +
is contained in $  \mathfrak N $
 +
and if the equality
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380135.png" /></td> </tr></table>
+
$$
 +
= \sum _ {y \in A } ( x, y) y
 +
$$
  
is valid for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380136.png" />, i.e. if any vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380137.png" /> can be expanded with respect to the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380138.png" />, that is, can be represented with the aid of vectors from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380139.png" />. The set of numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380140.png" /> is called the set of Fourier coefficients of the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380141.png" /> with respect to the basis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380142.png" />. Each subspace of a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380143.png" /> (in particular, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380144.png" /> itself) has an orthonormal basis.
+
is valid for any $  x \in \mathfrak N $,  
 +
i.e. if any vector $  x \in \mathfrak N $
 +
can be expanded with respect to the system $  A $,  
 +
that is, can be represented with the aid of vectors from $  A $.  
 +
The set of numbers $  \{ {( x, y) } : {y \in A } \} $
 +
is called the set of Fourier coefficients of the element $  x $
 +
with respect to the basis $  A $.  
 +
Each subspace of a Hilbert space $  H $(
 +
in particular, $  H $
 +
itself) has an orthonormal basis.
  
An orthonormal basis in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380145.png" /> is a set of functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380146.png" /> defined by the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380147.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380148.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380149.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380150.png" />. In a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380151.png" /> the expansion of a vector with respect to a basis takes the form of an expansion with respect to a system of orthogonal functions; this represents an important method for solving problems in mathematical physics.
+
An orthonormal basis in $  l _ {2} ( T) $
 +
is a set of functions $  \{ {x _ {t} } : {t \in T } \} $
 +
defined by the formula $  x _ {t} ( s) = 1 $
 +
if $  s = t $
 +
and $  x _ {t} ( s) = 0 $
 +
if $  s \neq t $.  
 +
In a space $  L _ {2} ( S, \Sigma , \mu ) $
 +
the expansion of a vector with respect to a basis takes the form of an expansion with respect to a system of orthogonal functions; this represents an important method for solving problems in mathematical physics.
  
For an orthonormal set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380152.png" /> the following statements are equivalent: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380153.png" /> is complete; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380154.png" /> is an orthonormal basis for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380155.png" />; and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380156.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380157.png" />.
+
For an orthonormal set $  A \subset  H $
 +
the following statements are equivalent: $  A $
 +
is complete; $  A $
 +
is an orthonormal basis for $  H $;  
 +
and $  \| x \|  ^ {2} = \sum _ {y \in A }  | ( x, y) |  ^ {2} $
 +
for any $  x \in H $.
  
All orthonormal bases of a given Hilbert space have the same cardinality. This fact makes it possible to define the dimension of a Hilbert space. In fact, the dimension of a Hilbert space is the cardinality of an arbitrary orthonormal basis in it. This dimension is sometimes referred to as the Hilbert dimension (as distinct from the linear dimension of a Hilbert space, i.e. the cardinality of the Hamel basis (cf. [[Basis|Basis]]) — a concept which does not take into account the topological structure of the Hilbert space). Two Hilbert spaces are isomorphic if and only if their dimensions are equal. The concept of a dimension is connected with that of the deficiency of a Hilbert subspace, also called the codimension of a Hilbert subspace. In fact, the codimension of a Hilbert subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380158.png" /> of a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380159.png" /> is the dimension of the orthogonal complement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380160.png" />. A Hilbert subspace with codimension equal to one, i.e. the orthogonal complement to which is one-dimensional, is known as a hyperspace. A translate of a hyperspace is called a hyperplane.
+
All orthonormal bases of a given Hilbert space have the same cardinality. This fact makes it possible to define the dimension of a Hilbert space. In fact, the dimension of a Hilbert space is the cardinality of an arbitrary orthonormal basis in it. This dimension is sometimes referred to as the Hilbert dimension (as distinct from the linear dimension of a Hilbert space, i.e. the cardinality of the Hamel basis (cf. [[Basis|Basis]]) — a concept which does not take into account the topological structure of the Hilbert space). Two Hilbert spaces are isomorphic if and only if their dimensions are equal. The concept of a dimension is connected with that of the deficiency of a Hilbert subspace, also called the codimension of a Hilbert subspace. In fact, the codimension of a Hilbert subspace $  H _ {1} $
 +
of a Hilbert space $  H $
 +
is the dimension of the orthogonal complement $  H _ {1}  ^  \perp  = H \ominus H _ {1} $.  
 +
A Hilbert subspace with codimension equal to one, i.e. the orthogonal complement to which is one-dimensional, is known as a hyperspace. A translate of a hyperspace is called a hyperplane.
  
Some of the geometrical concepts involve the use of the terminology of linear operators in a Hilbert space; they include, in particular, the concept of an opening of linear subspaces. The opening of two subspaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380161.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380162.png" /> in a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380163.png" /> is the norm <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380164.png" /> of the difference of the operators which project <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380165.png" /> on the closure of these linear subspaces.
+
Some of the geometrical concepts involve the use of the terminology of linear operators in a Hilbert space; they include, in particular, the concept of an opening of linear subspaces. The opening of two subspaces $  M _ {1} $
 +
and $  M _ {2} $
 +
in a Hilbert space $  H $
 +
is the norm $  \theta ( M _ {1} , M _ {2} ) $
 +
of the difference of the operators which project $  H $
 +
on the closure of these linear subspaces.
  
 
The simplest properties of an opening are:
 
The simplest properties of an opening are:
  
a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380166.png" />;
+
a) $  \theta ( M _ {1} , M _ {2} ) = \theta ( \overline{M}\; _ {1} , \overline{M}\; _ {2} ) - \theta ( H \ominus \overline{M}\; _ {1} , H \ominus \overline{M}\; _ {2} ) $;
  
b) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380167.png" />, and, in the case of strict inequality, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380168.png" />.
+
b) $  \theta ( M _ {1} , M _ {2} ) \leq  1 $,  
 +
and, in the case of strict inequality, $  \mathop{\rm dim}  M _ {1} = \mathop{\rm dim}  M _ {2} $.
  
Many problems in Hilbert spaces involve only finite sets of vectors of a Hilbert space, i.e. elements of finite-dimensional linear subspaces of a Hilbert space. This is why the concepts and methods of linear algebra play an important role in the theory of Hilbert spaces. Vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380169.png" /> in a Hilbert space are said to be linearly independent if the equation
+
Many problems in Hilbert spaces involve only finite sets of vectors of a Hilbert space, i.e. elements of finite-dimensional linear subspaces of a Hilbert space. This is why the concepts and methods of linear algebra play an important role in the theory of Hilbert spaces. Vectors $  g _ {1} \dots g _ {n} $
 +
in a Hilbert space are said to be linearly independent if the equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380170.png" /></td> </tr></table>
+
$$
 +
\sum _ {k = 1 } ^ { n }  \alpha _ {k} g _ {k}  = 0,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380171.png" /> are scalars, holds only if all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380172.png" /> are equal to zero. Vectors are linearly independent if their [[Gram determinant|Gram determinant]] does not vanish. A countable sequence of vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380173.png" /> is said to be a linearly independent sequence if all its finite subsets are linearly independent. Each linearly independent sequence can be orthonormalized, i.e. it is possible to construct an orthonormal system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380174.png" /> such that for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380175.png" /> the linear hulls (cf. [[Linear hull|Linear hull]]) of the sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380176.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380177.png" /> coincide. This construction is known as the Gram–Schmidt orthogonalization (orthonormalization) process and consists of the following:
+
where $  \alpha _ {k} $
 +
are scalars, holds only if all $  \alpha _ {k} $
 +
are equal to zero. Vectors are linearly independent if their [[Gram determinant|Gram determinant]] does not vanish. A countable sequence of vectors $  g _ {1} \dots g _ {n} \dots $
 +
is said to be a linearly independent sequence if all its finite subsets are linearly independent. Each linearly independent sequence can be orthonormalized, i.e. it is possible to construct an orthonormal system $  e _ {1} , e _ {2} \dots $
 +
such that for all $  n $
 +
the linear hulls (cf. [[Linear hull]]) of the sets $  \{ g _ {k} \}_{k=1}^ {n} $
 +
and $  \{ e _ {k} \}_{k=1}^ {n} $
 +
coincide. This construction is known as the Gram–Schmidt orthogonalization (orthonormalization) process and consists of the following:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380178.png" /></td> </tr></table>
+
$$
 +
e _ {1}  =
 +
\frac{g _ {1} }{\| g _ {1} \| }
 +
,\ \
 +
h _ {2}  = g _ {2} - ( g _ {2} , e _ {1} ) e _ {1} ,\ \
 +
e _ {2}  =
 +
\frac{h _ {2} }{\| h _ {2} \| }
 +
  \dots
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380179.png" /></td> </tr></table>
+
$$
 +
h _ {n}  = g _ {n} - \sum _ {k = 1 } ^ { {n }  - 1 } ( g _ {n} , e _ {k} ) e _ {k} ,\  e _ {n}  =
 +
\frac{h _ {n} }{\| h _ {n} \| }
 +
  ,\dots .
 +
$$
  
Operations of direct sum and tensor product are defined in the set of Hilbert spaces. The direct sum of Hilbert spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380180.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380181.png" />, where each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380182.png" /> has a corresponding scalar product, is the Hilbert space
+
Operations of direct sum and tensor product are defined in the set of Hilbert spaces. The direct sum of Hilbert spaces $  H _ {i} $,  
 +
$  i= 1 \dots n $,  
 +
where each $  H _ {i} $
 +
has a corresponding scalar product, is the Hilbert space
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380183.png" /></td> </tr></table>
+
$$
 +
= H _ {1} \oplus \dots \oplus H _ {n}  $$
  
defined as follows: In the vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380184.png" /> — the [[Direct sum|direct sum]] of the vector spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380185.png" /> — the scalar product is defined by
+
defined as follows: In the vector space $  H _ {1} + \dots + H _ {n} $—  
 +
the [[Direct sum|direct sum]] of the vector spaces $  H _ {1} \dots H _ {n} $—  
 +
the scalar product is defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380186.png" /></td> </tr></table>
+
$$
 +
([ x _ {1} \dots x _ {n} ], [ y _ {1} \dots y _ {n} ])  = \
 +
\sum _ {i = 1 } ^ { n }  ( x _ {i} , y _ {i} ) _ {H _ {i}  } .
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380187.png" />, the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380188.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380189.png" /> in the direct sum
+
If $  i \neq j $,  
 +
the elements of $  H _ {i} $
 +
and $  H _ {j} $
 +
in the direct sum
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380190.png" /></td> </tr></table>
+
$$
 +
= \sum _ {i = 1 } ^ { n }  \oplus H _ {i}  $$
  
are mutually orthogonal, and the projection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380191.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380192.png" /> coincides with the orthogonal projection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380193.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380194.png" />. The concept of the direct sum of Hilbert spaces has been generalized to the case of an infinite set of direct components. Let a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380195.png" /> be specified for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380196.png" /> of some index set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380197.png" />. The direct sum of Hilbert spaces (denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380198.png" />) is the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380199.png" /> of all functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380200.png" /> defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380201.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380202.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380203.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380204.png" />. The linear operations in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380205.png" /> are defined by
+
are mutually orthogonal, and the projection of $  H $
 +
onto $  H _ {i} $
 +
coincides with the orthogonal projection of $  H $
 +
onto $  H _ {i} $.  
 +
The concept of the direct sum of Hilbert spaces has been generalized to the case of an infinite set of direct components. Let a Hilbert space $  H _  \nu  $
 +
be specified for each $  \nu $
 +
of some index set $  A $.  
 +
The direct sum of Hilbert spaces (denoted by $  \sum _ {\nu \in A }  \oplus H _  \nu  $)  
 +
is the set $  H $
 +
of all functions $  \{ x _  \nu  \} $
 +
defined on $  A $
 +
such that $  x _  \nu  \in H _  \nu  $
 +
for each $  \nu \in A $,  
 +
and $  \sum _ {\nu \in A }  \| x _  \nu  \|  ^ {2} < \infty $.  
 +
The linear operations in $  H $
 +
are defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380206.png" /></td> </tr></table>
+
$$
 +
\{ x _  \nu  \} + \{ y _  \nu  \}  = \{ x _  \nu  + y _  \nu  \} ,\ \
 +
\alpha \{ x _  \nu  \}  = \{ \alpha x _  \nu  \} ,
 +
$$
  
 
while the scalar product is defined by
 
while the scalar product is defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380207.png" /></td> </tr></table>
+
$$
 +
( \{ x _  \nu  \} , \{ y _  \nu  \} )  = \
 +
\sum _ {\nu \in A } ( x _  \nu  , y _  \nu  ) _ {H _  \nu  } .
 +
$$
  
 
If the linear operations and the scalar product are defined in this manner, the direct sum
 
If the linear operations and the scalar product are defined in this manner, the direct sum
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380208.png" /></td> </tr></table>
+
$$
 +
= \sum _ {\nu \in A } \oplus H _  \nu  $$
  
 
becomes a Hilbert space.
 
becomes a Hilbert space.
  
Another important operation in the set of Hilbert spaces is the tensor product. The tensor product of Hilbert spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380209.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380210.png" />, is defined as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380211.png" /> be the [[Tensor product|tensor product]] of the vector spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380212.png" />. In the vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380213.png" /> there exists a unique scalar product such that
+
Another important operation in the set of Hilbert spaces is the tensor product. The tensor product of Hilbert spaces $  H _ {i} $,  
 +
$  i = 1 \dots n $,  
 +
is defined as follows. Let $  H _ {1} \odot \dots \odot H _ {n} $
 +
be the [[Tensor product|tensor product]] of the vector spaces $  H _ {1} \dots H _ {n} $.  
 +
In the vector space $  H _ {1} \odot \dots \odot H _ {n} $
 +
there exists a unique scalar product such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380214.png" /></td> </tr></table>
+
$$
 +
( x _ {1} \odot \dots \odot x _ {n} , y _ {1} \odot \dots \odot y _ {n} )  = \
 +
\prod _ {i = 1 } ^ { n }  ( x _ {i} , y _ {i} ) _ {H _ {i}  }
 +
$$
  
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380215.png" />. Thus, the vector space becomes a pre-Hilbert space, whose completion is a Hilbert space, denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380216.png" />, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380217.png" />, and is known as the tensor product of the Hilbert spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380218.png" />.
+
for all $  x _ {i} , y _ {i} \in H _ {i} $.  
 +
Thus, the vector space becomes a pre-Hilbert space, whose completion is a Hilbert space, denoted by $  H _ {1} \otimes \dots \otimes H _ {n} $,  
 +
or $  \prod_{i=1}^ {n} H _ {i} $,  
 +
and is known as the tensor product of the Hilbert spaces $  H _ {i} $.
  
Hilbert spaces form an important class of Banach spaces; any Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380219.png" /> is a [[Banach space|Banach space]] with respect to the norm <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380220.png" />, and the following parallelogram identity holds for any two vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380221.png" />:
+
Hilbert spaces form an important class of Banach spaces; any Hilbert space $  H $
 +
is a [[Banach space|Banach space]] with respect to the norm $  \| x \| = ( x, x)  ^ {1/2} $,  
 +
and the following parallelogram identity holds for any two vectors $  x, y \in H $:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380222.png" /></td> </tr></table>
+
$$
 +
\| x + y \|  ^ {2} + \| x - y \|  ^ {2}  = \
 +
2 ( \| x \|  ^ {2} + \| y \|  ^ {2} ).
 +
$$
  
The parallelogram identity distinguishes the class of Hilbert spaces from the Banach spaces, viz. if the parallelogram identity is valid in a real normed space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380223.png" /> for any pair of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380224.png" />, then the function
+
The parallelogram identity distinguishes the class of Hilbert spaces from the Banach spaces, viz. if the parallelogram identity is valid in a real normed space $  B $
 +
for any pair of elements $  x, y \in B $,
 +
then the function
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380225.png" /></td> </tr></table>
+
$$
 +
( x, y)  = {
 +
\frac{1}{4}
 +
} ( \| x + y \|  ^ {2} -
 +
\| x - y \|  ^ {2} )
 +
$$
  
satisfies the axioms of a scalar product, and thus makes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380226.png" /> into a pre-Hilbert space (if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380227.png" /> is a Banach space, it is made a Hilbert space). From the parallelogram identity it follows that every Hilbert space is a uniformly-convex space. As in any Banach space, two topologies may be specified in a Hilbert space — a strong (norm) one and a weak one. These topologies are different. A Hilbert space is separable in the strong topology if and only if it is separable in the [[Weak topology|weak topology]]; a convex set (in particular, a linear subspace) in a Hilbert space is strongly closed if and only if it is weakly closed.
+
satisfies the axioms of a scalar product, and thus makes $  B $
 +
into a pre-Hilbert space (if $  B $
 +
is a Banach space, it is made a Hilbert space). From the parallelogram identity it follows that every Hilbert space is a uniformly-convex space. As in any Banach space, two topologies may be specified in a Hilbert space — a strong (norm) one and a weak one. These topologies are different. A Hilbert space is separable in the strong topology if and only if it is separable in the [[Weak topology|weak topology]]; a convex set (in particular, a linear subspace) in a Hilbert space is strongly closed if and only if it is weakly closed.
  
As in the theory of general Banach spaces, so, too, in the theory of Hilbert spaces, the concept of separability plays an important role. A Hilbert space is separable if and only if it has countable dimension. The Hilbert spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380228.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380229.png" /> are separable; the Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380230.png" /> is separable if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380231.png" /> is at most countable; a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380232.png" /> is separable if the measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380233.png" /> has a countable basis. The Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380234.png" /> is not separable.
+
As in the theory of general Banach spaces, so, too, in the theory of Hilbert spaces, the concept of separability plays an important role. A Hilbert space is separable if and only if it has countable dimension. The Hilbert spaces $  l _ {2} $
 +
and $  H _ {(} l) $
 +
are separable; the Hilbert space $  l _ {2} ( T) $
 +
is separable if and only if $  T $
 +
is at most countable; a Hilbert space $  L _ {2} ( S, \Sigma , \mu ) $
 +
is separable if the measure $  \mu $
 +
has a countable basis. The Hilbert space $  B _ {2} $
 +
is not separable.
  
Any orthonormal basis in a separable Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380235.png" /> is at the same time an unconditional Schauder [[Basis|basis]] in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380236.png" />, regarded as a Banach space. However, non-orthogonal Schauder bases also exist in separable Hilbert spaces. Accordingly, the following theorem is valid [[#References|[7]]]: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380237.png" /> be a complete system of vectors in a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380238.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380239.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380240.png" /> be the smallest and the largest eigen values of the [[Gram matrix|Gram matrix]]
+
Any orthonormal basis in a separable Hilbert space $  H $
 +
is at the same time an unconditional Schauder [[Basis|basis]] in $  H $,  
 +
regarded as a Banach space. However, non-orthogonal Schauder bases also exist in separable Hilbert spaces. Accordingly, the following theorem is valid [[#References|[7]]]: Let $  \{ f _ {k} \} $
 +
be a complete system of vectors in a Hilbert space $  H $
 +
and let $  \lambda _ {n} $
 +
and $  \Lambda _ {n} $
 +
be the smallest and the largest eigen values of the [[Gram matrix|Gram matrix]]
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380241.png" /></td> </tr></table>
+
$$
 +
\{ \alpha _ {jk} \} _ {j, k = 1 }  ^ {n} ,\ \
 +
\alpha _ {jk}  = ( f _ {k} , f _ {j} ).
 +
$$
  
 
If
 
If
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380242.png" /></td> </tr></table>
+
$$
 +
\lim\limits _ {n \rightarrow \infty }  \inf  \lambda _ {n}  > 0 \ \
 +
\textrm{ and } \ \
 +
\lim\limits _ {n \rightarrow \infty }  \sup  \Lambda _ {n}  < \infty ,
 +
$$
  
then 1) the sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380243.png" /> is a basis in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380244.png" />; and 2) there exists a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380245.png" /> biorthogonal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380246.png" /> which is also a basis in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380247.png" />.
+
then 1) the sequence $  \{ f _ {k} \} $
 +
is a basis in $  H $;  
 +
and 2) there exists a sequence $  \{ g _ {k} \} $
 +
biorthogonal to $  \{ f _ {k} \} $
 +
which is also a basis in $  H $.
  
As in any Banach space, the description of the set of linear functionals on a Hilbert space and the study of the properties of these functionals is very important. Linear functionals on Hilbert spaces have a particularly simple structure. Any linear functional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380248.png" /> on a Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380249.png" /> can be uniquely denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380250.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380251.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380252.png" />; moreover <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380253.png" />. The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380254.png" /> of linear functionals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380255.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380256.png" /> is isometrically anti-isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380257.png" /> (i.e. the correspondence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380258.png" /> is isometric, additive and anti-homogeneous: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380259.png" />). In particular, a Hilbert space is reflexive (cf. [[Reflexive space|Reflexive space]]), and for this reason the following statements are valid: a Hilbert space is weakly sequentially complete; a subset of a Hilbert space is relatively weakly compact if and only if it is bounded.
+
As in any Banach space, the description of the set of linear functionals on a Hilbert space and the study of the properties of these functionals is very important. Linear functionals on Hilbert spaces have a particularly simple structure. Any linear functional $  f $
 +
on a Hilbert space $  H $
 +
can be uniquely denoted by $  f( x) = ( x, x  ^ {*} ) $
 +
for all $  x \in H $,  
 +
where $  x  ^ {*} \in H $;  
 +
moreover $  \| f \| = \| x  ^ {*} \| $.  
 +
The space $  H  ^ {*} $
 +
of linear functionals $  f $
 +
on $  H $
 +
is isometrically anti-isomorphic to $  H $(
 +
i.e. the correspondence $  f \rightarrow x  ^ {*} $
 +
is isometric, additive and anti-homogeneous: $  \alpha f \rightarrow \overline \alpha \; x  ^ {*} $).  
 +
In particular, a Hilbert space is reflexive (cf. [[Reflexive space|Reflexive space]]), and for this reason the following statements are valid: a Hilbert space is weakly sequentially complete; a subset of a Hilbert space is relatively weakly compact if and only if it is bounded.
  
 
The main content of the theory of Hilbert spaces is the theory of linear operators on them. The concept of a Hilbert space itself was formulated in the works of Hilbert [[#References|[2]]] and E. Schmidt [[#References|[14]]] on the theory of integral equations, while the abstract definition of a Hilbert space was given by von Neumann [[#References|[3]]], F. Riesz [[#References|[4]]] and Stone [[#References|[13]]] in their studies of Hermitian operators. The theory of operators on a Hilbert space is a fundamental branch of the general theory of operators for two reasons.
 
The main content of the theory of Hilbert spaces is the theory of linear operators on them. The concept of a Hilbert space itself was formulated in the works of Hilbert [[#References|[2]]] and E. Schmidt [[#References|[14]]] on the theory of integral equations, while the abstract definition of a Hilbert space was given by von Neumann [[#References|[3]]], F. Riesz [[#References|[4]]] and Stone [[#References|[13]]] in their studies of Hermitian operators. The theory of operators on a Hilbert space is a fundamental branch of the general theory of operators for two reasons.
Line 197: Line 513:
 
Secondly, the intensively developed theory of self-adjoint operators (cf. [[Self-adjoint operator|Self-adjoint operator]]) on a Hilbert space (in particular, that of cyclic, nilpotent, cellular, contractible, spectral, and scalar operators) is an important model of the theory of linear operators on more general spaces.
 
Secondly, the intensively developed theory of self-adjoint operators (cf. [[Self-adjoint operator|Self-adjoint operator]]) on a Hilbert space (in particular, that of cyclic, nilpotent, cellular, contractible, spectral, and scalar operators) is an important model of the theory of linear operators on more general spaces.
  
An important class of linear operators on a Hilbert space is formed by the everywhere-defined continuous operators, also called bounded operators. If one introduces on the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380260.png" /> of bounded linear operators on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380261.png" /> the operations of addition, multiplication by a scalar and multiplication of operators, as well as the norm of an operator, by the usual rules (see [[Linear operator|Linear operator]]) and defines the [[Involution|involution]] in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380262.png" /> as transition to the [[Adjoint operator|adjoint operator]], then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380263.png" /> becomes a [[Banach algebra|Banach algebra]] with involution. Important classes of bounded operators on a Hilbert space are the self-adjoint operators, the unitary operators and the normal operators (cf. [[Self-adjoint operator|Self-adjoint operator]]; [[Unitary operator|Unitary operator]]; [[Normal operator|Normal operator]]), since they have special properties with respect to the scalar product. These classes of operators are well-studied; the fundamental instruments in their study are the simplest bounded self-adjoint operators, such as the operators of orthogonal projection, or simply projectors (cf. [[Projector|Projector]]). The means by which any self-adjoint, unitary or normal operator on a complex Hilbert space is constructed from projectors, is given by the [[Spectral decomposition of a linear operator|spectral decomposition of a linear operator]], which is especially simple in the case of a separable Hilbert space.
+
An important class of linear operators on a Hilbert space is formed by the everywhere-defined continuous operators, also called bounded operators. If one introduces on the set $  \mathfrak B ( H) $
 +
of bounded linear operators on $  H $
 +
the operations of addition, multiplication by a scalar and multiplication of operators, as well as the norm of an operator, by the usual rules (see [[Linear operator|Linear operator]]) and defines the [[Involution|involution]] in $  \mathfrak B ( H) $
 +
as transition to the [[Adjoint operator|adjoint operator]], then $  \mathfrak B ( H) $
 +
becomes a [[Banach algebra|Banach algebra]] with involution. Important classes of bounded operators on a Hilbert space are the self-adjoint operators, the unitary operators and the normal operators (cf. [[Self-adjoint operator|Self-adjoint operator]]; [[Unitary operator|Unitary operator]]; [[Normal operator|Normal operator]]), since they have special properties with respect to the scalar product. These classes of operators are well-studied; the fundamental instruments in their study are the simplest bounded self-adjoint operators, such as the operators of orthogonal projection, or simply projectors (cf. [[Projector|Projector]]). The means by which any self-adjoint, unitary or normal operator on a complex Hilbert space is constructed from projectors, is given by the [[Spectral decomposition of a linear operator|spectral decomposition of a linear operator]], which is especially simple in the case of a separable Hilbert space.
  
 
A more complex branch of the theory of linear operators on a Hilbert space is the theory of unbounded operators. The most important unbounded operators on a Hilbert space are the closed linear operators with a dense domain of definition; in particular, unbounded self-adjoint and normal operators. Between the self-adjoint and the unitary operators on a Hilbert space there is a one-to-one relation, defined by the Cayley transformation (cf. [[Cayley transform|Cayley transform]]). Of importance (especially in the theory of linear differential operators) is the class of symmetric operators (cf. [[Symmetric operator|Symmetric operator]]) on a Hilbert space, and the theory of self-adjoint extensions of such operators.
 
A more complex branch of the theory of linear operators on a Hilbert space is the theory of unbounded operators. The most important unbounded operators on a Hilbert space are the closed linear operators with a dense domain of definition; in particular, unbounded self-adjoint and normal operators. Between the self-adjoint and the unitary operators on a Hilbert space there is a one-to-one relation, defined by the Cayley transformation (cf. [[Cayley transform|Cayley transform]]). Of importance (especially in the theory of linear differential operators) is the class of symmetric operators (cf. [[Symmetric operator|Symmetric operator]]) on a Hilbert space, and the theory of self-adjoint extensions of such operators.
  
Unbounded self-adjoint and normal operators on a complex Hilbert space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380264.png" /> also have a spectral decomposition. The spectral decomposition is the greatest achievement of the theory of self-adjoint and normal operators on a Hilbert space. It corresponds to the classical reduction theory of Hermitian and normal complex matrices on an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380265.png" />-dimensional unitary space. Namely, the spectral decomposition and the operator calculus for self-adjoint and normal operators which is related to it ensure a wide range of applications in various parts of mathematics for the theory of operators on a Hilbert space.
+
Unbounded self-adjoint and normal operators on a complex Hilbert space $  H $
 +
also have a spectral decomposition. The spectral decomposition is the greatest achievement of the theory of self-adjoint and normal operators on a Hilbert space. It corresponds to the classical reduction theory of Hermitian and normal complex matrices on an $  n $-
 +
dimensional unitary space. Namely, the spectral decomposition and the operator calculus for self-adjoint and normal operators which is related to it ensure a wide range of applications in various parts of mathematics for the theory of operators on a Hilbert space.
  
For bounded self-adjoint operators on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047380/h047380266.png" /> the spectral decomposition was found by Hilbert [[#References|[1]]], who also introduced the important concept of a [[Resolution of the identity|resolution of the identity]] for a self-adjoint operator. Nowadays, several approaches to the spectral theory of self-adjoint and normal operators are available. One of the most profound is given by the theory of Banach algebras. The spectral decomposition of an unbounded self-adjoint operator was found by von Neumann [[#References|[3]]]. His work preceded the important investigations of T. Carleman [[#References|[8]]], who obtained the spectral decomposition for the case of a symmetric integral operator, and who also discovered that there is no complete analogy between symmetric bounded and unbounded operators. The importance of the concept of a self-adjoint operator was first drawn attention to by Schmidt (cf. [[#References|[3]]]).
+
For bounded self-adjoint operators on $  l _ {2} $
 +
the spectral decomposition was found by Hilbert [[#References|[1]]], who also introduced the important concept of a [[Resolution of the identity|resolution of the identity]] for a self-adjoint operator. Nowadays, several approaches to the spectral theory of self-adjoint and normal operators are available. One of the most profound is given by the theory of Banach algebras. The spectral decomposition of an unbounded self-adjoint operator was found by von Neumann [[#References|[3]]]. His work preceded the important investigations of T. Carleman [[#References|[8]]], who obtained the spectral decomposition for the case of a symmetric integral operator, and who also discovered that there is no complete analogy between symmetric bounded and unbounded operators. The importance of the concept of a self-adjoint operator was first drawn attention to by Schmidt (cf. [[#References|[3]]]).
  
 
Note that both for the investigations by Hilbert, and for much later investigations, the works of P.L. Chebyshev, A.A. Markov and Th.J. Stieltjes on the classical problems of moments, Jacobi matrices and continued fractions (cf. [[#References|[9]]]) were of great importance (cf. [[Continued fraction|Continued fraction]]; [[Jacobi matrix|Jacobi matrix]]; [[Moment problem|Moment problem]]).
 
Note that both for the investigations by Hilbert, and for much later investigations, the works of P.L. Chebyshev, A.A. Markov and Th.J. Stieltjes on the classical problems of moments, Jacobi matrices and continued fractions (cf. [[#References|[9]]]) were of great importance (cf. [[Continued fraction|Continued fraction]]; [[Jacobi matrix|Jacobi matrix]]; [[Moment problem|Moment problem]]).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> D. Hilbert,   "Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen" , Chelsea, reprint (1953)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A.S. Besicovitch,   "Almost periodic functions" , Cambridge Univ. Press (1932)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> J. von Neumann,   "Allgemeine Eigenwerttheorie Hermitischer Funktionaloperatoren" ''Math. Ann.'' , '''102''' (1929) pp. 49–131</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> F. Riesz,   "Ueber die linearen Transformationen des komplexen Hilbertschen Raumes" ''Acta. Sci. Math. Szeged'' , '''5''' : 1 (1930) pp. 23–54</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> J.A. Dieudonné,   "Foundations of modern analysis" , Acad. Press (1961) (Translated from French)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> N. Bourbaki,   "Elements of mathematics. Topological vector spaces" , Addison-Wesley (1977) (Translated from French)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> N.I. [N.I. Akhiezer] Achieser,   I.M. [I.M. Glaz'man] Glasman,   "Theorie der linearen Operatoren im Hilbert Raum" , Akademie Verlag (1954) (Translated from Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> T. Carleman,   "Sur les équations intégrales singulières à noyau réel et symmétrique" ''Univ. Årsskrift'' : 3 , Uppsala (1923)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> N.I. Akhiezer,   "The classical moment problem and some related questions in analysis" , Oliver &amp; Boyd (1965) (Translated from Russian)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> N. Dunford,   J.T. Schwartz,   "Linear operators" , '''1–3''' , Interscience (1958–1971)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> F. Riesz,   B. Szökefalvi-Nagy,   "Functional analysis" , F. Ungar (1955) (Translated from French)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> M.A. Naimark,   "Lineare Differentialoperatoren" , Akademie Verlag (1960) (Translated from Russian)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> M.H. Stone,   "Linear transformations in Hilbert space and their applications to analysis" , Amer. Math. Soc. (1932)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> A.N. Kolmogorov,   S.V. Fomin,   "Elements of the theory of functions and functional analysis" , '''1–2''' , Graylock (1957–1961) (Translated from Russian)</TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> D. Hilbert, "Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen" , Chelsea, reprint (1953) {{MR|0056184}} {{ZBL|0050.10201}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A.S. Besicovitch, "Almost periodic functions" , Cambridge Univ. Press (1932) {{MR|0068029}} {{MR|1522718}} {{ZBL|0004.25303}} {{ZBL|58.0264.02}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> J. von Neumann, "Allgemeine Eigenwerttheorie Hermitischer Funktionaloperatoren" ''Math. Ann.'' , '''102''' (1929) pp. 49–131</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> F. Riesz, "Ueber die linearen Transformationen des komplexen Hilbertschen Raumes" ''Acta. Sci. Math. Szeged'' , '''5''' : 1 (1930) pp. 23–54 {{MR|}} {{ZBL|56.0356.02}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> J.A. Dieudonné, "Foundations of modern analysis" , Acad. Press (1961) (Translated from French) {{MR|1531180}} {{ZBL|0646.58001}} {{ZBL|0708.46002}} {{ZBL|0176.00502}} {{ZBL|0122.29702}} {{ZBL|0100.04201}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> N. Bourbaki, "Elements of mathematics. Topological vector spaces" , Addison-Wesley (1977) (Translated from French) {{MR|0583191}} {{ZBL|1106.46003}} {{ZBL|1115.46002}} {{ZBL|0622.46001}} {{ZBL|0482.46001}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> N.I. [N.I. Akhiezer] Achieser, I.M. [I.M. Glaz'man] Glasman, "Theorie der linearen Operatoren im Hilbert Raum" , Akademie Verlag (1954) (Translated from Russian) {{MR|0066560}} {{ZBL|0056.11101}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> T. Carleman, "Sur les équations intégrales singulières à noyau réel et symmétrique" ''Univ. Årsskrift'' : 3 , Uppsala (1923)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> N.I. Akhiezer, "The classical moment problem and some related questions in analysis" , Oliver &amp; Boyd (1965) (Translated from Russian) {{MR|0184042}} {{ZBL|0135.33803}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> N. Dunford, J.T. Schwartz, "Linear operators" , '''1–3''' , Interscience (1958–1971) {{MR|1009164}} {{MR|1009163}} {{MR|1009162}} {{MR|0412888}} {{MR|0216304}} {{MR|0188745}} {{MR|0216303}} {{MR|1530651}} {{MR|0117523}} {{ZBL|0635.47003}} {{ZBL|0635.47002}} {{ZBL|0635.47001}} {{ZBL|0283.47002}} {{ZBL|0243.47001}} {{ZBL|0146.12601}} {{ZBL|0128.34803}} {{ZBL|0084.10402}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> F. Riesz, B. Szökefalvi-Nagy, "Functional analysis" , F. Ungar (1955) (Translated from French) {{MR|0071727}} {{ZBL|0732.47001}} {{ZBL|0070.10902}} {{ZBL|0046.33103}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> M.A. Naimark, "Lineare Differentialoperatoren" , Akademie Verlag (1960) (Translated from Russian) {{MR|0216049}} {{ZBL|}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> M.H. Stone, "Linear transformations in Hilbert space and their applications to analysis" , Amer. Math. Soc. (1932) {{MR|}} {{ZBL|0005.40003}} {{ZBL|58.0420.02}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> A.N. Kolmogorov, S.V. Fomin, "Elements of the theory of functions and functional analysis" , '''1–2''' , Graylock (1957–1961) (Translated from Russian) {{MR|1025126}} {{MR|0708717}} {{MR|0630899}} {{MR|0435771}} {{MR|0377444}} {{MR|0234241}} {{MR|0215962}} {{MR|0118796}} {{MR|1530727}} {{MR|0118795}} {{MR|0085462}} {{MR|0070045}} {{ZBL|0932.46001}} {{ZBL|0672.46001}} {{ZBL|0501.46001}} {{ZBL|0501.46002}} {{ZBL|0235.46001}} {{ZBL|0103.08801}} </TD></TR></table>
 
 
 
 
  
 
====Comments====
 
====Comments====
Line 216: Line 537:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Weidmann,   "Linear operators in Hilbert spaces" , Springer (1980)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> I.M. Singer,   "Bases in Banach spaces" , '''1–2''' , Springer (1970–1981)</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Weidmann, "Linear operators in Hilbert spaces" , Springer (1980) {{MR|0566954}} {{ZBL|0434.47001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> I.M. Singer, "Bases in Banach spaces" , '''1–2''' , Springer (1970–1981) {{MR|0610799}} {{MR|0298399}} {{MR|0268648}} {{MR|0259573}} {{MR|0259569}} {{MR|0190710}} {{MR|0179583}} {{MR|0190709}} {{MR|0147880}} {{MR|0146634}} {{MR|0156172}} {{ZBL|0467.46020}} {{ZBL|0256.46027}} {{ZBL|0198.16601}} {{ZBL|0189.42901}} {{ZBL|0198.16301}} {{ZBL|0188.43501}} {{ZBL|0187.05403}} {{ZBL|0143.35003}} {{ZBL|0135.34503}} {{ZBL|0126.11701}} {{ZBL|0119.10005}} {{ZBL|0132.08905}} {{ZBL|0106.08603}} </TD></TR></table>

Latest revision as of 18:43, 13 January 2024


A vector space $ H $ over the field of complex (or real) numbers, together with a complex-valued (or real-valued) function $ ( x, y) $ defined on $ H \times H $, with the following properties:

1) $ ( x, x) = 0 $ if and only if $ x = 0 $;

2) $ ( x, x ) \geq 0 $ for all $ x \in H $;

3) $ ( x + y, z) = ( x, z) + ( y, z) $, $ x, y, z \in H $;

4) $ ( \alpha x, y) = \alpha ( x, y) $, $ x, y \in H $, $ \alpha $ a complex (or real) number;

5) $ ( x, y) = \overline{ {( y, x) }}\; $, $ x, y \in H $;

6) if $ x _ {n} \in H $, $ n = 1, 2 \dots $ and if

$$ \lim\limits _ {n, m \rightarrow \infty } \ ( x _ {n} - x _ {m} , x _ {n} - x _ {m} ) = 0, $$

then there exists an element $ x \in H $ such that

$$ \lim\limits _ {n \rightarrow \infty } \ ( x - x _ {n} , x - x _ {n} ) = 0; $$

the element $ x $ is called the limit of the sequence $ ( x _ {n} ) $;

7) $ H $ is an infinite-dimensional vector space.

The function $ ( x, y) $ which satisfies axioms 1)–5) is called the scalar (or inner) product of $ x $ and $ y $. The magnitude $ \| x \| = ( x, x) ^ {1/2} $ is said to be the norm (or the length) of $ x \in H $. The inequality $ | ( x, y ) | \leq \| x \| \cdot \| y \| $ is valid. If a distance between elements $ x, y \in H $ is introduced in $ H $ by means of the equality $ \rho ( x, y ) = \| x - y \| $, $ H $ is converted into a metric space.

Two Hilbert spaces $ H $ and $ H _ {1} $ are said to be isomorphic (or isometrically isomorphic) if there exists a one-to-one correspondence $ x \iff x _ {1} $, $ x \in H $, $ x _ {1} \in H _ {1} $, between $ H $ and $ H _ {1} $ which preserves the linear operations and the scalar product.

Hilbert spaces constitute the class of infinite-dimensional vector spaces that are most often used and that are the most important as far as applications are concerned. They are the natural extension of the concept of a finite-dimensional vector space with a scalar product (i.e. a finite-dimensional Euclidean space or a finite-dimensional unitary space). In fact, if a scalar product is specified in a finite-dimensional vector space (over the field of real or complex numbers), then property 6), which is called the completeness of the Hilbert space, is automatically satisfied. Infinite-dimensional vector spaces $ H $ with a scalar product are known as pre-Hilbert spaces; there exist pre-Hilbert spaces for which property 6) does not hold. Any pre-Hilbert space can be completed to a Hilbert space.

In the definition of a Hilbert space the condition of infinite dimensionality is often omitted, i.e. a pre-Hilbert space is understood to mean a vector space over the field of complex (or real) numbers with a scalar product, while a Hilbert space is the name given to a complete pre-Hilbert space.

Examples of Hilbert spaces.

1) The complex space $ l _ {2} $( or $ l ^ {2} $). The elements of this Hilbert space are infinite sequences of complex numbers $ x = \{ \xi _ {1} , \xi _ {2} ,\dots \} $, $ y = \{ \eta _ {1} , \eta _ {2} ,\dots \} $ that are square summable:

$$ \sum _ {k = 1 } ^ \infty | \xi _ {k} | ^ {2} < + \infty ,\ \ \sum _ {k = 1 } ^ \infty | \eta _ {k} | ^ {2} < + \infty . $$

The scalar product is defined by the equation

$$ ( x, y) = \ \sum _ {k = 1 } ^ \infty \xi _ {k} \overline \eta \; _ {k} . $$

2) The space $ l _ {2} ( T) $( a generalization of Example 1)). Let $ T $ be an arbitrary set. The elements of the Hilbert space $ l _ {2} ( T) $ are complex-valued functions $ x( t) $ on $ T $ differing from zero in at most countably many points $ t \in T $ and such that the series

$$ \sum _ {t \in T } | x ( t) | ^ {2} $$

converges. The scalar product is defined by the equation

$$ ( x, y) = \ \sum _ {t \in T } x ( t) \overline{ {y ( t) }}\; . $$

Any Hilbert space is isomorphic to the space $ l _ {2} ( T) $ for some suitably chosen $ T $.

3) The space $ L _ {2} ( S, \Sigma , \mu ) $( or $ L ^ {2} ( S, \Sigma , \mu ) $) of complex-valued functions $ x( s) $ defined on a set $ S $ with a totally-additive positive measure $ \mu $( given on the $ \sigma $- algebra of subsets $ \Sigma $ of $ S $) which are measurable and have an integrable square modulus:

$$ \int\limits _ { S } | x ( s) | ^ {2} d \mu ( s) < + \infty . $$

In this Hilbert space the scalar product is defined by:

$$ ( x ( s), y ( s)) = \ \int\limits _ { S } x ( s) \overline{ {y ( s) }}\; d \mu ( s). $$

4) The Sobolev space $ W _ {l} ^ {2} ( \Omega ) $, which is also denoted by $ H _ {(} l) $( cf. Imbedding theorems).

5) A Hilbert space of functions with values in a Hilbert space. Let $ H $ be some Hilbert space with scalar product $ ( x, y) $, $ x, y \in H $. Further, let $ \Omega $ be an arbitrary domain in $ \mathbf R ^ {n} $, and let $ f( x) $, $ x \in \Omega $, be a function with values in $ H $ that is Bochner-measurable (cf. Bochner integral) and is such that

$$ \int\limits _ \Omega \| f ( x) \| _ {H} ^ {2} dx < \infty , $$

where $ d x $ is Lebesgue measure on $ \Omega $( instead of Lebesgue measure one may take any other positive countably-additive measure). If one defines the scalar product

$$ ( f ( x), g ( x)) _ \perp = \ \int\limits _ \Omega ( f ( x), g ( x)) dx $$

on this set of functions, a new Hilbert space $ H _ {1} $ is obtained.

6) The set of continuous Bohr almost-periodic functions on the real line forms a pre-Hilbert space if the scalar product is defined by

$$ ( x ( t), y ( t)) = \ \lim\limits _ {T \rightarrow \infty } \ { \frac{1}{2T} } \int\limits _ {- T } ^ { T } x ( t) \overline{ {y ( t) }}\; dt. $$

The existence of the limit follows from the theory of almost-periodic functions. This space is completed to the class $ B ^ {2} $ of Besicovitch almost-periodic functions.

The spaces $ l _ {2} $ and $ L _ {2} $ were introduced and studied by D. Hilbert [1] in his fundamental work on the theory of integral equations and infinite quadratic forms. The definition of a Hilbert space was given by J. von Neumann [3], F. Riesz [4] and M.H. Stone [13], who also laid the basis for their systematic study.

A Hilbert space is a natural extension of the ordinary three-dimensional space in Euclidean geometry, and many geometric concepts have their interpretation in a Hilbert space, so that one is entitled to speak about the geometry of Hilbert space. Two vectors $ x $ and $ y $ from a Hilbert space $ H $ are said to be orthogonal $ ( x \perp y) $ if $ ( x, y ) = 0 $. Two linear subspaces $ \mathfrak M $ and $ \mathfrak N $ in $ H $ are said to be orthogonal $ ( \mathfrak M \perp \mathfrak N ) $ if each element of $ \mathfrak M $ is orthogonal to each element from $ \mathfrak N $. The orthogonal complement of a set $ A \subset H $ is the set $ B = \{ {x } : {( x, A) = 0 } \} $, i.e. the set of elements $ x \in H $ which are orthogonal to all elements of $ A $. It is denoted by $ H \ominus A $ or, if $ H $ is understood, by $ A ^ \perp $. The orthogonal complement $ \mathfrak N $ of an arbitrary set $ \mathfrak M $ in $ H $ is a closed linear subspace. If $ \mathfrak M $ is a closed linear subspace in a Hilbert space (which may also be referred to as a Hilbert subspace), then any element $ x \in H $ can be uniquely represented as the sum $ x = y + z $, $ y \in \mathfrak M $, $ z \in \mathfrak N $. This decomposition is known as the theorem on orthogonal complements and is usually written as

$$ H = \mathfrak M \oplus \mathfrak N . $$

A set $ A \subset H $ is said to be an orthonormal set or an orthonormal system if any two different vectors from $ A $ are orthogonal and if the norm of each vector $ y \in A $ is equal to one. An orthonormal set is said to be a complete orthonormal set if there is no non-zero vector from $ H $ that is orthogonal to all the vectors of this set. If $ \{ y _ {i} \} $ is an orthonormal sequence and $ \{ \alpha _ {i} \} $ is a sequence of scalars, then the series

$$ \sum _ { i } \alpha _ {i} y _ {i} $$

converges if and only if

$$ \sum _ { i } | \alpha _ {i} | ^ {2} < \infty ; $$

moreover

$$ \left \| \sum _ { i } \alpha _ {i} y _ {i} \right \| ^ {2} = \ \sum _ { i } | \alpha _ {i} | ^ {2} $$

(Pythagoras' theorem in Hilbert spaces).

Let $ A $ be an orthonormal set in a Hilbert space $ H $ and let $ x $ be an arbitrary vector from $ H $. Then $ ( x, y) = 0 $ for all $ y \in A $, with the exception of a finite or countable set of vectors. The series

$$ Px = \sum _ {y \in A } ( x, y) y $$

converges, and its sum is independent of the order of its non-zero terms. The operator $ P $ is the orthogonal projection operator, or projector, on the (closed) Hilbert subspace generated by $ A $.

A set $ A \subset H $ is said to be an orthonormal basis of a linear subspace $ \mathfrak N \subseteq H $ if $ A $ is contained in $ \mathfrak N $ and if the equality

$$ x = \sum _ {y \in A } ( x, y) y $$

is valid for any $ x \in \mathfrak N $, i.e. if any vector $ x \in \mathfrak N $ can be expanded with respect to the system $ A $, that is, can be represented with the aid of vectors from $ A $. The set of numbers $ \{ {( x, y) } : {y \in A } \} $ is called the set of Fourier coefficients of the element $ x $ with respect to the basis $ A $. Each subspace of a Hilbert space $ H $( in particular, $ H $ itself) has an orthonormal basis.

An orthonormal basis in $ l _ {2} ( T) $ is a set of functions $ \{ {x _ {t} } : {t \in T } \} $ defined by the formula $ x _ {t} ( s) = 1 $ if $ s = t $ and $ x _ {t} ( s) = 0 $ if $ s \neq t $. In a space $ L _ {2} ( S, \Sigma , \mu ) $ the expansion of a vector with respect to a basis takes the form of an expansion with respect to a system of orthogonal functions; this represents an important method for solving problems in mathematical physics.

For an orthonormal set $ A \subset H $ the following statements are equivalent: $ A $ is complete; $ A $ is an orthonormal basis for $ H $; and $ \| x \| ^ {2} = \sum _ {y \in A } | ( x, y) | ^ {2} $ for any $ x \in H $.

All orthonormal bases of a given Hilbert space have the same cardinality. This fact makes it possible to define the dimension of a Hilbert space. In fact, the dimension of a Hilbert space is the cardinality of an arbitrary orthonormal basis in it. This dimension is sometimes referred to as the Hilbert dimension (as distinct from the linear dimension of a Hilbert space, i.e. the cardinality of the Hamel basis (cf. Basis) — a concept which does not take into account the topological structure of the Hilbert space). Two Hilbert spaces are isomorphic if and only if their dimensions are equal. The concept of a dimension is connected with that of the deficiency of a Hilbert subspace, also called the codimension of a Hilbert subspace. In fact, the codimension of a Hilbert subspace $ H _ {1} $ of a Hilbert space $ H $ is the dimension of the orthogonal complement $ H _ {1} ^ \perp = H \ominus H _ {1} $. A Hilbert subspace with codimension equal to one, i.e. the orthogonal complement to which is one-dimensional, is known as a hyperspace. A translate of a hyperspace is called a hyperplane.

Some of the geometrical concepts involve the use of the terminology of linear operators in a Hilbert space; they include, in particular, the concept of an opening of linear subspaces. The opening of two subspaces $ M _ {1} $ and $ M _ {2} $ in a Hilbert space $ H $ is the norm $ \theta ( M _ {1} , M _ {2} ) $ of the difference of the operators which project $ H $ on the closure of these linear subspaces.

The simplest properties of an opening are:

a) $ \theta ( M _ {1} , M _ {2} ) = \theta ( \overline{M}\; _ {1} , \overline{M}\; _ {2} ) - \theta ( H \ominus \overline{M}\; _ {1} , H \ominus \overline{M}\; _ {2} ) $;

b) $ \theta ( M _ {1} , M _ {2} ) \leq 1 $, and, in the case of strict inequality, $ \mathop{\rm dim} M _ {1} = \mathop{\rm dim} M _ {2} $.

Many problems in Hilbert spaces involve only finite sets of vectors of a Hilbert space, i.e. elements of finite-dimensional linear subspaces of a Hilbert space. This is why the concepts and methods of linear algebra play an important role in the theory of Hilbert spaces. Vectors $ g _ {1} \dots g _ {n} $ in a Hilbert space are said to be linearly independent if the equation

$$ \sum _ {k = 1 } ^ { n } \alpha _ {k} g _ {k} = 0, $$

where $ \alpha _ {k} $ are scalars, holds only if all $ \alpha _ {k} $ are equal to zero. Vectors are linearly independent if their Gram determinant does not vanish. A countable sequence of vectors $ g _ {1} \dots g _ {n} \dots $ is said to be a linearly independent sequence if all its finite subsets are linearly independent. Each linearly independent sequence can be orthonormalized, i.e. it is possible to construct an orthonormal system $ e _ {1} , e _ {2} \dots $ such that for all $ n $ the linear hulls (cf. Linear hull) of the sets $ \{ g _ {k} \}_{k=1}^ {n} $ and $ \{ e _ {k} \}_{k=1}^ {n} $ coincide. This construction is known as the Gram–Schmidt orthogonalization (orthonormalization) process and consists of the following:

$$ e _ {1} = \frac{g _ {1} }{\| g _ {1} \| } ,\ \ h _ {2} = g _ {2} - ( g _ {2} , e _ {1} ) e _ {1} ,\ \ e _ {2} = \frac{h _ {2} }{\| h _ {2} \| } \dots $$

$$ h _ {n} = g _ {n} - \sum _ {k = 1 } ^ { {n } - 1 } ( g _ {n} , e _ {k} ) e _ {k} ,\ e _ {n} = \frac{h _ {n} }{\| h _ {n} \| } ,\dots . $$

Operations of direct sum and tensor product are defined in the set of Hilbert spaces. The direct sum of Hilbert spaces $ H _ {i} $, $ i= 1 \dots n $, where each $ H _ {i} $ has a corresponding scalar product, is the Hilbert space

$$ H = H _ {1} \oplus \dots \oplus H _ {n} $$

defined as follows: In the vector space $ H _ {1} + \dots + H _ {n} $— the direct sum of the vector spaces $ H _ {1} \dots H _ {n} $— the scalar product is defined by

$$ ([ x _ {1} \dots x _ {n} ], [ y _ {1} \dots y _ {n} ]) = \ \sum _ {i = 1 } ^ { n } ( x _ {i} , y _ {i} ) _ {H _ {i} } . $$

If $ i \neq j $, the elements of $ H _ {i} $ and $ H _ {j} $ in the direct sum

$$ H = \sum _ {i = 1 } ^ { n } \oplus H _ {i} $$

are mutually orthogonal, and the projection of $ H $ onto $ H _ {i} $ coincides with the orthogonal projection of $ H $ onto $ H _ {i} $. The concept of the direct sum of Hilbert spaces has been generalized to the case of an infinite set of direct components. Let a Hilbert space $ H _ \nu $ be specified for each $ \nu $ of some index set $ A $. The direct sum of Hilbert spaces (denoted by $ \sum _ {\nu \in A } \oplus H _ \nu $) is the set $ H $ of all functions $ \{ x _ \nu \} $ defined on $ A $ such that $ x _ \nu \in H _ \nu $ for each $ \nu \in A $, and $ \sum _ {\nu \in A } \| x _ \nu \| ^ {2} < \infty $. The linear operations in $ H $ are defined by

$$ \{ x _ \nu \} + \{ y _ \nu \} = \{ x _ \nu + y _ \nu \} ,\ \ \alpha \{ x _ \nu \} = \{ \alpha x _ \nu \} , $$

while the scalar product is defined by

$$ ( \{ x _ \nu \} , \{ y _ \nu \} ) = \ \sum _ {\nu \in A } ( x _ \nu , y _ \nu ) _ {H _ \nu } . $$

If the linear operations and the scalar product are defined in this manner, the direct sum

$$ H = \sum _ {\nu \in A } \oplus H _ \nu $$

becomes a Hilbert space.

Another important operation in the set of Hilbert spaces is the tensor product. The tensor product of Hilbert spaces $ H _ {i} $, $ i = 1 \dots n $, is defined as follows. Let $ H _ {1} \odot \dots \odot H _ {n} $ be the tensor product of the vector spaces $ H _ {1} \dots H _ {n} $. In the vector space $ H _ {1} \odot \dots \odot H _ {n} $ there exists a unique scalar product such that

$$ ( x _ {1} \odot \dots \odot x _ {n} , y _ {1} \odot \dots \odot y _ {n} ) = \ \prod _ {i = 1 } ^ { n } ( x _ {i} , y _ {i} ) _ {H _ {i} } $$

for all $ x _ {i} , y _ {i} \in H _ {i} $. Thus, the vector space becomes a pre-Hilbert space, whose completion is a Hilbert space, denoted by $ H _ {1} \otimes \dots \otimes H _ {n} $, or $ \prod_{i=1}^ {n} H _ {i} $, and is known as the tensor product of the Hilbert spaces $ H _ {i} $.

Hilbert spaces form an important class of Banach spaces; any Hilbert space $ H $ is a Banach space with respect to the norm $ \| x \| = ( x, x) ^ {1/2} $, and the following parallelogram identity holds for any two vectors $ x, y \in H $:

$$ \| x + y \| ^ {2} + \| x - y \| ^ {2} = \ 2 ( \| x \| ^ {2} + \| y \| ^ {2} ). $$

The parallelogram identity distinguishes the class of Hilbert spaces from the Banach spaces, viz. if the parallelogram identity is valid in a real normed space $ B $ for any pair of elements $ x, y \in B $, then the function

$$ ( x, y) = { \frac{1}{4} } ( \| x + y \| ^ {2} - \| x - y \| ^ {2} ) $$

satisfies the axioms of a scalar product, and thus makes $ B $ into a pre-Hilbert space (if $ B $ is a Banach space, it is made a Hilbert space). From the parallelogram identity it follows that every Hilbert space is a uniformly-convex space. As in any Banach space, two topologies may be specified in a Hilbert space — a strong (norm) one and a weak one. These topologies are different. A Hilbert space is separable in the strong topology if and only if it is separable in the weak topology; a convex set (in particular, a linear subspace) in a Hilbert space is strongly closed if and only if it is weakly closed.

As in the theory of general Banach spaces, so, too, in the theory of Hilbert spaces, the concept of separability plays an important role. A Hilbert space is separable if and only if it has countable dimension. The Hilbert spaces $ l _ {2} $ and $ H _ {(} l) $ are separable; the Hilbert space $ l _ {2} ( T) $ is separable if and only if $ T $ is at most countable; a Hilbert space $ L _ {2} ( S, \Sigma , \mu ) $ is separable if the measure $ \mu $ has a countable basis. The Hilbert space $ B _ {2} $ is not separable.

Any orthonormal basis in a separable Hilbert space $ H $ is at the same time an unconditional Schauder basis in $ H $, regarded as a Banach space. However, non-orthogonal Schauder bases also exist in separable Hilbert spaces. Accordingly, the following theorem is valid [7]: Let $ \{ f _ {k} \} $ be a complete system of vectors in a Hilbert space $ H $ and let $ \lambda _ {n} $ and $ \Lambda _ {n} $ be the smallest and the largest eigen values of the Gram matrix

$$ \{ \alpha _ {jk} \} _ {j, k = 1 } ^ {n} ,\ \ \alpha _ {jk} = ( f _ {k} , f _ {j} ). $$

If

$$ \lim\limits _ {n \rightarrow \infty } \inf \lambda _ {n} > 0 \ \ \textrm{ and } \ \ \lim\limits _ {n \rightarrow \infty } \sup \Lambda _ {n} < \infty , $$

then 1) the sequence $ \{ f _ {k} \} $ is a basis in $ H $; and 2) there exists a sequence $ \{ g _ {k} \} $ biorthogonal to $ \{ f _ {k} \} $ which is also a basis in $ H $.

As in any Banach space, the description of the set of linear functionals on a Hilbert space and the study of the properties of these functionals is very important. Linear functionals on Hilbert spaces have a particularly simple structure. Any linear functional $ f $ on a Hilbert space $ H $ can be uniquely denoted by $ f( x) = ( x, x ^ {*} ) $ for all $ x \in H $, where $ x ^ {*} \in H $; moreover $ \| f \| = \| x ^ {*} \| $. The space $ H ^ {*} $ of linear functionals $ f $ on $ H $ is isometrically anti-isomorphic to $ H $( i.e. the correspondence $ f \rightarrow x ^ {*} $ is isometric, additive and anti-homogeneous: $ \alpha f \rightarrow \overline \alpha \; x ^ {*} $). In particular, a Hilbert space is reflexive (cf. Reflexive space), and for this reason the following statements are valid: a Hilbert space is weakly sequentially complete; a subset of a Hilbert space is relatively weakly compact if and only if it is bounded.

The main content of the theory of Hilbert spaces is the theory of linear operators on them. The concept of a Hilbert space itself was formulated in the works of Hilbert [2] and E. Schmidt [14] on the theory of integral equations, while the abstract definition of a Hilbert space was given by von Neumann [3], F. Riesz [4] and Stone [13] in their studies of Hermitian operators. The theory of operators on a Hilbert space is a fundamental branch of the general theory of operators for two reasons.

First, the theory of self-adjoint and unitary operators on a Hilbert space is not only one of the most developed parts of the general theory of linear operators, but is also of wide use in other parts of functional analysis and in a number of other parts of mathematics and physics. The theory of linear operators on a Hilbert space makes it possible to look at various problems in mathematical physics from a unified point of view; above all, these are the questions concerning eigen values and eigen functions. Moreover, the theory of self-adjoint operators on a Hilbert space is a mathematical tool in quantum mechanics: In the description of a quantum-mechanical system, the observed quantities (energy, momentum, position, etc.) are interpreted as self-adjoint operators on some Hilbert space, while the states of the system are elements of that space. In turn, the problems of quantum mechanics have up to our time an influence on the development of the theory of self-adjoint operators, and also on the theory of operator algebras on Hilbert spaces.

Secondly, the intensively developed theory of self-adjoint operators (cf. Self-adjoint operator) on a Hilbert space (in particular, that of cyclic, nilpotent, cellular, contractible, spectral, and scalar operators) is an important model of the theory of linear operators on more general spaces.

An important class of linear operators on a Hilbert space is formed by the everywhere-defined continuous operators, also called bounded operators. If one introduces on the set $ \mathfrak B ( H) $ of bounded linear operators on $ H $ the operations of addition, multiplication by a scalar and multiplication of operators, as well as the norm of an operator, by the usual rules (see Linear operator) and defines the involution in $ \mathfrak B ( H) $ as transition to the adjoint operator, then $ \mathfrak B ( H) $ becomes a Banach algebra with involution. Important classes of bounded operators on a Hilbert space are the self-adjoint operators, the unitary operators and the normal operators (cf. Self-adjoint operator; Unitary operator; Normal operator), since they have special properties with respect to the scalar product. These classes of operators are well-studied; the fundamental instruments in their study are the simplest bounded self-adjoint operators, such as the operators of orthogonal projection, or simply projectors (cf. Projector). The means by which any self-adjoint, unitary or normal operator on a complex Hilbert space is constructed from projectors, is given by the spectral decomposition of a linear operator, which is especially simple in the case of a separable Hilbert space.

A more complex branch of the theory of linear operators on a Hilbert space is the theory of unbounded operators. The most important unbounded operators on a Hilbert space are the closed linear operators with a dense domain of definition; in particular, unbounded self-adjoint and normal operators. Between the self-adjoint and the unitary operators on a Hilbert space there is a one-to-one relation, defined by the Cayley transformation (cf. Cayley transform). Of importance (especially in the theory of linear differential operators) is the class of symmetric operators (cf. Symmetric operator) on a Hilbert space, and the theory of self-adjoint extensions of such operators.

Unbounded self-adjoint and normal operators on a complex Hilbert space $ H $ also have a spectral decomposition. The spectral decomposition is the greatest achievement of the theory of self-adjoint and normal operators on a Hilbert space. It corresponds to the classical reduction theory of Hermitian and normal complex matrices on an $ n $- dimensional unitary space. Namely, the spectral decomposition and the operator calculus for self-adjoint and normal operators which is related to it ensure a wide range of applications in various parts of mathematics for the theory of operators on a Hilbert space.

For bounded self-adjoint operators on $ l _ {2} $ the spectral decomposition was found by Hilbert [1], who also introduced the important concept of a resolution of the identity for a self-adjoint operator. Nowadays, several approaches to the spectral theory of self-adjoint and normal operators are available. One of the most profound is given by the theory of Banach algebras. The spectral decomposition of an unbounded self-adjoint operator was found by von Neumann [3]. His work preceded the important investigations of T. Carleman [8], who obtained the spectral decomposition for the case of a symmetric integral operator, and who also discovered that there is no complete analogy between symmetric bounded and unbounded operators. The importance of the concept of a self-adjoint operator was first drawn attention to by Schmidt (cf. [3]).

Note that both for the investigations by Hilbert, and for much later investigations, the works of P.L. Chebyshev, A.A. Markov and Th.J. Stieltjes on the classical problems of moments, Jacobi matrices and continued fractions (cf. [9]) were of great importance (cf. Continued fraction; Jacobi matrix; Moment problem).

References

[1] D. Hilbert, "Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen" , Chelsea, reprint (1953) MR0056184 Zbl 0050.10201
[2] A.S. Besicovitch, "Almost periodic functions" , Cambridge Univ. Press (1932) MR0068029 MR1522718 Zbl 0004.25303 Zbl 58.0264.02
[3] J. von Neumann, "Allgemeine Eigenwerttheorie Hermitischer Funktionaloperatoren" Math. Ann. , 102 (1929) pp. 49–131
[4] F. Riesz, "Ueber die linearen Transformationen des komplexen Hilbertschen Raumes" Acta. Sci. Math. Szeged , 5 : 1 (1930) pp. 23–54 Zbl 56.0356.02
[5] J.A. Dieudonné, "Foundations of modern analysis" , Acad. Press (1961) (Translated from French) MR1531180 Zbl 0646.58001 Zbl 0708.46002 Zbl 0176.00502 Zbl 0122.29702 Zbl 0100.04201
[6] N. Bourbaki, "Elements of mathematics. Topological vector spaces" , Addison-Wesley (1977) (Translated from French) MR0583191 Zbl 1106.46003 Zbl 1115.46002 Zbl 0622.46001 Zbl 0482.46001
[7] N.I. [N.I. Akhiezer] Achieser, I.M. [I.M. Glaz'man] Glasman, "Theorie der linearen Operatoren im Hilbert Raum" , Akademie Verlag (1954) (Translated from Russian) MR0066560 Zbl 0056.11101
[8] T. Carleman, "Sur les équations intégrales singulières à noyau réel et symmétrique" Univ. Årsskrift : 3 , Uppsala (1923)
[9] N.I. Akhiezer, "The classical moment problem and some related questions in analysis" , Oliver & Boyd (1965) (Translated from Russian) MR0184042 Zbl 0135.33803
[10] N. Dunford, J.T. Schwartz, "Linear operators" , 1–3 , Interscience (1958–1971) MR1009164 MR1009163 MR1009162 MR0412888 MR0216304 MR0188745 MR0216303 MR1530651 MR0117523 Zbl 0635.47003 Zbl 0635.47002 Zbl 0635.47001 Zbl 0283.47002 Zbl 0243.47001 Zbl 0146.12601 Zbl 0128.34803 Zbl 0084.10402
[11] F. Riesz, B. Szökefalvi-Nagy, "Functional analysis" , F. Ungar (1955) (Translated from French) MR0071727 Zbl 0732.47001 Zbl 0070.10902 Zbl 0046.33103
[12] M.A. Naimark, "Lineare Differentialoperatoren" , Akademie Verlag (1960) (Translated from Russian) MR0216049
[13] M.H. Stone, "Linear transformations in Hilbert space and their applications to analysis" , Amer. Math. Soc. (1932) Zbl 0005.40003 Zbl 58.0420.02
[14] A.N. Kolmogorov, S.V. Fomin, "Elements of the theory of functions and functional analysis" , 1–2 , Graylock (1957–1961) (Translated from Russian) MR1025126 MR0708717 MR0630899 MR0435771 MR0377444 MR0234241 MR0215962 MR0118796 MR1530727 MR0118795 MR0085462 MR0070045 Zbl 0932.46001 Zbl 0672.46001 Zbl 0501.46001 Zbl 0501.46002 Zbl 0235.46001 Zbl 0103.08801

Comments

For the various kinds of bases mentioned in the article see Basis and [a2].

References

[a1] J. Weidmann, "Linear operators in Hilbert spaces" , Springer (1980) MR0566954 Zbl 0434.47001
[a2] I.M. Singer, "Bases in Banach spaces" , 1–2 , Springer (1970–1981) MR0610799 MR0298399 MR0268648 MR0259573 MR0259569 MR0190710 MR0179583 MR0190709 MR0147880 MR0146634 MR0156172 Zbl 0467.46020 Zbl 0256.46027 Zbl 0198.16601 Zbl 0189.42901 Zbl 0198.16301 Zbl 0188.43501 Zbl 0187.05403 Zbl 0143.35003 Zbl 0135.34503 Zbl 0126.11701 Zbl 0119.10005 Zbl 0132.08905 Zbl 0106.08603
How to Cite This Entry:
Hilbert space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hilbert_space&oldid=21356
This article was adapted from an original article by B.M. Levitan (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article