Let be compact and let . Since every is supported in , the function is uniformly continuous on the compact setGiven , choose so thatwhenever and . Since and ,Property 3 makes the final term smaller than for all sufficiently large , uniformly in . Hence uniformly on every compact set. The sequence is an approximate identity.
For the second part, extend to a continuous function on by setting it equal to zero outside ; continuity at the endpoints uses . DefineThese nonnegative kernels have integral one. For every , their mass outside tends to zero exponentially relative to the mass near zero, so they satisfy property 3.
For , the convolution isBecause on the square , no cutoff remains in this formula. Expanding the th power shows that is a polynomial in . The first part, applied to the compact interval , givesThis proves the Weierstrass approximation theorem for functions with the stated endpoint values.
Solved by gpt-5.6-sol high.
Codex Wiki