PDA

View Full Version : [0,1) onto [0,infinity) , continuous surjection?


Unassuming
Oct5-08, 12:57 PM
1. The problem statement, all variables and given/known data

Find a continuous surjection from [0,1) onto [0, infinity)

2. Relevant equations


3. The attempt at a solution

I have only been able to come up with one mapping but then I realized it did not work. Any help would be appreciated.

Skatch
Oct5-08, 02:27 PM
You should be able to get what you need by manipulating the tan(x) function. Just set it up so that f(0) = 0 and f(x) -> Inf as x -> 1.

Unassuming
Oct5-08, 04:56 PM
I got it!! So what about a cont. surjection from [0,infinity) --> Reals? I was close to saying ln(x) but that doesn't include 0.

morphism
Oct5-08, 05:08 PM
What about something that oscillates, with a greater and greater 'peak' as we move along the x-axis?

Unassuming
Oct6-08, 06:22 PM
All I could think of was f(x)=sin(x)ln(x), or f(x)=xsin(x)ln(x).

Is this what (or similar, or close to) you are hinting at?

morphism
Oct6-08, 09:16 PM
You're sort of close - using sin(x) is a good idea. How about you multiply it by a positive, increasing function?

LMKIYHAQ
Oct7-08, 08:23 AM
How about sin(x)x since x is a positive increasing function? Would this work?

Unassuming
Oct7-08, 09:00 AM
xsin(x) takes in negative values though...

Dick
Oct7-08, 09:22 AM
xsin(x) takes in negative values though...

The square of a negative is positive.

HallsofIvy
Oct7-08, 09:51 AM
I would be inclined to use f(x)= x/(something that goes to 0 as x goes to 1)

Dick
Oct7-08, 10:02 AM
I would be inclined to use f(x)= x/(something that goes to 0 as x goes to 1)

The question was switched in post 3. You are out of touch on issues concerning the economy. Big debate tonight. Had to throw in a jab.

Dick
Oct7-08, 10:06 AM
xsin(x) takes in negative values though...

Hey, wait a minute didn't you say in post 3 that you want the domain to be the reals? What's wrong with negative?? I think your two questions are getting all tangled up.

sayan2009
Oct7-08, 09:47 PM
f(x)=tan(pi x/2)

Dick
Oct7-08, 11:07 PM
f(x)=tan(pi x/2)

At this point you should probably say which problem that's a solution to. The one in post 1 or the one in post 3?

sayan2009
Oct7-08, 11:36 PM
oo that was 4 post 1


wat abt this??
f(x)=tan(x*pi-pi/2)
this is for post 3

Dick
Oct7-08, 11:41 PM
oo that was 4 post 1


wat abt this??
f(x)=tan(x*pi-pi/2)
this is for post 3

Thought so. The first suggestion was good for post 1. This was actually the suggestion of post 2. The new one is not so good for post 3. It's undefined at x=1. And a lot of other places. The domain is supposed to be [0,infinity).

sayan2009
Oct7-08, 11:50 PM
Thought so. The first suggestion was good for post 1. This was actually the suggestion of post 2. The new one is not so good for post 3. It's undefined at x=1. And a lot of other places. The domain is supposed to be [0,infinity).

oo sorry...i thought it was from [0,1).....lemme think abt it

Dick
Oct8-08, 08:00 AM
oo sorry...i thought it was from [0,1).....lemme think abt it

Sure, can't hurt. There is a correct answer in one of the previous posts.

Unassuming
Nov21-08, 08:47 PM
It has been awhile and I am just browsing my old threads. I never got this problem though. Could anybody come up with the continuous surjection from

[0,1) onto R?

EDIT: I'm not even making sense, sorry.

Skatch
Nov21-08, 09:16 PM
The hints were leaning toward letting f(x) = (x^2) * sin(x), I think.

Not sure how to prove it's a surjection though. Any element, b, of the codomain is certainly mapped to, in fact its mapped to an infinite number of times. But the equation b = x^2 * sin(x) can't be solved explicitly for x. Or if it can, I certainly don't know how. But if you graph this function you should see that it works.

Sorry I'm not sure how to prove it.

EDIT: Ah, crap, I see now you wanted [0,1) to R. I was responding to the part of [0,Infinity) to R. The first surjection you needed was already answered with the tan function, sorry.

Unassuming
Nov21-08, 09:40 PM
Do you have one for [0,1) to Reals?

Dick
Nov21-08, 11:17 PM
This thread was started, like a month ago, Unassuming. morphism did the relevant observation in post #6. Make the function oscillating and unbounded. That's all. There's a gazillion ways to do this. Pick one.

Unassuming
Nov22-08, 12:21 PM
I have used his suggestion many times. I tried to visualize it and construct a function. I know that I needed an oscillating function and I can get something that passes through 0 and starts increasing wildly but how in the world do I constrict it enough so that it oscillates to infinity at it approaches 1?

I've tried dividing by (1-x). On my calculator it seems that it does the trick on making it undefined at 1, but it still doesn't approach infinity before that.

Dick
Nov22-08, 12:49 PM
Let g(x)=1/(1-x). Your suggestion. g(0)=1 g(x)->inf as x->1. Now let's make it 'oscillate wildly'. Define f(x)=sin(g(x))*g(x). That maps [0,1) onto the reals. It's onto because there are values of x such the f(x) is arbitrarily large or arbitrarily small (negative). f(x) is continuous so it also assumes every value in between. That's ALL of R. Whether your calculator can give you a clear enough picture of it's behavior, I don't know.

Unassuming
Nov22-08, 01:07 PM
Ah, I was close. Thank you for the help on that. My calculator definetely mislead me becaues it doesn't look like it oscillates "wildly" but it works if you hit trace and then let x=.9, x=.99, x=.999, etc.