Introduction to Topology

Similar documents
Problem Set 2: Solutions Math 201A: Fall 2016

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 :

That is, there is an element

Math 117: Topology of the Real Numbers

Maths 212: Homework Solutions

A LITTLE REAL ANALYSIS AND TOPOLOGY

We are now going to go back to the concept of sequences, and look at some properties of sequences in R

Some Background Material

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

Chapter 2 Metric Spaces

Math LM (24543) Lectures 01

Lecture 4: Completion of a Metric Space

Sequences. 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.

2 Metric Spaces Definitions Exotic Examples... 3

REVIEW OF ESSENTIAL MATH 346 TOPICS

2. Metric Spaces. 2.1 Definitions etc.

Sets, Functions and Metric Spaces

Real Analysis Notes. Thomas Goller

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

Problems for Chapter 3.

MATH 31BH Homework 1 Solutions

Consequences of Continuity

EC 521 MATHEMATICAL METHODS FOR ECONOMICS. Lecture 1: Preliminaries

Structure of R. Chapter Algebraic and Order Properties of R

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Sequences. Limits of Sequences. Definition. A real-valued sequence s is any function s : N R.

THE REAL NUMBERS Chapter #4

Part III. 10 Topological Space Basics. Topological Spaces

MT804 Analysis Homework II

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Course 212: Academic Year Section 1: Metric Spaces

2. The Concept of Convergence: Ultrafilters and Nets

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

2.2 Some Consequences of the Completeness Axiom

MATH 409 Advanced Calculus I Lecture 7: Monotone sequences. The Bolzano-Weierstrass theorem.

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Chapter 1 The Real Numbers

Solutions Final Exam May. 14, 2014

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

16 1 Basic Facts from Functional Analysis and Banach Lattices

Math 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.

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9;

Introduction to Topology

Measures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.

Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption

Metric Spaces and Topology

CLASS NOTES FOR APRIL 14, 2000

2 Topology of a Metric Space

METRIC SPACES KEITH CONRAD

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

Math 341: Convex Geometry. Xi Chen

M17 MAT25-21 HOMEWORK 6

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.

Homework 5. Solutions

Postulate 2 [Order Axioms] in WRW the usual rules for inequalities

Immerse Metric Space Homework

LECTURE 15: COMPLETENESS AND CONVEXITY

CHAPTER 7. Connectedness

After 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.

Analysis III Theorems, Propositions & Lemmas... Oh My!

Notes on the Point-Set Topology of R Northwestern University, Fall 2014

Mid Term-1 : Practice problems

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012

Week 2: Sequences and Series

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

Set, functions and Euclidean space. Seungjin Han

Math General Topology Fall 2012 Homework 1 Solutions

Scalar multiplication and addition of sequences 9

Jensen s inequality for multivariate medians

Lecture 2: A crash course in Real Analysis

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

Continuity. Chapter 4

Sequence convergence, the weak T-axioms, and first countability

FINAL EXAM Math 25 Temple-F06

01. Review of metric spaces and point-set topology. 1. Euclidean spaces

NOTES FOR MAT 570, REAL ANALYSIS I, FALL Contents

Seunghee Ye Ma 8: Week 2 Oct 6

Solutions for Homework Assignment 2

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

CHAPTER 8: EXPLORING R

MA651 Topology. Lecture 10. Metric Spaces.

Chapter 3: Baire category and open mapping theorems

Logical Connectives and Quantifiers

GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES

11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)

Measures and Measure Spaces

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)

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Lecture Notes DRE 7007 Mathematics, PhD

Consequences of Continuity

µ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity

Real Variables: Solutions to Homework 3

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Footnotes to Linear Algebra (MA 540 fall 2013), T. Goodwillie, Bases

MATH 202B - Problem Set 5

Math General Topology Fall 2012 Homework 13 Solutions

Lebesgue Measure on R n

Axioms for the Real Number System

