Every open interval is open in the usual metric topology. Conversely, if is open and , there exists with . Taking the union of these intervals over all recovers . Thus open intervals form a basis of the usual topology.
If is continuous, the two sets are inverse images of the open rays and , so they are open. Conversely, suppose both families of inverse images are open. For any interval ,which is open. By part (c)(i) and the basis of a topology criterion from part (b), all inverse images of open sets are open. Hence is continuous.
Articles by others on the same topic
There are currently no matching articles.