6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )


 Abner Myron Bruce
 1 years ago
 Views:
Transcription
1 6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a nonempty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points with d(x, y) = 0, then x = y; (ii) d(x, y) = d(y, x), for all x, y X; (iii) d(x, y) d(x, z) + d(y, z), for all x, y, z X. A metric space is a pair (X, d), where X is a set, and d is a metric on X. Given a metric space (X, d), and a set A X, one defines its diameter to be the number diam d (A) = sup { d(x, y) : x, y A } [0, ). (When there is no danger of confusion, the subscript will be omitted.) Notations. If (X, d) is a metric space, then for any point x X and any r > 0, we define the open and closed balls: B r (x) = {y X : d(x, y) < r}, B r (x) = {y X : d(x, y) r}. Definition. Suppose (X, d) is a metric space. Then X carries a natural topology constructed as follows. We say that a set D X is open, if it has the property: for every x D, there exists some r x > 0, such that B rx (x) D. One can prove that the collection is indeed a topology, i.e. we have T d = {D X : D open } and X are open; if (D i ) i I is a family of open sets, then i I D i is again open; if D 1 and D 2 are open, then D 1 D 2 is again open. The topology thus constructed is called the metric topology. Remark 6.1. Let (X, d) be a metric space. Then for every p X, and for every r > 0, the set B r (p) is open, and the set B r (p) is closed. If we start with some x B r (p), an if we define r x = r d(x, p), then for every y B rx (x) we will have d(y, p) d(y, x) + d(x, p) < r x + d(x, p) = r, so y belongs to B r (p). This means that B rx (x) B r (p). Since this is true for all x B r (p), it follows that B r (p) is indeed open. To prove that B r (p) is closed, we need to show that its complement X B r (p) = {x X : d(x, p) > r} 31
2 32 CHAPTER I: TOPOLOGY PRELIMINARIES is open. If we start with some x X B r (p), an if we define ρ x = d(p, x) r, then for every y B ρx (x) we will have d(y, p) d(p, x) d(y, x) > d(p, x) ρ x = r, so y belongs to X B r (p). This means that B ρx (x) X B r (p). Since this is true for all x X B r (p), it follows that X B r (p) is indeed open. Remark 6.2. The metric topology on a metric space (X, d) is Hausdorff. Indeed, if we start with two points x, y X, with x y, then if we choose r to be a real number, with d(x, y) 0 < r <, 2 then we have B r (x) B r (y) =. (Otherwise, if we have a point z B r (x) B r (y), we would have 2r < d(x, y) d(x, z) + d(y, z) < 2r, which is impossible.) Remark 6.3. Let (X, d) be a metric space, and let M be a subset of X. Then d M M is a metric on M, and the metric topology on M defined by this metric is precisely the induced toplogy from X. This means that a set A M is open in M if and only if there exists some open set D X with A = M D. The metric space framework is particularly convenient because one can use sequential convergence. Definition. Let (X, d) be a metric space. For a point x X, we say that a sequence (x n ) n 1 X is is convergent to x, if lim n d(x n, x) = 0. Exercise 1. Prove that, given x X and as sequence (x n ) X, the above definition is equivalent to the fact that (x n ) n N converges to x, as a net, with respect to the metric topology. (See Section 2). Remark 6.4. Let (X, d) is a metric space, and if the sequence (x n ) n 1 X is convergent to some point x X, then (1) lim n d(x n, y) = d(x, y), y X. This is an immediate consequence of the inequalities d(x, y) d(x n, x) d(x n, y) d(x, y) + d(x n, x). Among other things, the equality (1) gives the fact that (x n ) n 1 cannot be convergent to any other point y x. (This can be also obtained using Remark 6.2 and Exercise 1.) Therefore, if (x n ) n 1 is convergent to some x, then x is uniquely determined, and will be denoted by lim n x n. Sequential convergence is useful for characterizing closure. Proposition 6.1. Let (X, d) be a metric space, and let A X be a nonempty subset. For a point x X, the following are equivalent: (i) x belongs to the closure A of A; (ii) there exists some sequence (x n ) n 1 A, with lim n x n = x. Proof. (i) (ii). Assume x A. This means that ( ) For every open set D X with D x, the intersection D A is nonempty.
3 6. Metric spaces 33 We use this property for the open sets B 1/n (x), n = 1, 2,.... So, for every integer n 1, we can find a point x n B 1/n (x) A. This way we have built a sequence (x n ) n 1 A, such that d(x n, x) < 1 n, n 1. It is clear that this gives x = lim n x n. (ii) (i). Assume x satisfies property (ii). Fix (x n ) n 1 A to be a sequence with lim n x n = x. We need to prove property ( ). Start with some arbitrary open set D X, with x D. Let ε > 0 be chosen such that B ε (x) D. Since lim n d(x n, x) = 0, there exists some n ε such that d(x nε, x) < ε. It is now clear that x nε B ε (x) A D A, so the intersection D A is indeed nonempty. Continuity can be characterized using sequential convergence, as follows. Proposition 6.2. Let X and Y be metric spaces, and let f : X Y be a function. For a point p X, the following are equivalent: (i) f is continuous at p; (ii) for every ε > 0, there exists some δ ε > 0 such that d ( f(x), f(p) ) < ε, for all x X with d(x, p) < δ ε. (iii) if (x n ) n 1 X is a sequence with lim n x n = p, then lim n f(x n ) = f(p). Proof. (i) (ii). The condition that f is continuous at p means ( ) for every open set D Y, with D f(p), there exists some open set E X, with p E f 1 (D). ( ) Assume f is continuous at p. For every ε > 0, we consider the open ball B Y ε ( f(p) ). Using ( ), there exists some open set E X, with E p, and f(e) B Y ε f(p). In particular, there exists δ > 0, such that B X δ (p) E, so now we have f ( B X δ (p) ) B Y ( ) ε f(p), which clearly gives (ii). (ii) (iii). Assume f satisfies (ii), and start with some sequence (x n ) n 1 X, which converges to p. For every ε > 0, we choose δ ε > 0 as in (ii), and using the fact that lim n x n = p, we can also choose some N ε such that Using (ii) this will give d(x n, p) < δ ε, n N ε. d ( f(x n ), f(p) ) < ε, n N ε. In other words, we get the fact that ( f(xn ), f(p) ) = 0, lim n which means that we indeed have lim n f(x n ) = f(p). (iii) (i). Assume f satisfies (iii), but f is not continuous at p. By ( ) this means that there exists some open set D 0 Y with D 0 f(p), such that ( ) for every open set E X with E p, we have f(e) D 0.
4 34 CHAPTER I: TOPOLOGY PRELIMINARIES It is clear that any other open set D, with f(p) ( D D 0, will again satisfy property ( ). Fix then some r > 0, such that B Y r f(p)) D0. Using condition ( ) it follows that for every integer n 1, we have f ( B X 1/n (p)) B Y ( ) r f(p). This means that, for every integer n 1, we can find a point x n X such that d(x n, p) < 1 n and d( f(x n ), f(p) ) r. ( It is then clear that the sequence (x n ) n 1 X is convergent to p, but the sequence f(xn ) ) Y is not convergent to f(p). This will contradict (iii). n 1 Exercise 2. Let (X, d) be a metric space, and let A X be some noempty subset. Prove the equality diam(a) = diam(a). Sequential convergence can also be used for characterizing compactness, but we are going to formulate the appropriate result a little later (see Theorem??). Definition. Let (X, d) be e metric space. For a point x X and a nonempty subset A X, one defines the distance from x to A as the number d(x, A) = inf { d(x, a) : a A }. Exercise 3. Let (X, d) be a metric space, and let A X be a nonempty subset. (i) For a point x X, prove that the equality d(x, A) = 0 is equivalent to the fact that x A. (ii) Prove the inequality d(x, A) d(y, A) d(x, y), x, y X. Using (ii) conclude that the map is continuous. X x d(x, A) [0, ) Proposition 6.3. Let (X, d) be a metric space. When equipped with the metric topology, X is normal. Proof. Let A and B be closed subsets of X with A B =. We need to find open sets U, V X, with U A, V B, and U V =. We are going to use a converse of Urysohn Lemma. More explicitly, let us define the function f : X [0, 1] by d(x, A) f(x) = d(x, A) + d(x, B), x X. Notice that by Exercise 3, both the numerator and denominator are continuous, and the denominator never vanishes. So f is indeed continuous. It is obvious that f A = 0 and f B = 1, so if we take the open sets U = f 1( (, 1 2 )) and V = f 1( ( 1 2, )), we clearly get the desired result. An important feature in the study of metric spaces is covered by the following. Definitions. Let (X, d) be a metric space. A. We say that a sequence (x n ) n 1 X is a Cauchy sequence, if:
5 6. Metric spaces 35 (C) for every ε > 0, there exists some integer N ε 1 such that d(x m, x n ) < ε, m, n N ε. It is obvious that every convergent sequence is Cauchy. B. We say that (X, d) is complete, if every Cauchy sequence is convergent. (2) The following result gives some equivalent characterizations. Proposition 6.4. Let (X, d) be a metric space. The following are equivalent. (i) (X, d) is complete. (ii) Every sequence (x n ) n 1 X, with d(x n+1, x n ) <, is convergent. (iii) Every Cauchy sequence has a convergent subsequence. Proof. (i) (ii). Assume X is complete. Let (x n ) n 1 X be a sequence with property (2). To prove (ii) it suffices to show that (x n ) n 1 is Cauchy. For every N 1 we define R N = d(x n+1, x n ). n=n Using (2) we get lim N R N = 0, so for every ε > 0 there exists some N(ε) with R N(ε) < ε. Notice also that the sequence (R N ) N 1 is decreasing. If m > n N(ε), then d(x m, x n ) m 1 k=n d(x k+1, x k ) d(x k+1, x k ) = R n R N(ε) < ε, k=n so (x n ) n 1 is indeed Cauchy. (ii) (iii). Start with some Cauchy sequence (y k ) k 1. For every n 1 choose an integer N(n) 1 such that (3) d(x k, x l ) < 1, k, l N(n). 2n Start with some arbitrary k 1 N(1) and define recursively an entire sequence (k n ) n 1 of integers, by k n+1 = max{k n + 1, N(n + 1), n 1. Clearly we have k 1 < k 2 <..., and since we have using (3), we get k n+1 > k n N(n), n 1, d(y kn+1, y kn ) < 1 2 n, n 1. So if we define the subsequence x n = y kn, n 1, we will have d(x n+1, x n ) 1 2 n = 1, so the subsequence (x n ) n 1 satisfies condition (2). By (ii) the subsequence (x n ) n 1 is convergent.
6 36 CHAPTER I: TOPOLOGY PRELIMINARIES (iii) (i). Assume condition (iii) holds. Start with some Cauchy sequence (x n ) n 1. For every integer n 1 we put Since (x n ) n 1 is Cauchy, we have S n = sup d(x l, x m ). l,m n (4) lim n S n = 0. Using the assumption, we can find a subsequence (x kn ) n 1 (defined by an increasing sequence of integers 1 k 1 < k 2 <... ) which is convergent to some point x. We are going to prove that the entire sequence (x n ) n 1 is convergent to x. Fix for the moment n 1. For every m n, we have k m m n, so we have (5) S n d(x n, x km ), m n. By Remark 3.4, we also know that so if we take lim m in (5) we will get lim m d(x n, x km ) = d(x n, x), d(x n, x) S n. Since this estimate holds for arbitrary n 1, using (4) we immediately get the fact that (x n ) n 1 is indeed convergent to x. Proposition 6.5. Suppose (X, d) is a complete metric space, and Y is a subset of X. The following are equivalent: (i) Y is complete, when equipped with the metric from X; (ii) Y is closed in X, in the metric topology. Proof. (i) (ii). Assume Y is complete, and let us prove that Y is closed. Start with a point x Y. Then there exists a sequence (y n ) n 1 Y with lim n y n = x. Notice that (y n ) n 1 is Cauchy in Y, so by assumption, (y n ) n 1 is convergent to some point in Y. This will then clearly force x Y. (ii) (i). Assume Y is closed, and let us prove that Y is complete. Start with a Cauchy sequence (y n ) n 1 Y. Since X is complete, the sequence (y n ) n 1 is convergent to some point x X. Since Y is closed, this forces x Y. The following discussion gives a method of constructing complete metric spaces. Definitions. Let (X, d) be a metric space. We define cs(x, d) = { x = (x n ) n 1 : x Cauchy sequence in X }. We say that two Cauchy sequences x = (x n ) n 1 and y = (y n ) n 1 in X are equivalent, if lim n d(x n, y n ) = 0. In this case we write x y. (It is fairly obvious that is indeed an equivalence relation.) We define the quotient space X = cs(x, d)/. For an element x cs(x, d), we denote its equivalence class by x. Finally, for a point x X, we define x X, to be the equivalence class of the constant sequence x (which is obviously Cauchy).
7 6. Metric spaces 37 Remark 6.5. Let (X, d) be a metric space. If x = (x n ) n 1 and y = (y n ) n 1 are Cauchy sequences in X, then the sequence of real numbers ( d(x n, y n ) ) n 1 is convergent. Indeed, for any m, n we have d(xm, y m ) d(x n, y n ) d(xm, y m ) d(x n, y m ) + d(xn, y m ) d(x n, y n ) We can then define d(x m, x n ) + d(y m, y n ). δ(x, y) = lim n d(x n, y n ). Proposition 6.6. Let (X, d) be a metric space. A. The map δ : cs(x, d) cs(x, d) [0, ) has the following properties: (i) δ(x, y) = δ(y, x), x, y cs(x, d); (ii) δ(x, y) δ(x, z) + δ(z, y), x, y, z cs(x, d); (iii) δ(x, y) = 0 x y; (iv) If x, x, y, y cs(x, d) are such that x x and y y, then δ(y, x) = δ(x, y ). B. The map d : X X [0, ), correctly defined by d( x, ỹ) = δ(x, y), x, y cs(x, d), is a metric on X. C. The map X x x X is isometric, in the sense that d( x, y ) = d(x, y), x, y X. Proof. A. Properties (i), (ii) and (iii) are obvious. To prove property (iv) let x = (x n ) n 1, x = (x n) n 1, y = (y n ) n 1, and y = (y n) n 1. The inequality d(x n, y n) d(x n, x n ) + d(x n, y n ) + d(y n, y n), combined with lim n d(x n, x n ) = lim n d(y n, y n) = 0 immediately gives δ(x, y ) = lim n d(x n, y n) lim n d(x n, y n ) = δ(x, y). By symmetry we also have δ(x, y) δ(x, y ), and we are done. B. This is immediate from A. C. Obvious, from the definition. Proposition 6.7. Let (X, d) be a metric space. (i) For any Cauchy sequence x = (x n ) n 1 in X, one has lim x n = x, in X. n (ii) The metric space ( X, d) is complete. Proof. (i). For every n 1, we have (6) d( xn, x ) = lim m d(x n, x m ). Now if we start with some ε > 0, and we choose N ε such that then (6) shows that d(x n, x m ) < ε, m, n N ε, d ( x n, x ) ε, n N ε,
8 38 CHAPTER I: TOPOLOGY PRELIMINARIES so we indeed have lim d ( x n, x ) = 0. n (ii). Let ( p k ) k 1 be a Cauchy sequence in X. Using (i), we can choose, for each k 1, an element x k X, such that d ( x k, p k ) 1 2 k. Claim 1: The sequence x = (x k ) k 1 is Cauchy in X. Indeed, for k l 1 we have d(x k, x l ) = d ( x k, x l ) d ( x k, p k ) ) + d(p k, p l ) + d ( p l, x l ) d(p k, p l ) l. This clearly gives lim n [ ] sup d(x k, x l ) k,l N [ lim n sup k,l N so x = (x k ) k 1 is indeed Cauchy. The proof of (ii) will the be finished, once we prove: Claim 2: We have lim n p k = x in X. ] d(p k, p l ) = 0, To see this, we observe that, for l k 1 we have the inequality (7) d( pk, x l ) d ( p k, x k ) + d ( x k, x l ) 1 2 k + d(x k, x l ). If we now start with some ε > 0, and we choose N ε such that then (7) gives d(x k, x l ) < ε, k, l N ε, d ( p k, x l ) 1 2 k + ε, l k N ε. If we keep k N ε fixed and take lim l, using (i) we get d(p k, x) = lim l d(pk, x l ) 1 2 k + ε, k N ε. The above estimate clearly proves that lim d(p k, x) = 0, k so the sequence (p k ) k 1 is convergent (to x). Definition. The metric space ( X, d) is called the completion of (X, d). The completion has a certain universality property. In order to formulate this property we need the following Definition. Let (X, d) and (Y, ρ) be metric spaces. A map f : X Y is said to be a Lipschitz function, if there exists some constant C 0, such that ρ ( f(x), f(x ) ) C d(x, x ), x, x X. Such a constant C is then called a Lipschitz constant for f.
9 6. Metric spaces 39 Proposition 6.8. Let (X, d) be a metric space, and let ( X, d) be its completion. If (Y, ρ) is a complete metric space, and f : X Y is a Lipschitz function with Lipschitz constant C 0, then there exists a unique continuous function f : X Y, such that f( x ) = f(x), x X. Moreover, f is Lipschitz, with Lipschitz constant C. Proof. Start with some Cauchy sequence x = (x n ) n 1 in X. Using the inequality ρ ( f(x m ), f(x n ) ) C d(x m, x n ), m, n 1, it is obvious that ( f(x n ) ) is a Cauchy sequence in Y. Since Y is complete, this n 1 sequence is convergent. Define, φ(x) = lim n f(x n). This way we have constructed a map φ : cs(x, d) Y. Claim: If x x, then φ(x) = φ(x ). Indeed, if x = (x n ) n 1 and x = (x n) n 1, then the Lipschitz property will give ρ ( f(x n ), f(x n) ) C d(x n, x n), n 1, and using the fact that lim n d(x n, x n) = 0, we get lim n ρ ( f(x n ), f(x n) ) = 0. This clearly forces lim f(x n) = lim n n f(x n). Having proven the claim, we now see that we have a correctly define map f : X Y, with the property that The equality f( x) = φ(x), x cs(x, d). f( x ) = f(x), x X is trivially satisfied. Let us check now that f is Lipschitz, with Lipschitz constant C. Start with two points p, p X, represented as p = x and p = x, for two Cauchy sequences x = (x n ) n 1 and x = (x n) n 1 in X. Using the definition, we have This will give Notice however that so taking the limit yields f(p) = lim n f(x n) and f(p ) = lim n f(x n). ρ ( f(p), f(p ) ) = lim n ρ( f(x n ), f(x n) ). ρ ( f(x n ), f(x n) ) C d(x n, x n), n 1, ρ ( f(p), f(p ) ) = lim n ρ( f(x n ), f(x n) ) C lim n d(x n, x n) = C d(p, p ). Finally, let us show that f is unique. Let F : X Y be another continuous function with F ( x ) = f(x), for all x X. Start with an arbitrary point p
10 40 CHAPTER I: TOPOLOGY PRELIMINARIES X, represented as p = x, for some Cauchy sequence x = (x n ) n 1 in X. lim n x n = p in X, by continuity we have F (p) = lim n F ( x n ) = lim n f(x n) = φ(x) = f(p). Since Corollary 6.1. Let (X, d) be a metric space, let (Y, ρ) be a complete metric space, and let f : X Y be an isometric map, that is ρ ( f(x), f(x ) ) = d(x, x ), x, x X. Then the map f : X Y, given by the above result, is isometric and f( X) = f(x)  the closure of f(x) in Y.. Proof. To show that f( X) = f(x), start with some arbitrary point y f(x). ( Then there exists a sequence (x n ) n 1 X, with lim n f(x n ) = y. Since f(xn ) ) is Cauchy in Y, and n 1 d(x m, x n ) = ρ ( f(x m ), f(x n ) ), m, n 1, it follows that the sequence x = (x n ) n 1 is cauchy in X. We then have y = lim n f(x n) = f( x). Finally, we show that f is isometric. Start with two points p, q X, represented as p = x and q = z, for some Cauchy sequences x = (x n ) n 1 and z = (z n ) n 1 in X. Then by construction we have ρ ( f(p), f(q) ) = lim n ρ( f( xn ), f( z n ) ) = lim n ρ( f(x n ), f(z n ) ) = = lim n d(x n, z n ) = d( x, z) = d(p, q). Corollary 6.2. If (X, d) is a complete metric space, and X is its completion, then the map ι : X x x X is bijective. Proof. Apply the previous result to the map Id : X X, to get a bijective (isometric) map Id : X X. Since the map Ĩd is obviously a left inverse for ι, it follows that ι itself is bijective. Since metric spaces have nice features (for example the fact that one has various topological properties in terms of sequences), it is natural to address the following question: Given a topological Hausdorff space X, when does there exists a metric d on X, such that the given topology coincides with the metric topology defined by d? A topological Hausdorff space with the above property is said to be metrizable. It is difficult to give nontrivial necessary and sufficient conditions for metrizability. One instance in which this is possible is the compact case (see the comment following Lemma 6.1 below). Here is a useful result, which is an example of a sufficient condition for metrizability. Proposition 6.9 (Metrizability of Countable Products). Let (X i, d i ) i I be a countable family of metric spaces. Then the product space X = i I X i, equipped with the product topology, is metrizable.
11 6. Metric spaces 41 Proof. Denote by T the product topology on X. What we need is a metric d on X, such that the maps Id : (X, d) (X, T) and Id : (X, T) (X, d) are continuous. (Here the notation (X, d) signifies that X is equipped with the metric topology defined by d.) For each i I, let π i : X X i denote the projection onto the i th coordinate. Case I: Assume I is finite. In this case we define the metric d on X as follows. If x = (x i ) i I and y = (y i ) i I are elements in X, we put d(x, y) = max i I d i(x i, y i ). The continuity of the map Id : (X, d) (X, T) is equivalent to the fact that all maps π i : (X, d) (X i, d i ), i I are continuous. This is obvious, because by construction we have d i ( πi (x), π i (y) d(x, y), x, y X. Conversely, to prove the continuity of Id : (X, T) (X, d), we are going to prove that every dopen set is open in the product topology. It suffices to prove this only for open balls. Fix then x = (x i ) i I i I X i and r > 0, and consider the open ball B r (x). If we define, for each i I, the open ball B Xi r (x i ), then it is obvious that B r (x) = π 1 ( i B X i r (x i ) ), i I and since π i are all continuous, this proves that B r (x) is indeed open in the product topology. Case II: Assume I is infinite. In this case we identify I = N. For every n N we define a new metric δ n on X n, as follows. If we put δ n = d n. Otherwise, we define sup d n (p, q) 1, p,q X n δ n (p, p) = d n(p, q) 1 + d n (p, q), p, q X n. It is not hard to see that the metric topology defined by δ n coincides with the one defined by d n. The advantage is that δ n takes values in [0, 1]. We define the metric d : X X [0, ), as follows. If x = (x n ) n N and y = (y n ) n N are elements in n N X n, we define d(x, y) = 1 2 n d n (x n, y n ) 1 + d n (x n, y n ) = δ n (x n, y n ) 2 n. Due to the fact that δ n takes values in [0, 1], the above series is convergent, and it obviously defines a metric on X. As above, the continuity of the map Id : (X, d) (X, T) is equivalent to the continuity of all the maps π n : (X, d) (X n, d n ), or equivalently for π n : (X, d) (X n, δ n ), n N. But this is an immediate consequence of the (obvious) inequalities δ n ( πn (x), π n (y) ) 2 n d(x, y), x, y X.
12 42 CHAPTER I: TOPOLOGY PRELIMINARIES As before, in order to prove the continuity of the other map Id : (X, T) (X, d), we start with some dopen set D, and we show that D is open in the product topology. Since D is a union of of open balls, we need to prove that for any x X and any r > 0, the open ball B r (x), in (X, d), is a neighborhood of x in the product topology. Fix x = (x n ) n N n N X n, as well as r > 0. Choose some integer N 1, such that 1 2 n < r 2, n=n+1 and define, for each k {1, 2,..., N} the set D k = {y = (y n ) n N n N X n : δ n (x k, y k ) < r 2 }. It is clear that D k is open in the product topology, for each k = 1, 2,..., N. (This is a consequence of the fact that D k = π 1 ( k Br/2 (x k ) ), where B r/2 (x k ) is the δ k open ball in X k of radius r/2, centered at x k.) Then the set D = D 1 D 2 D N is also open in the product topology. Obviously we have x D. We now prove that D B r (x). Start with some arbitrary y D, say y = (y n ) n N. On the one hand, we have δ k (x k, y k ) < r, k {1, 2,..., N}, 2 so we get N n=n n δ n(x n, y n ) < r 2 N 1 2 n < r 2. On the other hand, since δ n takes values in [0, 1), we also have 1 2 n δ 1 n(x n, y n ) < 2 n < r 2, so we get d(x, y) = thus proving that y indeed belongs to B r (x). 1 2 n δ n(x n, y n ) < r, Exercise 4*. With the notations from the proof of Theorem 6.10, prove that if each (X i, d i ) is complete, then so is (X, d). Exercise 5. Let (X, d) be a metric space. Prove that, when we equip X X with the product topology, the map d : X X [0, ) is continuous. We conclude with a discussion on compactness, and its characterization in terms of sequential convergence. The following terminology will be useful. Definition. Let (X, d) be a metric space. For a number ε > 0, we say that a subset A X is εdiscrete in X, if d(a, b) ε, for all a, b A with a b. With this terminology one has the following interesting result. Lemma 6.1. For a metric space (X, d), the following conditions are equivalent. (i) For every ε > 0, all εdiscrete subsets of X are finite; (ii) For every r > 0, there exists a finite set F X, such that X = p F B r(p).
13 6. Metric spaces 43 (iii) For every δ > 0, there exists an integer n 1, and sets A 1,..., A n X with A 1 A n = X, and diam(a k ) δ, k = 1,..., n. Proof. (i) (ii). Assume condition (i) holds, and let us prove (ii) by contradiction. Assume there exists some r > 0 such that, for every finite set F X, one has a strict inclusion B r (p) X. x F Start with some arbitrary point a 1 X, and construct recursively a sequence (a n ) n 1 X, by choosing This will then force a n+1 X [ B ε (a 1 ) B ε (a n ) ], n 1. d(a m, a n ) ε, m > n 1, so A = {a n : n N} will be an infinite εdiscrete set, thus contradicting (i). (ii) (iii). This is trivial, since diam ( B r (p) ) 2r, r > 0, p X. (iii) (i). Assume (iii), and let us prove (i). Fix ε > 0, and let A X be some εdiscrete subset. Use condition (iii) to find some integer n 1, and sets A 1,..., A n X with A 1 A n = X and diam(a k ) < ε, k = 1,..., n. Remark that, for every a A, there exists some ι(a) {1,..., n}, such that a A ι(a). This way we have constructed a function ι : A a ι(a) {1,..., n}. Remark that ι is injective. Indeed, if a, b A are such that ι(a) = ι(b) = k, then a, b A k, so we have d(a, b) diam(a k ) < ε, and then the εdiscreteness of A will force a = b. Having constructed an injective map ι : A {1,..., n}, it follows that A itself is finite. Remarks 6.6. A. If a metric space (X, d) satisfies the above equivalent conditions, then X is second countable, i.e. there is a countable base for the topology. To see this, we use condition (ii) to find, for every integer n 1, a finite set F n X, such that X = B 1 (x). n x F n Then the countable collection { V = B 1 (x)} n x F n is a base for the topology. To prove this fact, we need to show that if D X is some open set D, and p D, then there exists V V with p V D. First we choose r > 0 such that B r (p) D, then we take an integer n > 2/r and we pick a point x F n with p B 1 (x). For every z B 1 (x), we have n n d(z, p) d(z, x) + d(x, p) < 2 n < r, which means that if we take V = B 1 n (x) V, we have the p V B r(p) D. B. If (X, d) is a metric space which is compact in the metric topology, then it obviously satisfies condition (ii) in Lemma 6.1. In particular, X is second countable.
14 44 CHAPTER I: TOPOLOGY PRELIMINARIES Definition. We say that a topological space X is sequentially compact, if every sequence in X has a convergent subsequence. With this terminology, one has the following result. Lemma 6.2. Suppose X is a topological space which is second countable, i.e. it has a countable base for the topology. The following are equivalent: (i) X is compact; (ii) X is sequentially compact. Proof. Fix a countable base V = {V k } k=1 for the topology. (i) (ii). Assume X is compact. Start with some sequence (x n ) X, and let us indicate how to construct a convergent subsequence. For every n 1, we define the closed set T n = {x k : k > n}. It is obvious that the family of closed sets (T n ) n 1 has the finite intersection property, i.e. for every finite set F of indices, we have T n. n F (This follows from the fact that the T n s form a decreasing sequence of sets.) By compactness, it follows that T n. n 1 Take a point x n 1 T n. Consider the set K x = {k N : V k x}, and let us list it as K x = {k 1 < k 2 <... }. It may happen that K x is finite, say {k 1 < < k p }. In that case we define k n = k p, n > p. Since V is a base for the topology, it follows that the collection V x = {V kn } is a basic system of neighborhoods of x. Define, for each integer m 1, the set W m = V k1 V km, so that the system {W m } m=1 is again a basic system of neighborhoods of x, but with the additional property that W 1 W The key feature of x is the given by the Followings Claim 1: For every l, m 1, there exists some integer N(l, m) > l such that x N(l,m) W m. This is a consequence of the fact that, for every l 1, the point x belongs to the closure {x N : N > l}, so using the fact that W m is a neighborhood of x, we have W m {x N : N > l}. Using Claim 1, we define a sequence (l n ) n 0 of integers, recursively by l n = N(l n 1 ), n) n 1. (The initial term l 0 is chosen arbitrarily.) We have, by construction, l 0 < l 1 < l 2 <..., and x ln W n, n 1, so (x ln ) is indeed a subsequence of (x n ), which is obviously convergent to x. (ii) (i). Assume X is sequentially compact, and let us prove that X is compact. Start with an arbitrary Start with a collection (D i ) i I of open sets, with i I D i = X. We need to find a finite set of indices I 0 I, such that i I 0 D i = X. First we show that:
15 6. Metric spaces 45 Claim 2: There exists a countable set of indices I 1 I, such that i I 1 D i = X. For each i I, we define the set M(i) = {k N : V k D i }. Since V = {V k } k=1 is a base for the topology, we have D i = V k, i I. k M(i) Consider then the union M = i I M(i), which is countable, being a subset of the integers. We clearly have ( ) = D i = X. k M V k = i I k M i V k For every k M we choose an i k I, such that k M ik. Then if we take i I I 1 = {i k : k M}, then I 1 is obviously countable, and since we clearly have W k D ik, we get X = V k D ik = D i, i I 1 k M so the Claim is proven. Let us list the countable set I 1 as k M I 1 = {i k : k 1}. (Of course, if I 1 is already finite, there is nothing to prove. So we will assume that I 1 is infinite.) In order to finish the proof, we must find some k, such that D i1 D i2 D ik = X. Assume no such k can be found, which means that D i1 D i2 D ik X, k 1. In other words, if we define for each k 1, the closed set we have A k = X (D i1 D i2 D ik ), A k, k 1. For each k 1 we choose a point x k A k. This way we have constructed a sequence (x k ) k 1 X, so using property (i) we can find a convergent subsequence. This means that we have a sequence of integers 1 k 1 < k 2 <... and a point x X, such that lim n x kn = x. Notice that, since k n n, n 1, and since the sequence (A k ) k 1 is decreasing, we get the fact that, for each m 1, we have x kn A m, n m.
16 46 CHAPTER I: TOPOLOGY PRELIMINARIES Since A m is closed, this forces x A m, for all m 1. But this is clearly impossible, since A m = X ( (D i1 D im ) ) = X ( ) =. m 1 m 1 i I 1 D i Comment. The reader may think that Lemma 6.2 is somehow out of context here, since it deals with arbitrary topological spaces. It turns out that any second countable compact Hausdorff space is metrizable. (This is precisely the statement of Urysohn Metrizability Theorem, which is discussed in II.6.) Going back to the problem of characterizing compactness in metric spaces, we have the following fundamental result. Theorem 6.1. Let (X, d) be a metric space. The following are equivalent: (i) X is compact in the metric topology; (ii) X us sequentially compact in the metric topology; (iii) (X, d) is complete, and for every ε > 0, all εdiscrete subsets of X are finite. Proof. (i) (ii). This implication is immediate from Remark 6.6.B and Lemma 6.2. (ii) (iii). Assume condition (ii) holds. By Remark Proposition 6.4, it is obvious that (X, d) is complete. Fix ε > 0, as well as an arbitrary εdiscrete subset A X. We prove that A is finite by contradiction. Assume A is infinite. Then there exists a sequence (a n ) n 1 A, such that a m a n, for all m n, so d(a m, a n ) ε, m > n 1. It is clear that no subsequence of (a n ) n 1 is Cauchy, which means that (a n ) n 1 does not have any convergent subsequence, thus contradicting (ii). (iii) (i). To get this implication, it suffices to prove (iii) (ii). Indeed, by Remark 6.6.A, X is second countable, so by Lemma 6.2, sequential compactness of X will imply compactness. Assume then (X, d) has property (iii), and let us prove that X is sequentially compact. Start with an arbitrary sequence (x n ) X, and let us indicate how one can construct a convergent subsequence. The key step in this construction is contained in the following. Claim: For any infinite subset A X, and any ε > 0, then there exists an infinite subset B A, with diam(b) ε. Indeed, by Lemma 6.1, we know that there exists an integer n 1 and sets A 1,..., A n X, with A 1 A n, and diam(a k ) ε,, k = 1,..., n. If we put B k = A A k,, then we still have diam(b k ) ε, k = 1,..., n, as well as A = B 1 B n. Since A is infinite, one of the B s is infinite. Having proven the Claim, we now proceed with the construction of a convergent subsequence of (x n ). Of course, if (x n ) has a constant subsequence, there is nothing to prove. We can assume (after passing to a subsequence) that in fact we have x m x n, m > n 1. This gives the fact that, for any infinite set of indices M N, the set {x m : m M} is infinite. Use the Claim, to find a sequence (M k ) k=1, of infinite subsets of N, with ( ) M 1 M 2... ; ( ) diam ( {x m : m M k } ) 2 k, k 1.
17 6. Metric spaces 47 Using the fact that the sets M k, k 1 are all infinite, one can construct (recursively) a sequence of integers m 1 < m 2 <..., such that m k M k, k 1. Remark now that for k > l 1, using ( ) one has m k, m l M l, so by ( ) we get d(x mk, x ml ) 1 2 l. This proves that the subsequence (x mk ) k=1 is Cauchy, hence convergent. Corollary 6.3. Let (X, d) be a metric space. A. For a subset K X, the following are equivalent: (i) K is compact; (ii) every sequence in K has a subsequence which is convergent to a point in K. B. For a subset A X, the following are equivalent: (i) the closure A is compact in X; (ii) every sequence in A has a subsequence which is convergent (to a point in X, not necessarily in A). Moreover, if (X, d) is complete, then the above conditions are also equivalent to: (iii) for each ε > 0, all εdiscrete subsets of A are finite; (iv) for every r > 0, there exists a finite subset F X, such that A p F B r(p); (v) for every δ > 0, there exists an integer n 1, and sets B 1,..., B n X with A B 1 B n, and diam(b k ) δ, k = 1,..., n. Proof. A. Obvious, since the topology on K is defined by the metric d K K. B. The implication (i) (ii) is clear. To prove the implication (ii) (i), we start by assuming that A has property (ii), and we prove that every sequence in A has a subsequence, which is convergent to some point in A. (By part A this will prove that A is compact.) Start with some sequence (x n ) A, and let us construct a subsequence, which converges to some point in A. For each n 1, we use the fact that x n A, to choose some a n A, such that d(a n, x n ) < 1 n. Use condition (iv) to produce a subsequence (a kn ), which converges to some point x X. Notice that d(x kn, x) d(x kn, a kn ) + d(a kn, x) 1 + d(a kn, x), n 1. k n Since lim n k n =, this proves that lim n d(x kn, x) = 0, i.e. the subsequence (x kn ) converges to x. Since A is closed, and x kn A, n 1, it follows that x itself belongs to A. To prove the other equivalent conditions, we continue with the extra assumption that (X, d) is complete. The implications (i) (iii) (iv) (v) are clear. (v) (i). Assume A has property (v). We first observe that A is complete, being a closed subset of X, therefore, using Theorem 6.1 and Lemma 6.1, we see that, in order to prove that A is compact, it suffices to prove the following improved version of (v): (v ) for every δ > 0, there exists an integer n 1, and sets A 1,..., A n X with A = A 1 A n, and diam(a k ) δ, k = 1,..., n. But this is immediate, since if one takes the sets B 1,..., B n as in (v), then by Exercise 2 we also have diam(b k ) ε, k = 1,..., n. Since B 1 B n is closed,
18 48 CHAPTER I: TOPOLOGY PRELIMINARIES it follows that A B 1 B n, and then (v ) follows by taking A k = A B k, k = 1,..., n. Corollary 6.4. Let X and Y be metric spaces, and let f : X Y be a continuous map. If X is compact, then f is uniformly continuous, that is, for every ε > 0, there exists some δ ε > 0, such that d ( f(x), f(x ) ) < ε, for all x, x X with d(x, x ) < δ ε. Proof. Suppose f is not uniformly continuous, so there exists some ε 0 > 0, with the property that for any δ > 0 there exists x, x X, with d(x.x ) < δ, but d ( f(x), f(x ) ) ε 0. In particular, one can construct two sequences (x n ) n 1 and (x n) n 1 with (8) d(x n, x n) < 1 n and d( f(x n ), f(x n) ) ε 0, n 1. Using compactness, we can find a subsequence (x nk ) k 1 of (x n ) n 1 which converges to some point p. On the one hand, we have which proves that d(p, x n k ) d(p, x nk ) + d(x nk, x n k ) < d(p, x nk ) + 1 n k, k 1, (9) lim k x n k = p. On the other hand, using (8) we also have ε 0 d ( f(x nk ), f(x n k ) ) d ( f(p), f(x nk ) ) + d ( f(p), f(x n k ) ), which leads to a contradiction, because the equalities lim x n k = lim k k x n k = p, together with the continuity of f, will force lim d( f(p), f(x nk ) = lim d( f(p), f(x n k k k ) ) = 0. Remark 6.7. Let X be a metric space. Then any compact subset K X is closed (this is a consequence of the fact that X is Hausdorff) and bounded, in the sense that diam(k) <. In general however the converse is not true, i.e. there are metric spaces in which closed bounded sets may fail to be compact. Exercise 6. Construct an example of a complete metric space (X, d), with diam(x) <, but such that X is not compact. Exercise 7. Start with a metric space X, and let (x n ) n 1 X be a sequence which is convergent to some point x. Prove that the set is compact in X. K = {x} {x n : n 1}
1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by MenGen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationMetric Spaces Joseph Muscat 2003 (Last revised May 2009)
1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of
More informationTHE BANACH CONTRACTION PRINCIPLE. Contents
THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationNotes on metric spaces
Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More informationChapter 1. Metric Spaces. Metric Spaces. Examples. Normed linear spaces
Chapter 1. Metric Spaces Metric Spaces MA222 David Preiss d.preiss@warwick.ac.uk Warwick University, Spring 2008/2009 Definitions. A metric on a set M is a function d : M M R such that for all x, y, z
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationMathematical Methods of Engineering Analysis
Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
More informationGROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.
Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the
More informationMath 104: Introduction to Analysis
Math 104: Introduction to Analysis Evan Chen UC Berkeley Notes for the course MATH 104, instructed by Charles Pugh. 1 1 August 29, 2013 Hard: #22 in Chapter 1. Consider a pile of sand principle. You wish
More informationx if x 0, x if x < 0.
Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the
More informationSOLUTIONS TO ASSIGNMENT 1 MATH 576
SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts
More informationHOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationPART I. THE REAL NUMBERS
PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS
More informationMath212a1010 Lebesgue measure.
Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationRi and. i=1. S i N. and. R R i
The subset R of R n is a closed rectangle if there are n nonempty closed intervals {[a 1, b 1 ], [a 2, b 2 ],..., [a n, b n ]} so that R = [a 1, b 1 ] [a 2, b 2 ] [a n, b n ]. The subset R of R n is an
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationFinite dimensional topological vector spaces
Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the
More information{f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,...
44 CHAPTER 4. CONTINUOUS FUNCTIONS In Calculus we often use arithmetic operations to generate new continuous functions from old ones. In a general metric space we don t have arithmetic, but much of it
More informationCONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationPoint Set Topology. A. Topological Spaces and Continuous Maps
Point Set Topology A. Topological Spaces and Continuous Maps Definition 1.1 A topology on a set X is a collection T of subsets of X satisfying the following axioms: T 1.,X T. T2. {O α α I} T = α IO α T.
More informationREAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE
REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction
ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationVector Spaces II: Finite Dimensional Linear Algebra 1
John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition
More informationOpen and Closed Sets
Open and Closed Sets Definition: A subset S of a metric space (X, d) is open if it contains an open ball about each of its points i.e., if x S : ɛ > 0 : B(x, ɛ) S. (1) Theorem: (O1) and X are open sets.
More informationCHAPTER 1 BASIC TOPOLOGY
CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is
More informationn k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n + 1 +...
6 Series We call a normed space (X, ) a Banach space provided that every Cauchy sequence (x n ) in X converges. For example, R with the norm = is an example of Banach space. Now let (x n ) be a sequence
More informationAn example of a computable
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
More informationLemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S.
Definition 51 Let S be a set bijection f : S S 5 Permutation groups A permutation of S is simply a Lemma 52 Let S be a set (1) Let f and g be two permutations of S Then the composition of f and g is a
More informationTopics in weak convergence of probability measures
This version: February 24, 1999 To be cited as: M. Merkle, Topics in weak convergence of probability measures, Zb. radova Mat. Inst. Beograd, 9(17) (2000), 235274 Topics in weak convergence of probability
More informationMathematics for Econometrics, Fourth Edition
Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents
More information3. Equivalence Relations. Discussion
3. EQUIVALENCE RELATIONS 33 3. Equivalence Relations 3.1. Definition of an Equivalence Relations. Definition 3.1.1. A relation R on a set A is an equivalence relation if and only if R is reflexive, symmetric,
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete
More informationINTRODUCTION TO TOPOLOGY
INTRODUCTION TO TOPOLOGY ALEX KÜRONYA In preparation January 24, 2010 Contents 1. Basic concepts 1 2. Constructing topologies 13 2.1. Subspace topology 13 2.2. Local properties 18 2.3. Product topology
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationPSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2
PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2 Abstract. We prove a BrucknerGarg type theorem for the fiber structure of a generic map from a continuum X into the unit interval I. We
More information0 <β 1 let u(x) u(y) kuk u := sup u(x) and [u] β := sup
456 BRUCE K. DRIVER 24. Hölder Spaces Notation 24.1. Let Ω be an open subset of R d,bc(ω) and BC( Ω) be the bounded continuous functions on Ω and Ω respectively. By identifying f BC( Ω) with f Ω BC(Ω),
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationA NEW APPROACH TO THE CORONA THEOREM FOR DOMAINS BOUNDED BY A C 1+α CURVE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 40, 2015, 767 772 A NEW APPROACH TO THE CORONA THEOREM FOR DOMAINS BOUNDED BY A C 1+α CURVE José Manuel EnríquezSalamanca and María José González
More informationR u t c o r Research R e p o r t. Boolean functions with a simple certificate for CNF complexity. Ondřej Čepeka Petr Kučera b Petr Savický c
R u t c o r Research R e p o r t Boolean functions with a simple certificate for CNF complexity Ondřej Čepeka Petr Kučera b Petr Savický c RRR 22010, January 24, 2010 RUTCOR Rutgers Center for Operations
More informationLecture Notes on Measure Theory and Functional Analysis
Lecture Notes on Measure Theory and Functional Analysis P. Cannarsa & T. D Aprile Dipartimento di Matematica Università di Roma Tor Vergata cannarsa@mat.uniroma2.it daprile@mat.uniroma2.it aa 2006/07 Contents
More informationNotes on descriptive set theory and applications to Banach spaces. Th. Schlumprecht
Notes on descriptive set theory and applications to Banach spaces Th. Schlumprecht Contents Chapter 1. Notation 5 Chapter 2. Polish spaces 7 1. Introduction 7 2. Transfer Theorems 9 3. Spaces of compact
More informationCHAPTER 5. Product Measures
54 CHAPTER 5 Product Measures Given two measure spaces, we may construct a natural measure on their Cartesian product; the prototype is the construction of Lebesgue measure on R 2 as the product of Lebesgue
More informationPOWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
More informationThe Ideal Class Group
Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H1088 Budapest, Múzeum krt. 68. CONTENTS 1. SETS Set, equal sets, subset,
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More informationTRIPLE FIXED POINTS IN ORDERED METRIC SPACES
Bulletin of Mathematical Analysis and Applications ISSN: 18211291, URL: http://www.bmathaa.org Volume 4 Issue 1 (2012., Pages 197207 TRIPLE FIXED POINTS IN ORDERED METRIC SPACES (COMMUNICATED BY SIMEON
More informationINTRODUCTION TO DESCRIPTIVE SET THEORY
INTRODUCTION TO DESCRIPTIVE SET THEORY ANUSH TSERUNYAN Mathematicians in the early 20 th century discovered that the Axiom of Choice implied the existence of pathological subsets of the real line lacking
More informationTHE REGULAR OPEN CONTINUOUS IMAGES OF COMPLETE METRIC SPACES
PACIFIC JOURNAL OF MATHEMATICS Vol 23 No 3, 1967 THE REGULAR OPEN CONTINUOUS IMAGES OF COMPLETE METRIC SPACES HOWARD H WICKE This article characterizes the regular T o open continuous images of complete
More information1 Normed vector spaces and convexity
B4a Banach spaces lectured by Dmitry Belyaev based on notes by B. Kirchheim and CJK Batty 1 Normed vector spaces and convexity Mods analysis on the real line derives many of its basic statements (algebra
More informationWeek 5: Binary Relations
1 Binary Relations Week 5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all
More informationCardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.
Section 2.5 Cardinality (another) Definition: The cardinality of a set A is equal to the cardinality of a set B, denoted A = B, if and only if there is a bijection from A to B. If there is an injection
More informationMathematics for Computer Science
Mathematics for Computer Science Lecture 2: Functions and equinumerous sets Areces, Blackburn and Figueira TALARIS team INRIA Nancy Grand Est Contact: patrick.blackburn@loria.fr Course website: http://www.loria.fr/~blackbur/courses/math
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationGod created the integers and the rest is the work of man. (Leopold Kronecker, in an afterdinner speech at a conference, Berlin, 1886)
Chapter 2 Numbers God created the integers and the rest is the work of man. (Leopold Kronecker, in an afterdinner speech at a conference, Berlin, 1886) God created the integers and the rest is the work
More informationMetric Spaces. Lecture Notes and Exercises, Fall 2015. M.van den Berg
Metric Spaces Lecture Notes and Exercises, Fall 2015 M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK mamvdb@bristol.ac.uk 1 Definition of a metric space. Let X be a set,
More informationTHE CENTRAL LIMIT THEOREM TORONTO
THE CENTRAL LIMIT THEOREM DANIEL RÜDT UNIVERSITY OF TORONTO MARCH, 2010 Contents 1 Introduction 1 2 Mathematical Background 3 3 The Central Limit Theorem 4 4 Examples 4 4.1 Roulette......................................
More informationSet theory as a foundation for mathematics
Set theory as a foundation for mathematics Waffle Mathcamp 2011 In school we are taught about numbers, but we never learn what numbers really are. We learn rules of arithmetic, but we never learn why these
More informationRecursion Theory in Set Theory
Contemporary Mathematics Recursion Theory in Set Theory Theodore A. Slaman 1. Introduction Our goal is to convince the reader that recursion theoretic knowledge and experience can be successfully applied
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 12 May 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014. Prerequisites
More informationWorksheet on induction Calculus I Fall 2006 First, let us explain the use of for summation. The notation
Worksheet on induction MA113 Calculus I Fall 2006 First, let us explain the use of for summation. The notation f(k) means to evaluate the function f(k) at k = 1, 2,..., n and add up the results. In other
More informationU.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra
U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory
More informationReference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.
5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2
More informationRandom graphs with a given degree sequence
Sourav Chatterjee (NYU) Persi Diaconis (Stanford) Allan Sly (Microsoft) Let G be an undirected simple graph on n vertices. Let d 1,..., d n be the degrees of the vertices of G arranged in descending order.
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationOur goal first will be to define a product measure on A 1 A 2.
1. Tensor product of measures and Fubini theorem. Let (A j, Ω j, µ j ), j = 1, 2, be two measure spaces. Recall that the new σ algebra A 1 A 2 with the unit element is the σ algebra generated by the
More information(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties
Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry
More informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More informationDEFINABLE TYPES IN PRESBURGER ARITHMETIC
DEFINABLE TYPES IN PRESBURGER ARITHMETIC GABRIEL CONANT Abstract. We consider the first order theory of (Z, +,
More informationTOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS
TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms
More information5.3 Improper Integrals Involving Rational and Exponential Functions
Section 5.3 Improper Integrals Involving Rational and Exponential Functions 99.. 3. 4. dθ +a cos θ =, < a
More informationChapter 1  σalgebras
Page 1 of 17 PROBABILITY 3  Lecture Notes Chapter 1  σalgebras Let Ω be a set of outcomes. We denote by P(Ω) its power set, i.e. the collection of all the subsets of Ω. If the cardinality Ω of Ω is
More informationProperties of BMO functions whose reciprocals are also BMO
Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a nonnegative BMOfunction w, whose reciprocal is also in BMO, belongs to p> A p,and
More informationUniversity of Miskolc
University of Miskolc The Faculty of Mechanical Engineering and Information Science The role of the maximum operator in the theory of measurability and some applications PhD Thesis by Nutefe Kwami Agbeko
More informationON FIBER DIAMETERS OF CONTINUOUS MAPS
ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there
More informationPROBLEM SET 7: PIGEON HOLE PRINCIPLE
PROBLEM SET 7: PIGEON HOLE PRINCIPLE The pigeonhole principle is the following observation: Theorem. Suppose that > kn marbles are distributed over n jars, then one jar will contain at least k + marbles.
More informationCollapsing 3manifolds
Collapsing 3manifolds L. Bessières, G. Besson, M. Boileau, S. Maillot, J. Porti 4th William Rowan Hamilton Geometry and Topology Workshop HMI, TCD August 29, 2008 Collapsing 3manifolds p.1/15 Main Theorem
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special
More informationI. Pointwise convergence
MATH 40  NOTES Sequences of functions Pointwise and Uniform Convergence Fall 2005 Previously, we have studied sequences of real numbers. Now we discuss the topic of sequences of real valued functions.
More informationSome Notes on Taylor Polynomials and Taylor Series
Some Notes on Taylor Polynomials and Taylor Series Mark MacLean October 3, 27 UBC s courses MATH /8 and MATH introduce students to the ideas of Taylor polynomials and Taylor series in a fairly limited
More informationThe fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit
The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),
More informationStationary random graphs on Z with prescribed iid degrees and finite mean connections
Stationary random graphs on Z with prescribed iid degrees and finite mean connections Maria Deijfen Johan Jonasson February 2006 Abstract Let F be a probability distribution with support on the nonnegative
More informationk, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
More informationThe HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line
The HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line D. Bongiorno, G. Corrao Dipartimento di Ingegneria lettrica, lettronica e delle Telecomunicazioni,
More information13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcsftl 2010/9/8 0:40 page 379 #385
mcsftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite
More informationTHE PRIME NUMBER THEOREM
THE PRIME NUMBER THEOREM NIKOLAOS PATTAKOS. introduction In number theory, this Theorem describes the asymptotic distribution of the prime numbers. The Prime Number Theorem gives a general description
More information