Chapter 7. Continuity

Chapter 7 Continuity There are many processes and eects that depends on certain set of variables in such a way that a small change in these variables acts as small change in the process. Changes of this type are commonly called continuous. As an example we can consider the growth of a living organism or dilation of heated wire. It is common to perform a computation of value of a function in an approximate argument. Doing this we assume that the values of the function obtained by such a manner are close enough to the exact values. However, there are function that do not obey such a nice property. For example, one cannot approximate values of the Dirichlet function in an irrational number by its values in an (arbitrary close) rational number. Therefore we are naturally forced to distinguish between two classes of functions with respect to the above mentioned property of continuity. We shall introduce the notion of continuous function (mapping). The notions of "small change" and so on will be replaced by exact notion of a neighborhood. In the following chapters we will draw our attention mainly to the real-valued functions of one or more real variables, however, this chapter will consider also the mappings dened on a subset of R m with values in R k. Let us mention that the proofs of the theorems considering such the mappings are essentially not dierent from the case of real-valued functions. Besides this, we shall prove that the problem of continuity of such a mapping is equivalent with the problem of continuity of the set of k real-valued functions each of them depending on m real variables. In spite of this fact we recommend to the beginners to formulate all the notions and prove relevant theorems in the case of real-valued function of one real variable. On the other hand, the experienced readers could try to generalize some notions and/or results to the cases of the mappings dened on a subset of a topological space and with values in a Hausdor topological space. Through this chapter the symbol R s, for s N means, as usually, Hausdor topological 55

7.1 Continuity of a mapping at a point 56 space equipped with the metric topology generated by the Euclidean metric d s d s (x, y) =ÌsXj=1(x j y j ) 2 for x = (x 1, x 2 m..., x s ) R s, y = (y 1, y 2,..., y s ) R s. 7.1 Continuity of a mapping at a point Denition 7.1.1. Let f : (M R m ) R k. We say that the mapping f is continuous at a point a M, if for any neighborhood O(f(a)) of the point f(a) exists such a neighborhood O(a) of the point a that for all x in M O(a) we have f(x) O(f(a)). We write down (we read: the limit of f in a equals f(a)) In logical symbolic we write down: lim f(x) = f(a). x a lim f(x) = f(a) := O(f(a)) O(a) x M O(a) : f(x) O(f(a)). x a The set M O(a) is the neighborhood of the point a in a relative topology T r on M (see section 5.2). Thus the set M R m can be understood in denition 7.1.1 as an topological subspace (M, T ) of the topological space (R m, T dm ). Let us write down another and often used denition of continuity of a mapping f : (M R m ) R k in a point a: Denition 7.1.2. We say that the mapping f : (M R m ) R k is continuous at a point a M if the following holds ɛ R + δ R + x M : (d m (x, a) < δ d k (f(x), f(a)) < ɛ). The equivalency of the denitions 7.1.1 and 7.1.2 follows from the fact that any neighborhood of a point in R s contains some open ball centered at this point. Simultaneously, this ball is a neighborhood of its own center (see section 5.2). In the case k = 1 we have the notion of continuity of a real-valued function of many real variables. If m = k = 1 we have simplest case: continuity of a real-valued function of one real variable. Let us write denition 7.1.2 in explicit forms for these two important cases: k = 1 the mapping f : (M R m ) R is said to be continuous at a point a M if: ɛ R + δ R + x M : (d m (x, a) < δ f(x) f(a) < ɛ). 56

7.1 Continuity of a mapping at a point 57 k = m = 1 the mapping f : (M R) R is said to be continuous at a point a M if: ɛ R + δ R + x M : ( x a < δ f(x) f(a) < ɛ). The geometrical interpretation of the notion of continuity of a real-valued function of one real variable in a point is given in g. 7.1. y f(a) + ɛ f(x) f(a) f(a) ɛ O a δ x a + δ x Figure 7.1: Let us examine the notion of continuity in a point in more detail. Let us consider the situation when a is an isolated point of the set M R m, where the mapping f is dened. Then the mapping f is continuous at a. In fact, a is isolated point in M implies that there exists such a neighborhood O 0 (a) of a that O 0 (a) M = {a}. Therefore for any x M O 0 (a) we have f(x) = f(a) O(f(a)) for arbitrary neighborhood of the point f(a), this simply means that f is continuous at a. This example shows us that the essential part of the denition of continuity of a mapping in a point a lies in the nontrivial case when the point a is limit point of the denition domain of the mapping f. It also follows the above mentioned that if a mapping is not continuous at given point then this point is limit point belonging to the denition domain of considered mapping. Moreover, denition 7.1.1 implies: the mapping f : (M R m ) R k is continuous at a point a M if and only if the restriction f O(a) M, where O(a) is a neighborhood of the point a, is continuous at a. 57

7.1 Continuity of a mapping at a point 58 THEOREM 7.1.1. Let f : (M R m ) R k and let a M be limit point of the set M. The mapping f is continuous at a if and only if lim f(x) = f(a). (7.1) x a Proof. a) Let the mapping f be continuous at a point a. Then it holds: This implies that O(f(a)) O(a) x M O(a) : f(x) O(f(a)). (7.2) O(f(a)) O(a) x M Ô(a) : f(x) O(f(a)), (7.3) thus (7.1) holds. b) Let lim f(a) = f(a). x a Then (7.3) holds. Since f(a) O(f(a)) for any neighborhood O(f(a)) of the point f(a), then (7.2) holds also, this means f is continuous at a. Example 7.1.1. Let k R. Show that the constant function f : x k, x R is continuous at any a R. Solution: Any real number a is limit point of the set R and lim f(x) = k = f(a). x a Therefore, with respect to theorem 7.1.1, this function is continuous at a. Example 7.1.2. Show that the function a) b) is continuous at 1. f : x x + [x], x M = {0, 1} [2, 5] g : x x, x R + 0 is continuous at any non-negative number a. 58

7.1 Continuity of a mapping at a point 59 Solution: a) The continuity of the considered function in the point 1 follows from the fact that 1 is isolated point of the denition domain of the function. b) Any non-negative number a is a limit point of the set D(g) = R + 0 and lim g(x) = a = g(a) x a (as shown in example 11.6.1). With respect to the theorem 7.1.1, the function g is continuous at a. Example 7.1.3. Let for x R \ {1} f : x 2x 0 for x = 1. Show that f is not continuous at 1. Solution: It is obvious that 1 is limit point of the set R = D(f) and lim f(x) = 2 f(1) = 0. x 1 Thus, theorem 7.1.1 implies that f is not continuous at the point 1. Example 7.1.4. Show that the function sin is continuous at any real a. Solution: Let ɛ > 0 and 0 < δ ɛ. Then for any x such that x a < δ holds: + a a a x a sin(x) sin(a) =2 cos x 2 sinx 2 2sinx 2 2 2 x a < δ ɛ. And this means that f is continuous at a. Example 7.1.5. Show that the function = f : (x 1, x 2 ) È x 1 x 2, (x 1, x 2 ) R 2 is continuous at a = (0, 0). Solution: For any (x 1, x 2 ) R 2 the inequality holds. Therefore x 1 x 2 x2 1 + x 2 2 2 È x 1 x 2 0 1 2Èx 2 1 + x 2 2 = 1 2 d 2 (x, a), x = (x 1, x 2 ). Let ɛ be any positive number and 0 < δ 2ɛ. Then for any x R 2 such that d 2 (x, a) < δ the dierence f(x) f(0) obeys the following inequality f(x) f(0) 1 2 d 2 (x, a) And this shows that f is continuous at (0, 0). 59 δ 2 ɛ.

7.1 Continuity of a mapping at a point 60 Example 7.1.6. Show that each of the following functions: exp a, log a, a polynomial (in one as well as in many variables) and a rational function (in one as well as in many variables) is continuous at any point of its denition domain. Solution: The statement follows from the theorem 7.1.1 and from the relevant examples discussed in previous chapter (chapter 6). Namely, see examples 6.1.13, 6.1.14, 6.3.9, 6.3.12, 6.7.5, 6.7.6 to verify that each of listed functions is continuous at any point of its denition domain. THEOREM 7.1.2 (On continuity of composition). Let g : (E R s ) R k and f : (M R m ) E and let a M. If f is continuous at a and g is continuous at f(a) then the composition g f is continuous at a. (This theorem is, in fact, reformulation of the implication 2 of theorem 6.9.4) THEOREM 7.1.3. Let f : (M R m ) R is continuous at a M. Then the following two statements hold: 1. there exists such a neighborhood O 0 (a) of the point a that f is bounded in O 0 (a) M 2. if f(a) > 0 (< 0) then there exists such an neighborhood O 0 (a) of the point a that f is positive (negative) in O 0 (a) M THEOREM 7.1.4. Let f and g be a pair of real-valued functions dened on a subset M of the Euclidean space R m. Then their continuity in a M implies continuity in a of each function of the following list: f, λf (where λ R), f + g, fg. If g(a) 0 then the function f/g is continuous at a also. The proofs of the theorems 7.1.2-7.1.4 can be done using the proofs of the theorems on limits from the section 6.3. One has to realize that the punctured neighborhoods in R are to be replaced by the neighborhoods of the points in R m. As an example, we will show the proof of the statement 1 of the theorem 7.1.3. Proof. (Statement 1 of the theorem 7.1.3) The assumption that f is continuous at a implies that for ɛ = 1 exists such an neighborhood O 0 (a) of the point a that This can be easily rewritten into the form x M O 0 (a) : f(x) f(a) < 1. f(a) 1 < f(x) < f(a) + 1. The system of the last two inequalities directly tells us that f is bounded in M O 0 (a). With help of the proof of the theorem 6.2.1 one can easily prove the following theorem 60

