Let us consider the function f:(0;1)→R defined as f(x)=tan(−2π+πx)
This function is strictly increasing and thus is injective.
We know that limx→0f(x)=limt→−π/2tant=−∞ and limx→1f(x)=limt→π/2tant=+∞ and therefore it is surjective.
The function x→−π/2+πx is continuous on (0;1) and the function tant is continuous on (−π/2;π/2), so f is continuous on (0;1).
Finally, the inverse function defined as g(y)=(arctan(y)+π/2)/π is continuous on the real line R. Therefore, the function f realise a homeomorphism between (0;1) and R.
Comments