In mathematics, specifically in functional analysis and Hilbert space theory, the fundamental theorem of Hilbert spaces gives a necessary and sufficient condition for a Hausdorff pre-Hilbert space to be a Hilbert space in terms of the canonical isometry of a pre-Hilbert space into its anti-dual.
Preliminaries
Antilinear functionals and the anti-dual Suppose that H {\displaystyle H} is a topological vector space (TVS). A function f : H → C {\displaystyle f:H\to \mathbb {C} } is called semilinear or antilinear if for all x , y ∈ H {\displaystyle x,y\in H} and all scalars c {\displaystyle c} ,
f {\displaystyle f} is additive: f ( x + y ) = f ( x ) + f ( y ) {\displaystyle f(x+y)=f(x)+f(y)} ;
f {\displaystyle f} is conjugate homogeneous: f ( c x ) = c ¯ f ( x ) {\displaystyle f(c\,x)={\bar {c}}\,f(x)} . The vector space of all continuous antilinear functions on H {\displaystyle H} is called the anti-dual space or complex conjugate dual space of H {\displaystyle H} and is denoted by H ¯ ′ {\displaystyle {\overline {H}}^{\prime }} . (In contrast, the continuous dual space of H {\displaystyle H} is denoted by H ′ {\displaystyle H^{\prime }} ), which we make into a normed space by endowing it with the canonical norm (defined in the same way as the canonical norm on the continuous dual space of H {\displaystyle H} .)
Pre-Hilbert spaces and sesquilinear forms A sesquilinear form is a map B : H × H → C {\displaystyle B:H\times H\to \mathbb {C} } such that for all y ∈ H {\displaystyle y\in H} , the map defined by x ↦ B ( x , y ) {\displaystyle x\mapsto B(x,y)} is linear, and for all x ∈ H {\displaystyle x\in H} , the map defined by y ↦ B ( x , y ) {\displaystyle y\mapsto B(x,y)} is antilinear. Note that in Physics, the convention is that a sesquilinear form is linear in its second coordinate and antilinear in its first coordinate. A sesquilinear form B {\displaystyle B} on H {\displaystyle H} is called positive definite if B ( x , x ) > 0 {\displaystyle B(x,x)>0} for all non-0 x ∈ H {\displaystyle x\in H} ; it is called non-negative if B ( x , x ) ≥ 0 {\displaystyle B(x,x)\geq 0} for all x ∈ H {\displaystyle x\in H} . A sesquilinear form B {\displaystyle B} on H {\displaystyle H} is called a Hermitian form if in addition it has the property that B ( x , y ) = B ( y , x ) ¯ {\displaystyle B(x,y)={\overline {B(y,x)}}} for all x , y ∈ H {\displaystyle x,y\in H} .
… excerpt ends here. Continue reading the full article.
