Homepage › Solution manuals › Theodore Gamelin › Introduction to Topology › Exercise 2.3.4 (Open real intervals are homeomorphic)
Exercise 2.3.4 (Open real intervals are homeomorphic)
Prove that all open intervals in (finite, semi-infinite, or infinite) are homeomorphic.
Answers
Proof. We break down the proof into three cases: finite, semi-finite and infinite open sets. In each of the cases, we demonstrate that the interval in question is homeomorphic to the unit interval .
-
Finite intervals .
Consider the functionwhich shifts a point in the direction of by subtracting and then scales to the unit interval by dividing by the length of the original interval . It’s easy to see that is continuous as it is simply the identity function modified by constants. Similarly we deduce that the inverse
is continuous as well. It is easy to verify that is indeed bijective, i.e., ; thus, is a homeomorphism.
-
Semi-finite intervals or .
Consider the interval . The function defined byis a continuous mapping; its continuous inverse is given by
The case for follows similarly.
-
The infinite interval .
Consider the inverse tangent function:The inverse tangent function is known to be a continuous bijective function; thus, establishing a homomorphism between and a finite open interval. Since finite open intervals are homeomorphic to , so is .