0
$\begingroup$

Let $g$ be a measurable function on $[0,1]$. Suppose that $g$ is finite almost everywhere and let $\mu$ be the Lebesgue measure. Then for any $\epsilon >0$, there is a polynomial $h$, such that $$ \mu\left(\{x: |g(x)-h(x)|>\epsilon \}\right) < \epsilon.$$

Well, I know that there is a continuous function, say, $f(x)$ such that $|g(x)-f(x)|<\epsilon$ except on a set of measure less than $\epsilon.$ Now, since polynomials are a continuous functions, can I take $h(x)=f(x)$, and thus proving the above? If not, how to I go about proving it?

  • 1
    No, that wouldn't immediately follow; but, maybe use [this](http://en.wikipedia.org/wiki/Stone%E2%80%93Weierstrass_theorem#Weierstrass_approximation_theorem)2012-03-02
  • 0
    @DavidMitra: How do I use it, since the theorem says that for all $x\in [0,1],|g(x)-h(x)|<\epsilon$.2012-03-02
  • 0
    That's fine; it's just more than you need.2012-03-02

1 Answers 1