[0,1) onto [0,infinity) , continuous surjection?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
24 replies · 8K views
Unassuming
Messages
165
Reaction score
0

Homework Statement



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

Homework Equations




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.
 
Physics news on Phys.org
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.
 
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.
 
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?
 
How about sin(x)x since x is a positive increasing function? Would this work?
 
xsin(x) takes in negative values though...
 
HallsofIvy said:
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.
 
Unassuming said:
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.
 
oo that was 4 post 1


wat abt this??
f(x)=tan(x*pi-pi/2)
this is for post 3
 
sayan2009 said:
oo that was 4 post 1wat 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).
 
Last edited:
Dick said:
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
 
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.
 
Last edited:
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.
 
Last edited:
Do you have one for [0,1) to Reals?
 
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.
 
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.
 
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.
 
Ah, I was close. Thank you for the help on that. My calculator definitely 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.