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.

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

Math 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M

M17 MAT25-21 HOMEWORK 6

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

MATH 301 INTRO TO ANALYSIS FALL 2016

Math 421, Homework #9 Solutions

1 Lecture 4: Set topology on metric spaces, 8/17/2012

Sample Problems for the Second Midterm Exam

2.7 Subsequences. Definition Suppose that (s n ) n N is a sequence. Let (n 1, n 2, n 3,... ) be a sequence of natural numbers such that

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

Convexity in R N Supplemental Notes 1

Homework 5. Solutions

Problem Set 2: Solutions Math 201A: Fall 2016

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.

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 :

HOMEWORK ASSIGNMENT 6

Math 730 Homework 6. Austin Mohr. October 14, 2009

MATH 101, FALL 2018: SUPPLEMENTARY NOTES ON THE REAL LINE

Maths 212: Homework Solutions

Week 5 Lectures 13-15

µ (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

Mid Term-1 : Practice problems

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005

Introductory Analysis I Fall 2014 Homework #5 Solutions

This exam contains 5 pages (including this cover page) and 4 questions. The total number of points is 100. Grade Table

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions

5 Set Operations, Functions, and Counting

COMPLEX ANALYSIS TOPIC XVI: SEQUENCES. 1. Topology of C

Consequences of Continuity

Appendix A: Separation theorems in IR n

1 Homework. Recommended Reading:

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

In case (1) 1 = 0. Then using and from the previous lecture,

Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008

Math Solutions to homework 5

CSE 20 DISCRETE MATH. Winter

A n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1

Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1

Solutions for Homework Assignment 2

Chapter 2 Metric Spaces

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

CSE 20 DISCRETE MATH. Fall

Notes for Functional Analysis

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

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Continuity. Chapter 4

Real Variables: Solutions to Homework 3

Math 105A HW 1 Solutions

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

Solutions to Tutorial 7 (Week 8)

Chapter 4. Measure Theory. 1. Measure Spaces

U e = E (U\E) e E e + U\E e. (1.6)

5.5 Deeper Properties of Continuous Functions

Solutions to Homework Set 1

Appendix B Convex analysis

MIDTERM REVIEW FOR MATH The limit

Mathematics 242 Principles of Analysis Solutions for Problem Set 5 Due: March 15, 2013

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

Solution of the 7 th Homework

Math 163 (23) - Midterm Test 1

MATH 131A: REAL ANALYSIS (BIG IDEAS)

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

METRIC SPACES KEITH CONRAD

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Some Background Material

6.2 Deeper Properties of Continuous Functions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Introduction to Real Analysis Alternative Chapter 1

HW 4 SOLUTIONS. , x + x x 1 ) 2

Math LM (24543) Lectures 01

Metric Spaces. DEF. If (X; d) is a metric space and E is a nonempty subset, then (E; d) is also a metric space, called a subspace of X:

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2

CHAPTER 7. Connectedness

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

Section 31. The Separation Axioms

Problems: Section 13-1, 3, 4, 5, 6; Section 16-1, 5, 8, 9;

REVIEW OF ESSENTIAL MATH 346 TOPICS

MATH 31BH Homework 1 Solutions

Math 203A - Solution Set 1

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

. Get closed expressions for the following subsequences and decide if they converge. (1) a n+1 = (2) a 2n = (3) a 2n+1 = (4) a n 2 = (5) b n+1 =

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

1 The Local-to-Global Lemma

2. The Concept of Convergence: Ultrafilters and Nets

MORE ON CONTINUOUS FUNCTIONS AND 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 α.

Functions. Chapter Continuous Functions

Math 203A - Solution Set 1

Solutions for Math 217 Assignment #3

Abstract Measure Theory

Continuity. Chapter 4

Set, functions and Euclidean space. Seungjin Han

