Fourier Series Flashcards
in a Hilbert space
v is orthogonal to w if…
(v, w) = 0
“inner product”
For a set A in a Hilbert space
the set perpendicular to A =
{v | (v, a) = 0 for all a in A}
forms…
“orthogonal complement”
a vector subspace
and
a continuous map x –> (x, a)
in the dual space of the Hilbert space
What is an orthogonal basis of H (Hilbert space) ?
1) 0 is not in Basis
2) elements are pairwise orthogonal
3) basis spans a dense subset of H
orthonormal set is…
1) parwise orthogonal
2) || v || = 1 for all elements
If H (Hilbert space) is separable (has a countable dense subset), then …
H has a finite or countable orthonormal basis
For separable Hilbert space and
an orthonormal basis (e1, e2,…),
what is HN ?
“the orthogonal projection of v into HN “
projection: H –> HN
is defined by
projection(v) = sum to N of (v, ei) ei
What does the “Best Approximation Theorem”
say about a separable Hilbert space?
||v - w|| ≥ ||v - projection(v) ||
for w in HN
“that is the best approx to v in HN”
Let e1, e2, … be an orthonormal set in H
(a separable Hilbert space)
then what is the ith Fourier coef?
ê i (v) = (v, ei)
“inner product”
What is Bessel’s inequality?
∑ | êi (v) | ≤ || v ||2
When is e1, e2, … an orthonormal set
a basis of H
in term so Fourier?
if and only if
∑ | êi (v) |2 = |v|2 for all v
Riesz-Fischer
Let e1, e2, … be an orthonormal basis of H,
then v —> { ê(v) } i=1 to infinity
is an isometric isomorphism of H with l2