Hilbert Space¶
We first introduce inner product in abstract space.
Inner Product
Assume
is said to be a Inner Product, if it satisfies that, for all
(i) Homogeneous on the first element.
(ii) Linearity on the first element.
(iii) Conjugate inverse.
(iv) Positive-definite.
And A linear space
With the above definition, we have the following properties of inner product.
Properties of inner product
Assume
(i) Conjugate Homogeneous on the second element.
(ii) Linearity on the second element.
(iii) Zero for null vector.
(iv) Normed linear space. Define
(v)
Easy to show that (i), (ii), (iii).
We prove for (iv) and the triangle inequation. This is based on Schwarz Inequation.
We still make use of
Assume
With Schwarz inequation, we have
and we are done.
Polarization Identity
(i) For
(ii) For
(i) Just expand the righthand item in inner product.
(ii) Still the same logic, but
We notice
Hilbert Space
If a inner product space
We have known that a inner product space must be a normed linear space, then how about the inverse? Generally speaking, a normed linear space could not be a inner product space, i.e. use the inner product to deduce a norm, unless we add the following condition.
Parallelogram Law
If a norm satisfies
then we could define a inner product using polarization identity.
Inversely speaking, a norm introduced by a norm satisfy the above condition, which is called Parallelogram Law.
- Sufficient.
Just expand lefthand of the equation using inner product and we have the result.
- Necessary.
We first show that the inner product defined by Polar equation satisfies linearity.
Let
So let
which means "+" and "-" satisfy.
This is a little tricky, and we have to show a lemma.
For a continuous function
then
Let
it is continuous because
For
And
so we have
which is homogeneity.
As for conjugate property and positive-definitivity, just follow the definition.
Orthogonal System¶
Orthogomal System
Assume
An orthogonal complement of
Property of Orthogomal
(i) Pythagorean Theorem. For
(ii) Dense set with Zero Vector. Assume
(iii) For
Orthogomal Projection¶
We introudce orthogonal projection using the best approximation element.
Definition of best Approximation element
Assume
Here we give a sufficient condition for the existence and uniqueness of best approximation element.
Theorem for existence and uniqueness of best approximation element
Assume
This proof leverages the convex property.
From the above theorem, A subspace is naturally convex, thus adding closedness could satisfy the above condition. So
Orthogomal decomposition and projection
Assume
the above equation is called orthogonal decomposition, and
Normalized Orthogomal System¶
Definition of Normalized Orthogomal System
System
For a element
to be the Fourier coefficient of
Now we talk a little deeper into this one.
Explicite expression of orthogonal decomposition
Assume
First use Orthogomal decomposition and projection to show that
So by property of base,
So we are done.
Bessel Inequation
For a normalized orthogonal system
or
Use finite many elements and then let
Inversely speaking, given a sequence in
Riesz-Fischer Theorem
Assume
and Parseval equation holds
Now we pause here. It is interesting to see that Bessel inequation holds for all inner product space, but Parseval equation does not also hold. We dig deeper into this and this is actually related to the number of
Completeness¶
Definition for completeness of orthogonal system
Assume
Relationship
Assume
(i)
(ii)
(iii)
(iv)
(i) and (ii) are equivalent because
Using equation from (ii) we only get infinite series. We start from finite-numbers. Define
then
Let
by (ii) the above converges. By continuity of inner product, we are done.
Assume
Choose