Even and odd polynomial density on a positive interval

ID: even-and-odd-polynomial-density-on-a-positive-interval

On a positive compact interval, both even-power and odd-power complex polynomial families are uniformly dense in the continuous-function algebra. The even family is a conjugation-closed unital algebra separating points, since squaring is injective on the interval; the Stone-Weierstrass theorem proves its density. Equivalently use the homeomorphism and polynomial approximation on . For the odd family, given a target , first approximate by an even polynomial . Then is odd and its error is at most times the first error. Division is continuous because the interval avoids zero. Thus the odd family can be dense even though it is not a unital subalgebra.

New to topics? Read the docs here!