The Riesz representation theorem, sometimes called the Riesz–Fréchet representation theorem after Frigyes Riesz and Maurice René Fréchet, establishes an important connection between a Hilbert space and its continuous dual space. If the underlying field is the real numbers, the two are isometrically isomorphic; if the underlying field is the complex numbers, the two are isometrically anti-isomorphic. The (anti-) isomorphism is a particular natural isomorphism.
Preliminaries and notation Let H {\displaystyle H} be a Hilbert space over a field F , {\displaystyle \mathbb {F} ,} where F {\displaystyle \mathbb {F} } is either the real numbers R {\displaystyle \mathbb {R} } or the complex numbers C . {\displaystyle \mathbb {C} .} If F = C {\displaystyle \mathbb {F} =\mathbb {C} } (resp. if F = R {\displaystyle \mathbb {F} =\mathbb {R} } ) then H {\displaystyle H} is called a complex Hilbert space (resp. a real Hilbert space). Every real Hilbert space can be extended to be a dense subset of a unique (up to bijective isometry) complex Hilbert space, called its complexification, which is why Hilbert spaces are often automatically assumed to be complex. Real and complex Hilbert spaces have in common many, but by no means all, properties and results/theorems. This article is intended for both mathematicians and physicists and will describe the theorem for both. In both mathematics and physics, if a Hilbert space is assumed to be real (that is, if F = R {\displaystyle \mathbb {F} =\mathbb {R} } ) then this will usually be made clear. Often in mathematics, and especially in physics, unless indicated otherwise, "Hilbert space" is usually automatically assumed to mean "complex Hilbert space." Depending on the author, in mathematics, "Hilbert space" usually means either (1) a complex Hilbert space, or (2) a real or complex Hilbert space.
Linear and antilinear maps By definition, an antilinear map (also called a conjugate-linear map) f : H → Y {\displaystyle f:H\to Y} is a map between vector spaces that is additive:
f ( x + y ) = f ( x ) + f ( y ) for all x , y ∈ H , {\displaystyle f(x+y)=f(x)+f(y)\quad {\text{ for all }}x,y\in H,}
and antilinear (also called conjugate-linear or conjugate-homogeneous):
f ( c x ) = c ¯ f ( x ) for all x ∈ H and all scalar c ∈ F , {\displaystyle f(cx)={\overline {c}}f(x)\quad {\text{ for all }}x\in H{\text{ and all scalar }}c\in \mathbb {F} ,}
where c ¯ {\displaystyle {\overline {c}}} is the conjugate of the complex number c = a + b i {\displaystyle c=a+bi} , given by c ¯ = a − b i {\displaystyle {\overline {c}}=a-bi} . In contrast, a map f : H → Y {\displaystyle f:H\to Y} is linear if it is additive and homogeneous:
f ( c x ) = c f ( x ) for all x ∈ H and all scalars c ∈ F . {\displaystyle f(cx)=cf(x)\quad {\text{ for all }}x\in H\quad {\text{ and all scalars }}c\in \mathbb {F} .}
… excerpt ends here. Continue reading the full article.
