If the elegant Weierstrass approximation theorem true for complex functions? Meaning, if be a continous function on a compact set (non-empty) then for any there exists a polynomial such that .
However, if S is a subset of the real line, then the result is true. This is an immediate consequence of the Stone–Weierstrass theorem, a beautiful and very far-reaching generalisation of the Weierstrass theorem. It relies on the fact that if p(x) is a (complex-valued) polynomial in the real variable x, then the complex conjugate of p(x) is also a polynomial in x.