Integrability

Printable View

May 5th 2010, 01:33 AM
adam63

Integrability

Let $A\subseteq[0,1], |A|=\aleph_0$ ,

f(x)={0 if $x\notin A$ , 1 if $x\in A$ }

Prove that f is not integrable in [0,1], or show a negative proof and prove that it is integrable in [0,1].
May 5th 2010, 02:05 AM
HallsofIvy

Quote:

Originally Posted by adam63

Let $A\subseteq[0,1], |A|=\aleph_0$ ,

f(x)={0 if $x\notin A$ , 1 if $x\in A$ }

Prove that f is not integrable in [0,1], or show a negative proof and prove that it is integrable in [0,1].

Reimann integrable or Lebesque integrable? In either case, since f is bounded and its set of discontinuities has Lebesque measure 0, f is integrable.
May 5th 2010, 02:25 AM
adam63

Quote:

Originally Posted by HallsofIvy

Reimann integrable or Lebesque integrable? In either case, since f is bounded and its set of discontinuities has Lebesque measure 0, f is integrable.

Reimann integrable. I haven't learned Lebesque measure - only Reimann and Darboo's integrable definition.
May 6th 2010, 02:25 AM
adam63

Quote:

Originally Posted by HallsofIvy

Reimann integrable or Lebesque integrable? In either case, since f is bounded and its set of discontinuities has Lebesque measure 0, f is integrable.

and BTW in Riemann's case f is not integrable - take Dirichlet function in [0,1] - it is not Riemann-integrable, because you can always take a group of irrational points to get an integral that equals to zero, and so on.
May 7th 2010, 09:41 PM
adam63

Can anyone please help me with that? I need it urgently.
May 7th 2010, 09:52 PM
Drexel28

Quote:

Originally Posted by adam63

Can anyone please help me with that? I need it urgently.

Hint:

Spoiler:

$N=\left\{\frac{1}{n}:n\in\mathbb{N}\right\}\cup\{0 \}$

Spoiler:

Let $\varepsilon>0$ be given. Clearly $[0,1]-N$ is dense and so $L(P,f)=0$ for every parition $P$ . So, we must merely show that we may make $U(P,f)$ arbitrarily small. So, the idea is to cover all but finitely many elements of $N$ by one interval containing $0$ and then put sufficiently small intervals around the remaining points. I have distictly left out three important details. Fill them in.
May 7th 2010, 09:54 PM
Drexel28

Quote:

Originally Posted by HallsofIvy

Reimann integrable or Lebesque integrable? In either case, since f is bounded and its set of discontinuities has Lebesque measure 0, f is integrable.

Just because your perturbing the zero function at a countable number of places does not mean the set of all discontinuities created is countable, and thus necessarily of measure zero. The indicator function for the rationals differs from the zero function at countably many places but the set of discontinuities introduced has measure one.