Professional Documents
Culture Documents
Paper Code MATH M6202
Paper Code MATH M6202
FUNCTIONAL ANALYSIS
MATH 36202
(Paper Code MATH M6202)
Since this quadratic polynomial is always non-negative, its discriminant satisfies 4 hx, yi2 −
4kxk2 kyk2 ≤ 0. Hence, | hx, yi | ≤ kxk kyk, as required.
(b) (5 marks, similar to homework)
By the Cauchy-Schwarz inequality,
We observe that kxn k ≤ kxk + kxn − xk → kxk, so that kxn k is bounded. Since
kxn − xk → 0 and kyn − yk → 0, this implies that the above expression converges to
zero.
(c) (5 marks, unseen)
Observe that
ktx + (1 − t)yk ≤ ktxk + k(1 − t)yk = 1,
for any 0 < t < 1.
Suppose in contrary that the equality holds for some t in (0, 1). Then
and this implies that he1 , en i = 0 for all n ≥ 2. The same argument shows that
hek , el i = 0 for all k 6= l.
2. (a) (4 marks, bookwork)
(n)
Let x(n) = (xk )k≥1 be a Cauchy sequence in `∞ . This means that for every > 0,
and n, m ≥ n0 (),
(n) (m)
kx(n) − x(m) k∞ = sup |xk − xk | < .
k
meager in `2 .
(d) (i) (4 marks, similar to homework)
We write fn (x) = (e2πinx + e−2πinx )/2. By orthogonality for n 6= m,
1
kfn − fm k22 = ke2πinx + e−2πinx − e2πimx − e−2πimx k22 = 1.
4
This implies that fn is not a Cauchy sequence in H, so that it doesn’t converge.
(ii) (4 marks, similar to homework)
We use that the space of trigonometric polynomials is dense in H. For every
> 0, there exists a trigonometric polynomial such that kg − pk2 < . It follows
from orthogonality that for sufficiently large n, hfn , pi = 0. We obtain
√
| hfn , gi | ≤ | hfn , pi | + | hfn , g − pi | ≤ kfn k2 kg − pk2 < / 2.
This proves that hfn , gi → 0.
End of solutions.