Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Advanced Calculus Proposition 0.1. Let S be a subset of a metric space X. 1. S = S. 2. int(int(S)) = int(S). 3. \ S= C S⊂C C is closed 4. int(S) = [ U U ⊂S U open Proof. 1. If p is a limit of S, there is a sequence {pn } in S that converges to p. Since pn is a limit of S, there is qn ∈ S such that d(pn , qn ) < n1 . Then d(p, qn ) ≤ d(p, pn ) + d(pn , qn ) → 0 as n → ∞. Hence p is a limit of S and we have S ⊂ S. The other direction follows from definition. 2. For p ∈ int(S), there is r > 0 such that Br (p) ⊂ S. For each q ∈ Br (p), since Br (p) is open, there is r0 > 0 such that Br0 (q) ⊂ Br (p) ⊂ S. Hence Br (p) ⊂ int(S). Therefore p ∈ int(int(S)). 3. Since S is closed, the set in the right hand side is a subset of S. For p ∈ S, if p is not in the set on right hand side, there is some C closed, S ⊂ C such that p ∈ / C. Since X C is open, there is r > 0 such that Br (p) ∩ C = ∅. But S ⊂ C, Br (p) ∩ S = ∅ implies that p is not a limit of S which is a contradiction. S 4. Since int(S) is open and contained in S, it is a subset of U ⊂S U . For p ∈ U for some open U open set U contained in S, by definition, p ∈ int(S). Remark 0.2. The closure S is the smallest closed set containing S, and the interior int(S) is the largest open set contained in S. 1 1 Metric subspaces Definition 1.1. Let (X, d) be a metric space and A a subset of X. By restricting d to A × A, we get a metric dA on A. The metric space (A, dA ) is called a metric subspace of X. Remark 1.2. If Y is a metric subspace of X, and A ⊂ Y . The notation A is confusing since we may consider A as a subset of X too. To avoid the confusion, we write clX (A) to indicate the closure of A in X. Proposition 1.3. (Inheritance principle) Given a metric space X and a metric subspace Y ⊂ X, a subset A ⊂ Y is closed in Y if and only if there is some closed subset B in X such that A = Y ∩ B. Proof. If A is closed in Y , let B = clX (A) be the closure of A in X. Then B is a closed set in X and A ⊂ B ∩ Y . If p ∈ B ∩ Y , p is a limit of A in Y and A is closed in Y , hence p ∈ A. So we have A = B ∩ Y . Conversely, if B is some closed subset of X and p is a limit of B ∩ Y in Y , then p is also a limit of B in X, hence p ∈ B ∩ Y , therefore B ∩ Y is closed in Y . By taking complement, we have the following result. Corollary 1.4. A metric subspace inherits its open sets from the ambient metric space. Corollary 1.5. Suppose that Y is a metric subspace of X which is also open in X. If A ⊂ Y is open, then A is open in X. Proof. By above result, there is an open set B in X such that A = Y ∩ B. Since Y, B are open in X, Y ∩ B = A is open in X. Definition 1.6. Suppose that d1 , d2 are two metrics on X. We say that d1 , d2 are equivalent if there exists positive constants α and β such that for every x, y ∈ X, αd1 (x, y) ≤ d2 (x, y) ≤ βd1 (x, y) Proposition 1.7. Suppose that d1 , d2 are two equivalent metrics on X. A sequence {pn } converges in (X, d1 ) if and only if it is convergent in (X, d2 ). Proof. This follows directly from the definition. Definition 1.8. Suppose that (X1 , d1 ), (X2 , d2 ) are metric spaces. Let X = X1 × X2 be the Cartesian product of X1 , X2 . For p = (p1 , p2 ), q = (q1 , q2 ) in X, define p dE (p, q) := d1 (p1 , q1 )2 + d2 (p2 , q2 )2 dmax (p, q) := max{d1 (p1 , q1 ), d2 (p2 , q2 )} dsum (p, q) := d1 (p1 , q1 ) + d2 (p2 , q2 ) The following result is clear. Proposition 1.9. The above functions dE , dmax , dsum are metrics on X. Furthermore, they are equivalent and satisfy dmax ≤ dE ≤ dsum ≤ 2dmax Example 1.10. The discrete metric d on R is not equivalent to the Euclidean metric ||. Proof. If d and || are equivalent, there exists positive constants α, β such that αd(x, y) ≤ |x − y| ≤ βd(x, y) for any x, y ∈ R. Let y = 0, we have αd( n1 , 0) = α ≤ n1 for any n ∈ N. This implies α = 0 which is a contradiction. 2 2 Continuous functions Definition 2.1. Let f : X → Y be a function between topological spaces. We say that f is continuous if for any open set V in Y , f −1 (V ) is open in X. Proposition 2.2. A function f : X → Y between topological spaces is continuous if and only if f −1 (C) is closed for every closed set C in Y . Proof. If f is continuous and C is closed in Y , then C c is open in Y and hence f −1 (C c ) = (f −1 (C))c is open which implies f −1 (C) is closed. Conversely, let U be an open set in Y . Then U c is closed and by hypothesis, f −1 (U c ) = (f −1 (U ))c is closed which implies that f −1 (U ) is open. Theorem 2.3. Let f : X → Y be a function between metric spaces. Then f is continuous if and only if for each > 0 and p ∈ X, there is δ > 0 such that for q ∈ X, if dX (p, q) < δ, then dY (f (p), f (q)) < . Proof. Suppose that f is continuous. For p ∈ X and ε > 0, the open ball Bε (f (p)) is open in Y , hence f −1 (Bε (f (p))) is open in X. Since p ∈ f −1 (Bε (f (p))), there is δ > 0 such that Bδ (p) ⊂ f −1 (Bε (f (p))), in other words, for any x ∈ X with dX (x, p) < δ, dY (f (x), f (p)) < ε. Hence f is continuous. For the converse, let V ⊂ Y be an open set. For p ∈ f −1 (V ), since V is open, there is ε > 0 such that Bε (f (p)) ⊂ V . By the hypothesis, there is δ > 0 such that for any x ∈ Bδ (p), dY (f (x), f (p)) < ε. Hence f (x) ∈ Bε (f (p)). Therefore, f (Bδ (p)) ⊂ Bε (f (p)), and Bδ (p) ⊂ f −1 (Bε (f (p))) ⊂ f −1 (V ) which implies that f −1 (V ) is open. Theorem 2.4. Given a function f : X → Y between metric spaces X, Y . The function f is continuous if and only if it sends each convergent sequence in X to a convergent sequence Y , limits being set to limits. Proof. Suppose that f is continuous and {pn }∞ n=1 is a sequence in X convergent to p ∈ X. For > 0, by the continuity of f , there is δ > 0 such that if dX (x, p) < δ, dY (f (x), f (p)) < . Since pn → p, there is N ∈ N such that if n > N , dX (pn , p) < δ. Therefore dY (f (pn ), f (p)) < . By definition, f (pn ) → f (p). If f is not continuous, there exists p ∈ X and such that for each δn = n1 , there is xn ∈ X such that dX (xn , p) < n1 but dY (f (xn ), f (p)) ≥ . Then xn → p but {f (xn )}∞ n=1 does not converges to f (p). Theorem 2.5. Suppose that X, Y, Z are topological spaces. If f : X → Y, g : Y → Z are continuous functions, the composite g ◦ f : X → Z is continuous. Proof. Let U be an open set in Z. From basic set theory, (g ◦ f )−1 (U ) = f −1 (g −1 (U )). Since g is continuous, g −1 (U ) is open in Y , and by the continuity of f , f −1 (g −1 (U ) is open in X. So g ◦ f is continuous. Proposition 2.6. The four arithmetic operations +, −, ×, ÷ of R are continuous in their domains. Proof. Let (x0 , y0 ) ∈ R × R and a = |x0 | + |y0 |. For each > 0, • take δ = , then if dsum ((x, y), (x0 , y0 )) < δ, we have |(x+y)−(x0 +y0 )| = |(x−x0 )+(y−y0 )| ≤ |x − x0 | + |y − y0 | = dsum ((x, y), (x0 , y0 )) < . 3 • take δ = , then if dsum ((x, y), (x0 , y0 )) < δ, we have |(x−y)−(x0 −y0 )| = |(x−x0 )−(y−y0 )| ≤ |x − x0 | + |y − y0 | = dsum ((x, y), (x0 , y0 )) < . • take δ = min{1, 1+a }, we have |xy − x0 y0 | = |(xy − x0 y) + (x0 y − x0 y0 )| ≤ |x − x0 ||y| + |x0 ||y − y0 | ≤ |x − x0 |(|y − y0 | + |y0 |) + |x0 ||y − y0 | ≤ δ(1 + a) + aδ < 2. y 2 0 • For the division, we need y0 6= 0. Take δ = min{ |y20 | , 1, 1+a }. Then if dsum ((x, y), (x0 , y0 )) < δ, we have |y − y0 | ≤ |y20 | , hence |y0 | ≤ |y0 − y| + |y| ≤ 21 |y0 | + |y| which implies |y| ≥ 1 1 2 2 |y0 | > 0. Therefore (x, y) lies in the domain of the division. Since |yy0 | ≥ 2 |y0 | , and |x| ≤ |x − x0 | + |x0 | ≤ δ + |x0 | + |y0 | ≤ 1 + a, we have | x x0 xy0 − x0 y |x||y0 − y| + |x − x0 ||y| 2 |≤ ((1 + a)δ + δ(1 + a)) ≤ 4 − |=| ≤ y y0 yy0 |yy0 | |y0 |2 Definition 2.7. Given topological spaces X, Y . We say that a function f : X → Y is a homeomorphism if f is bijective, continuous and f −1 is continuous. Example 2.8. 1. The interval (0, 1) and R are homeomorphic. A homeomorphism is given by tan( π2 (x − 12 )) where x ∈ (0, 1). 2. Let f : [0, 2π) → S 1 be defined by f (x) = (cos x, sin x) where S 1 is the unit circle in the plane. Then f is continuous and bijective, but f −1 is not continuous. 4