Transcription:

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 notation, see the appendices. 2.1 The closure of a set. Closed and open sets. We will be studying the notions of closed and open subsets of R d. Notice that R 1 is just the real line (case d = 1), and R 2 the plane (case d = 2). You are welcome to just consider these two cases, although the definitions are valid for all dimensions d. The following theory is developed based on the notion of convergence of a sequence, which in turn is based on the distance formula. In d dimensions, the distance between two points A =(a 1,a 2,...,a d ) and B =(b 1,b 2,...,b d )is d(a, B) = p (b 1 a 1 ) 2 +(b 2 a 2 ) 2 + +(b d a d ) 2. A sequence of points (P k )inr d converges to a point Q if and only if the distance between P k and Q is eventually arbitrarily small. Just as for d = 2, this happens if and only if the sequences of coordinates of the P k converge to the corresponding coordinates of Q. Let S R d. In some cases there are points in R d that are infinitely close to S that are not in S. For example, zero is in some sense infinitely close to the interval (0, 1), but does not belong to it. There is a name for such points: Definition 2.1.1. Given S R d and a 2 R d, we say that a is an adherent point of S if and only if there is a sequence (x n ) which is contained in S and converges to a. The set of all adherent points of S R d is denoted S and is called the closure of S. Lemma 2.1.2. Every point of a set S R d is an adherent point of the set. 35

In set-theoretic notation, this lemma says that S S. Let a 2 S. We need to show that a is an adherent point. Define the sequence x n = a 8 n. This sequence is in S and converges to a, so we are done. Definition 2.1.3. AsetS is closed if and only if it contains all of its adherent points. In set-theoretic notation, this says S is closed () S S. In fact, the set inclusion on the right hand side of the statement above can be replaced by equality, as demonstrated in the following theorem. *Theorem 2.1.4. AsetS is closed if and only if S = S. 1 2 *Example 2.1.5. For each of the following sets S find the set S. (Note: The first three are subsets of R, while the last two are subsets of R 2.) Explain your answer by refering to the definition, but you do not need to give a formal proof of your solution. Which sets are closed? 1. S =[2, 5). 2. S =[2, 5] c (the complement of [2, 5]). 3. S = Q (the set of all rational numbers). 1 Note: This theorem does not show that for all sets S, S is closed. The fact that S is closed will be proven below in Theorem 2.1.7 2 An if and only if statement is really two statements that is, you need to show: 1. If S = S then S is closed, and 2. If S is closed then S = S. 36

4. S =? (the empty set). 5. S = {(x, y) 2 R 2 ; x>0 and y 0}. 6. S = {(x, y) 2 R 2 ; x 2 + y 2 < 4}. *Problem 2.1.6. Explain why closed intervals are closed sets, as well as intervals of the form ( 1,b] and [a, 1). The following theorem justifies our use of the term closure for the process of adding in all adherent points of a set. 3 Theorem 2.1.7. The closure S of a set S is closed. We need to show that S S. Idea: Write down what it means for a to be an adherent point of S (i.e. a 2 S), and use this to find a sequence of points in S that also converge to a (so that a is an adherent point of S, ora 2 S). Let a 2 S. This means that a is an adherent point of S; i.e.thereexistsasequence(a k ) such that 1. a k 2 S for all k, and 2. lim k!1 a k = a. Now consider a fixed a k 2 S. This means that a k is an adherent point of S; i.e. thereexistsa sequence (a k,n ) n such that 3 This theorem sounds like a tautology, but in fact is not obvious: if you have a non-closed set, and add in all of its adherent points, why shouldn t there be additional adherent points of the adherent points? 37

1. a k,n 2 S for all n, and 2. lim n!1 a k,n = a k. Since a k 2 S for all k, we get a 1,1 a 1,2 a 1,3 a 1,4...! a 1 a 2,1 a 2,2 a 2,3 a 2,4...! a 2 a 3,1 a 3,2 a 3,3 a 3,4...! a 3 a 4,1 a 4,2 a 4,3 a 4,4...! a 4........ # a such that a k,n 2 S for all k and n, a k 2 S for all k, and a 2 S. We will find a sequence x m in the table above with lim x m = a. Let = 1 m!1 2m. From the convergence statements above, we know that 1. There exists an k m such that a km a < 1 2m. 2. For the sequence a km,n (which converges to a km ) there exists an n m such that a km,n m a km < 1 2m. Let x m = a km,n m. Then by the triangle inequality, x m a apple x m a km + a km a < 1 2m + 1 2m = 1 m. We claim that x m is a sequence in S that converges to a. This is because for each m, x m 2 apple a 1 m,a+ 1 m, which is a nested sequence of closed intervals whose length goes to 0. Therefore a is an adherent point of S, i.e.a 2 S. *Theorem 2.1.8. If S T R d then S T. *Theorem 2.1.9. S is the smallest closed set containing S. 38

