Homepage › Solution manuals › James Munkres › Topology › Exercise 18.7
Exercise 18.7
- (a)
- Suppose that
is “continuous from the right,” that is
for each . Show that is continuous when considered as a function from to .
- (b)
- Can you conjecture what functions are continuous when considered as maps from to ? We shall return to this question in Chapter 3.
Answers
Proof. Consider any basis element , which is clearly open since basis elements are always open. We then have that the complement of this set is . We claim that this complement is also open so that is closed by definition. To see this, define the sets for . Clearly, each is open since it is the union of two basis elements. It is also trivial to show that , which is then also open since it is a union of open sets. □
Lemma 2. The only open sets in the standard topology on that are both open and closed are and itself.
Proof. First, clearly, both and are both open and closed since they are compliments of each other and are both open by the definition of a topology. Now suppose that is a nonempty subset of that is both open and closed. Suppose also that so that and hence there is a where . We show that the existence of such a results in a contradiction, which of course shows the desired result since it implies that if . Since is nonempty we have that there is an and it must be that since but .
If then define the set . Clearly, we have that is nonempty since , and that is a lower bound of . It then follows that has a largest lower bound since this is a fundamental property of . It could be that or . In the former case, we have that any basis element containing is not a subset of . To see this, we have that , which means that is not a lower bound of since is the largest lower bound. Hence there is a where . We then have (noting that since is a lower bound of ) so and so that . Hence is not a subset of , which contradicts the fact that is open since the basis element was arbitrary.
In the latter case where then it has to be that since is a lower bound of and is the largest lower bound (and it cannot be that since but ). We clearly have that , which is open since is closed. Now consider any basis element containing so that . Let so that and hence there is a real where and hence . Now, since it has to be that since otherwise, would not be a lower bound of . We also have that so that it has to be that since otherwise it would be that . Thus , which shows that is not a subset of since . Since was an arbitrary basis element, this contradicts the fact that is open.
It was thus shown that in either case, a contradiction arises. Analogous arguments also show contradictions when , this time using the set and its least upper bound. Hence it has to be that , which shows the desired result. □
Main Problem.
(a) Recall that by the definition of the one-sided limit, is continuous from the right if, for every and every , there is a such that for every where .
Proof. So suppose that is continuous from the right and consider any . Let be neighborhood of in . Then there is a basis element of that contains and is a subset of . Hence , so let so that clearly and if , then so that also . Now, since is continuous from the right, there is a such that for every where . So let which is clearly a basis element of and contains so that it is a neighborhood of .
Now consider any so that there is an where . If then clearly so that . If then it has to be that and also that since . It then follows that so that again . Hence in both cases , which shows that since was arbitrary. We have thus shown part (4) of Theorem 18.1, from which the topological continuity of follows. □
(b) We claim that only constant functions are continuous from to .
Proof. First, it was shown in Theorem 18.2 part (a) that constant functions are always continuous regardless of the topologies. Hence we must show that any continuous function from to is constant. So suppose that is such a function. Now consider any real where . Clearly, if then is a constant function since was arbitrary. So suppose that this is not the case so that . Without loss of generality, we can assume that . So consider the basis element of , which clearly contains but not .
Since is continuous and is both open and closed by Lemma 1 , it follows from the definition of continuity and from Theorem 18.1 part (3) that must be both open and closed in . However, the only sets that are both open and closed in are and itself by Lemma 2 . Thus either or . It cannot be that since we have that so that . Hence it must be that , but then we would have so that , which we know it not the case. We, therefore, have a contradiction so that it must be that so that is constant. □
Lastly, we claim that the only functions that are continuous from to are those that are continuous and non-decreasing from the right. For a function this means that for every and every there is a such that and for every .
Proof. First, we show that such functions are in fact continuous. So suppose that is continuous and non-decreasing from the right and consider any real . Let be any neighborhood of so that there is a basis element containing such that . Let so that since . Hence there is a such that implies that and . We then have that is a basis element and therefore an open set of that contains . Consider any so that for some . Then so that and . It then follows that so that , and hence . Thus also since . This shows that since was arbitrary, and hence that is continuous by Theorem 18.1.
Now we show that a continuous function must be continuous and non-decreasing from the right by showing the contrapositive. So suppose that is not continuous and non-decreasing from the right. Then there exists a real and an such that, for any , there is a where or . Clearly, we have that is basis element and therefore open set of that contains . Consider any neighborhood of so that there is a basis element containing where . Then so that . It then follows that there is a such that or . Clearly, we have that so that also and . However, if then clearly . On the other hand, if then it has to be that . Then we have that so that , and hence so that again . This suffices to show that is not a subset of , which shows that is not continuous by Theorem 18.1 since was an arbitrary neighborhood of . □