REVIEW FOR THIRD 3200 MIDTERM

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Transcription:

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 of the interior and closure (proved in lecture) that will be useful: if S is any subset of R n we have that x S o ε > 0, so that B ε (x) S (1) and x S ε > 0, B ε (x) S. (2) Proceeding with the proof, we have that x ( Ē ) c x / Ē by definition of complement ε > 0 so that B ε (x) E = ε > 0 so that B ε (x) E c contrapositive of (2) with S = E definitions of intersection and complement x (E c ) o (1) applied with S = E c. Therefore ( Ē ) c = (E c ) o as claimed. Alternate proof using the definitions. If x (Ē)c, then by definition of closure, there exists a closed set C E so that x / C. But then x C c E c, and since C is closed C c is open. Therefore x is in an open subset of E c and hence x (E c ) o by definition of interior. Conversely, if x (E c ) o, there exists an open set V E c so that x V by definition of interior. But then x / V c E. Since V is open, V c is closed, so there exists a closed set V c containing E with x / V c. By definition of closure, this means that x / Ē, and hence x (Ē)c. Alternate proof using Theorem 8.32. Using Theorem 8.32i, E Ē. Using that complements reverse inclusions, this implies that (Ē)c E c. Since Ē is closed, (Ē)c is an open set contained in E c so, by Theorem 8.32ii applied to E c, we can conclude that (Ē)c (E c ) o. Next, applying Theorem 8.32i to E c we have that (E c ) o E c, which implies that E = (E c ) c ((E c ) o ) c. Since (E c ) o is open, we conclude that ((E c ) o ) c is a closed set containing E so, by Theorem 8.32iii, we can conclude that Ē ((Ec ) o ) c. Taking complements in this last inclusion we get that (E c ) o = (((E c ) o ) c ) c (Ē)c. Combining this with the conclusion of the first paragraph, we conclude that (E c ) o = (Ē)c. 1 Note that each of the proofs given below can be adapted to show that E c = (E o ) c, i.e. the closure of the complement is the complement of the interior.

(2) Let E R n. (a) Show that if E is connected, then the closure Ē is also connected. Proof. Assume that E is not connected. Then there exist subsets U, V of E so that U and V are disjoint (U V = ), nonempty, relatively open in E, and so that E = U V. Define U = E U, and V = E V. We claim that U and V are nonempty, relatively open in E, and satisfy E = U V, and U V =, and thus E is not connected if E is not connected. Indeed, using that E E, we find and further U V = (E U) (E V ) = E (U V ) = E E = E U V = (E U) (E V ) = E (U V ) = E =, so U V = E and U V =, as claimed. To see that U is relatively open in E, we note that since U is relatively open in E, there exists an open set A R n so that U = E A. Then, U = E U = E (E A) = (E E) A = E A so U is relatively open in E since A is open. An identical argument shows that V is relatively open in E. Finally we claim that U is nonempty. We saw above that there is an open set A so that U = E A and U = E A. Suppose that U = E A is empty. Then E A c, and since A is open A c is closed. But since A c is a closed set containing E, Theorem 8.32 (iii) tells us that E A c. This in turn implies that U = E A =, in contradiction to the fact that U. Therefore U is nonempty. An identical arguement shows that V = E V is nonempty since V is nonempty and relatively open in E. In conclusion, we have shown that if E is not connected, then E is not connected. Therefore, if E is connected, E must be connected as well. (b) Is the converse true, i.e. if Ē is connected must it be the case that E is also connected? Prove or find a counterexample. No. A counterexample is given by E = R \ {0} = (, 0) (0, ). The set is not connected since it is separated by the sets U = (, 0) and V = (0, + ). The closure of E is Ē = R since R is the only closed set containing E. Theorem 8.30 shows that R is connected, so we have found an example of a set E which is not connected, but has connected closure. 2