4 We can also define open sets: Definition 2.1.10. AsetS R d is open if and only if its complement S c is closed. This is a non-standard definition of open sets, but it fits our set of tools well, and is equivalent to the more widely-used one given below. We state but will not prove the following theorem: Theorem 2.1.11. Definition 2.1.10 is equivalent to the following definition of an open set: AsetS R d is open if and only if for any element x 2 S, thereexists >0 such that the open ball B (x) :={y 2 R d d(x, y) < } S. *Example 2.1.12. Use Definition 2.1.10 to determine which of the sets in Example 2.1.5 is open. *Problem 2.1.13. Definition: The interior of a set S can be defined as: h i c. Int(S) = S c (I.e., take the complement of S, then the closure of S c, then the complement of S c.) Since Int(S) is the complement of a closed set, Int(S) is an open set. 1. Find Int([0, 5]). 2. Why is Int(S) S for any S? 3. Show that Int(S) is the largest open set contained in S. 2.2 Compact sets Definition 2.2.1. AsetS R d is called bounded if and only if there exists a real number M>0 such that where O 2 R d is the origin and x = d(o, x). 5 x applem 8 x 2 S, 4 Lemma 2.1.2 and Theorem 2.1.7 show that S S and S is closed, so your job is to show that if F is a closed set and S F,thenS F. 5 Note that this gives defines the same property for sets S R as S is bounded if and only if there exists real numbers m apple M such that m apple x apple M for all x 2 S, which parallels the definition of a bounded sequence from Chapter 1. The reason to use notation as above is that it works well for higher dimensions d 2. 39

*Theorem 2.2.2. AsetS R is not bounded if and only if there exists a monotone sequence a : N! S diverging to ±1. The following theorem is a version of the Axiom of Completeness that is better adapted to working directly with sets of real numbers. While this theorem is actually equivalent to the Axiom of Completeness, we will only prove it as a theorem that follows from the Axiom of Completeness. Theorem 2.2.3. A nonempty set of real numbers that is bounded above has a least upper bound. Note: The least upper bound of a set S R is denoted lub(s). Likewise, a set S that is bounded below has a greatest lower bound, denoted glb(s). Let S R be a bounded set. Idea: We will construct a sequence of nested closed intervals whose lengths go to zero, and use the Axiom of Completeness to get a unique number g 2 R. Then we show that g is the least upper bound of S. Pick an element a 1 2 S, letb 1 be an upper bound of S, and let c 1 be the midpoint of the interval I 1 =[a 1,b 1 ]. Define a subinterval I 2 I 1 according to the following cases: 1. If c 1 is an upper bound of S, let I 2 =[a 1,c 1 ]. 2. If c 1 is not an upper bound of S, thenthereexistsa 2 2 S such that a 2 >c 1. In this case, let I 2 =[a 2,b 1 ] In either case, let us write I 2 =[a 2,b 2 ] and note that 1. a 2 2 S and b 2 is an upper bound of S, and 2. I 2 apple 1 2 I 1. 40

Repeating this procedure generates a sequence (I k ) of nested intervals whose lengths go to zero, so the Axiom of Completeness gives us a number g = lim k!1 a k = lim k!1 b k. Then g is the least upper bound of S, as shown by the following two claims: 1. The number g is an upper bound of S. 2. Moreover, if M is any upper bound of S, theng apple M. Subsets of R d that are both closed and bounded are of special interest: Definition 2.2.4. AsetK R d is called compact if and only if it is closed and bounded. Compact sets show up a lot in mathematical arguments because of their nice properties. Here is one such property: *Theorem 2.2.5. If K R d is compact and (s k ) is any sequence in K then there exists a convergent subsequence (s kn ) whose limit is a point in K. The real line R 1 is special among R d in that it has a natural ordering. Compact sets in R then have the following especially important property: *Theorem 2.2.6. A nonempty compact set in R has a greatest and a least element. That is, if K is compact, there exist g 2 K and ` 2 K such that ` apple x apple g 8 x 2 K. 41