Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Let be compact and let . Since every is supported in , the function is uniformly continuous on the compact set
Given , choose so that
whenever 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 . Define
These 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 is
Because 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 , gives
This proves the Weierstrass approximation theorem for functions with the stated endpoint values.
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 10F
  2. Paper 2
  3. Ib
  4. 2021
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home