MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
|
|
- Dulcie Crawford
- 5 years ago
- Views:
Transcription
1 MATH 51H Section 4 October 16, Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is continuous at a point a X if for all ε > 0 there exists a δ > 0 such that whenever x X and d X (x, a) < δ, d Y (f(x), f(a)) < ε. We say that f : X Y is continuous if f is continuous at every point a X. So if f : R R, then the statement d X (x, a) < δ translates to x a < δ, and the statement d Y (f(x), f(a)) < ε translates to f(x) f(a) < ε. Here are two examples that demonstrate how to prove that a function is continuous. Proposition (Projection maps to coordinates are continuous). Define f i : R n R by Then f i is continuous. f i (x 1,..., x n ) = x i. Proof. Let a = (a 1,..., a n ) R n. Let ε > 0. We want to find a δ > 0 such that whenever x a < δ, f(x) f(a) < ε. Note that for any x = (x 1,..., x n ) R n, and that f i (a 1,..., a n ) f i (x 1,..., x n ) = a i x i x a = (x 1 a 1 ) (x i a i ) (x n a n ) 2. Since b 2 0 for all b R, we can drop all of the terms under the square root sign above except for the (x i a i ) 2 term to get an expression that is smaller (or equal): (x1 a 1 ) (x i a i ) (x n a n ) 2 (x i a i ) 2 = x i a i. But, as we showed above, x i a i = f i (a) f i (x). So, f i (a) f i (x) x a. Take δ = ε. By our manipulations, we see that whenever x a < ε, f i (a) f i (x) x a < ε as well. Since a R n and ε > 0 were arbitrary, f i is continuous. 1
2 In the example above, we saw that having the condition that f i (a) f i (x) x a was very useful for showing that f i is continuous, for if x a < ε, then certainly f i (x) f i (a) < ε as well. The same argument given at the end of the proof should show that for any g : X Y satisfying f(x) f(y) x y for all x, y X, g should be continuous on X. This is an example of a more general phenomenon: Proposition (Lipschitz implies continuous). Let (X, d X ) and (Y, d Y ) be metric spaces and K > 0. Suppose that f : X Y satisfies d Y (f(x), f(y)) K d X (x, y) for all x, y X. Then f is continuous. Proof. Suppose that a X. Let ε > 0. Then for all x X such that d X (x, a) < ε (so here K we take δ = ε ), we have that d K Y (f(x), f(a)) K d X (x, a) < K ε = ε. So since a X K and ε > 0 were arbitrary, f is continuous. One very important property of real-valued continuous functions from a metric space is that they can be added, multiplied, and multiplied by a scalar to get more continuous functions. Proposition. Let (X, d) be a metric space, f, g : X R be continuous, and c R. Then f + g, cf, and f g are all also continuous functions from X to R. The proof of this proposition is very similar to the proofs about limits of sums, products, and scalar multiples of convergent sequences. For example, if we want to show from scratch that sums of continuous functions are continuous, then we ll end up doing the manipulation (f + g)(x) (f + g)(a) = f(x) + g(x) f(a) g(a) = f(x) f(a) + g(x) g(a) f(x) f(a) + g(x) g(a), and then use that f and g are continuous at a to conclude, just as we had to use that the individual sequences converged for the corresponding proof for sums of convergent sequences. In fact, this similarity is not just cosmetic. You saw in class the statement of the following proposition: Proposition. Let (X, d X ) and (Y, d Y ) be metric spaces an a X. Then f is continuous at a if and only if for every sequence (x n ) n=1 in X which converges to a in X, we have lim n f(x n ) = f(a) in Y. Half of this was done in class and the other half was given to you as an exercise, so I m not going to prove it. But I will show how it gives you for free these properties of continuous functions from the corresponding properties for limits. For example, to show that fg is continuous at a when f, g : X R are continuous, let a n a in X. Then f(a n ) f(a) and g(a n ) g(a) since f and g are continuous at a. Then by the result on the product of convergent sequences, (fg)(a n ) = f(a n )g(a n ) f(a)g(a) = (fg)(a). Recall that any subset of a metric space inherits the metric space structure of the space containing it, and thus can be viewed as a metric space itself. This is one way of thinking about what it means for a function from a subset of a metric space to be continuous. We ll introduce another way to think about continuous functions that the book uses, which you probably saw a version of in high school 2
3 Definition. Let (X, d) be a metric space. Suppose that A X. A point a A is an isolated point of A if there exists a ρ > 0 such that B ρ (a) A = {a}. For example, if A R is the set A = [0, 1] {2}, then 2 is an isolated point of A because B 1/2 (2) A = (3/2, 5/2) A = {2}. No other points of A are isolated. Definition. Let (X, d X ) and (Y, d Y ) be metric spaces. Suppose that A X, a A is not an isolated point, y Y, and f : A Y. We say that lim x a f(x) = y if for all ε > 0 there exists a δ > 0 such that if x A B δ (a) \ {a}, then d Y (f(x), f(y)) < ε. The first thing to note is that any function f : X Y is automatically continuous at an isolated point of X. Suppose that a X is isolated. Returning to the definition of continuity, for all ε > 0 we have to produce a δ > 0 such that whenever d X (x, a) < δ, it is also true that d Y (f(x), f(a)) < ε. But since a is an isolated point of X, we can find a δ > 0 such that B δ (a) = {a}. Then this δ works for all ε, since d Y (f(a), f(a)) = 0 < ε. Unraveling the definition of the limit of a function at a non-isolated point a, we see that f is continuous at a if and only if lim x a f(x) = f(a). 2 Open and closed sets Recall from class the following definitions: Definition. Let (X, d X ) be a metric space and A X. We say that A is open if for all a A there exists a ρ > 0 such that B ρ (a) = {x X : d(x, a) < ρ} A. We say that a point x X is a limit point of A if there exists a sequence (a n ) where a n A for all n N such that lim n a n = x. We say that A is closed if it contains all of its limit points. That is, if whenever (a n ) is a sequence in A that converges to some x X, then x A. First we ll give some examples of how to go about proving that a set is open. Example. 1. Any subset of a discrete metric space X is open. Let A X, where X has the discrete metric. Recall that this metric is defined by { 0 x = y d(x, y) = 1 x y. To show that A is open, we need to show that around any point in A we can find an open ball centered at that point contained in A. So let a A. Consider the ball B 1 (a). We have B 1 (a) = {x X : d(x, a) < 1} = {a}. Then certainly B 1 (a) = {a} A. Thus, we have found an open ball centered at a which is contained in A. Since a A was arbitrary, this shows that A X is open. 3
4 2. The upper half plane H = {(x, y) R 2 : y > 0} in R 2 with the usual Euclidean metric is open. To prove this, let (a, b) H. Then by definition, b > 0. Now take ρ = b/2 > 0. Then if (x, y) B ρ ((a, b)), we have d((x, y), (a, b)) = (x a) 2 + (y b) 2 < b/2. As before, note that y b (x a)2 + (y b) 2 < b/2. So b/2 < y b, which implies that y > b/2 > 0. Thus, (x, y) H. Since (x, y) was an arbitrary element of B ρ ((a, b)), we see that B ρ ((a, b)) H. Thus, H is open. Now we ll give some examples of how to go about proving that a set is closed. Example. 1. Let (X, d) be a metric space and a X be a point. Then the singleton set {a} is closed. To show this, we need to show that any limit point of {a} is contained in {a}. So suppose that x X is a limit point of {a}. Then there exists a sequence of a n in {a} such that a n x. But since {a} has one element, a n = a for all n N. Then (a n ) is the constant sequence (a), which converges to a. Thus, x = a, and so certainly x {a}. Since x was an arbitrary limit point of {a}, we have shown that {a} contains all of its limit points. That is, {a} is closed. 2. The x-axis R = {(x, y) : x = 0} R 2 is a closed set when R 2 has the usual Euclidean metric. To see this, let (a, b) R 2 be a limit point of R in R 2. So there exists a sequence ((0, x n )) in R such that (0, x n ) (a, b). Note that (0, x n ) (a, b) = a 2 + (x n b) 2 a 2 = a But as n, by the definition of limit, (0, x n ) (a, b) 0. This shows that a = 0, which is equivalent to a = 0. Thus, (a, b) = (0, b) R. Since (a, b) was an arbitrary limit point of R, we see that R contains all of its limit points, and hence is closed. Recall from class that finite unions of closed sets are closed. So from our first example we can conclude that any finite subset of a metric space is closed. You could have approached the seventh problem on your homework using this fact, since at some point you needed to find an open interval in (0, 1) which contained your irrational number and did not contain any rational number with a small denominator. Finally, we ll do an example of how to show that a set is not open, and also an example of how to show that a set is not closed. Example. The set Q R is neither open nor closed with the standard metric on R. To see that Q R is not open, we just have to show that there is some point in Q such that any open ball centered at that point is not contained in Q. So take 0 Q and consider the open intervals ( ε, ε) for all ε > 0. Recall from the second homework that any open interval contains an irrational number. This means that ( ε, ε) Q, since it contains an irrational number. So Q is not open. To see that Q is not closed, we just have to find a limit point of Q which is not in Q. You also essentially proved this on the second homework when you showed that any open interval contains a rational number. In particular, any interval around 2 contains a rational number. So for all n N, there exists an a n Q ( 2 1/n, 2 + 1/n), which is equivalent 4
5 to a n satisfying a n 2 < 1/n. This shows that a n 2, so that 2 is a limit point of Q, yet 2 / Q by the first homework. So Q is not closed. Here is another useful result you can use to prove a set is open or closed or not open or not closed. Proposition. Let (X, d) be a metric space. Then A X is open if and only if X \ A is closed: Proof. First suppose that A X is open. We ll show that X \ A is closed. Let b X be a limit point of X \ A. So there exists a sequence (b n ) in X \ A such that b n b. Suppose by way of contradiction that b / X \ A. Then this means that b A. Since A is open, there exists a ε > 0 such that B ε (b) A. By the definition of limit, there exists an N N such that for all n N, d(b n, b) < ε, i.e. b n B ε (b) A. In particular, this says that b N A. But b N X \ A, so we have a contradiction. Thus, we must have b X \ A. Since b was an arbitrary limit point of X \ A, this shows that X \ A contains all of its limit points. That is, X \ A is closed. Now suppose that X \ A is closed. Suppose by way of contradiction that A is not open. This means that there exists some a A such that for all ρ > 0, B ρ (a) A, i.e. B ρ (a) (X \ A). For each n N, pick an a n B 1/n (a) (X \ A), which we can do because this set is nonempty. Then (a n ) is a sequence in X \ A such that for all n N, d(a n, a) < 1/n. Hence, we see that a n a. However, X \ A is closed, and this shows that a is a limit point of X \ A, so a X \ A. But a A, so this gives a contradiction. Thus, A must be open. Recall that given a function f : A B and a subset of the codomain S B, the inverse image of S under f is defined to be f 1 (S) = {x A : f(x) S}. The next proposition, which was mentioned in class yesterday and which some of you may have proved as part of a problem on the homework, says that the inverse image of an open set in a metric space under a continuous function is open, and likewise the inverse image of a closed set under a continuous function is closed. Proposition. Let (X, d X ) and (Y, d Y ) be metric spaces and f : X Y be continuous. Then if U, C Y with U open and C closed, we have that f 1 (U) X is open and f 1 (C) X is closed. Proof. First suppose that U Y is open. We want to show that f 1 (U) is open, i.e. that for all a f 1 (U) there exists a ρ > 0 such that B ρ (a) f 1 (U). So let a f 1 (U). Then there exists an ε > 0 such that B ε (f(a)) U since U is open and f(a) U by the definition of inverse image. Now since f is continuous, there exists a δ > 0 such that for all x B δ (a), f(x) B ε (f(a)). But B ε (f(a)) U, so this says that if x B δ (a), then f(x) U, i.e. that x f 1 (U). So B δ (a) f 1 (U). Thus, since a f 1 (U) was arbitrary, f 1 (U) X is open. Now suppose that C Y is closed. Then Y \ C is open, and by the above proof we have that f 1 (Y \ C) is open in X. But f 1 (Y \ C) = f 1 (Y ) \ f 1 (C) = X \ f 1 (C). This, the complement of f 1 (C) is open in X, which implies that f 1 (C) is closed in X. 5
6 Now we ll show some applications of this result. The first application is another proof that an open ball in a metric space is indeed an open set. First we will need a lemma. Lemma. Let (X, d) be a metric space and a X. Define a function D a : X R by D a (x) = d(x, a). Then D a is continuous on X. Proof. First, we ll prove the reverse triangle inequality, which follows from the usual triangle inequality. Suppose that x, y, z X. Then the reverse triangle inequality is d(x, y) d(y, z) d(x, z). To see this, note that by the usual triangle inequality we have d(x, y) d(x, z) + d(z, y) = d(x, z) + d(y, z) and hence, subtracting d(y, z) from both sides, d(x, y) d(y, z) d(x, z). Similarly, applying the triangle inequality for d(y, z) now, d(y, z) d(y, x) + d(x, z) = d(x, y) + d(x, z) and hence, subtracting d(x, y) from both sides, [d(x, y) d(y, z)] = d(y, z) d(x, y) d(x, z). Putting it all together, we get the reverse triangle inequality. Now let b X and ε > 0. Then if d(x, b) < ε (so here we take δ = ε in the definition of continuity), then by the reverse triangle inequality, D a (x) D a (b) = d(x, a) d(b, a) = d(x, a) d(a, b) d(x, b) < ε. Thus, since b X and ε > 0 were arbitrary, D a is continuous on X. Proposition. Let (X, d) be a metric space, a X, and ρ > 0. Then B ρ (a) is open. Proof. By definition, B ρ (a) = {x X : d(x, a) < ρ} = {x X : D a (x) < ρ} and {x X : D a (x) < ρ} = Da 1 (, ρ). This is the inverse image of an open set by a continuous function (since we showed that D a is continuous in the previous proposition.) Thus, B ρ (a) is open. As a more fun application of our result on inverse images of open and closed sets under continuous maps, we ll show that certain special sets of matrices are open or closed in the set of 2 2 matrices. Define ( ) a b M 2 (R) := { : a, b, c, d R}, 6
7 and ( ) a b GL 2 (R) := { M 2 (R) : ad bc 0}, ( ) a b SL 2 (R) := { M 2 (R) : ad bc = 1}. So we have SL 2 (R) GL 2 (R) M 2 (R). Recall that all 2 2 matrices can be viewed as vectors in R 4 = R 2 2, and thus they have a natural norm ( ) a b = a 2 + b 2 + c 2 + d 2, which we called the matrix norm in class. Also recall that given any norm defined on a vector space, we get a natural metri(x, y) = x y. So this matrix norm gives a metric on M 2 (R). Proposition. In the topology induced by the matrix norm, GL 2 (R) is an open subset of M 2 (R) and SL 2 (R) is a closed subset of M 2 (R). Proof. First, we ll show that the function det : M 2 (R) R defined by (( )) a b det = ad bc is continuous. Since M 2 (R) is really the same as R 4, but with the components of a 4-tuple arranged in a different way, it is still true that the projection maps from each component are continuous. Thus, the functions (( )) a b f 1 = a, (( )) a b f 2 = b, (( )) a b f 3 = c, and (( a f 4 c )) b = d d are all continuous on M 2 (R). Since products and differences of continuous functions are continuous, this shows that det is continuous as well. Now we just need to note that and GL 2 (R) = {M M 2 (R) : det M 0} = det 1 (R \ {0}) SL 2 (R) = {M M 2 (R) : det M = 1} = det 1 ({1}). Since R {0} R is open (being the complement of the closed set {0}) and {1} R is closed, we conclude that GL 2 (R) is open and SL 2 (R) is closed in M 2 (R). 7
8 Note that the sets GL 2 (R) and SL 2 (R) are also groups under matrix multiplication. You can also verify that the operation of matrix multiplication GL 2 (R) GL 2 (R) GL 2 (R) and the taking of matrix inverses GL 2 (R) GL 2 (R) are continuous maps. So these sets are groups with topology (i.e. a notion of open sets) such that the group structure interacts well with the topology. They are examples of what are called topological groups. 3 l (N) and more examples of closed and not closed sets A more interesting example of a metric space than the various finite-dimension spaces R n is the sequence space l (N) defined as l (N) := {(a n ) n=1 : a n R for all n N and (a n ) is bounded}. This set is a vector space over R under sequence addition and scalar multiplication: (a n ) n=1+ (b n ) n=1 = (a n + b n ) n=1 and c(a n ) n=1 = (ca n ) n=1. We define a norm on l (N) by (a n ) n=1 = sup a n. n N Let s check that this function is indeed a norm. Let (a n ), (b n ) l (N) and c R. Positive definiteness: Since a n 0 for all n N, we see that (a n ) n=1 0. If (a n ) is not the zero sequence, then there exists an m N such that a m 0, which implies that a n > 0. Then (a n ) n=1 = sup n N a n a n > 0 since the supremum is an upper bound for the set {a n : n N}. Absolute homogeneity: We have (ca n ) n=1 = sup n N ca n = sup n N c a n = c sup a n = c (a n ). n N Triangle inequality: We have (a n ) n=1 + (b n ) n=1 = sup n N a n + b n sup n N ( a n + b n ) sup n N a n + sup n N b n = (a n ) n=1 + (b n ) n=1 by the triangle inequality in R. Then (a n ) n=1 (b n ) n=1 defines a metric on l, and we can talk about open and closed sets in l. Proposition. Define F l to be the subspace of sequences which are eventually zero, i.e. F = {(a n ) n=1 l : there exists an N N such that n N a n = 0}. Then F is not closed in l. Proof. Recall from the definition of a closed set in a metric space that to show that a set is not closed, we must show that it does not contain all of its limit points. That is, we just have to show that there is one limit point that F does not contain. I claim that the following 8
9 sequence is a limit point of F : (1/n) n N. To see this, consider the sequence of elements of l ((a k n) n=1) k=1 defined by { 1 a k n k n n = 0 n > k. So our sequence in F is (1, 0, 0, 0, 0, 0,... ) (1, 1/2, 0, 0, 0, 0,... ) (1, 1/2, 1/3, 0, 0, 0,... ) (1, 1/2, 1/3, 1/4, 0, 0,... ) (1, 1/2, 1/3, 1/4, 1/5, 0,... ) and so on. Let s show that this sequence of sequences converges to the sequence (1/n) n N. We compute the distance between (a k n) n=1 for any k N: (a k n) n=1 (1/n) n=1 = (1, 1/2,..., 1/k, 0,... ) (1, 1/2,..., 1/n,... ) = (0, 0,..., 1/(k + 1), 1/(k + 2),... ) 1 = sup n k+1 k + 1 = 1 k Now, let ε > 0. Let K N be large enough so that < ε. Then by our computation above, K+1 for all k K, (a k n) n=1 (1/n) n=1 = 1 1 < ε. Thus, lim k+1 K+1 k (a k n) n=1 = (1/n) n=1. But (1/n) n=1 / F. So this shows that there is a limit point of F which is not in F. Thus, F is not closed in l (N). 9
Math 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationMath General Topology Fall 2012 Homework 1 Solutions
Math 535 - General Topology Fall 2012 Homework 1 Solutions Definition. Let V be a (real or complex) vector space. A norm on V is a function : V R satisfying: 1. Positivity: x 0 for all x V and moreover
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationMath General Topology Fall 2012 Homework 6 Solutions
Math 535 - General Topology Fall 202 Homework 6 Solutions Problem. Let F be the field R or C of real or complex numbers. Let n and denote by F[x, x 2,..., x n ] the set of all polynomials in n variables
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More information2 Metric Spaces Definitions Exotic Examples... 3
Contents 1 Vector Spaces and Norms 1 2 Metric Spaces 2 2.1 Definitions.......................................... 2 2.2 Exotic Examples...................................... 3 3 Topologies 4 3.1 Open Sets..........................................
More informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
More informationMATH 31BH Homework 1 Solutions
MATH 3BH Homework Solutions January 0, 04 Problem.5. (a) (x, y)-plane in R 3 is closed and not open. To see that this plane is not open, notice that any ball around the origin (0, 0, 0) will contain points
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationMath 61CM - Solutions to homework 6
Math 61CM - Solutions to homework 6 Cédric De Groote November 5 th, 2018 Problem 1: (i) Give an example of a metric space X such that not all Cauchy sequences in X are convergent. (ii) Let X be a metric
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More informationImmerse Metric Space Homework
Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationLecture 3. Econ August 12
Lecture 3 Econ 2001 2015 August 12 Lecture 3 Outline 1 Metric and Metric Spaces 2 Norm and Normed Spaces 3 Sequences and Subsequences 4 Convergence 5 Monotone and Bounded Sequences Announcements: - Friday
More informationMetric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)
Metric Space Topology (Spring 2016) Selected Homework Solutions HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) d(z, w) d(x, z) + d(y, w) holds for all w, x, y, z X.
More informationMathematics for Economists
Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples
More informationMath 54 - HW Solutions 5
Math 54 - HW Solutions 5 Dan Crytser August 6, 202 Problem 20.a To show that the Manhattan metric d(, y) = y +... + n y n induces the standard topology on R n, we show that it induces the same topology
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More information1. Continuous Functions between Euclidean spaces
Math 441 Topology Fall 2012 Metric Spaces by John M. Lee This handout should be read between Chapters 1 and 2 of the text. It incorporates material from notes originally prepared by Steve Mitchell and
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationMAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.
MAS3706 Topology Revision Lectures, May 208 Z.A.Lykova It is essential that you read and try to understand the lecture notes from the beginning to the end. Many questions from the exam paper will be similar
More informationChapter 1: Banach Spaces
321 2008 09 Chapter 1: Banach Spaces The main motivation for functional analysis was probably the desire to understand solutions of differential equations. As with other contexts (such as linear algebra
More informationChapter 2. Metric Spaces. 2.1 Metric Spaces
Chapter 2 Metric Spaces ddddddddddddddddddddddddd ddddddd dd ddd A metric space is a mathematical object in which the distance between two points is meaningful. Metric spaces constitute an important class
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationBounded uniformly continuous functions
Bounded uniformly continuous functions Objectives. To study the basic properties of the C -algebra of the bounded uniformly continuous functions on some metric space. Requirements. Basic concepts of analysis:
More informationM17 MAT25-21 HOMEWORK 6
M17 MAT25-21 HOMEWORK 6 DUE 10:00AM WEDNESDAY SEPTEMBER 13TH 1. To Hand In Double Series. The exercises in this section will guide you to complete the proof of the following theorem: Theorem 1: Absolute
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationMath 535: Topology Homework 1. Mueen Nawaz
Math 535: Topology Homework 1 Mueen Nawaz Mueen Nawaz Math 535 Topology Homework 1 Problem 1 Problem 1 Find all topologies on the set X = {0, 1, 2}. In the list below, a, b, c X and it is assumed that
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationNOTES FOR MAT 570, REAL ANALYSIS I, FALL Contents
NOTES FOR MAT 570, REAL ANALYSIS I, FALL 2016 JACK SPIELBERG Contents Part 1. Metric spaces and continuity 1 1. Metric spaces 1 2. The topology of metric spaces 3 3. The Cantor set 6 4. Sequences 7 5.
More informationAdvanced Calculus I Chapter 2 & 3 Homework Solutions October 30, Prove that f has a limit at 2 and x + 2 find it. f(x) = 2x2 + 3x 2 x + 2
Advanced Calculus I Chapter 2 & 3 Homework Solutions October 30, 2009 2. Define f : ( 2, 0) R by f(x) = 2x2 + 3x 2. Prove that f has a limit at 2 and x + 2 find it. Note that when x 2 we have f(x) = 2x2
More informationConnectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).
Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationConvex Analysis and Economic Theory Winter 2018
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Supplement A: Mathematical background A.1 Extended real numbers The extended real number
More informationReal Analysis. Joe Patten August 12, 2018
Real Analysis Joe Patten August 12, 2018 1 Relations and Functions 1.1 Relations A (binary) relation, R, from set A to set B is a subset of A B. Since R is a subset of A B, it is a set of ordered pairs.
More informationMath General Topology Fall 2012 Homework 13 Solutions
Math 535 - General Topology Fall 2012 Homework 13 Solutions Note: In this problem set, function spaces are endowed with the compact-open topology unless otherwise noted. Problem 1. Let X be a compact topological
More informationBootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.
Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following
More informationMAS331: Metric Spaces Problems on Chapter 1
MAS331: Metric Spaces Problems on Chapter 1 1. In R 3, find d 1 ((3, 1, 4), (2, 7, 1)), d 2 ((3, 1, 4), (2, 7, 1)) and d ((3, 1, 4), (2, 7, 1)). 2. In R 4, show that d 1 ((4, 4, 4, 6), (0, 0, 0, 0)) =
More informationCOMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM
COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationLecture 4: Completion of a Metric Space
15 Lecture 4: Completion of a Metric Space Closure vs. Completeness. Recall the statement of Lemma??(b): A subspace M of a metric space X is closed if and only if every convergent sequence {x n } X satisfying
More informationExam 2 extra practice problems
Exam 2 extra practice problems (1) If (X, d) is connected and f : X R is a continuous function such that f(x) = 1 for all x X, show that f must be constant. Solution: Since f(x) = 1 for every x X, either
More informationContinuity. Matt Rosenzweig
Continuity Matt Rosenzweig Contents 1 Continuity 1 1.1 Rudin Chapter 4 Exercises........................................ 1 1.1.1 Exercise 1............................................. 1 1.1.2 Exercise
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationMath 201 Topology I. Lecture notes of Prof. Hicham Gebran
Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and
More informationChapter 2 Metric Spaces
Chapter 2 Metric Spaces The purpose of this chapter is to present a summary of some basic properties of metric and topological spaces that play an important role in the main body of the book. 2.1 Metrics
More informationProblem List MATH 5143 Fall, 2013
Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationMath General Topology Fall 2012 Homework 11 Solutions
Math 535 - General Topology Fall 2012 Homework 11 Solutions Problem 1. Let X be a topological space. a. Show that the following properties of a subset A X are equivalent. 1. The closure of A in X has empty
More informationDefinition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :
MATH 337 Metric Spaces Dr. Neal, WKU Let X be a non-empty set. The elements of X shall be called points. We shall define the general means of determining the distance between two points. Throughout we
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationHence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ
Matthew Straughn Math 402 Homework 5 Homework 5 (p. 429) 13.3.5, 13.3.6 (p. 432) 13.4.1, 13.4.2, 13.4.7*, 13.4.9 (p. 448-449) 14.2.1, 14.2.2 Exercise 13.3.5. Let (X, d X ) be a metric space, and let f
More informationUniversity of Sheffield. School of Mathematics and Statistics. Metric Spaces MAS331/6352
University of Sheffield School of Mathematics and Statistics Metric Spaces MAS331/635 017 18 1 Metric spaces This course is entitled Metric spaces. You may be wondering what such a thing should be. We
More informationThe reference [Ho17] refers to the course lecture notes by Ilkka Holopainen.
Department of Mathematics and Statistics Real Analysis I, Fall 207 Solutions to Exercise 6 (6 pages) riikka.schroderus at helsinki.fi Note. The course can be passed by an exam. The first possible exam
More informationSMSTC (2017/18) Geometry and Topology 2.
SMSTC (2017/18) Geometry and Topology 2 Lecture 1: Differentiable Functions and Manifolds in R n Lecturer: Diletta Martinelli (Notes by Bernd Schroers) a wwwsmstcacuk 11 General remarks In this lecture
More informationHOMEWORK ASSIGNMENT 5
HOMEWORK ASSIGNMENT 5 DUE 1 MARCH, 2016 1) Let f(x) = 1 if x is rational and f(x) = 0 if x is irrational. Show that f is not continuous at any real number. Solution Fix any x R. We will show that f is
More informationNormed and Banach spaces
Normed and Banach spaces László Erdős Nov 11, 2006 1 Norms We recall that the norm is a function on a vectorspace V, : V R +, satisfying the following properties x + y x + y cx = c x x = 0 x = 0 We always
More informationScalar multiplication and addition of sequences 9
8 Sequences 1.2.7. Proposition. Every subsequence of a convergent sequence (a n ) n N converges to lim n a n. Proof. If (a nk ) k N is a subsequence of (a n ) n N, then n k k for every k. Hence if ε >
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationDefinition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.
Chapter 6 Completeness Lecture 18 Recall from Definition 2.22 that a Cauchy sequence in (X, d) is a sequence whose terms get closer and closer together, without any limit being specified. In the Euclidean
More informationAfter taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.
Lecture 1: August 25 Introduction. Topology grew out of certain questions in geometry and analysis about 100 years ago. As Wikipedia puts it, the motivating insight behind topology is that some geometric
More informationEconomics 204 Fall 2011 Problem Set 2 Suggested Solutions
Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit
More information*Room 3.13 in Herschel Building
MAS3706: Topology Dr. Zinaida Lykova School of Mathematics, Statistics and Physics Newcastle University *Room 3.13 in Herschel Building These lectures concern metric and topological spaces and continuous
More informationCharacterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets
Convergence in Metric Spaces Functional Analysis Lecture 3: Convergence and Continuity in Metric Spaces Bengt Ove Turesson September 4, 2016 Suppose that (X, d) is a metric space. A sequence (x n ) X is
More informationa. Define a function called an inner product on pairs of points x = (x 1, x 2,..., x n ) and y = (y 1, y 2,..., y n ) in R n by
Real Analysis Homework 1 Solutions 1. Show that R n with the usual euclidean distance is a metric space. Items a-c will guide you through the proof. a. Define a function called an inner product on pairs
More informationFunctional Analysis, Math 7320 Lecture Notes from August taken by Yaofeng Su
Functional Analysis, Math 7320 Lecture Notes from August 30 2016 taken by Yaofeng Su 1 Essentials of Topology 1.1 Continuity Next we recall a stronger notion of continuity: 1.1.1 Definition. Let (X, d
More informationThen A n W n, A n is compact and W n is open. (We take W 0 =(
9. Mon, Nov. 4 Another related concept is that of paracompactness. This is especially important in the theory of manifolds and vector bundles. We make a couple of preliminary definitions first. Definition
More informationMath 361: Homework 1 Solutions
January 3, 4 Math 36: Homework Solutions. We say that two norms and on a vector space V are equivalent or comparable if the topology they define on V are the same, i.e., for any sequence of vectors {x
More informationMath 140A - Fall Final Exam
Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a
More information01. Review of metric spaces and point-set topology. 1. Euclidean spaces
(October 3, 017) 01. Review of metric spaces and point-set topology Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 017-18/01
More informationExercise 2. Prove that [ 1, 1] is the set of all the limit points of ( 1, 1] = {x R : 1 <
Math 316, Intro to Analysis Limits of functions We are experts at taking limits of sequences as the indexing parameter gets close to infinity. What about limits of functions as the independent variable
More informationTopology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski
Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology
More informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationPart A. Metric and Topological Spaces
Part A Metric and Topological Spaces 1 Lecture A1 Introduction to the Course This course is an introduction to the basic ideas of topology and metric space theory for first-year graduate students. Topology
More informationB553 Lecture 3: Multivariate Calculus and Linear Algebra Review
B553 Lecture 3: Multivariate Calculus and Linear Algebra Review Kris Hauser December 30, 2011 We now move from the univariate setting to the multivariate setting, where we will spend the rest of the class.
More informationAustin Mohr Math 730 Homework. f(x) = y for some x λ Λ
Austin Mohr Math 730 Homework In the following problems, let Λ be an indexing set and let A and B λ for λ Λ be arbitrary sets. Problem 1B1 ( ) Show A B λ = (A B λ ). λ Λ λ Λ Proof. ( ) x A B λ λ Λ x A
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationSequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.
Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence
More informationx y More precisely, this equation means that given any ε > 0, there exists some δ > 0 such that
Chapter 2 Limits and continuity 21 The definition of a it Definition 21 (ε-δ definition) Let f be a function and y R a fixed number Take x to be a point which approaches y without being equal to y If there
More information1 The Local-to-Global Lemma
Point-Set Topology Connectedness: Lecture 2 1 The Local-to-Global Lemma In the world of advanced mathematics, we are often interested in comparing the local properties of a space to its global properties.
More informationMath 410 Homework 6 Due Monday, October 26
Math 40 Homework 6 Due Monday, October 26. Let c be any constant and assume that lim s n = s and lim t n = t. Prove that: a) lim c s n = c s We talked about these in class: We want to show that for all
More informationThe p-adic numbers. Given a prime p, we define a valuation on the rationals by
The p-adic numbers There are quite a few reasons to be interested in the p-adic numbers Q p. They are useful for solving diophantine equations, using tools like Hensel s lemma and the Hasse principle,
More informationHOMEWORK ASSIGNMENT 6
HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly
More informationMath 117: Continuity of Functions
Math 117: Continuity of Functions John Douglas Moore November 21, 2008 We finally get to the topic of ɛ δ proofs, which in some sense is the goal of the course. It may appear somewhat laborious to use
More information