Tuesday, 20 May 2014

analysis - Updated: Constructing a bijection between left(fracpi2,fracpi2right] and mathbbR



I am supposed to construct a bijective function for the interval:
I2=(π2,π2]R

I first tried the easier case, i.e.
f1:I1=(π2,π2)Rxtan(x)
which is a bijection. Now I know that the composition of bijective functions is still a bijection. Which means that it should be possible to 'make room' for the missing point π/2. The following function:
ϕ:RR{0}x{x+1 if xN0x otherwise
would be bijective, such that the composition ϕf1:I1R{0} is bijective, and as desired it now has room for a point that I can map to.



At this point I am not sure if my approach is correct because I can't find a function that would do the trick. Would I need to come up with another composition or is it enough to define a function that maps to the functions introduced above?



Update (in consideration of the answers given)




If I understand things correctly I can define: f2:I2Rx{ϕ(x) for xI20 for x=π2
Update 2 (Clarification required).



Define a new function to be equal to ϕf1 over I1 and have it map π/2 to 0. As suggested (and upvoted) by @TBrendle.



If I do understand this correctly, then I need to map x=\frac{\pi}{2} to 0. However in this case it would make no sense to me to include I_1 in the domain, because \pi/2 is not in the domain, hence I don't see why I should include it in the codomain, however if I define:
\begin{align}w: I_2 &\longrightarrow \mathbb{R} \\ (\phi\circ f_1)(x) & \longmapsto \begin{cases} (\phi \circ f_1) \ \text{if} \ x \in I_2 \\ 0 \ \text{if} \ x= \frac{\pi}{2} \end{cases} \end{align}
This doesn't even look like a legitimate function to me anymore, since at x=0 the function evaluates to both 0 and 1.


Answer




Your approach is flawless. What were you worried about? Your function will be defined piecewise.



Added details:



Your new function is
\psi : \left(-\frac{\pi}{2} \frac{\pi}{2}\right] \to \mathbb{R}



given by



\psi(x) = \begin{cases} \phi(\tan x), & \text{for }-\frac{\pi}{2} < x< \frac{\pi}{2} \\ 0, & \text{for } x=\frac{\pi}{2}\\ \end{cases}
where \phi is as given in the question. You can verify that the function \psi has the specified domain and range and is a bijection.


No comments:

Post a Comment

real analysis - How to find lim_{hrightarrow 0}frac{sin(ha)}{h}

How to find \lim_{h\rightarrow 0}\frac{\sin(ha)}{h} without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...