Each interval is open in the usual metric: if , the ball with radius is contained in it. Conversely, if is open and , the metric definition supplies with . Thus every open set is a union of open intervals, which proves they form a basis.
If is continuous, the sets in question are preimages of the open rays and , so they are open. Conversely, suppose all those sets are open. For every ,is open as the intersection of two open sets. Part (i) and the basis criterion of part (b) then prove is continuous.
Articles by others on the same topic
There are currently no matching articles.