Exercise 18.7

(a)
Suppose that f : is “continuous from the right,” that is lim xa+f(x) = f(a),

for each a . Show that f is continuous when considered as a function from l to .

(b)
Can you conjecture what functions f : are continuous when considered as maps from to l? We shall return to this question in Chapter 3.

Answers

Lemma 1. In the topology l, every basis element is both open and closed.

Proof. Consider any basis element B = [a,b), which is clearly open since basis elements are always open. We then have that the complement of this set is C = B = (,a) [b,). We claim that this complement is also open so that B is closed by definition. To see this, define the sets Cn = [a n 1,a n + 1) [b + n 1,b + n + 1) for n +. Clearly, each Cn is open since it is the union of two basis elements. It is also trivial to show that C = n+Cn, 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 U is a nonempty subset of that is both open and closed. Suppose also that U so that U and hence there is a y where yU. We show that the existence of such a U results in a contradiction, which of course shows the desired result since it implies that U = if U. Since U is nonempty we have that there is an x U and it must be that xy since x U but yU.

If x < y then define the set A = {z > xzU }. Clearly, we have that A is nonempty since y A, and that x is a lower bound of A. It then follows that A has a largest lower bound a since this is a fundamental property of . It could be that a U or aU. In the former case, we have that any basis element (c,d) containing a is not a subset of U. To see this, we have that c < a < d, which means that d is not a lower bound of A since a is the largest lower bound. Hence there is a z A where d > z. We then have c < a z < d (noting that a z since a is a lower bound of A) so z (c,d) and z A so that zU. Hence (c,d) is not a subset of U, which contradicts the fact that U is open since the basis element (c,d) was arbitrary.

In the latter case where aU then it has to be that x < a since x is a lower bound of A and a is the largest lower bound (and it cannot be that a = x since x U but aU). We clearly have that a U, which is open since U is closed. Now consider any basis element (c,d) containing a so that c < a < d. Let b = max (x,c) so that b < a and hence there is a real z where c b < z < a < d and hence z (c,d). Now, since z < a it has to be that zA since otherwise, a would not be a lower bound of A. We also have that x b < z so that it has to be that z U since otherwise it would be that z A. Thus z U, which shows that (c,d) is not a subset of U since z (c,d). Since (c,d) was an arbitrary basis element, this contradicts the fact that U is open.

It was thus shown that in either case, a contradiction arises. Analogous arguments also show contradictions when x > y, this time using the set A = {z < xzU } and its least upper bound. Hence it has to be that U = , which shows the desired result. □

Main Problem.

(a) Recall that by the definition of the one-sided limit, f : is continuous from the right if, for every a and every 𝜖 > 0, there is a δ > 0 such that |f(x) f(a)| < 𝜖 for every x > a where |x a| < δ.

Proof. So suppose that f is continuous from the right and consider any a . Let V be neighborhood of f(a) in . Then there is a basis element (c,d) of that contains f(a) and is a subset of V . Hence c < f(a) < d, so let 𝜖 = min [f(a) c,d f(a)] so that clearly 𝜖 > 0 and if |y f(a)| < 𝜖, then y (c,d) so that also y V . Now, since f is continuous from the right, there is a δ > 0 such that |f(x) f(a)| < 𝜖 for every x > a where |x a| < δ. So let U = [a,a + δ) which is clearly a basis element of l and contains a so that it is a neighborhood of a.

Now consider any y f(U) so that there is an x U where y = f(x). If x = a then clearly |f(x) f(a)| = |f(a) f(a)| = |0| = 0 < 𝜖 so that f(x) V . If xa then it has to be that x > a and also that |x a| = x a < δ since U = [a,a + δ). It then follows that |f(x) f(a)| < 𝜖 so that again f(x) V . Hence in both cases y = f(x) V , which shows that f(U) V since y was arbitrary. We have thus shown part (4) of Theorem 18.1, from which the topological continuity of f follows. □

(b) We claim that only constant functions are continuous from to l.

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 l is constant. So suppose that f is such a function. Now consider any real x where x0. Clearly, if f(x) = f(0) then f is a constant function since x was arbitrary. So suppose that this is not the case so that f(x)f(0). Without loss of generality, we can assume that f(0) < f(x). So consider the basis element B = [f(0),f(x)) of l, which clearly contains f(0) but not f(x).

Since f is continuous and B is both open and closed by Lemma 1 , it follows from the definition of continuity and from Theorem 18.1 part (3) that f1(B) 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 f1(B) = or f1(B) = . It cannot be that f1(B) = since we have that f(0) B so that 0 f1(B). Hence it must be that f1(B) = , but then we would have x f1(B) so that f(x) B, which we know it not the case. We, therefore, have a contradiction so that it must be that f(x) = f(0) so that f is constant. □

Lastly, we claim that the only functions that are continuous from l to l are those that are continuous and non-decreasing from the right. For a function f : this means that for every x and every 𝜖 > 0 there is a δ > 0 such that |f(y) f(x)| < 𝜖 and f(y) f(x) for every x y < x + δ.

Proof. First, we show that such functions are in fact continuous. So suppose that f is continuous and non-decreasing from the right and consider any real x. Let V be any neighborhood of f(x) so that there is a basis element B = [c,d) containing f(x) such that B V . Let 𝜖 = d f(x) so that 𝜖 > 0 since f(x) < d. Hence there is a δ > 0 such that x < y < x + δ implies that |f(y) f(x)| < 𝜖 and f(y) f(x). We then have that U = [x,x + δ) is a basis element and therefore an open set of l that contains x. Consider any z f(U) so that z = f(y) for some y U. Then x y < x + δ so that z = f(y) f(x) and |z f(x)| = |f(y) f(x)| < 𝜖. It then follows that 0 z f(x) < 𝜖 so that c f(x) z < f(x) + 𝜖 = d, and hence z [c,d) = B. Thus also z V since B V . This shows that f(U) V since z was arbitrary, and hence that f 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 f is not continuous and non-decreasing from the right. Then there exists a real x and an 𝜖 > 0 such that, for any δ > 0, there is a x y < x + δ where f(y) < f(x) or |f(y) f(x)| 𝜖. Clearly, we have that V = [f(x),f(x) + 𝜖) is basis element and therefore open set of l that contains f(x). Consider any neighborhood U of x so that there is a basis element B = [a,b) containing x where B U. Then x < b so that δ = b x > 0. It then follows that there is a x y < x + δ = b such that f(y) < f(x) or |f(y) f(x)| 𝜖. Clearly, we have that y B so that also y U and f(y) f(U). However, if f(y) < f(x) then clearly f(y)V . On the other hand, if f(y) f(x) then it has to be that |f(y) f(x)| 𝜖. Then we have that f(y) f(x) 0 so that f(y) f(x) = |f(y) f(x)| 𝜖, and hence f(y) f(x) + 𝜖 so that again f(y)V . This suffices to show that f(U) is not a subset of V , which shows that f is not continuous by Theorem 18.1 since U was an arbitrary neighborhood of x. □

User profile picture
2019-12-01 00:00
Comments