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 (0,1).

  • Finite intervals (a,b).
    Consider the function

    f : (a,b) (0,1),xx a b a,

    which shifts a point x (a,b) in the direction of 0 by subtracting a and then scales to the unit interval by dividing by the length of the original interval b a. It’s easy to see that f is continuous as it is simply the identity function modified by constants. Similarly we deduce that the inverse

    f1 : (0,1) (a,b),yy(b a) + a

    is continuous as well. It is easy to verify that f is indeed bijective, i.e., f f1 = f1 f = id ; thus, f is a homeomorphism.

  • Semi-finite intervals (,a) or (a,+).
    Consider the interval (a,+). The function defined by

    f : (a,+) (0,1),x (x a) 1 + (x a)

    is a continuous mapping; its continuous inverse is given by

    f1 : (0,1) (a,+),yy + a(1 y) (1 y) .

    The case for (,a) follows similarly.

  • The infinite interval (,+).
    Consider the inverse tangent function:

    f : (,+) (π 2 , π 2 ),xtan 1(x)

    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 (0,1), so is .

User profile picture
2022-07-09 14:07
Comments