Definition 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 :
|
|
- Martina Foster
- 5 years ago
- Views:
Transcription
1 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 shall define concepts prove properties in general, and then apply them specifically to the real line R and to the Euclidean space R n. Definition 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 : (i) d (x, x ) = 0 (ii) d (x, y ) > 0 when x y ; (iii) d (x, y ) = d( y, x) ; (iv) d (x, y ) d(x,z) + d(z, y). With such a function d defined, X is called a metric space. Example 2.1. (a) Euclidean space R n is a metric space with d(u, v) = v u = (v 1 u 1 ) (v n u n ) 2, where u = {u 1,..., u n } and v = {v 1,..., v n } are vectors in R n. Properties (i), (ii), and (iii) of a metric are clearly satisfied, and we have previously proven Property (iv) as a consequence of the Triangle Inequality: For all u, v, w in R n, we have d (u,v) = v u = (v w) + (w u) v w + w u = d(w,v ) + d(u, w) = d(u, w) + d (w, v). (b) A special case of the metric in (a) is the absolute value function which defines a metric on the real line R: For x, y R, we let d (x, y ) = x y. This metric gives the standard way of measuring the distance between two points on the real line. Henceforth, let X be a metric space with distance function d. Definition 2.2. A subset E of X is called bounded if there exists a real number N and a point z X such that d (x, z) N for all x E. Example 2.2. (a) In R, let E = ( 3, 15). (b) In R 3, let S be the sphere of radius 3 that is centered at the point (4, 5, 6). We assert that both E and S are bounded.
2 Indeed, for E = ( 3, 15), let z be the midpoint of the interval: z = ( ) / 2 = 6. Then every point in E is within N = 9 of point z = 6; i.e., for all x ( 3, 15), d (x, 6) = 6 x 9. Thus, E is bounded around point 6 within a distance of N = 9. For Part (b), we have in R 3 S = {(x, y, z) : (x 4) 2 + ( y 5) 2 + (z 6) 2 = 3 2 } { } = (x, y, z) : ( x 4) 2 + (y 5) 2 + (z 6) 2 = 3 = {(x, y, z) : d ((x, y,z), (4, 5, 6) ) = 3}. Thus, S is bounded around point (4, 5, 6) within a distance of N = 3. The following proposition gives more useful characterizations of boundedness on the real line R : Proposition 2.1. A subset E of the real line is bounded if and only if there exists a real number c such that x c for all x E. Proof. Assume E is bounded on R and let z, N R be such that x z N for all x E. Let c = N + z. Then for all x E, x = x z + z x z + z N + z = c. Conversly, suppose x c for all x E. Then d (x, 0) = x 0 c for all x E and E is bounded on R. For example, with E = ( 3, 15) R, it is easier to say that x 15 for all x E, rather than to use the formal metric space definition of bounded as we did in Example 2.2 (a) by saying d (x, 6) = 6 x 9 for all x E. Definition 2.3. Let E be a subset of a metric space X and let ε > 0. (a) An ε -neighborhood about a point x, denoted N ε (x ), is the set of all points in X that have a distance to x that is less than ε : N ε (x ) = { y X : d (x, y ) < ε}. The value ε is called the radius of the neighborhood. (b) A point x is called an interior point of E if there is an ε -neighborhood about x such that N ε (x ) E. (c) Set E is called open if every point of E is an interior point of E. (d) A point p is called a limit point of E if every ε -neighborhood about p contains a point from E that is different from p. (e) Set E is called closed if E contains all of its limit points. (f) Set E is called perfect if E is closed and every point in E is a limit point of E. (g) Set E is called dense if every point in X that is not in E is then a limit point of E.
3 Notes: (i) Due to the axioms of a metric d, we need only consider ε -neighborhoods for ε > 0. (For all ε 0, we would have N ε (x ) = for all x.) (ii) Clearly, every ε - neighborhood is bounded since d(x, y) < ε ε for all y N ε (x). Example 2.3. (a) On the real line, N ε (x ) = {y R : y x < ε} = (x ε, x + ε ). (b) Consider E = [a, b ] on the real line, where a,b R, with a < b. Then a and b are not interior points of E because every ε -neighborhood (a ε, a + ε ) about a and every ε -neighborhood (b ε, b + ε ) about b will go beyond the interval [a, b ]. However, any point x such that a < x < b is an interior point of [a, b ]. Indeed, for any such x, we can find two other real numbers y and z such that a < y < x < z < b. Then let ε = min (z x, x y ). We then have (x ε, x + ε ) ( y,z) [a, b]. (c) From Part (b), the interval [a, b ] is not open on the real line. However, the interval (a, b) is open because every point of (a, b) is an interior point of (a, b). (d) On the real line, the point b is a limit point of the open interval (a, b) because every ε -neighborhood (b ε, b + ε ) about b contains a point from (a, b) between b ε and b. The point a is also a limit point of (a, b). Every interior point x of (a, b) is a limit point of (a, b) because every ε -neighborhood (x ε, x + ε ) about x contains a point from (a, b) that is different from x. (e) We assert that [a, b ] is closed on the real line. From (d), we know that every point in [a, b ] is a limit point of [a, b ]. But suppose x is outside of [a, b ]. If x < a, then there exists a real number z such that x < z < a. If we let ε = z x, then (x ε, x + ε ) = (x ε, z), which is an ε -neighborhood about x that does not contain a point of [a, b ]. That is, x is not a limit point of [a, b ] if x < a. Likewise, x is not a limit point of [a, b ] if x > b. Thus [a, b ] contains all of its limit points; hence, [a, b ] is closed. (f) From (d) and (e), we see that [a, b ] is perfect because [a, b ] is closed and every point of [a, b ] is a limit point of [a, b ]. (g) We assert that the rational numbers Q are dense on the real line R. To prove this, we must show that every x R is either in Q or a is limit point of Q. Therefore, we need only consider an irrational x. But for such an x and any ε -neighborhood (x ε, x + ε ), there exists a rational number z such that x ε < z < x + ε. Thus x is a limit point of Q. Hence, Q is dense in R. Similarly, the irrationals are dense in R. (h) On the real line, [a, b ] is bounded but Q is not. For [a, b ], let z = (a + b) / 2 be the midpoint of the interval and let M = (b a) / 2, which is half of the interval length. Then for all x [a, b ], d (x, z) x z M. Now suppose Q is bounded. Then there exists c R such that x c for all x Q. That is, all rational numbers would be between c and c, which is a contradiction because there are rational numbers between c and c +1.
4 Theorem 2.1. Every ε -neighborhood is an open set. Proof. Let N ε (x ) be an ε -neighborhood about point x. Let y N ε (x ). We must show that y is an interior point of N ε (x ) by finding a neighborhood about y that is contained in N ε (x ). Because d (y, x ) < ε, let the radius about y be = ε d( y, x) > 0. We claim N (y) is contained in N ε (x ). ε x z y ε Let z N (y). Then by Axiom (iii) of a metric, we have d (z, x ) d(z, y) + d(y, x ) < + d(y, x ) = ε d (y, x ) + d( y, x) = ε. Hence, z N ε (x ) and therefore N (y) N ε (x ). Theorem 2.2. Let E be a non-empty finite subset of X. Then E is bounded and E has no limit points. Proof. Let E = {x 1,..., x n }. Because E, we can choose a point x 1 E. Now let M = max{d( x 1, x i ) : 1 i n}. Then d (x 1, x i ) M for all x i E ; hence, E is bounded. Now let x be any point in X. Let ε = 1 2 min{d( x, x i ) : x i E, x i x}. Then for any x i E, with x i x, we have d (x, x i ) > ε. Thus, N ε (x ) contains no point from E except possibly x. Thus x cannot be a limit point of E. Corollary 2.1. A finite set is closed. Proof. Let E be the set of all limit points of the finite set E. By Theorem 2.2, E has no limit points; thus, E = E. So E contains all its limit points which makes E closed. Theorem 2.3. If p is a limit point of a set E, then every ε -neighborhood of p contains infinitely many points of E.
5 Proof. Let N ε ( p) be an ε -neighborhood about p. By definition of limit point, there exists a point y 0 E such that y 0 p and y 0 N ε ( p). Let ε 1 be a smaller radius than ε chosen so that 0 < ε 1 < d( p, y 0 ). Then there exists y 1 E such that y 1 p and y 1 N ε1 ( p). Because d ( p, y 0 ) > ε 1, y 0 N ε1 ( p) ; thus, y 1 y 0. Having chosen y k, we can choose y k +1 E, such that d ( p, y k +1 ) < ε k +1 < d( p, y k ) so that y k +1 y k. We thereby obtain an infinite sequence y 0, y 1, y 2,... of distinct points from E that are in N ε ( p). ε 1 p y 1 y 0 ε Alternate Proof. Suppose N ε ( p) contains only a finite number of points y 1, y 2,..., y n from E that are different from p. Let = 1 2 min{d( p, y 1 ), d( p, y 2 ),..., d( p, y n )}. Then 0 < < d( p, y i ) < ε for 1 i n ; thus, none of the y i are in N ( p). Because < ε, we have N ( p) N ε ( p). Thus, no other points from E can be in N ( p) or else they would also be in N ε ( p). Thus, N ( p) is a neighborhood about p that does not contain any points from E distinct from p, which contradicts the fact that p is a limit point of E. Note: Theorem 2.3 also implies that a finite set has no limit points. Let E c denote the complement of E, which consists of all points in X that are not in E. Theorem 2.4. A set E is open if and only if E c is closed. Proof. Assume E is open. We must show that E c is closed by showing that it contains all of its limit points. So suppose x is a limit point of E c. If x were not in E c, then it would be in E which is open. So then x would be an interior point of E. Hence, there would be an ε -neighborhood about x that is completely contained in E, which would contradict the fact that x is a limit point of E c. So x E c and E c is closed. Now assume that E c is closed. We must show that E is open by showing that every point in E is an interior point. So let x E. Then x E c and x cannot be a limit point of E c because E c is closed. So there must be an ε -neighborhood N ε (x ) about x that does not contain any points of E c. That is, N ε (x ) E, which makes x an interior point of E. Thus, E is open.
6 Example 2.4. On the real line, (a, b) is open; thus, (a, b) c = (, a] [b, ) is closed. In fact, any ray of the form (, a] or of the form [b, ) is closed. These rays are also perfect. Because (E c ) c = E, an immediate result of Theorem 2.3 is: Corollary 2.1. A set E is closed if and only if E c is open. Example 2.5. On the real line, [a, b] is closed; thus, [a, b] c = (, a) (b, ) is open. In fact, any ray of the form (, a) or of the form (b, ) is open. Definition 2.4. The set E is the set of all limit points of E. The closure of E is the set E = E E. Example 2.6. On the real line, the closure of (a, b) is [a, b]. Indeed, from Example 2.3 (d) and (e), every point of (a, b) is a limit point of (a, b), the points a and b are also limit points of (a, b), but no other point is a limit point of (a, b). So the closure of (a, b) is (a, b) = (a, b) (a, b ) = [a, b]. On the other hand, the closure of [a, b] is [a, b]. Indeed, [a, b] is closed; thus it contains all of its limit points: [a, b ] [a, b]. Thus, [a, b] = [a, b] [a, b ] = [a, b]. The following result shows that E is the smallest closed set that contains E. Theorem 2.5. Let E be a subset of a metric space X. (a) E is closed. (b) E = E if and only if E is closed. (c) If E F X and F is closed, then E F. Proof. (a) We will show that E c is open. Let x E c. Then x is not in E and x is not a limit point of E. So there exists an ε -neighborhood N ε (x ) about x that contains no points of E. But we must also show that it contains no points of E. By Theorem 2.1, N ε (x ) is open. If y N ε (x ), then there exists a δ -neighborhood N δ (y) about y such that N δ (y) N ε (x ). So N δ (y) cannot contain any points of E ; thus, y E. So N ε (x ) does not intersect E = E E ; that is, N ε (x ) E c. Thus, E c is open and E is closed. (b) If E is closed, then E E (all limit points of E are in E ); thus, E = E E = E. On the other hand, if E = E, then E E = E E, so E E and E is closed. (c) Suppose E F X and F is closed. Let x E = E E. If x E, then x F by assumption. If x E, then x is a limit point of E which makes it a limit point of F because E F. Thus, x F because F is closed. Hence, E F.
7 We conclude with some more properties of the real line. Theorem 2.6. (a) Let E be a non-empty set of real numbers that is bounded above. Let y = sup E. Then y E. Hence, if E is closed, then y E. (b) Let E be a non-empty set of real numbers that is bounded below. Let x = inf E. Then x E. Hence, if E is closed, then x E. Proof. (a) By the Least Upper Bound Property of the real line, y = sup E exists as real number. If y E, then y E. So assume y E, then consider an ε -neighborhood (y ε, y + ε ) about y. There cannot be any elements from E that are greater than y because y is an upper bound. But if the interval (y ε, y] did not contain an element from E, then y ε would be an upper bound of E which contradicts the fact that y is the least upper bound. Thus, there must be a point from E in (y ε, y]. Because y E, we must have a point from E other than y in every ε -neighborhood (y ε, y + ε ). Hence, y is a limit point of E, which means y E. The proof of (b) is similar. Theorem 2.7. (Bolzano-Weierstrass) Let E be an infinite, bounded set of real numbers. Then E has a limit point in R. Proof. Because E is bounded, there exists a closed interval [a 1, b 1 ], with a 1 < b 1, such that E [a 1, b 1 ]. Because E is infinite, at least one of the intervals [a 1, (a 1 + b 1 ) / 2] or [(a 1 + b 1 ) / 2, b 1 ] still has infinitely many points of E. Choose one such interval and label it as [a 2, b 2 ]. Then [a 1, b 1 ] [a 2, b 2 ], and b 2 a 2 = ( b 1 a 1 ) / 2. Now given [a i, b i ], we construct [a i+1, b i+1 ] such that [a i, b i ] [a i+1, b i+1 ], [a i+1, b i+1 ] has infinitely many points of E, and b i+1 a i+1 = ( b i a i ) / 2 = ( b 1 a 1 ) / 2 i. By the Nested Interval Property of R, [sup{a i }, inf{b i }] [a i, b i ]. We claim that x = sup{a i } is a limit point of E. Let (x ε, x + ε ) be an ε -neighborhood about x. We will find an interval [a i, b i ] that is completely contained in (x ε, x + ε ). Because x ε < x = sup{a i }, x ε cannot be an upper bound of {a i }, so there must exist an a i such that x ε < a i. We choose the smallest integer N such that x ε < a N and (b 1 a 1 ) / 2 N < ε. By construction, b N +1 a N +1 = ( b 1 a 1 ) / 2 N < ε. Hence, x ε < a N a N +1 b N +1 < a N +1 + ε x + ε. So (x ε, x + ε ) contains infinitely many points of E, which makes x E.
8 Exercises 1. (a) On the real line, define d (x, y ) = x y. Prove that d satisfies the axioms of a metric. (b) Explain why each of the following functions do not define metrics on the real line: d 1 ( x, y) = ( x y) 2 d 2 (x, y) = 2y x d 3 ( x, y) = x 2 y 2 2. Let X be an infinite set. Define a function d: X X R by d (x, y ) = 1 if x y. 0 if x = y (a) Prove that d satisfies the axioms of a metric. (b) Let E be any subset of X. (i) Prove that E is open. (ii) Prove that E has no limit points. (iii) Explain why E is also closed. (iv) From (i), every subset of X is open. In particular, E c is open. Therefore, what can you automatically say about E = (E c ) c? 3. Consider the natural numbers ℵ as a subset of the real line R. Prove that ℵ is (a) not bounded (b) not open (c) closed (d) not perfect. 4. Let x and y be points in a metric space X. Prove that if d (x, y) < ε for all ε > 0, then x = y. 5. Let E be the set of all limit points of a set E in a metric space X. Prove that E is closed. 6. Let Eº denote the set of all interior points of a set E. (a) Prove that Eº is open. (b) Prove that E is open if and only if E = E º. (c) If G E, and G is open, then G Eº. (d) Prove that ( E º ) c = E c.
9 More Exercises Let ( X, d) be a metric space. 7. Fix a point x X and let ε > 0. Let E = {y X : d(x, y) > ε } and F = {y X : d(x, y) ε }. (a) Prove that E is open. (b) Prove that F is closed. (c) Is N ε (x) = F? 8. Let E i sets in X. { } i= 1 be a collection of open sets in X and let { Fi } i= 1 be a collection of closed (a) Prove that (b) Prove that E i is open and that F i n n E i is open and that F i is closed. is closed, where 1 n <. (c) Give examples on the real line to show that not be closed. E i may not open and that F i may 9. Let E X. Let F = E E º. (a) Prove that F E c. (b) Prove that F is closed. (c) Prove that (E ) c = (E c )º. 10. Let E, F X. (a) Prove that Eº F º ( E F )º. Give an example on the real line to show that we may not have equality. (b) Prove that E F E F. Give an example on the real line to show that we may not have equality.
The Real Number System
MATH 337 The Real Number System Sets of Numbers Dr. Neal, WKU A set S is a well-defined collection of objects, with well-defined meaning that there is a specific description from which we can tell precisely
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 informationThat is, there is an element
Section 3.1: Mathematical Induction Let N denote the set of natural numbers (positive integers). N = {1, 2, 3, 4, } Axiom: If S is a nonempty subset of N, then S has a least element. That is, there is
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
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 informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
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 informationAxioms for the Real Number System
Axioms for the Real Number System Math 361 Fall 2003 Page 1 of 9 The Real Number System The real number system consists of four parts: 1. A set (R). We will call the elements of this set real numbers,
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 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 informationWeek 2: Sequences and Series
QF0: Quantitative Finance August 29, 207 Week 2: Sequences and Series Facilitator: Christopher Ting AY 207/208 Mathematicians have tried in vain to this day to discover some order in the sequence of prime
More informationMid Term-1 : Practice problems
Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to
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 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 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 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 informationMath 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.
Math 421, Homework #6 Solutions (1) Let E R n Show that (Ē) c = (E c ) o, i.e. the complement of the closure is the interior of the complement. 1 Proof. Before giving the proof we recall characterizations
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 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 informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More information2.2 Some Consequences of the Completeness Axiom
60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that
More informationMath 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012
Instructions: Answer all of the problems. Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012 Definitions (2 points each) 1. State the definition of a metric space. A metric space (X, d) is set
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 informationLogical Connectives and Quantifiers
Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 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
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
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 informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
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 information2 Topology of a Metric Space
2 Topology of a Metric Space The real number system has two types of properties. The first type are algebraic properties, dealing with addition, multiplication and so on. The other type, called topological
More informationFINAL EXAM Math 25 Temple-F06
FINAL EXAM Math 25 Temple-F06 Write solutions on the paper provided. Put your name on this exam sheet, and staple it to the front of your finished exam. Do Not Write On This Exam Sheet. Problem 1. (Short
More informationStructure of R. Chapter Algebraic and Order Properties of R
Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions
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 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 informationReal Analysis - Notes and After Notes Fall 2008
Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start
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 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 informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
More informationREAL ANALYSIS: INTRODUCTION
REAL ANALYSIS: INTRODUCTION DR. RITU AGARWAL EMAIL: RAGARWAL.MATHS@MNIT.AC.IN MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR Contents 1. The real number system 1 2. Field Axioms 1 3. Order Axioms 2 4.
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
More informationMATH 409 Advanced Calculus I Lecture 7: Monotone sequences. The Bolzano-Weierstrass theorem.
MATH 409 Advanced Calculus I Lecture 7: Monotone sequences. The Bolzano-Weierstrass theorem. Limit of a sequence Definition. Sequence {x n } of real numbers is said to converge to a real number a if for
More informationIntroduction to Topology
Chapter 2 Introduction to Topology In this chapter, we will use the tools we developed concerning sequences and series to study two other mathematical objects: sets and functions. For definitions of set
More information1 Lecture 4: Set topology on metric spaces, 8/17/2012
Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture : Set topology on metric spaces, 8/17/01 Definition 1.1. Let (X, d) be a metric space; E is a subset of X. Then: (i) x E is an interior
More informationWeek 5 Lectures 13-15
Week 5 Lectures 13-15 Lecture 13 Definition 29 Let Y be a subset X. A subset A Y is open in Y if there exists an open set U in X such that A = U Y. It is not difficult to show that the collection of all
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 informationCLASS NOTES FOR APRIL 14, 2000
CLASS NOTES FOR APRIL 14, 2000 Announcement: Section 1.2, Questions 3,5 have been deferred from Assignment 1 to Assignment 2. Section 1.4, Question 5 has been dropped entirely. 1. Review of Wednesday class
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 informationMATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7
MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #7 Real Number Summary of terminology and theorems: Definition: (Supremum & infimum) A supremum (or least upper bound) of a non-empty
More informationWhat to remember about metric spaces
Division of the Humanities and Social Sciences What to remember about metric spaces KC Border These notes are (I hope) a gentle introduction to the topological concepts used in economic theory. If the
More informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
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 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 information1. Theorem. (Archimedean Property) Let x be any real number. There exists a positive integer n greater than x.
Advanced Calculus I, Dr. Block, Chapter 2 notes. Theorem. (Archimedean Property) Let x be any real number. There exists a positive integer n greater than x. 2. Definition. A sequence is a real-valued function
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 informationLecture Notes DRE 7007 Mathematics, PhD
Eivind Eriksen Lecture Notes DRE 7007 Mathematics, PhD August 21, 2012 BI Norwegian Business School Contents 1 Basic Notions.................................................. 1 1.1 Sets......................................................
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 informationECARES Université Libre de Bruxelles MATH CAMP Basic Topology
ECARES Université Libre de Bruxelles MATH CAMP 03 Basic Topology Marjorie Gassner Contents: - Subsets, Cartesian products, de Morgan laws - Ordered sets, bounds, supremum, infimum - Functions, image, preimage,
More informationMath 117: Infinite Sequences
Math 7: Infinite Sequences John Douglas Moore November, 008 The three main theorems in the theory of infinite sequences are the Monotone Convergence Theorem, the Cauchy Sequence Theorem and the Subsequence
More informationAdvanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010
Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010 1. Real Number System 1.1. Introduction. Numbers are at the heart of mathematics. By now you must be fairly familiar with
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
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 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 informationLecture 2: A crash course in Real Analysis
EE5110: Probability Foundations for Electrical Engineers July-November 2015 Lecture 2: A crash course in Real Analysis Lecturer: Dr. Krishna Jagannathan Scribe: Sudharsan Parthasarathy This lecture is
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationMATH 101, FALL 2018: SUPPLEMENTARY NOTES ON THE REAL LINE
MATH 101, FALL 2018: SUPPLEMENTARY NOTES ON THE REAL LINE SEBASTIEN VASEY These notes describe the material for November 26, 2018 (while similar content is in Abbott s book, the presentation here is different).
More informationSets, Functions and Metric Spaces
Chapter 14 Sets, Functions and Metric Spaces 14.1 Functions and sets 14.1.1 The function concept Definition 14.1 Let us consider two sets A and B whose elements may be any objects whatsoever. Suppose that
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 informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
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 informationSet, functions and Euclidean space. Seungjin Han
Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,
More information2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α.
Chapter 2. Basic Topology. 2.3 Compact Sets. 2.31 Definition By an open cover of a set E in a metric space X we mean a collection {G α } of open subsets of X such that E α G α. 2.32 Definition A subset
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 informationHOMEWORK #2 - MA 504
HOMEWORK #2 - MA 504 PAULINHO TCHATCHATCHA Chapter 1, problem 6. Fix b > 1. (a) If m, n, p, q are integers, n > 0, q > 0, and r = m/n = p/q, prove that (b m ) 1/n = (b p ) 1/q. Hence it makes sense to
More informationA LITTLE REAL ANALYSIS AND TOPOLOGY
A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
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 informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
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 informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationSequences. We know that the functions can be defined on any subsets of R. As the set of positive integers
Sequences We know that the functions can be defined on any subsets of R. As the set of positive integers Z + is a subset of R, we can define a function on it in the following manner. f: Z + R f(n) = a
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
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 informationLecture 2. Econ August 11
Lecture 2 Econ 2001 2015 August 11 Lecture 2 Outline 1 Fields 2 Vector Spaces 3 Real Numbers 4 Sup and Inf, Max and Min 5 Intermediate Value Theorem Announcements: - Friday s exam will be at 3pm, in WWPH
More informationarxiv:math/ v1 [math.ho] 2 Feb 2005
arxiv:math/0502049v [math.ho] 2 Feb 2005 Looking through newly to the amazing irrationals Pratip Chakraborty University of Kaiserslautern Kaiserslautern, DE 67663 chakrabo@mathematik.uni-kl.de 4/2/2004.
More informationEconomics 204 Fall 2012 Problem Set 3 Suggested Solutions
Economics 204 Fall 2012 Problem Set 3 Suggested Solutions 1. Give an example of each of the following (and prove that your example indeed works): (a) A complete metric space that is bounded but not compact.
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 informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationThe discrete and indiscrete topologies on any set are zero-dimensional. The Sorgenfrey line
p. 1 Math 525 Notes on section 17 Isolated points In general, a point x in a topological space (X,τ) is called an isolated point iff the set {x} is τ-open. A topological space is called discrete iff every
More informationSolutions Manual for Homework Sets Math 401. Dr Vignon S. Oussa
1 Solutions Manual for Homework Sets Math 401 Dr Vignon S. Oussa Solutions Homework Set 0 Math 401 Fall 2015 1. (Direct Proof) Assume that x and y are odd integers. Then there exist integers u and v such
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 information106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S)
106 CHAPTER 3. TOPOLOGY OF THE REAL LINE 3.3 Limit Points 3.3.1 Main Definitions Intuitively speaking, a limit point of a set S in a space X is a point of X which can be approximated by points of S other
More informationIntroduction to Dynamical Systems
Introduction to Dynamical Systems France-Kosovo Undergraduate Research School of Mathematics March 2017 This introduction to dynamical systems was a course given at the march 2017 edition of the France
More informationCauchy Sequences. x n = 1 ( ) 2 1 1, . As you well know, k! n 1. 1 k! = e, = k! k=0. k = k=1
Cauchy Sequences The Definition. I will introduce the main idea by contrasting three sequences of rational numbers. In each case, the universal set of numbers will be the set Q of rational numbers; all
More informationChapter II. Metric Spaces and the Topology of C
II.1. Definitions and Examples of Metric Spaces 1 Chapter II. Metric Spaces and the Topology of C Note. In this chapter we study, in a general setting, a space (really, just a set) in which we can measure
More informationEC 521 MATHEMATICAL METHODS FOR ECONOMICS. Lecture 1: Preliminaries
EC 521 MATHEMATICAL METHODS FOR ECONOMICS Lecture 1: Preliminaries Murat YILMAZ Boğaziçi University In this lecture we provide some basic facts from both Linear Algebra and Real Analysis, which are going
More informationDescribing the Real Numbers
Describing the Real Numbers Anthony Várilly Math 25a, Fall 2001 1 Introduction The goal of these notes is to uniquely describe the real numbers by taking certain statements as axioms. This exercise might
More informationClass Notes for MATH 255.
Class Notes for MATH 255. by S. W. Drury Copyright c 2006, by S. W. Drury. Contents 0 LimSup and LimInf Metric Spaces and Analysis in Several Variables 6. Metric Spaces........................... 6.2 Normed
More information