0
$\begingroup$

Here is my homework. $f\in L([a,b]),\epsilon>0$.Prove that exist a step function $S(x)$ such that $\int_{a}^{b}|f(x)-S(x)|dx<\epsilon$ My method:

Assume that $f$ is non-negative, or we will discuss $f_{+}$ and $f_{-}$ of $f$.

Since we can find a continuous function $h(x)$ s.t. $\int_{a}^{b}|f(x)-h(x)|dx<\epsilon$ So,we just need to find $S(x)$,s.t. $\int_{a}^{b}|S(x)-h(x)|dx<\epsilon$ Obviously,$h(x)$ is Riemann integral,for the $\epsilon$ above, there exist a partition of $[a,b]$\, a = x_0 < x_1 < x_2 < \cdots < x_n = b\,$,$\exists\xi_{i}\in(x_{i-1},x_i)$,s.t. $|\int_{a}^{b}h(x)dx-\sum_{i=1}^{n}h(\xi_{i})(x_{i}-x_{i-1})|<\epsilon$ That is $\int_{a}^{b}|h(x)-\frac{1}{b-a}\sum_{i=1}^{n}h(\xi_{i})(x_{i}-x_{i-1})|dx<\epsilon$ Then we find the step function $S(x)$ $S(x)=\frac{1}{b-a}\sum_{i=1}^{n}h(\xi_{i})(x_{i}-x_{i-1})$$ At the interval $(x_{i-1},x_i)$,we have find a constant $\frac{h(\xi_{i})}{b-a}$

1 Answers 1

1

Let's expand a bit what you've done. We have that

$|\int_{a}^b h(x) dx = \displaystyle \sum_{i=1}^{n} h(\xi_i)(x_i - x_{i-1})| < \epsilon$.

By noting that $\frac{1}{b-a}\int_{a}^b dx = 1$, we can move the sum underneath the integral and see that

$|\int_{a}^b h(x) - \sum_{i=1}^{n} h(\xi_i)(x_i - x_{i-1})dx| < \epsilon$.

This isn't quite the same as what you have. You can't move the absolute value underneath the integral. However, the following two devices will allow for this:

1) We may assume h is nonnegative (why?)

2) We may approximate h from below (why?)

  • 0
    You're right. I use the inf finally.2012-12-09