Math6338 hw1
Math6338 hw1
= {0}.
Solution: Let x K
and x
n
K that
x
n
, x = 0.
By Problem 8 we have that x x, but this implies that x, x
2
= 0, or x = 0. This then
shows that K
= {0}.
Now suppose that K
and
thus x = 0. This then implies that K
h =
n=0
n
h
n
for all h H, nd the vector
h H such that
Lh = h,
h for all h H.
(b) What is the norm of the linear functional dened in part (b)?
Solution: It is easy to see that we have
|L
(h)| h
2
1
_
1 ||
2
.
Then L
(h) =
_
h,
h
_
2
.
From this equality, it is immediate that
h =
_
1, ,
2
, . . .
_
, and clearly belongs to
2
with
norm given by
_
_
_
h
_
_
_
2
2
=
k=0
||
2k
=
1
1 ||
2
.
Note that these computations also give that L
=
1
1||
2
.
5. Suppose that H is a Hilbert space over the real numbers R. Show that x = y implies
that
x + y, x y = 0.
Solution: We expand the inner product to nd
x + y, x y = x
2
y
2
x, y +y, x = x
2
y
2
since we are working in a real vector space. But, then the hypothesis that x = y
gives the result.
6. Show that in an inner product space H that
z x
2
+z y
2
=
1
2
x y
2
+ 2
_
_
_
_
z
1
2
(x + y)
_
_
_
_
2
.
This is called Apollonius Identity.
Solution: This is a straight forward computation: Just expand both sides. Exact details
left to the student.
7. If in a Hilbert space we have x
n
x and y
n
y, show that
x
n
, y
n
x, y .
Solution: Now that we have
|x
n
, y
n
x, y| = |x
n
, y
n
x
n
, y +x
n
, y x, y|
|x
n
, y
n
x
n
, y| +|x
n
, y x, y|
x
n
y
n
y +x
n
x y .
Now for the second term above, this clearly goes to zero since x
n
x. For the rst term,
note that since x
n
x, we have that x
n
x, so in particular, sup
n
x
n
< +.
Then we can simply conclude that this term goes to zero since y
n
y.
8. Show that y x
n
and x
n
x implies that x y.
Solution: Observe that
x, y = x, y x
n
, y = x x
n
, y
An application of Cauchy-Schwarz then gives
|x, y| x x
n
y .
But since x
n
x, we must have that |x, y| = 0, which gives the result.
9. Show that for a sequence {x
n
} in a Hilbert space that the conditions x
n
x and
x
n
, x x, x implies that x
n
x.
Solution:
x
n
x
2
= x
n
2
+x
2
x
n
, x x, x
n
.
This then clearly gives the result, the hypotheses imply that the right hand side goes to
zero.
10. Let {e
k
} be any orthonormal sequence in a Hilbert space H. Show that for any x, y H
that
k=1
|x, e
k
y, e
k
| x y
Solution: Note that by Bessels Inequality, we have that
x
2
k=1
|x, e
k
|
2
.
The result then follow easily from Cauchy-Schwarz,
k=1
|x, e
k
y, e
k
|
_
k=1
|x, e
k
|
2
_1
2
_
k=1
|y, e
k
|
2
_1
2
x y .
11. Show that an element x of a Hilbert space can not have too many Fourier coecients
x, e
k
that are big. Namely if {e
k
} is an orthonormal sequence, show that the number
N() of x, e
k
such that
|x, e
k
| >
must satisfy N() <
x
2
2
.
Solution: Note that by Bessels Inequality, we have that
x
2
k=1
|x, e
k
|
2
.
Now, if we sum over only those elements such that |x, e
k
| > , then we clearly have
N()
2
k:|x,e
k
|>
1
k=1
|x, e
k
|
2
x
2
.
Rearrangement gives the result.