# Continuity of F(x)

## Main Question or Discussion Point

Let F(x) = Integral from a to x of f dt (a belongs in [a,b])
How do we show that F(x) is continuous? (f is Lebesgue integrable on [a,b] )

quasar987
Homework Helper
Gold Member
Write

$$F(x+h)-F(x)=\int_a^b\chi_{(x,x+h)}f(t)dt$$

for h>0, and

$$F(x+h)-F(x)=-\int_a^b\chi_{(x+h,x)}f(t)dt$$

for h>0, and use Lebesgue Dominated Convergence theorem to show that F(x+h)-F(x)-->0.

Hurkyl
Staff Emeritus
Gold Member
That's an interesting thought. I would have considered

$$F(x+h) - F(x) = \int_x^{x+h} f(t) \, dt$$

quasar987, thanks but I don't see how the DCT shows that F(x+h)-F(x)-->0. I know that
lim integral =integal lim
but does lim K(x+h,x)*f(t) tends to 0? If yes, why?

quasar987, thanks but I don't see how the DCT shows that F(x+h)-F(x)-->0. I know that
lim integral =integal lim
but does lim K(x+h,x)*f(t) tends to 0? If yes, why?
As far as I understand the limit of the indicator function will tend to 0 which in return will make the integral 0.

quasar987
Homework Helper
Gold Member
Well, make it an exercice to show that for any x in [a,b],

$$\chi_{(x,x+h)}\rightarrow\chi_{\emptyset}$$

($\chi_{\emptyset}$ is just the function that is identically 0).

In a way, Hurkyl's way is swifter if you know that in a finite measure space X (such as [a,b] with the Lebesgue measure), for any $1\leq r\leq s\leq +\infty$, [itex]L^s(X)\subset L^r(X)[/tex]. Because then you can just write

$$|F(x+h)-F(x)|\leq \int_x^{x+h}|f(t)|dt\leq||f||_{\infty}(x+h-x)\rightarrow 0$$

Hurkyl
Staff Emeritus