7.1 Continuity of a mapping at a point 61 THEOREM 7.1.5. The mapping f : (M R m ) R k is continuous at a M if and only if for any sequence {x n } n N M such that lim n x n = a we have lim f(x n) = f(a). n Example 7.1.7. Show that function cos is continuous at any real number. Solution: Let us dene the translation in the real axis f : x π 2 + x, x R and consider the sine function g : x sin(x), x R. Then obviously (g f)(x) = sin π 2 + x =cos(x), x R. This means the identity g f = cos holds. Let a be arbitrary real number. The continuity of f in a (as already shown in example 6) and continuity of the sine function in entire real axis imply (with respect to the theorem 7.1.2) that their composition g f = cos is continuous at a, too. Example 7.1.8. Let α R. Show that the power function x x α, x R + is continuous at any positive x 0. Solution: We will use example 6 in which we have already shown that the exponential function and the logarithmic function are continuous at their denition domains. Let us dene g : y exp(y), y R and f : x α ln(x), x R +. Then our power function can be expressed as the following composition of f and g: (g f)(x) = x a, x R +. Then the continuity of ln function in x 0 as well as the continuity of exp function in ln(x 0 ) imply that their composition g f is also continuous at x 0. Example 7.1.9. Let a process go on in such a way that in any time t the speed of creation of given substance is proportional to the total rate (volume, quantity) of this substance in this time t. Find the dependence of the total rate of the quantity on time in such a process. Solution: Let q 0 be the total rate of given substance at the time t = 0. Let us divide the interval [0, t] into n-equal subintervals 0, t n,t n, 2t 1)t n,..., (n n, nt n. Let the number n be large enough to be able to consider the speed of creation of the substance in each of the subintervals is constant. With respect to our assumption this 61

7.1 Continuity of a mapping at a point 62 speed is proportional to the total rate of the substance. Let this constant be denoted as k, (k > 0). Then the total rates of the substance in time moments nœ t n, 2t n,..., nt n = t are given by t q 1 = q 0 + kq 0 n = q 0 1 + kt t q 2 = q 1 + kq 1 n = q 0 1 + kt......... t q n = q n 1 + kq n 1 n = q 0 1 + kt. nœn The setting of the problem implies that the process of the substance creation continuously depends on time t. In order to obtain an exact expression for the total rate of the substance at any given time within considered interval [0, t] one needs to perform the limit n. This will result in nœ2 q(t) = lim q n 0 1 + kt. nœn Now, let us compute the limit in question: Let and Then lim + n 1 kt. nœn g 1 : x (1 + x) kt x, x R +, f 1 : n kt n, n N. lim f 1(n) = 0 n (f 1 (n) 0, n N), and (g 1 f 1 )(n) = 1 + kt, n N. nœn The theorem 2.6.3 implies that if g 1 has a limit at point 0 then n 1 lim + kt = lim g(x). nœn x 0 Actually, function g 1 has a limit in 0, let us show this. Let g = exp and f : x (kt ln(1+x) x for x R + kt for x = 0. 62

7.1 Continuity of a mapping at a point 63 Then (g f)(x) = g 1 (x) for all x R +. Since ln(1 + x) lim x 0 + x (example 4.6.5), we have lim f(x) = kt = f(0). x 0 Thus, the theorem 7.1.1 tells us the function f is continuous at 0. Then, the continuity of the function g = exp in kt together with the theorem 7.1.2 guarantee continuity of the composition g f in 0. The point 0 is limit point of the denition domain of g f and therefore theorem 7.1.1 implies = 1 lim (g f)(x) = (g f)(0) = x 0 ekt, and lim g 1(x) = lim(g f)(x) = e kt = lim + kt. x 0 x 0 n 1 nœn So, we can conclude q(t) = q 0 e kt. (7.4) This shows that at given setup the total rate of the substance q in time t is given by the formula (7.4). The exponential dependence like (7.4) arises in many situations. Exponential growth (k > 0) or decay (k < 0) describes such important processes as radioactive decay, bacteria reproduction and so on. This shows great importance of the e-number in many applications of mathematics. Example 7.1.10. Show that the function is continuous at any (a 1, a 2 ) R 2. Solution: Let us denote (x 1, x 2 ) cos(x 2 1 + x 2 2), (x 1, x 2 ) R 2 f : (x 1, x 2 ) x 2 1 + x 2 2, (x 1, x 2 ) R 2, and g = cos. Then their composition is: (g f) = cos(x 2 1 + x 2 2) for (x 1, x 2 ) R 2. The continuity of this composition in any (a 1, a 2 ) R 2 is guaranteed by the theorem 7.1.2 because from the previous examples we know that both f and g are continuous at any value of their arguments. Example 7.1.11. Let b = (b 1, b 2,..., b m ) R m. Show that the function x d m (x, b) (x j b j ) =ÌmXj=1 2, x = (x 1, x 2,..., x m ) R m 63

7.1 Continuity of a mapping at a point 64 is continuous at any point a = (a 1, a 2,..., a m ) R m. Solution: Let us denote f : x = (x 1, x 2,..., x m ) (x j b j ) mxj=1 2, x R m and g : y y, y R + 0. The function f is continuous at a as was shown in example 6 and lim f(x) = f(a). x a Further, lim g(y) =Èf(a) = g(f(a)). y f(a) and theorem 7.1.1 tells us that g is continuous at the point f(a). And nally, theorem 7.1.2 guarantees the continuity in a of the composition g f : R m R, (g f)(x) = d m (x, b) in a. Example 7.1.12. Show that each of the functions: tan, cot, sinh a, cosh a, tanh a and coth a is continuous at any point of its denition domain. Solution: We will show that the function =[ kπ tan(x) : x sin(x) cos(x), x M k Z π 2 + kπ, π 2 + is continuous at any number x 0 from M. The functions sin cos are continuous at x 0 (this was shown in examples 4 and 7 respectively) and cos(x 0 ) 0, therefore theorem 7.1.4 implies that their fraction - the function tan - is continuous at x 0. Now we show that the function cosh a : x ax + a x, x R 2 is continuous at any real x 0. This statement follows the following: the function exp a is continuous at x 0 (example 6) and for any x 0 R: exp a (x 0 ) > 0. In fact, this means that the functions 1 exp 2 a and 1 1 2 exp a are continuous at x 0 and then also their linear combination cosh a = 1 2 exp a + 1 1 2 exp a is, due to theorem 7.1.4, continuous at x 0. In other cases, the continuity in the point of denition domain of given functions can be proven analogically. 64

7.1 Continuity of a mapping at a point 65 Let f : (M R m R k ). Let us denote by f i (x) the i-th component of the value f(x) for x M. Then f(x) = (f 1 (x), f 2 (x),..., f k (x)) for x M. All the functions f i are dened on M: f i : (M R m ) R, (i = 1, 2,..., k). Within this notation it is natural to understand the mapping f as k-tuple of functions dened over M. This is usually represented by f = (f 1, f 2,..., f k ). The following theorem will allow for reducing the problem of continuity of the mapping f in given point a M to the problem of continuity in a of the system of k real-valued functions dened over M. THEOREM 7.1.6. Let f 1, f 2,..., f k be real-valued functions dened on M R m. Then the mapping f : M R k dened by f(x) = (f 1 (x), f 2 (x),..., f k (x)), x M, i.e. f = (f 1, f 2,..., f k ) is continuous at a M if and only if any of the functions f 1, f 2,..., f k is continuous at a. Proof. a) Let the mapping f be continuous at a. For all ɛ > 0 exists such δ > 0 that for x M such that d m (x, a) < δ the inequality d k (f(x), f(a)) < ɛ holds. Making use of the inequality: f(x) f(a) ÌkXj=1(f j (x) f j (a)) 2 = d k (f(x), f(a)) (i = 1, 2,..., k) we derive that the following statement is true: x M : (d m (x, a) < δ f i (x) f i (a) < ɛ), (i = 1, 2,..., k). This states exactly the continuity in the point a of each of the functions f 1, f 2,..., f k. b) Let us suppose the functions f 1, f 2,..., f k be continuous at a M. This means that the following statement is true: i {1, 2,..., k} ɛ > 0 δ i > 0 x M : (d m (x, a) < δ i ) f i (x) f i (a) < Now, let 0 < δ min{δ 1, δ 2,..., δ k }. Then for x M such that d m (x, a) < δ we have d k (f(x), f(a)) (f j (x) f j (a)) =ÌkXj=1 2 <sk ɛ2 k = ɛ. And the last inequality shows that the mapping f is continuous at the point a. 65 ɛ k.

7.1 Continuity of a mapping at a point 66 This theorem together with theorem 7.1.4 imply the following Corollary 7.1.1. Let f 1, f 2,..., f k, g 1, g 2,..., g k be real-valued functions dened on M R m and let they be continuous at a point a M. Then the mappings: λf (λ R) and f + g dened in the following way: (λf)(x) = (λf 1 (x), λf 2 (x),..., λf k (x)), x M, (f + g)(x) = (f 1 (x) + g 1 (x), f 2 (x) + g 2 (x),..., f k (x) + g k (x)) are continuous at a. Moreover, the function (f, g) : M R dened as (f, g)(x) = f j (x)g j (x), kxj=1 x M is also continuous at a. Example 7.1.13. Show that the mapping f : R R 2 given by f(t) = (cos(t), sin(t)), t R is continuous at any real t 0. Solution: We can write the mapping in question as a pair f = (cos, sin) where the components of this mapping, i.e. the functions cos and sin are continuous at any real number. Then theorem 7.1.6 implies that f is continuous at t 0. Example 7.1.14. Show that the mapping is continuous at (0, 0). Solution: Let us denote: f : (x 1, x 2 ) (È x 1 x 2, cos(x 2 1 + x 2 2),Èx 2 1 + x 2 2), (x 1, x 2 ) R 2 f 1 : (x 1, x 2 ) È x 1 x 2, (x 1, x 2 ) R 2, f 2 : (x 1, x 2 ) cos(x 2 1 + x 2 2), (x 1, x 2 ) R 2, f 3 : (x 1, x 2 ) Èx 2 1 + x 2 2, (x 1, x 2 ) R 2. We have already shown (see examples 5, 10 and 11) that all the three functions f 1, f 2, f 3 are continuous at (0, 0), thus, with respect to theorem 7.1.6, the mapping f is continuous at (0, 0). 66

7.2 Criteria of continuity of a mapping at a point. Points of discontinuity 67 Problems 1. Show that the following functions: x x, x R; x ln(1 + x), x ( 1, 0] are continuous at the point 0. Further, show that the function: x sgn(x), x R is not continuous at the point 0. 2. Show that the function is continuous at 0. 3. Show that the functions x (sin(x) x for x R \ {0} 1 for x = 0 x x cos(x) x sin 2 (x), x R + 0 ; are continuous at any point of their denition domains. 4. Show that the function x e 2x cos x π 3, x R (x 1, x 2 ) È x 1 x 2 cos(x 2 1 + x 2 2) x 2 sin(x 1 x 2 ), (x 1, x 2 ) R 2 ic continuous at any point of R 2. 5. Show that the mapping is continuous at any positive real number. 6. Show that the mapping t (e t, e t cos(t), ln(t)), t R + (x 1, x 2 ) (x 1 x 2, e x 1x 2, sin(èx 2 1 + x 2 2), 1), (x 1, x 2 ) R 2 is continuous at any point of R 2. 7.2 Criteria of continuity of a mapping at a point. Points of discontinuity Let = S M R m and let f : M R k. If the mapping is continuous at a point a S, i.e. if f S : x f(x), x S O(f(a)) O(a) x S O(a) : f(x) O(f(a)) 67

7.2 Criteria of continuity of a mapping at a point. Points of discontinuity 68 holds, or equivalently, if the statement: ɛ R + δ R + x S : (d m (x, a) < δ d k (f(x), f(a)) < ɛ) is true, then we will note down this by lim f(x) = f(a). S x a In the case m = k = 1, i.e. in the case of real-valued function of one real variable, we say that f : (M R) R is continuous at a point a M from the right (left) if the function f M + a (M M a ), where is continuous at the point a, i.e. if M + a = {x M; x a} (M a = {x M; x a}) ɛ R + δ R + x M + a : ( x a < δ f(x) f(a) < ɛ) ( ɛ R + δ R + x M a holds. This statement can be rewritten into the form : ( x a < δ f(x) f(a) < ɛ)) ɛ R + δ R + x M : (a x < a + δ f(x) f(a) < ɛ) ɛ R + δ R + x M : (a δ < x a f(x) f(a) < ɛ) and write down accordingly with the notation in the section 6.9 as lim f(x) = f(a) ( x a + lim f(x) = f(a)). x a Now we will introduce conditions that will allow for deciding whether a mapping is or is not continuous at a given point. THEOREM 7.2.1 (Necessary condition of continuity in a point). Let = S M R m. If the mapping f : M R k is continuous at a point a S. then the restriction of this mapping f S is continuous at a, i.e. lim f(x) = f(a) lim f(x) = f(a). x a S x a THEOREM 7.2.2 (Necessary and sucient condition of continuity in a point). Let f : (M R m ) R k and let S 1 and S 2 be such subsets in M that S 1 S 2 = M. Let a S 1 as well as a S 2. The mapping f is continuous at a if and only if both of its restrictions f S1 and f S2 are continuous at a. 68

7.2 Criteria of continuity of a mapping at a point. Points of discontinuity 69 Corollary 7.2.1. Let f : (M R) R and let a M. The function f is continuous at a if and only if f is continuous at a from the left as well as from the right. The theorems and the corollary can be proven in a way analogical to that one used to prove the theorems from the section 6.4 (on the other hand, they follows from the theorems 1.6.10 and 2.6.10). Example 7.2.1. Show that the function for x {0, 1, 2} f : x 2 1 + x 2 + ln(x) for x [1, 9) is continuous at 1. Solution: Let M := D(f). Then M1 = {1, 0, 1, 2}, M 1 + = [1, 9). The equalities: and lim f(x) = x 1 + lim f(x) = lim 2 = 2 = f(1) x 1 M 1 x 1 lim (1 + x 2 + ln(x)) = 2 = f(1) M + 1 x 1 imply (with respect to theorem 7.2.2) that f is continuous at 1. Example 7.2.2. Show that the function f : (x 1, x 2 ) x 1 for (x 1, x 2 ) {(y 1, y 2 ) R 2 ; y 2 = y 1 > 0} x 1 + x 2 for (x 1, x 2 ) {(y 1, y 2 R 2 ; y 1 0, y 2 0)} is continuous at (0, 0). Solution: Let S 1 = {(x 1, x 2 ) R 2 ; x 2 = x 1 > 0} and S 2 = {(x 1, x 2 ) R 2 ; x 1 0, x 2 0)}. Let f 1 : (x 1, x 2 ) x 1, (x 1, x 2 ) R 2, f 2 : (x 1, x 2 ) x 1 + x 2, (x 1, x 2 ) R 2. The functions f 1, f 2 are continuous at (0, 0) and therefore their restrictions f 1 S1 and f 2 S2 are continuous at (0, 0), too. This means that the functions f S1 and f S2 are continuous at (0, 0) because f S1 = f 1 S1 and f S2 = f 2 S2. Obviously, S 1 S 2 = D(f). Therefore theorem 7.2.2 guarantees continuity of f in the point (0, 0). Points of discontinuity Let f : (M R m ) R k. A point a M, in which the mapping f is not continuous, is called point of discontinuity of the mapping f. If a mapping f : (M R m ) R k is not continuous at a M then O(f(a)) O(a) x M O(a) : f(x) / O(f(a)) holds. Furthermore, the point of discontinuity is necessarily the limit point of the set M. So, we can speak about the limit of the mapping f in the point a. With respect to this and 69

7.2 Criteria of continuity of a mapping at a point. Points of discontinuity 70 theorem 7.1.1 we obtain: A mapping f : (M R m ) R k is not continuous at a point a M if and only if the point a is limit point of the set M and the mapping f has no limit in the point a or if f has a limit in the point a then this limit is dierent from f(a). Example 7.2.3. Show that the function f : (x 1, x 2 ) 1 for (x 1, x 2 ) S 1 = {(x 1, x 2 ) R 2 ; x 2 1 + x 2 2 > 1} 1 x 2 1 x 2 2 for (x 1, x 2 ) R 2 \ S 1 is not continuous at any point of the circle x 2 1 + x 2 2 = 1. Solution: Let S 2 = R 2 \ S 1 and let a = (a 1, a 2 ) be a point of the circle x 2 1 + x 2 2 = 1. The point a is limit point of both sets S 1 and S 2 and therefore we can compute the limits: and lim f(x 1, x 2 ) = 1, S 1 (x 1,x 2 ) (a 1,a 2 ) lim f(x 1, x 2 ) = lim (1 S 2 (x 1,x 2 ) (a 1,a 2 ) S 2 (x 1,x 2 ) (a 1,a 2 ) x2 1 x 2 2) = 0. We see that f has no limit at a and we conclude f is not continuous at a. In the case of real-valued functions we distinguish between two kinds of points of discontinuity. Let f : (M R) mbbr. A point a M is called point of discontinuity of the rst kind of the function f if : a) point a is limit point of the sets M a + and Ma and the function f has a limit from the left in a as well as it has a limit from the right in a, at least one of these limits is dierent from f(a), or b) the point a is limit point of the set M + a (M a ) and the function f has a limit from the right (left) in a and this limit diers from f(a). Point of discontinuity of a real-valued function of one real variable that is not of the rst kind is called point of discontinuity of the second kind. Example 7.2.4. Let for x = g : x 1 m [0, 1] Q, where m is in the simple form n n n 0 for x [0, 1] \ Q. This function is commonly called Riemann function. Show that this function is continuous at any irrational number in the interval [0, 1] and that it has point of discontinuity of the rst kind in any rational number in the interval [0, 1]. 70

