Show that the function f: R -> {x in R: -1<x<1} defined by f(x)=x/(1+|x|), x in R is one-one and onto function.
Hint. Split into cases x>=0 and x<0, since |x| behaves differently in each; for onto, solve y=f(x) for x separately in each case.
One-one: for x>=0, f(x)=x/(1+x), which is strictly increasing, so distinct non-negative x give distinct outputs. For x<0, f(x)=x/(1-x), also strictly increasing (can be checked by the same monotonicity argument), so distinct negative x give distinct outputs. A non-negative x and a negative x can never share an image, since f(x)>=0 for x>=0 and f(x)<0 for x<0 (equal only at x=0, which is unique to that case). So f is one-one across all of R.
Onto: given y in (-1,1), if y>=0, solve x/(1+x)=y for x>=0, giving x=y/(1-y), which is well-defined and non-negative since 0<=y<1. If y<0, solve x/(1-x)=y for x<0, giving x=y/(1+y), well-defined and negative since -1<y<0. Either way, a preimage in R exists.
✦ f is one-one and onto.
