A2.3 B2.2

Functional Analysis
Part II, 2001

(i) State the Stone-Weierstrass theorem for complex-valued functions. Use it to show that the trigonometric polynomials are dense in the space C(T)C(\mathbb{T}) of continuous, complexvalued functions on the unit circle T\mathbb{T} with the uniform norm.

Show further that, for fC(T)f \in C(\mathbb{T}), the nnth Fourier coefficient

f^(n)=12π02πf(eiθ)einθdθ\widehat{f}(n)=\frac{1}{2 \pi} \int_{0}^{2 \pi} f\left(e^{i \theta}\right) e^{-i n \theta} d \theta

tends to 0 as n|n| tends to infinity.

(ii) (a) Let XX be a normed space with the property that the series n=1xn\sum_{n=1}^{\infty} x_{n} converges whenever (xn)\left(x_{n}\right) is a sequence in XX with n=1xn\sum_{n=1}^{\infty}\left\|x_{n}\right\| convergent. Show that XX is a Banach space.

(b) Let KK be a compact metric space and LL a closed subset of KK. Let R:C(K)R: C(K) \rightarrow C(L)C(L) be the map sending fC(K)f \in C(K) to its restriction R(f)=fLR(f)=f \mid L to LL. Show that RR is a bounded, linear map and that its image is a subalgebra of C(L)C(L) separating the points of

Show further that, for each function gg in the image of RR, there is a function fC(K)f \in C(K) with R(f)=gR(f)=g and f=g\|f\|_{\infty}=\|g\|_{\infty}. Deduce that every continuous, complexvalued function on LL can be extended to a continuous function on all of KK.