7.2 Criteria of continuity of a mapping at a point. Points of discontinuity 71 Solution: Let a be any number in [0, 1]. Let ɛ be arbitrary positive number. There is only a nite number of fractions m in simple form such that n 1/ɛ. This implies that there is n a truncated δ-neighborhood of a that contains rational numbers (in simple form) with the denominator greater than 1/epsilon. Thus, for x [0, 1], 0 < x a < δ we have g(x) < ɛ. This means that in any point a from [0, 1] the Riemann function g has a limit and this limit is given by lim g(x) = 0. x a Now, if a is an irrational number then g(a) = 0, thus g is continuous at a. On the other hand, if a is a rational number, then g(a) 0 and the Riemann function is not continuous at a. Existence of the limit in a means that this point of discontinuity is of the rst kind. Example 7.2.5. Show that the so-called Dirichlet function: for x Q χ : x 1 0 for x R \ Q has point of discontinuity of the second kind in any real number. Solution: Example 1.6.4 tells us that the χ-function has no limit in a real number and therefore it has in any given real number the point of discontinuity of the second kind. Example 7.2.6. Let for x R f : x 8><>:sin(1/x) + 0 for x = 0 1 for x ( 5, 0) Show that the point 0 is the point of discontinuity of the second kind of the function f. Solution: The function f evidently has no limit from the right in the point 0, therefore the point 0 is the point of discontinuity of the second kind if f. Let us note that f has a limit from the left in 0 - it is simply 1. Example 7.2.7. Let f : [0, 1] R be dened by: f(x) = 1 x for x (0, 1] 1 for x = 0. Show that 0 is the point of discontinuity of the second kind of this function. Solution: Obviously, there is no limit of the function f in the point 0, and this implies that the point 0 is the point of discontinuity of the second kind of the function f. Problems 1. Show that the function x ( 1) [x], x R is continuous at any point of the set R \ Z and that it has point of discontinuity of the rst kind in any integer. 71.

