# Thread: [SOLVED] Ex of f not integrable

1. ## [SOLVED] Ex of f not integrable

I am having trouble finding an example of a function f:[0,1] onto Reals st f is not integrable on [0,1], but absolute value of f is integrable on [0,1]. Any suggestions?

2. [forget it ]

3. Originally Posted by student1001
I am having trouble finding an example of a function f:[0,1] onto Reals st f is not integrable on [0,1], but absolute value of f is integrable on [0,1]. Any suggestions?
How about $\displaystyle f(x) = \left \{ \begin{array}{lrr} 1 & \mbox{ if } x \in \mathbb{Q} & \\ & & \mbox{ for } x \in [0,1] \\ -1 & \mbox{ if } x \not \in \mathbb{Q} & \end{array} \right.$ ?

EDIT: Oh, wait, we said "onto" Reals...hmmm

4. $\displaystyle f(x) = \left\{ \begin{array}{cl} 1 & x \in \mathbb{Q} \\ -1 & x \in \text{Irrationals} \end{array}\right. \forall x \in [0,1]$

$\displaystyle \left|f(x)\right| = 1 \quad \forall x \in [0,1]$

I was thinking of that too, Jhevon although you beat me to posting it Haha.

I don't quite understand the implications of your edit though.

5. Originally Posted by Jhevon
EDIT: Oh, wait, we said "onto" Reals...hmmm
What do you mean by onto ?

I've seen that it meant surjective, but here, does it work for "the original set is R" or "the image of the original set is R" ?

6. Originally Posted by o_O
$\displaystyle f(x) = \left\{ \begin{array}{cl} 1 & x \in \mathbb{Q} \\ -1 & x \in \text{Irrationals} \end{array}\right. \forall x \in [0,1]$

$\displaystyle \left|f(x)\right| = 1 \quad \forall x \in [0,1]$

I was thinking of that too, Jhevon although you beat me to posting it Haha.

I don't quite understand the implications of your edit though.
Yes, as Moo said. I was thinking, "hmmm, onto means surjective. But my function only hits 1 and -1, even if i don't restrict the interval"

as onto is used here, it refers to the image of the function

7. Originally Posted by Moo
[forget it ]

also, if you were going to delete it, why not just delete the post altogether

EDIT: Oh yeah, i remember what you said now, nevermind

8. Originally Posted by Jhevon

also, if you were going to delete it, why not just delete the post altogether
Because I didn't think about that...
I can't get it again, but I can write it back... I just didn't want to confuse the guy.

9. Originally Posted by Moo
Because I didn't think about that...
I can't get it again, but I can write it back... I just didn't want to confuse the guy.
No, don't worry about it. I remember what you wrote

10. Originally Posted by Jhevon
How about $\displaystyle f(x) = \left \{ \begin{array}{lrr} 1 & \mbox{ if } x \in \mathbb{Q} & \\ & & \mbox{ for } x \in [0,1] \\ -1 & \mbox{ if } x \not \in \mathbb{Q} & \end{array} \right.$ ?

EDIT: Oh, wait, we said "onto" Reals...hmmm
Cant we just tweak this a little bit and say:
$\displaystyle f(x) = \left \{ \begin{array}{lrr} 1 & \mbox{ if } x \in \mathbb{Q} & \\ & & \mbox{ for } x \in [0,1] \\ -1 & \mbox{ if } x \not \in \mathbb{Q} & \end{array} \right.$

(Tweak)
$\displaystyle \forall x \in \mathbb{R} - [0,1], f(x) = x\sin x$

Isnt this onto?

EDIT: Its wrong... misunderstood the question

11. Originally Posted by Isomorphism
Cant we just tweak this a little bit and say:
$\displaystyle f(x) = \left \{ \begin{array}{lrr} 1 & \mbox{ if } x \in \mathbb{Q} & \\ & & \mbox{ for } x \in [0,1] \\ -1 & \mbox{ if } x \not \in \mathbb{Q} & \end{array} \right.$

(Tweak)
$\displaystyle \forall x \in \mathbb{R} - [0,1], f(x) = x\sin x$

Isnt this onto?
You want a function from $\displaystyle [0,1]$ onto $\displaystyle \mathbb{R}.$

Note there is no qualification on integrable. Presumably the OP is interested in something like Riemann integrability rather than Lesbegue integrability. Which is just as well as all the functions presented are Lesbegue integrable (since $\displaystyle \mathbb{Q}$ is countable and hence of measure zero).

RonL

12. This problem just does not make any sense. The way the Riemann integral is defined we use the condition that $\displaystyle f$ is bounded on $\displaystyle [0,1]$ which certainly makes it impossible for it to be onto $\displaystyle \mathbb{R}$. Unless you have a different understanding of integration, maybe you are thinking about improper integration?

13. Originally Posted by ThePerfectHacker
This problem just does not make any sense. The way the Riemann integral is defined we use the condition that $\displaystyle f$ is bounded on $\displaystyle [0,1]$ which certainly makes it impossible for it to be onto $\displaystyle \mathbb{R}$. Unless you have a different understanding of integration, maybe you are thinking about improper integration?
On-to in this case would mean have to mean that the integral is improper if we are talking Riemann integrals.

RonL