Polynomial recurrence for the absolute value
ID: polynomial-recurrence-for-the-absolute-value
Starting with on , this polynomial recurrence gives and . Indeed the error satisfies . Its pointwise limit solves , so it is . Dini's theorem gives uniform convergence. Each continuous piecewise linear function is an affine function plus a finite linear combination of . Scaling and translating the recurrence therefore gives polynomial approximation of every such function, and their density gives the Weierstrass approximation theorem.
New to topics? Read the docs here!