7.2 Criteria of continuity of a mapping at a point. Points of discontinuity 72 2. Show that the function given by: x x x for x Q for x R \ Q is continuous at the point 0 and that it has point of discontinuity of the second kind in any other number. 3. Prove that the functions: and x sgn(x), x R x (sin(x) x for x R \ {0} 33 for x = 0 are continuous at any real number except 0 and that they have point of discontinuity of the rst kind in 0. 4. Prove that the functions: and 1 x 2, (x x (x 1, x 2 ) (x 2 1, x 2 ) R 2 \ {(0, 0)} 1 +x2 2 0, (x 1, x 2 ) = (0, 0) (x 1, x 2 ) 8<:x2, (x 1, x 2 ) R 2 \ {(0, 0)} 0, (x 1, x 2 ) = (0, 0) 1 x 2 x 4 1 +x4 2 are discontinuous at the point (0, 0) and continuous at any other point of the Euclidean plane. 5. Show that the function (x 1, x 2 ) 1, (x 1, x 2 ) S = {(y 1, y 2 ) R 2 ; y 1 y 2 = 0} 0, (x 1, x 2 ) R 2 \ S is discontinuous at any point of the set S and is continuous at any point of the set R 2 \ S. 6. Prove that the mapping is not continuous at the point 0. 7. Let and x (x + 1,sgn(x)), x R 1 x 2, (x x f 1 : (x 1, x 2 ) (x 2 1, x 2 ) R 2 \ {(0, 0)} 1 +x2 2 0, (x 1, x 2 ) = (0, 0) f 2 : (x 1, x 2 ) x 1 x 2, (x 1, x 2 ) R 2 and let f : R 2 R 2 be given by f = (f 1, f 2 ). Prove that the mapping f is not continuous at the point (0, 0). 72

7.3 Continuity of a mapping on a set 73 7.3 Continuity of a mapping on a set Denition 7.3.1. We say that the mapping f : (M R m ) R k is continuous on M if f is continuous at any point of M. The set of all continuous mappings from M to R k is denoted by C(M; R k ) or briey by C(M). The examples 7.1.4, 7.1.6, 7.1.7, 7.1.8, 7.1.12 show us that the functions sin, cos, exp a, log a, tan, cot, sinh a, cosh a, tanh a, coth a, a power function, a polynomial and a rational function of one or many real variables are continuous on their denition domains. Moreover, example 4.6.7 and theorem 7.1.1 imply that the functions (x 1, x 2,..., x m ) x i, (x 1, x 2,..., x m ) R, (i = 1, 2,..., m) are continuous on R m. The function x d m (x, b), x R m, where b is a point of R m, is continuous on R m as shown in example 11.7.1. The following theorem is a direct consequence of the theorem 7.1.6: THEOREM 7.3.1. Let f 1, f 2,..., f k be real-valued functions dened on a set M R m. The mapping f : (M R m ) R k given by f = (f 1, f 2,..., f k ) is continuous on M if and only if each of the functions f 1, f 2,..., f k is continuous on M. This theorem and example 7.1.13 imply that the mapping f : R R 2, f = (cos, sin) is continuous on R, i.e. f C(R, R 2 ). Example 7.3.1. Let a = (a 1, a 2,..., a m ), b = (b 1, b 2,..., b m ) be two points of R m. Let the mapping ϕ : [0, 1] R m be dened by the prescription: ϕ(t) = bt + a(1 t) for t [0, 1], i.e. ϕ = (ϕ 1, ϕ 2,..., ϕ m ) where ϕ i : t b i t + a i (1 t), t [0, 1] (i = 1, 2,..., m). Show that the mapping ϕ C([0, 1]; R m ). Solution: The functions ϕ 1, ϕ 2,..., ϕ m are continuous on [0, 1], consequently (with respect to theorem 7.3.1) the mapping ϕ is continuous on [0, 1], i.e. ϕ C([0, 1]; R m ). Example 7.3.2. Let a ij, i = 1, 2,..., k; j = 1, 2,..., m be given real jž numbers. Prove that the linear mapping l : R m R k dened by l(x 1, x 2,..., x m ) a 1j x j, a kj x = mxj=1 73 a 2j x j,..., mxj=1 mxj=1

7.3 Continuity of a mapping on a set 74 is continuous on R m. Solution: The polynomials in m-variables: (x 1, x 2,..., x m ) a 1j x j, (i = 1, 2,..., k) mxj=1 are continuous on R m, thus, with respect to theorem 7.3.1, the mapping l is continuous on R m, i.e. l C(R m ; R k ). Problems 1. Show that the function x ln(x + 1 + x 2 ), x R is continuous on R. 2. Prove that the function x x cos(x) + e x sin(x) + 3x 1, x R is continuous on R. 3. Show that the function is continuous on R 3. 4. Prove that the function (x 1, x 2, x 3 ) e x 2 1 +x 2 2 +x2 3 + x3 sin(x 1 x 2 ), (x 1, x 2, x 3 ) R 3 (x 1, x 2, x 3 ) ( x 1 x 2 x 3 x 2 1 +x2 2 +x2 3, (x 1, x 2, x 3 ) R 3 \ {(0, 0, 0)} 0, (x 1, x 2, x 3 ) = (0, 0, 0) is continuous on R 3. 5. Let M R m and f, g C(M; R). Show that then the following functions: x max{f(x), g(x)}; x min{f(x), g(x)} are also from C(M; R). 6. Let f C(R; R). Show that the mapping t (t, f(t)), t R is continuous on R. 7. Show that any mapping Z Z R 5 is continuous on Z Z. 8. Show that the mapping (x 1, x 2 ) (x 2 1 x 2 2,È x 1 x 2, cos(x 2 1 + x 2 2), 3), (x 1, x 2 ) R 2 belongs to C(R 2, R 4 ). 9. Let M R m and let (B(M), d B ) be a metric space dened in example 5.2.1. Let BC(M; R = B(M) C(M; R). Prove that (BC(M; R), d B ) is complete metric space. (Hint: use of example 6.8.9.) 74

7.4 Uniformly continuous mappings 75 7.4 Uniformly continuous mappings Let a mapping f : (M R m ) R k be continuous on M. This means f is continuous at each point of M: a M ɛ > 0 δ > 0 x M : (d m (x, a) < δ d k (f(x), f(a)) < ɛ). In this denition the number δ may depend upon choice of the point a except its dependence on ɛ. (δ may vary from point to point without change in ɛ). However, there are such mappings for which δ does not depend on a M. These mappings form an important subset of all continuous mappings and are called: uniformly continuous. Let us write down the denition: Denition 7.4.1. We say that a mapping f : (M R m ) R k is uniformly continuous on M if ɛ > 0 δ > 0 x M, y M : (d m (x, y) < δ d k (f(x), f(y)) < ɛ). holds. In the special case m = k = 1 we obtain: A real-valued function of one real variable f : (M R) R is uniformly continuous on M if ɛ > 0 δ > 0 x M, y M : ( x y < δ f(x) f(y) < ɛ). THEOREM 7.4.1. If a mapping f : (M R m ) R k is uniformly continuous on M then it is continuous on M. Proof. Let ɛ be positive and δ > 0 be such that for any pair x, y M obeying d m (x, y) < δ we have: d k (f(x), f(y)) < ɛ. Let a be a point of the set M. Then for all x M such that d M (x, a)δ we have d k (f(x), f(a)) < ɛ and this means continuity of f in a. As a was an arbitrary point of M we have proved that f is continuous on M. If a mapping f : (M R m ) R k is continuous, it has not to be uniformly continuous. This is shown in the following example. Example 7.4.1. Let x 1, x (0, 1). x Show that this continuous function on (0, 1) is not uniformly continuous on (0, 1). Solution: Let ɛ > 0. Let δ be arbitrary positive number. Let us consider x 1 (0, 1) (0, δ) and dene x 2 = 75 x 1 1 + (2 + ɛ)x 1.

7.4 Uniformly continuous mappings 76 Then x 2 (0, δ), x 2 < x 1 < δ and x 1 x 2 < δ. However, 1 x 1 1 x 2=2 + ɛ > ɛ. The last inequality, since δ was considered as arbitrary positive number, veries that our function is not uniformly continuous on (0, 1). Example 7.4.2. Let a, b be real numbers such that a < b. Prove then that the function f : x x 2, x [a, b] is uniformly continuous on [a, b]. Solution: Let ɛ > 0. Let x, y [a, b] be such that x y < δ with some positive δ. Then: f(x) f(y) = x 2 y 2 = x y x + y δ x + y 2δ( a + b ). So, if we choose (for given ɛ > 0) as: δ < ɛ 2( a + b ) we obtain: f(x) f(y) < ɛ. We have shown f is uniformly continuous on [a, b]. Example 7.4.3. Show that the function f : x x 2, x [0, ) is not uniformly continuous on [0, ). Solution: Let us x ɛ > 0. Let δ be arbitrary positive number. Then: for x = n and y = n + 3ɛ, with n > 9ɛ 2 /δ 2, we obtain At the same time x y = n + 3ɛ n = f(x) f(y) = 3ɛ > ɛ. 3ɛ n + n + 3ɛ < This implies that f is not uniformly continuous on [0, ). Example 7.4.4. Prove that the function f : (x, y) 1 + x + y, (x, y) R 2 is uniformly continuous on R 2. Solution: Let ɛ be arbitrary positive number. Let A = (x, y) R 2, B = (x, y ) R 2. 3ɛ 2 n < δ 2 < δ. 76

7.4 Uniformly continuous mappings 77 Then f(a) f(b) = 1 + x + y 1 x y x x + y y 2d 2 (A, B). So we see that if we choose 0 < δ ɛ/ 2, we obtain, for any pair A, B such that d 2 (A, B) < δ, that f(a) f(b) < ɛ. And this demonstrates that the linear function f is uniformly continuous on R 2. THEOREM 7.4.2. Let f 1, f 2,..., f k be real-valued functions dened on M R m. The mapping f : M R k dened by f(x) = (f 1 (x), f 2 (x),..., f k (x)), x M is uniformly continuous on M if and only if each of the functions f 1, f 2,..., f k is uniformly continuous on M. Proof. This theorem can be easily proved in the same way as theorem 7.1.6. Theorem 7.4.2 implies that uniform continuity of the mapping f = (f 1, f 2,..., f k ) : (M R m ) R k is equivalent with the uniform continuity on the set M of k-tuple of real-valued functions f 1, f 2,..., f k. Problems 1. Prove that the functions x x, x R + 0 ; x x + 1 + x 2, x R are uniformly continuous on their denition domains. 2. Find the functions f : (M R) R, g : (M R) R such that: they are uniformly continuous on M and their product fg is not uniformly continuous on M. 3. Prove that the functions x sin1 x, x (0, 1); x cos(x 2 ), x R + are not uniformly continuous on their denition domains. 4. Show that the function is uniformly continuous on [0, 1] ( 1, 2). (x 1, x 2 ) x 1 x 2, (x 1, x 2 ) [0, 1] ( 1, 2) 77

7.5 Properties of uniformly continuous mappings on compact sets78 5. Prove that the function is not uniformly continuous on R 2. 6. Show that the mappings (x 1, x 2 ) x 1 x 2, (x 1, x 2 ) R 2 t (cos(t), sin(t)), t R; t (1, t, t 2 ), t [0, 1] are uniformly continuous on their denition domains. 7. Prove that the mapping (x 1, x 2 ) ( x 1, x 1 + x 2 ), (x 1, x 2 ) R R + 0 is uniformly continuous on (x 1, x 2 ) R R + 0. 8. Prove that the mapping is not uniformly continuous on R 2. 9. Show that the mapping (x 1, x 2 ) (1, x 1 x 2 ), (x 1, x 2 ) R 2 (x 1, x 2, x 3 ) (x 1, x 2 2, x 3 3), (x 1, x 2, x 3 ) Z Z Z is uniformly continuous on Z Z Z. 10. Show that the linear map l : R m R k dened in example 7.3.2 is uniformly continuous on R m. Answers 2 For example the functions f = g : x x, x R + 0. 7.5 Properties of uniformly continuous mappings on compact sets In general it is not necessary that a mapping f : (M R m ) R k continuous on M must be bounded on M, must attain its maximum value or minimum value, and must be uniformly continuous on M. For example, the function considered in example 7.4.1: f : x 1, x (0, 1) x 78

7.5 Properties of uniformly continuous mappings on compact sets79 is continuous on (0, 1), however, it is unbounded, does not reach maximal neither minimal value and is not uniformly continuous on (0, 1). We will show that if M R m is a compact set, then a function f C(M; R) is necessarily bounded, uniformly continuous on M and also reaches its maximal and minimal value on M. THEOREM 7.5.1. Let M R m be a compact set and let a mapping f : M R k be continuous on M. Then the range of the mapping f, i.e. the set f(m), is a compact subset of R k. Proof. Let {S a } a I, where I is an index set, be an open covering of f(m). Then: and τ M α τ I : f(τ) S ατ [ f(m) S ατ S α. α τ M [α I f is continuous on M, so it is continuous at τ, thus for S ατ exists such a neighborhood O(τ) of the point τ that for all x M O(τ) we have f(x) S ατ, i.e. f(m O(τ)) S ατ. We can assume that O(τ) is an open ball centered at τ. It is self-evident that [ M O(τ). τ M Compactness of M allow for choosing a nite sub-covering: M O(τ i ). n[i=1 Now, M = M O(τ i ). n[i=1 However, f(m O(τ i )) S ατi, for i = 1, 2,..., n. Thus f(m) S ατi S α. n[i=1 [α I {S ατi } i {1,2,...,n} is a nite sub-covering of the covering {S α } α I. This means that f(m) is a compact set. The following theorem is a consequence of the previous one and theorem 5.3.4. THEOREM 7.5.2. Let M R m be a compact set and let a mapping f : continuous on M. Then f(m) is a closed and bounded set in R k. The special case of this theorem is the following one: 79 M R k be

7.5 Properties of uniformly continuous mappings on compact sets80 THEOREM 7.5.3 (Boundedness theorem (1. Weierstrass theorem)). Let M R m be compact and let a function f : M R be continuous. Then f is bounded on M. With respect to the theorems 5.3.4 and 7.5.3, we easily obtain the following corollary Corollary 7.5.1. Let M R be closed and bounded set (e.g. an interval [α, β]) and let f : M R be a continuous function on M. Then f is bounded on M. Furthermore, theorem 7.5.1 (for k = 1) together with theorem 5.3.5 imply the following: THEOREM 7.5.4 (Extreme value theorem (2. Weierstrass theorem)). Let M R m be a compact set and let a function f : M R be continuous on M. Then f attains on M its maximum value and its minimum value, i.e. there are points c 1, c 2 M such that f(c 1 ) = min x M f(x), f(c 2) = max x M f(x). As a consequence of this theorem and theorem 5.3.3 we obtain: Corollary 7.5.2. Let f : ([α, β] R) R be continuous function on an interval [α, β]. Then there are numbers c 1, c 2 [α, β] such that f(c 1 ) = min x [α,β] f(x), f(c 2) = max x [α,β] f(x). A function continuous on a compact set can attain its maximal value as well as minimal value more then once. It can attain these values innitely many times as shown on gure 7.2, where a function continuous on the interval [α, β] attains its minimal value in the entire interval [c 1, c 2]. Example 7.5.1. Let M R m be a compact set and let b R m \ M. Prove that there is a point c in M minimally distanced from b, (see Fig. 7.3), i.e. c M : d m (c, b) = min{d m (x, b); x M}. (Let us note that the number d m (c, b) is naturally called distance of the set M and the point b. Solution: Example 7.1.11 and theorem 7.2.1 imply that the function x d m (x, b), x M is continuous on M. Compactness of M then tells us (with respect to the Extreme value theorem) that there is c in M in which our function attains its minimum value, i.e. d m (c, b) = min x M d m(x, b). 80

7.5 Properties of uniformly continuous mappings on compact sets81 y f(c 2) α = c 1 O c2 c 1 c 1 c 2 β x f(c 1) Figure 7.2: THEOREM 7.5.5 (Heine-Cantor theorem). Let M R m be a compact set and let a function f : M R be continuous on M. Then f is uniformly continuous on M. Proof. Let ɛ be arbitrary positive number. Due to continuity of f in any point y M there is a positive δ y such that: Let d m (x, y) < δ y f(x) f(y) < ɛ 2. O(y; δ y ) = x R m ; d m (x, y) < δ y 2«. The system {O(y; δ y )} y M is an open covering of M. Due to compactness of M we can choose a nite sub-covering, i.e. there is a nite sequence y 1, y 2,..., y n M such that M O(y i, δ yi ). n[i=1 Let δ = 1 2 min{δ y 1, δ y2,..., δ yn }. Let x 1, x 2 M be such that d m (x 1, x 2 ) < δ. The nite system of open sets {O(y i ; δ yi )} n i=1 covers the set M. Therefore, there is an index j {1, 2,... n} such that x 1 O(y j, δ yj ) and thus d m (x 1, y j ) < δ yj /2. Making use of the triangle inequality we obtain d m (x 2, y j ) d m (x 2, x 1 ) + d m (x 1, y j ) < δ + δ y j 2 δ y j 2 + δ y j 2 = δ y j. 81

7.5 Properties of uniformly continuous mappings on compact sets82 c b Figure 7.3: Furthermore, f(x 1 ) f(y j ) < ɛ and f(x 2 ) f(y j ) < ɛ 2 2 and nally we can estimate the dierence between the values of f at x 1 and x 2, respectively f(x 1 ) f(x 2 ) f(x 1 ) f(y j ) + f(y j ) f(x 2 ) < ɛ 2 + ɛ 2 = ɛ. This shows that f is uniformly continuous on M. Corollary 7.5.3. Let M R be closed and bounded set (M = [α, β] for example) and let f : M R be continuous on M. Then f is uniformly continuous on M. Corollary 7.5.4. Let M R m be a compact set and let a mapping f = (f 1, f 2,..., f k ) : M R k be continuous on M. Then f is uniformly continuous on M. Example 7.5.2. Let α, β be a pair of real numbers such that α < β. Let f : (α, β) R be monotonous, bounded and continuous on (α, β). Show that such a function f is uniformly continuous on (α, β). Solution: There exists the limits lim f(x) = A, x α lim f(x) = B, x β since f is monotonous and bounded. Let us consider the following function dened on [α, β]: 8><>:f(x), g : x 82 x (α, β) A, x = α B, x = β.

7.6 Properties of continuous mappings on connected sets 83 Due to f C(α, β) and lim g(x) = g(α), lim x α g(x) = g(β) x β we see that g is continuous on [α, β] and therefore (corollary 7.5.3) g is uniformly continuous on [α, β]. Since f = g (α,β), f is uniformly continuous on (α, β). Problems 1. Construct a continuous and bounded function f dened on R such that f does not attain neither maximum value nor minimum value. 2. Let f : ([a, b] R) R be continuous on [a, b]. Prove that the functions: are continuous on [a, b]. x min f(t), x [a, b]; x max f(t), x [a, b] a t x a t x 3. Let α, β be a given pair of real numbers such that α < β. Let f : (α, β) R be continuous on (α, β) and f have limits in the end-points α, β, i.e. let exist real numbers A, B such that lim f(x) = A, lim x α Then f is uniformly continuous on (α, β). Prove it! f(x) = B. x β 4. Let M R m be a closed set and let b R m \ M. Show that there exists such a point c M that d m (c, b) = min d m(x, b). x M (Hint: Let a M and A = {x M; d m (x, b) d m (a, b)}. Then A is compact set and d m (c, b) = min x A d m (x, b).) 7.6 Properties of continuous mappings on connected sets Lemma 7.6.1. Let f : (M R m ) R k be a continuous on M. Let A R k be closed in R k and let S M be closed in R m. Then the set S A = {t S; f(t) A} is closed in R m. Proof. Let a R m be an arbitrary limit point of the set S A. Then a is limit point of the set S, too. Since S is closed, a S and a belongs also to M. The mapping f is continuous at a. Theorem 7.1.1 implies lim f(x) = f(a). x a 83

7.6 Properties of continuous mappings on connected sets 84 This means that (with respect to theorem 6.4.1) lim f(x) = f(a). S A (1) x a The following two cases are possible: a) f(a) is a limit point of the set A b) f(a) is not a limit point of the set A. In the case a) the fact A is closed implies f(a) A and therefore a S A. In the case b) we obtain there exists a neighborhood O 0 (a) of a such that O 0 (f(a)) A =. Then (1) implies: for O 0 (f(a)) exists such a neighborhood of the point a that that for all x O(f(a)) S A we have f(x) O 0 (f(a)). Among the values f(x), x O(f(a)) S A only f(a) belongs to O(f(a)), thus f(x) = f(a) for all x O(f(a)) S A. This implies that a S A. The intervals [c, + ) as well as (, c], c R are closed sets in R. This fact together with lemma 7.6.1 imply the following: Corollary 7.6.1. Let f : (M R m ) R be a continuous function on M and let S M be a closed set in R m. Then for all c R the sets: {x S : f(x) c}, and {x S : f(x) c} closed in R m. Denition 7.6.1. A closed set M R m is called connected if there are no non-empty closed sets A, B in R m such that M = A B and A B =. As a simple example of a connected set we have any one-point set in R m. Lemma 7.6.2. Any closed interval [α, β] R is a connected set. Proof. Let us suppose the interval in question [α, β] is not a connected set. This mens there are two closed non-empty number sets A, B such that [α, β] = A B and A B =. Let a A and b B and let us choose them in such a way that a < b. Let σ = sup{a [a, b]}. It is self-obvious that a σ b. We will show that σ / A B. If σ A then σ < b and (σ, b] B. This implies that σ is a limit point of the set B, and therefore σ B - but this is 84

7.6 Properties of continuous mappings on connected sets 85 impossible because the sets A and B are disjoint. If σ B then σ / A and with respect to example 5.2.9 σ must be a limit point of the set A. This, however, implies a contradiction because A was supposed to be closed. So, we have shown that σ / A B, i.e. σ / [α, β]. Thus, the number σ obeys a < σ < b where a, b is a pair of numbers belonging to the interval [α, β]. This means that [α, β] cannot be an interval and this is an contradiction. As a result we have the interval [α, β] is a connected set. Lemma 7.6.3. Let φ : ([α, β] R) R m be continuous on [α, β]. Then the values of φ, i.e. the set φ([α, β]) is a closed and connected set. Proof. Theorem 7.5.2 implies that φ([α, β]) is a closed set in R m. We will show it is also connected. Let us suppose that φ([α, β]) is not a connected set. Then there are two nonempty closed disjoint sets A, B in R m such that their union is equal exactly to φ([α, β]). With respect to lemma 7.6.1 the sets S A and S B are closed in R and obviously S A as well as S B, and [α, β] = S A S B, S A S B =. This means the interval [α, β] is not a connected set and this is a contradiction with the statement of lemma 7.6.2. Thus φ([α, β]) is a connected set. Now we will extend the notion of connectedness to the sets that are not closed. Denition 7.6.2. We say that a set M R m is connected if for any pair of points a, b M exists a closed and connected set S M such that a, b S. It is obvious that M R m - a closed connected set with respect to denition 7.6.1 is also a connected set with respect to denition 7.6.2 (it suces to consider S = M). Any interval I R is a connected set. In fact, for any two points a, b from I is the set {x I : a x b} closed and connected and containing both a and b (lemma 7.6.2) and this means (with respect to denition 7.6.2) that the interval I is a connected set. Example 7.6.1. Show that a connected set M R is either an one-point set or an interval. Solution: If M is an one-point set then it is connected. Let M R be connected and let it contain at least two dierent points. We will show that then M must be an interval by indirect proof. Let us suppose that M is not an interval. Then there are two points a, b, a < b in M such that there exists a point c: a < c < b such that c / M. Since M is connected there exists a closed and connected set S M such that it contains both points a and b. With respect to corollary 7.6.1 (for m = 1, f = i d ) are the sets S c = {x S; x c}, S + c = {x S; x c} 85

7.6 Properties of continuous mappings on connected sets 86 closed in R, furthermore S c, S + c (a S c, b S + c ), and S = S c S + c, S c S + c =. However, this is a contradiction with the connectedness of S. This shows that a connected set M R (if not an one-point set) is an interval. Denition 7.6.3. Let a mapping φ : ([α, β] R) R m be continuous on [α, β] and let φ(α) = a and φ(β) = b. Then the set φ([α, β]) is called the path from a to b (or equivalently, the path connecting a and b). Denition 7.6.4. A non-empty set M R m is called path-connected if any two points of M can be connected by a path that belongs to M. THEOREM 7.6.1. If a set M R m is path-connected then it is connected. Proof. Let a and b are arbitrary points from M. Then there is a path connecting these two points, i.e. there is a continuous (on [α, β]) mapping φ : ([α, β] R) R m such that φ(α) = a, φ(β) = b and φ([α, β]) M. We know (lemma 7.6.3) that φ([α, β]) is closed and connected and this shows that for any two points a, b M exists a closed and connected set φ([α, β]) that contains the points a and b. This means that M is connected. Example 7.6.2. Let c R m and r > 0. Show that the closed ball and the open ball B(c, r) = {x R m, d m (c, x) r} K(c, r) = {x R m, d m (c, x) < r} are connected sets. Solution: We will show that our closed ball B(c, r) is a connected set. Let c = (c 1,..., c m ) and let a = (a 1...., a m ) and b = (b 1,..., b m ) be any two points in B(c, r). Let us dene a mapping φ as follows: φ : [0, 1] R m, This means we have φ = (φ 1,..., φ m ) with φ(t) = bt + (1 t)a. φ j : t b j t + (1 t)a j, t [0, 1] (j = 1, 2,..., m). 86

7.6 Properties of continuous mappings on connected sets 87 It is obvious that φ([0, 1]) is the path from a to b. We will show that this path is in B(c, r), in fact, for any t [0, 1] we have: d m (φ(t), c) (b j t + (1 t)a j c j ) =ÌmXj=1 2 =ÌmXj=1[(b j c j )t + (1 t)(a j c j )] 2 = 24t 2 mxj=1 (b j c j ) 2 + 2t t 2 d 2 m(b, c) + 2t(1 t)d m (b, c)d m (a, c) + (1 t) 2 d 2 m(a, c) 1/2 = (b j c j )(a j c j ) + (1 t) mxj=1 2 mxj=1 2351/2 (a j c j ) Cauchy's ineq. q[td m (b, c) + (1 t)d m (a, c)] 2 = td m (b, c) + (1 t)d m (a, c) tr + (1 t)r = r. Thus, theorem 7.6.1 tells us that B(c, r) is a connected set. By a similar way one can prove that our open ball K(c, r) is also a connected set. However, the connectedness of the open ball K(c, r) can be proven also in the following way: let a, b be any two points in K(c, r) and let r 1 = max{d m (a, c), d m (b, c)}. Since the closed ball B(c, r 1 ) is connected and {a, b} B(c, r 1 ) K(c, r), the ball K(c, r) is connected, too. The connected sets in R m with m 2 can have very complicated structure. Figure 7.4 shows a connected set in R 2 and gure 7.5 shows a disconnected set in R 2. THEOREM 7.6.2. Let M R m be a connected set and let f : M R be continuous on M. Let x 1, x 2 be two points in M such that f(x 1 ) < f(x 2 ). Then for any y 0 such that f(x 1 ) < y 0 < f(x 2 ) there exists a point x 0 M such that f(x 0 ) = y 0. Proof. Connectedness of M involves existence of a closed and connected set S M such that both points x 1, x 2 are in S. Let us consider the following two sets S + y 0 = {x S; f(x) y 0 } S y 0 = {x S; f(x) y 0 }. It is obvious that x 1 Sy 0 and x 2 S y + 0 and therefore both sets S y ± 0 are non-empty. Furthermore, S y + 0 Sy 0 = S. Continuity of f (on M) guarantees (see lemma 7.6.1) that the sets S y ± 0 are closed in R m. Connectedness of S implies S y + 0 Sy 0. Let x 0 S y + 0 Sy 0. Then f(x 0 ) y 0 and f(x 0 ) y 0 and therefore f(x 0 ) = y 0. Corollary 7.6.2. Let I R be an interval and let f : I R be continuous on I. If x 1, x 2 are two points in I such that f(x 1 ) < f(x 2 ) then the function f attains all the values between f(x 1 ) and f(x 2 ). Especially, if f(x 1 )f(x 2 ) < 0 then there exists such x 0 between x 1 and x 2 that f(x 0 ) = 0. 87

7.6 Properties of continuous mappings on connected sets 88 Figure 7.4: Figure 7.5: Example 7.6.3. Let us consider the function: f : x x cos(x), x [0, 1]. Show that there exists x 0 [0, 1] such that x 0 = cos(x 0 ). Solution: f C([0, 1]), f(0) = 1 < 0, f(1) = 1 cos(1) > 0. With help of corollary 7.6.2 we can state there exists x 0 in [0, 1] such that f(x 0 ) = 0 and this exactly means that x 0 = cos(x 0 ). Example 7.6.4. Let the function f : ([α, β] R) [α, β] be continuous on [α, β]. Show that there exists t [α, β] such that f(t) = t. Solution: If f(α) = α or f(β) = β then t = α or t = β. Let this trivial case be not our case, i.e. f(α) α and f(β) β. Then α < f(α) as well as f(β) < β. Let us consider the function g: g : x x f(x), x [α, β]. Then g C([α, β]; R) and g(α) = α f(α) < 0 and g(β) = β f(β) > 0. Thus corollary 7.6.2 guarantees the existence of mentioned t in [α, β] at which g(t) = 0, i.e. t f(t) = 0. THEOREM 7.6.3. Let I R be an interval and let a function f : I R be continuous on I. Then the f-image of I (values of f) is either an one-point set or an interval. 88

7.6 Properties of continuous mappings on connected sets 89 Proof. If f is a constant function then f-image of I is obviously one point. Let f be not a constant function. We will show that f(i) is an interval. Let y 1, y 2 be any two points in f(i) and let y 1 < y 2. Corollary 7.6.2 implies that f attains all the values between y 1 and y 2, i.e. (y 1, y 2 ) f(i). This shows that f(i) must be an interval. Corollary 7.6.3. Let I R be an interval and let f : I R be continuous and strictly increasing or strictly decreasing on I. Then f(i) is an interval. THEOREM 7.6.4. Let I R be an interval and let f : I R be monotonic on I such that f(i) is an interval. Then the function f is continuous on I. Proof. Let us consider that f : I R is non-decreasing and that I is an open interval. (In other cases, the proof can be done in an analogical way). Let f(i) = J. Indirectly: let f be discontinuous at some point c in I. Theorems 6.5.1 and 6.5.2 imply that f has the (proper) limit from the left as well as the (proper) limit from the right in the point c. Let us denote these limits by f(c + ) and f(c ), respectively. f is nondecreasing and therefore if x 1 I, x 1 < x < c, we have f(x 1 ) f(x) f(c) and if x 2 I and x 2 > x > c, we have f(x 2 ) f(x) f(c). Thus f(x 1 ) f(c ) f(c) f(c + ) f(x 2 ). This shows that the numbers f(c + ) and f(c ) belong to the interval J. Discontinuity of f at c implies f(c ) < f(c + ). Let us choose a number d such that f(c ) < d < f(c + ) (see gure 7.6). Necessarily, d J, however, f does not attains the value d in any point of I, but this is in contradiction with our assumption that f maps I into an interval (J). We already know that the exponential function x a x, x R is continuous on its domain, i.e. on whole real line (see example 7.1.6), for instance. With respect to theorem 7.6.4 and theorem 4.4.4 one can nd out that the logarithmic function is continuous on its domain. THEOREM 7.6.5 (On continuity of inverse function). Let I R be an interval and let f : I R be continuous and increasing (decreasing) on I. Then f maps I into an interval, say J. There exists an inverse function f 1 : J I that is continuous and increasing (decreasing) on J. Proof. The statement that f maps I into an interval follows from corollary 7.6.3. The existence of the inverse function f 1 follows from theorem 4.2.2. This theorem implies also that f 1 is increasing (decreasing) on J and maps J into I. Thus, theorem 7.6.4 implies that f 1 is continuous on J. 89

7.6 Properties of continuous mappings on connected sets 90 y f(c + ) d f(c) f(c ) O c x Example 7.6.5. Show that the function f : x sin(x 2 ), Figure 7.6: 2# has an inverse function dened on J = [ 1, 1]. Find this inverse function and prove that it is increasing and continuous on J. Solution: We will start with the monotonicity of f on I. Let Ê3π 2 x 1 < x 2 Ê5π 2. x I ="Ê3π 2,Ê5π Then 3π 2 x2 1 < x 2 2 5π 2. The function sin [3π/2,5π/2] is increasing and therefore sin(x 2 1) < sin(x 2 2). This means f is increasing on I. The continuity of the functions sin and x x 2 on R implies continuity of its composition x sin(x 2 ) on R (theorem 7.1.2). Theorem 7.2.1 then implies that f is continuous on I. Furthermore, we have min f(x) = sin3π x I 2= 1, max x I f(x) = sin5π 2=+1. As a consequence of theorem 7.6.3 we see that the values of f coincide with J. Theorem 7.6.5 guarantees existence of the inverse function f 1 : J I that is continuous and increasing 90

7.6 Properties of continuous mappings on connected sets 91 on J. We will nd the function f 1. We know (theorem 2.2.3) that f f 1 = i J, i.e. 2 sinh f 1 (x)š2i=x, x J. For all x J: f 1 (x) I, therefore f 1 (x)š2 π 2π 2, π holds. Evidently, sin (f 1 (x)) 2 2π =sin (f 1 (x)) 2 =x, x J. With respect to what has just been said about the values of the function f 1 we obtain the following formula f 1 (x)š2 2π = arcsin(x), which implies Example 7.6.6. Show that the function f 1 (x) = (2π + arcsin(x)) 1/2, x J. f : x x sin(x), x R has an inverse function that is increasing and continuous on R. Solution: For any two real numbers x 1, x 2 such that x 1 < x 2 we have sin(x 1 ) sin(x 2 ) =2 cos x 1 + x 2 2 sinx 1 x 2 2 2sinx 1 x 2 2 <x 2 x 1. This implies that f(x 2 ) f(x 1 ) = x 2 x 2 (sin(x 2 ) sin(x 1 )) > x 2 x 1 (x 2 x 1 ) = 0, and we see that f is increasing on R. It is evident that f is continuous on R. We will show that f(r) = R. This will follow from the following: let y be arbitrary real number, then: f(y 2) = y 2 sin(y 2) y 2 + 1 = y 1 < y < y + 1 = y + 2 1 y + 2 sin(y + 2) = f(y + 2), and we can use corollary 7.6.2 to see that there exists x R such that f(x) = y. This means that f(r) = R. Now, theorem 7.6.5 guarantees existence of the inverse function f 1 : R R and it is continuous and increasing on R. 91

7.6 Properties of continuous mappings on connected sets 92 Continuity of elementary functions The continuity of goniometric functions on their domains (examples 7.1.4, 7.1.7 and 7.1.12) together with theorems 4.4.10 and 7.6.5 imply continuity of the inverse trigonometric functions (the functions arcsin, arccos, arctan) on their domains. We have shown (see examples 7.1.6, 7.1.7, 7.1.8 and 7.1.12) that the basic elementary functions as well as any polynomial of many real variables are continuous on their domains. Theorems 7.1.2 and 7.1.4 allow to state that all elementary functions of one as well as many real variables are continuous on their domains. Such the elementary functions are e.g.: f : x arcsin(sin(x)), x R see gure 7.7 g : x 1 + e 1 x, x R \ {0} see gure 7.8 h : x x 2/3 + arcsin x 1 + x 2+2 x7 + 9qx 3 + cos(x 2 ) +Èln(1 + x 4 ), x R + F : (x 1, x 2 ) x 1 x 7 2 + arctan(x 1 x 2 + 3x 4 2) + x 3 1 + arcsin(x 2 ) + sin(ln(è1 + x 2 1 + x 2 2)) + 2, (x 1, x 2 ) R [ 1, 1] G : (x 1, x 2, x 3 ) x 1 + x 2 + x 3 2 + e arccos(x2 1 +x2 2 +x2 3 ), (x 1, x 2, x 3 ) G 3 (0, 1), where G 3 (0, 1) = {(x 1, x 2, x 3 ) R 3 ; x 2 1 + x 2 2 + x 2 3 1} is the closed ball of unit radius centered at (0, 0, 0). Problems 1. Find whether the sets M 1, M 2, M 3, M 4 are connected in R 2 : M 1 = {(x, y) R 2 ; xy = 1}, M 2 = {x, x sin1 x R 2 ; x (0, 1]} {0, 0}, M 3 = {(x, y) R 2 ; xy = 1}, M 4 = {(x, y) R 2 ; x 2 + y 2 = 1}. 2. Let A, B be a pair of connected sets in R m such that A B. Prove that the union of the sets A and B is then also a connected set in R m. 3. Let I R be an interval and let x 1, x 2,... x n are some points of I. Let f C(I; R). Prove that there is x I such that f(x) = f(x 1) + f(x 2 ) + + f(x n ). n 92

7.6 Properties of continuous mappings on connected sets 93 y π 2 π π 2 π 2 π 3 2 π 2π x y π 2 Figure 7.7: O x Figure 7.8: 4. Show that there is at least one number x 0 in (0, 1) such that 3 x 0 = 5x 0. 5. Show that a polynomial of third order has, at least, one (real) root. 6. Let [a, b] R and let f and g be continuous functions on [a, b] such that f(a) < g(a) and f(b) > g(b). Show that there is at least one c (a, b) with the property: f(c) = g(c). 7. Let f be a monotonic function mapping the interval [a, b] R into [a, b]. Show that there is at least one c in (a, b) such that c = f(c). 8. Show that the function f : x tan(x) x, x π 2, π 2 93

7.7 Continuity of the mappings in metric spaces 94 has an inverse function dened, continuous and increasing on R. 9. Show that the function f : x x, x [0, 1] x 2, x (3, 4] (that is continuous on D(f) = [0, 1] (3, 4]) has an inverse function dened and increasing on [0, 2]. Show that this inverse function is not continuous on [0, 2]. (Compare this result with theorem 7.6.5.) 10. Prove that the set of points of discontinuity of a monotonic function is at most countable (is nite or innite but countable). 11. Prove that the function (x 1, x 2 ) cosh(x 2 ) sin(x 1 ) + sinh(x 2 ) cos(x 1 ), (x 1, x 2 ) R 2 takes on the value 0 at innitely many points of the plane R 2. Answers 1. The set M 1 is not connected and the sets M 2, M 3 and M 4 are connected in R 2. 7.7 Continuity of the mappings in metric spaces In this section we will extend in a natural way the notions, statements and theorems concerning continuity of the mappings from R m to R k we were dealing with in the previous sections of this chapter to the case of mappings dened on a given metric space and with values in another metric space. We will not repeat proofs of theorems if they are like enough to their Euclidean space - to Euclidean space counterparts. 7.7.1 Continuity at a point We know that every metric space can be considered as the Hausdor topological space equipped with the so-called metric topology. Particulary, every point of a metric space has a system of (open) neighborhoods. Denition 7.7.1. Let (X, d X ), (Y, d Y ) be a pair of metric spaces. We say that a mapping f : (M X) Y is continuous at a point a M if holds. We use the notation O(f(a)) O(a) x M O(a) : f(x) O(f(a)) lim f(x) = f(a). x a 94

7.7 Continuity of the mappings in metric spaces 95 Let us mention that the set M O(a) is an open neighborhood of the point a in a relative topology on M. We often say that the mapping f : (M X) Y, where (X, d X ) and (Y, d Y ) are metric spaces, is the mapping from the metric space (X, d X ) to the metric space (Y, d Y ). Any neighborhood of a point of a metric space contains an open ball centered at given point and this ball is also a neighborhood of given point (see theorem 5.2.1), therefore we can rewrite denition 7.7.1 into the form: Denition 7.7.2 (An equivalent denition of continuity at a point). Let (X, d X ), (Y, d Y ) be a pair of metric spaces. We say that a mapping f : (M X) Y is continuous at a point a M if ɛ > 0 δ > 0 x M : (d X (x, a) < δ d Y (f(x), f(a)) < ɛ). It is easy to see that this denition, in the special case X = R m, d X = d m ; Y = R k, d Y = d k, reduces to denition of continuity of a mapping from R m to R k at given point (see denition 7.1.2). Example 7.7.1. Let I R be an interval and let (B(I), d B ), (R, d 1 ) be metric spaces dened in example 5.2.1. (B(I) is the linear space of all bounded functions dened on the interval I equipped with the supremum metric.) Let then x 0 I, f 0 B(I) and let a function F : B(I) R be dened as follows F (f) = f(x 0 ), f B(I). We will show that F is continuous at f 0. Solution: For any f, f 0 B(I) we have d 1 (F (f), F (f 0 )) = f(x 0 ) f 0 (x 0 ) sup f(x) f 0 (x) = d B (f, f 0 ). x I Let ɛ be an arbitrary positive number and let 0 < δ ɛ. Then for any f B(I) such that d B (f, f 0 ) < δ we have d 1 (F (f), F (f 0 )) d B (f, f 0 ) < δ ɛ. This shows that F is continuous at f 0. The notion of the continuity of a mapping at given point is closely related to the limit of a sequence. This is expressed in details in the following theorem. 95

7.7 Continuity of the mappings in metric spaces 96 THEOREM 7.7.1. Let (X, d X ), (Y, d Y ) be metric spaces. The mapping f : (M X) Y is continuous at a M if and only if for any sequence {x n } n Z M with the property lim n x n = a: lim f(x n) = f(a) n holds. Proof. (a) Let the mapping f : (M X) Y be continuous at a M and let the sequence {x n } n Z M converges to a. Continuity of f at a means ɛ > 0 δ > 0 x M : (d X (x, a) < δ d Y (f(x), f(a)) < ɛ). Since lim x n = a, n there exists n 0 N for any δ > 0 such that for all n n 0 we have d X (x n, a) < δ. Then d Y (f(x n ), f(a)) < ɛ for all n n 0. Thus lim f(x n) = f(a). n (b) Let for any sequence {x n } n Z M that converges to a M be lim n f(x n ) = f(a). Let us suppose that f is not continuous at a, i.e. the following statement ɛ > 0 δ > 0 x δ M : d X (x δ, a) < δ d Y (f(x δ ), f(a)) ɛ 0 is true. We can choose the numbers δ as 1, 1/2, 1/3,..., 1/n,.... For every n N there exists a point x n M such that d X (x n, a) < 1 n d Y (f(x n ), f(a)) ɛ 0. This means that lim n x n = a but the sequence {f(x n )} n N has not limit equal to f(a). This is, in fact, in contradiction with our assumption that lim n f(x n ) = f(a) if lim n x n = a. Thus the mapping f must be continuous at our point a. This theorem an the theorems on proper limits (see section 6.3) imply the following Corollary 7.7.1. Let (X, d X ) be a metric space and let the functions f : (M X) R, g : (M X) R be continuous ar a M. Then the functions f, λf(λ R), f + g, fg are continuous at a. If g(a) 0 then also the fraction f/g is continuous at a. This corollary implies theorem 7.1.4 and theorem 5.7.1 is a consequence of theorem 7.7.1. Theorem 7.7.1 and corollary 7.7.1 allow us to decide in certain cases whether considered mapping is continuous or is not at given point. 96

7.7 Continuity of the mappings in metric spaces 97 Example 7.7.2. Let the function F : (C([0, 1]; R) B([0, 1]) R) be dened as follows =8><>:0 if f attains negative values, 1 F (f) if f(x) = 0, x [0, 1], 2 1 for nonnegative and nonzero function f. Show that the function F is not continuous at f 0 = 0. Solution: Let us consider the following sequence of functions from C([0, 1]; R): It is easy see that f n : x xn, x [0, 1] (n = 1, 2, 3,... ). n x n d B (f n, f 0 ) = sup x [0,1] n = 1 n, n N. This immediately implies that lim f n = f 0. n Since F (f n ) = 1 for all n N, we have lim F (f n) = 1 0 = F (f 0 ). n And this means (with respect to corollary 7.7.1) that F is not continuous at f 0. 7.7.2 Continuity on a set Let (X, d X ) and (Y, d Y ) be a pair of metric spaces. We say that f : (M X) Y is continuous on M if f is continuous at any point of the set M. The set of all continuous mappings from M to (Y, d Y ) is denoted by C(M; Y ) or briey C(M). The mapping f : (M X) Y is called uniformly continuous on M if the statement ɛ > 0 δ > 0 x 1, x 2 M : (d X (x 1, x 2 ) < δ d Y (f(x 1 ), f(x 2 )) < ɛ). It is evident that an uniformly continuous mapping on M is continuous on M. The opposite statement is not true (see example 7.4.1). In an analogical way as we have used to prove the boundedness theorem as well as Cantor theorem in section 7.5 the following statements can be proved. THEOREM 7.7.2. Let (X, d X ), (Y, d Y ) be metric spaces and let M X be a compact set. If the mapping f : M Y is continuous on M then the range f(m) is a compact subset in the space (Y, d Y ). 97

7.7 Continuity of the mappings in metric spaces 98 Corollary 7.7.2. Let (X, d) be a metric space and let the function f : (M X) R be continuous on M. If M is a compact set then f is bounded on M and f attains its maximum and its minimum value, i.e. there exist points c 1, c 2 in M such that f(c 1 ) = min x M f(x), f(c 2) = max x M f(x). THEOREM 7.7.3. Let (X, d X ), (Y, d Y ) be metric spaces and let M X be a compact set. If the mapping f : M Y is continuous on M then it is uniformly continuous on M. Problems 1. Let (X, d X ), (Y, d Y ) be metric spaces and M X. a) Show that if a M is an isolated point then any mapping f : M Y is continuous at a. b) Let a M be a limit point of the set M. Prove that a mapping f : M Y is continuous at a if and only if lim f(x) = f(a). x a 2. Let (B(M), d B ) be the metric space dened in example 5.2.1. a) Let a function F : B(M) R be dened as: F (f) = 1 2 sup f(x), x M f B(M). Show that the function F is continuous on B(M) (see example 6.8.1). b) Let M = [0, 1], A(M) = {g C(M; R); g 1} and let be such a function that F 0 (f) =8<:0 F 0 : B(M) R for f A(M), 1 for f B(M) \ A(M). Show that the function F 0 is not continuous on B(M). c) Show that the mapping F : B([0, 1]) B([0, 1]) given by is continuous on B([0, 1]). 98 F(f) = f 2, f B([0, 1])

7.7 Continuity of the mappings in metric spaces 99 3. Let (X, d) be a metric space and let b X. Prove that the function x d(x, b), x X is uniformly continuous on X. (Hint: for x 1, x 2 X: d(x 1, b) d(x 2, b) d(x 1, x 2 ) holds.) 4. Let (X, d) be a metric space and let the functions f : (M X) R, g : (M X) R be uniformly continuous on M. Show that then also the following functions: f + g and λg (λ R) are uniformly continuous on M. 5. Let F be the mapping dened in problem 2c) and let B 1 ([0, 1]) = {g B([0, 1]); g 1}. Show that the mapping (restriction of the mapping F to the set B 1 ([0, 1])): F 1 = F B1 ([0,1]) is uniformly continuous on B 1 ([0, 1]). 6. Let (X, d X ), (Y, d Y ) be metric spaces and let a mapping f : X Y be continuous on X. Show that if a set E Y is open (closed) in (Y, d Y ) then the set is open (closed) in (X, d X ). f 1 (E) = {x X; f(x) E} 99