(3) (8.4.9) Find examples of: (a) sets A, B in R such that (A B) o A o B o. Example. Let A = [ 1, 0] and B = [0, 1]. Then (A B) o = ([ 1, 0] [0, 1]) o = [ 1, 1] o = ( 1, 1) A o B o = [ 1, 0] o [0, 1] o = ( 1, 0) (0, 1). (b) sets A, B in R such that A B Ā B. Example. Let A = ( 1, 0) and B = (0, 1). Then A B = ( 1, 0) (0, 1) = = Ā B = ( 1, 0) (0, 1) = [ 1, 0] [0, 1] = {0}. (c) sets A, B in R such that (A B) A B and (A B) A B. Example. Let A = [ 1, 0] and B = [0, 1]. Then A B = { 1, 0} {0, 1} = { 1, 0, 1} (A B) = ([ 1, 1]) = { 1, 1} and (A B) = ({0}) = {0}. 3

(4) (9.1.8) (a) Let E be a subset of R n. A point a R n is called a cluster point of E if E B r (a) contains infinitely many points for every r > 0. Prove that a is a cluster point of E if and only if for each r > 0, E B r (a) \ {a} is nonempty. Proof. First assume that a is a cluster point of E, i.e. that for every r > 0 the set E B r (a) contains infinitely many points. We aim to show that for all r > 0 that E B r (a) \ {a} is nonempty. Assuming to the contrary that there exists an r > 0 so that E B r (a) \ {a} = lets us conclude that E B r (a) {a}. Thus E B r (a) is a finite set in contradiction to the assumption that E B r (a) contains infinitely many points for all r > 0. We conclude that E B r (a) \ {a} is nonempty for all r > 0. We next assume that E B r (a) \ {a} is nonempty for all r > 0. Define r 1 = 1 and choose a point x 1 E B r1 (a) \ {a}. Then construct sequences {r k } and {x k } inductively by r k = min { 1, x 2 k 1 k 1 a } and choose an x k E B rk (a) \ {a}. Note that each r k is positive since x k a by assumption. Further, note that x k x k 1 and r k < r k 1 for all k > 1 since x k a < r k x k 1 a < r k 1 (3) by construction. Finally, note that the squeeze theorem tells us that lim k r k = 0 since 0 < r k 1 2 k 1 for all k N \ {1}. We claim that for each r > 0 that E B r (a) contains infinitely many points. Indeed, given r > 0, the fact that lim k r k = 0 allows us to find an N N so that r k < r for k N. Then for k N we can use (3) to conclude that x k a < r k r N < r so x k B r (a) for all k N. Since x k E by construction and each of the x k are distinct by (3), we can conclude that B r (a) E contains the infinite set {x k } k N. Alternate proof. We argue exactly as above to show that if a is a cluster point of E, then E B r (a) \ {a} is nonempty for all r > 0. We next assume that E B r (a)\{a} is nonempty for all r > 0. We will argue by contradiction to show that a is a cluster point of E. If a is not cluster point of E, then there exists an r > 0 for which E B r (a) is a finite set. We can conclude that E B r (a) \ {a} is also a finite set, and we write E B r (a) \ {a} = {x 1,..., x j }. Define r = min { x i a } > 0. i {1,...,j} Then, since x i a r for all i {1,..., j}, it follows that E B r (a) \ {a} is empty, in contradiction to the assumption that E B r (a) \ {a} is nonempty for all r > 0. This contradiction shows that a must be a cluster point of E. 4

(b) Prove that every bounded infinite subset of R n has at least one cluster point. Proof. Denoting the set by E, the fact that E is infinite allows us to choose a sequence {x k } k N with x k E for all k N and x k x j if k j. 2 By the Bolzano-Weierstrass theorem {x k } has a convergent subsequence which we will denote by y k = x jk, and we note that since the x k are distinct, so are the y k, i.e. y k y j if k j. Let L = lim k y k. We claim that L is a cluster point of E. Indeed, let r > 0. Since y k converges to L, there is an N N so that y k B r (L) if k N. Since the y k are distinct, and y k E for all k N by assumption, we conclude that B r (L) E contains the infinite set {y k } k N. Therefore L is a cluster point of E as claimed. 2 Choose any x1 E, and then choose x n+1 E \ {x 1,..., x n}. Since E is assumed to infinite, none of the sets E \ {x 1,..., x n} can be empty. 5