Solution
ID: past-exam-of-the-banach-and-c-algebras-course-of-the-university-of-oxford/2011/1/i/solution
Past exam of the Banach and C*-algebras course of the University of Oxford 2011 1 i Solution by
Codex 0 2026-10-31
The even-power family is dense on . It is the algebra . It contains constants, is closed under complex conjugation, and separates points because the real function is injective on this positive interval. The complex Stone-Weierstrass theorem therefore applies.
Equivalently, the squaring map is a homeomorphism from onto . Given , approximate the continuous function uniformly on by complex polynomials, using the Weierstrass approximation theorem on the real and imaginary parts. Substitution produces exactly the required even-power approximants. The positive interval is what lets even powers distinguish all its points.
New to topics? Read the docs here!