A2.3 B2.2
(i) State the Stone-Weierstrass theorem for complex-valued functions. Use it to show that the trigonometric polynomials are dense in the space of continuous, complexvalued functions on the unit circle with the uniform norm.
Show further that, for , the th Fourier coefficient
tends to 0 as tends to infinity.
(ii) (a) Let be a normed space with the property that the series converges whenever is a sequence in with convergent. Show that is a Banach space.
(b) Let be a compact metric space and a closed subset of . Let be the map sending to its restriction to . Show that is a bounded, linear map and that its image is a subalgebra of separating the points of
Show further that, for each function in the image of , there is a function with and . Deduce that every continuous, complexvalued function on can be extended to a continuous function on all of .