F. and M. Riesz theorem

[4/25%]
Show
LaTeX

Let P={p∣∂D:p=an analytic polynomial}P = \left\{ p|\partial \mathbb {D} : p = \text{an analytic polynomial}\right\} and consider PP as a manifold in C(∂D)C(\partial \mathbb {D}). Show that if μ\mu is a real-valued measure on ∂D\partial \mathbb {D} such that ∫p dμ=0\int p \, d\mu = 0 for every pp in PP, then μ=0\mu = 0. Give an example of a complex-valued measure μ\mu such that μ≠0\mu \neq 0 but ∫p dμ=0\int p \, d\mu = 0 for every pp in PP.

?

A function in H2\mathbf{H}^2 vanishes either almost everywhere or almost nowhere.

?

Suppose μ\mu is a complex Borel measure on TT such that

∫Teintdμ(t)=0(n=1,2,3,…) \int _{T} e^{i n t} d \mu (t) = 0 \quad (n = 1,2,3, \ldots )

Prove that then either μ=0\mu = 0 or the support of μ\mu is all of TT.

?

Suppose KK is a proper compact subset of the unit circle TT. Prove that every continuous function on KK can be uniformly approximated on KK by polynomials. Hint: Use Exercise 14.

?

References

[Con07] Conway J.B. A Course in Functional Analysis. 2nd ed., Springer, 2007.
[Hal82] Halmos P.R. A Hilbert Space Problem Book. 2nd ed., Springer-Verlag, 1982.
[Rud87] Rudin W. Real and Complex Analysis. 3rd ed., McGraw-Hill, 1987.