M17 MAT25-21 HOMEWORK 6

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

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

Homework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.

Math 341 Summer 2016 Midterm Exam 2 Solutions. 1. Complete the definitions of the following words or phrases:

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.

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.

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

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

Problem Set 2: Solutions Math 201A: Fall 2016

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

EC 521 MATHEMATICAL METHODS FOR ECONOMICS. Lecture 1: Preliminaries

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

Maths 212: Homework Solutions

Consequences of Continuity

MT804 Analysis Homework II

In N we can do addition, but in order to do subtraction we need to extend N to the integers

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

In N we can do addition, but in order to do subtraction we need to extend N to the integers

REVIEW OF ESSENTIAL MATH 346 TOPICS

A lower bound for X is an element z F such that

Spring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures

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

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

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

Homework 3 Solutions, Math 55

Sample Problems for the Second Midterm Exam

The Real Number System

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

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

Real Analysis Notes. Thomas Goller

That is, there is an element

Math LM (24543) Lectures 01

Set, functions and Euclidean space. Seungjin Han

Math 117: Topology of the Real Numbers

Characterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets

Continuity. Chapter 4

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

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

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

Real Variables: Solutions to Homework 3

Math 410 Homework 6 Due Monday, October 26

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

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

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

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

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

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)

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

Math 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

The Heine-Borel and Arzela-Ascoli Theorems

Consequences of Continuity

Math 421, Homework #9 Solutions

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

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

Discrete Mathematics. Spring 2017

Homework 1 (revised) Solutions

The Lebesgue Integral

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.

Logical Connectives and Quantifiers

MAT1000 ASSIGNMENT 1. a k 3 k. x =

NORMS ON SPACE OF MATRICES

The Arzelà-Ascoli Theorem

A LITTLE REAL ANALYSIS AND TOPOLOGY

Math 328 Course Notes

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

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

Solutions for Homework Assignment 2

MATH 117 LECTURE NOTES

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

MATH 301 INTRO TO ANALYSIS FALL 2016

MATHS 730 FC Lecture Notes March 5, Introduction

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010

Lecture 4: Completion of a Metric Space

2. Metric Spaces. 2.1 Definitions etc.

Lecture Notes on Metric Spaces

Solutions to Homework Assignment 2

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

Midterm Review Math 311, Spring 2016

Introduction to Topology

Numerical Sequences and Series

Contribution of Problems

Week 2: Sequences and Series

Lecture 2: A crash course in Real Analysis

Part III. 10 Topological Space Basics. Topological Spaces

Mid Term-1 : Practice problems

Essential Background for Real Analysis I (MATH 5210)

Continuity. Matt Rosenzweig

2.1 Convergence of Sequences

A lower bound for X is an element z F such that

Introductory Analysis 1 Fall 2009 Homework 4 Solutions to Exercises 1 3

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

Elementary Analysis Math 140C Spring 1993

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

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 :

Some Background Material

Real Analysis. Joe Patten August 12, 2018

Class Notes for MATH 255.

Transcription:

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 Convergence of Iterated and Double Series (Abbott Theorem 2.8.1) Let (a ij ) be a double sequence. If the iterated series a ij j=1 j=1 a ij and converges, then both iterated series j=1 a ij converge to the same value A, and the unordered series i,j=1 a ij converges as a square sum to A as well. Let (a ij ) be a double sequence and suppose that the iterated series converges. Define t mn = m n j=1 a ij. Exercise 1: (Abbott Exercise 2.8.3) j=1 a ij (a) Prove that the sequence (t nn ) converges. (b) Use the fact that (t nn ) is a Cauchy sequence to argue that (s nn ) converges. Now we show that the iterated sum j=1 a ij converges to S. Solution 1. (a) By hypothesis, the iterated series j=1 a ij converges. This means that for all i N, the series j=1 a ij converges to some b i, and the series b i converges as well, say to C. Define t mn = m n j=1 a ij. We claim that the sequence (t nn ) n=1 converges. Given any i N, note that the sequence of partial sums of j=1 a ij is increasing. Since j=1 a ij = b i, it follows that a i1 +... a in b i for all n N. Furthermore, each b i is nonnegative. So since b i = C, we have that b 1 +... + b n C for all n N. Therefore, we can compute t nn = ( a 11 +... a 1n ) + ( a 21 +... a 2n ) +... + ( a n1 +... a nn ) b 1 + b 2 +... + b n C. Hence the sequence (t nn ) is bounded above by C. Additionally, (t nn ) is increasing. Therefore by the monotone convergence theorem, (t nn ) converges. (b) Now we claim that (s nn ) is Cauchy. Let ɛ > 0 be arbitrary. Since (t nn ) converges, it is Cauchy. Therefore there exists some N N such that if n > m N, we have t nn t mm < ɛ. Compute 1

M17 MAT25-21 HOMEWORK 6 2 s nn s mm = (1) m<i n m<j n m<i n m<j n a ij a ij = t nn t mm < ɛ. Here (1) follows from the triangle inequality. Therefore if n > m N, we have that s nn s mm < ɛ. So (s nn ) is a Cauchy sequence, and therefore converges. Let S = lim n s nn. Let S = lim n s nn and B = sup{t mn m, n N}. Exercise 2: (Abbott Exercise 2.8.4) (a) Let ɛ > 0 be arbitrary and prove that there exists N 1 N such that for all n, m N 1, we have B ɛ/4 < t mn B. (b) Show that there exists N N such that for all n, m N, we have s mn S < ɛ/2. Solution 2. (a) Since (t nn ) is bounded by C, for any m, n N, we let k = max(m, n) and then we have that t mn t kk B. Hence the set {t mn m, n N} is bounded, and therefore we can let B = sup{t mn m, n N}. Given any ɛ > 0, there exists t mñ such that B ɛ/4 < t mñ B. Let N 1 = max( m, ñ). Then we have that t mñ t N1 N 1 B, and if n, m N 1, then we have B ɛ/4 < t mñ t N1 N 1 t mn B. Therefore we have found N 1 N such that if n, m N 1, then B ɛ/4 < t mn B. As a consequence of this, we have that whenever n, m N 1, it follows that t mn t mm < ɛ/4. (b) Furthermore, since (s nn ) S, there exists N 2 such that if n N then s nn S < ɛ/4. Let N = max(n 1, N 2 ). Then if n, m N, we may assume, without loss of generality, that n > m. Then we compute s mn S = s mn s mm + s mm S s mn s mm + s mm S (1) t mn t mm + s mm S < ɛ/4 + ɛ/4 = ɛ/2 Here, (1) follows from the triangle inequality. By hypothesis, for each i, the series j=1 a ij converges, and therefore the series j=1 a ij converges to some r i R.

M17 MAT25-21 HOMEWORK 6 3 Exercise 3: (Abbott Exercise 2.8.5) (a) Let ɛ > 0 and N be as in the previous exercise. Show that for all m N we have (r 1 +... + r m ) S ɛ/2 < ɛ. Conclude that the iterated sum j=1 a ij converges to S. (b) Show that the other iterated sum j=1 a ij also converges to S. Notice that the same argument can be used once it is established that, for each column j, the sum a ij converges to some real number c j. Solution 3. (a) Recall that by hypothesis, for each i N, j=1 a ij converges, so the series j=1 a ij is absolutely convergent, and therefore convergent, say to r i. Then for any m N, the Algebraic Limit Theorem says that m a ij = r 1 +... + r m. j=1 Since the sequence of partial sums of j=1 m a ij is (s mn ), it follows that lim s mn = r 1 +... + r m. n Therefore if m N, then for all n N, we have Hence by the Order Limit Theorem ɛ/2 + S < s mn < ɛ/2 + S. ɛ/2 + S r 1 +... + r m ɛ/2 + S = (r 1 +... + r m ) S ɛ/2 = (r 1 +... + r m ) S < ɛ. Therefore it follows that r i = S. In other words, we have j=1 a ij = S, as desired. (b) To show that the other iterated series converges to S, we first show that the jth column of the series converges for all j N. Recall that summing along the rows gives j=1 a ij = b i. This implies that a ij b i. Since j=1 b j converges, the Comparison Test then implies that j=1 a ij converges as well, say to c j. Then a similar argument to that above shows that j=1 a ij = S, as desired. Products of Series. Exercise 4: (Abbott Exercise 2.8.7) Assume that a i and j=1 b j converge absolutely to A and B respectively. (a) Prove that the iterated series j=1 a ib j converges. (b) Prove that the unordered series i,j=1 a ib j converges as a square sum to AB, and use it to show that the iterated series j=1 a ib j and j=1 a ib j, as well as k=2 d k, all converge to AB. Here, as in the lecture notes, we define d k = 1 i,j k i+j=k a i b j = a 1 b k 1 + a 2 b k 2 +... + a k 1 b 1.

M17 MAT25-21 HOMEWORK 6 4 Solution 4. (a) Since j=1 b j converges absolutely, it follows that j=1 b j converges to some D R, hence by the Algebraic Limit Theorem, for each i N, j=1 a i b j converges to a i D. But then because a i converges to some C R, the sum a i D converges to CD. Therefore the iterated series j=1 a ib j converges to CD. (b) The sequence (s nn ) is given by s nn = n j=1 n a i b j = (a 1 +... + a n )(b 1 +... + b n ). Since lim n (a 1 +... + a n ) = A and lim n (b 1 +... + b n ) = B, it follows from the Algebraic Limit Theorem for sequences that lim n s nn = AB. Hence the unordered series i,j=1 a ib j converges as a square sum to AB. By the previous three Exercises, it then follows that the iterated series j=1 a ib j and j=1 a ib j also converge to AB. The sequence (t m ) of partial sums of the series k=2 d k satisfies t m = d 2 +... + d m+1 = s l,l t m s m+1,m+1. for some l N. Therefore by the squeeze theorem, it follows that lim m t m = AB. Open sets, Closed Sets, and Limit Points. Exercise 5: (Abbott Exercise 3.2.6) Decide whether the following statements are true or false. If they re true, prove them. If they are false, provide counter examples. (a) An open set that contains every rational number must necessarily contain all of R. (b) The Nested Interval Property remains true if the term closed interval is replaced by closed set. (c) Every nonempty open set contains a rational number. (d) Every bounded, infinite, closed set contains a rational number. Solution 5. (a) This is false. The set (, 2) ( 2, ) is the union of two open intervals, and is therefore open, and it contains every real number except for 2, so it contains every rational number, however it does not contain 2, so it does not contain every real number. (b) This is false. Let F 1 = N, F 2 = N {1}, F 3 = N {1, 2}, and for any n N, F n = N {1, 2,..., n 1}. A similar proof to that which we used to show that N is closed shows that F n is closed for all n N. Furthermore n F n, so F n is nonempty. Finally, we have that F 1 F 2 F 3... However for each n N, we have that n / F n+1, and therefore n=1 F n =. (c) This is true. Let O be a nonempty open set. Since it is nonempty, there exists x O, and since O is open, it follows that there is some ɛ > 0 such that V ɛ (x) O. Then x ɛ < x + ɛ, so by the density of Q in R, there exists some r Q with x ɛ < r < x + ɛ, and therefore r V ɛ (x) O. (d) This is not true. Consider the set { 2 + 1 n n N} { 2}. Then Problem 3 on the practice final tells us that this set is closed, and yet because 2 is irrational, so is 2 + 1 n for all n N. This follows from noting that if 2 + 1 n were rational, then because 1 n is also rational, and the sum of two rational numbers is rational, it follows that 2 = 2 + 1 n 1 n Q, a contradiction.

M17 MAT25-21 HOMEWORK 6 5 Closure. Exercise 6: (Abbot Exercise 3.2.4) Let A be nonempty and bounded above so that sup(a) exists. (a) Show that sup(a) A. (b) Can an open set contain its supremum? Solution 6. (a) If sup(a) A, then sup(a) A since A = A L where L is the set of limit points of A. If sup(a) / A, then Problem 4 part (c) on the practice midterm shows that sup(a) is a limit point of A, and therefore sup(a) L, so sup(a) A. (b) No. Let U be an open, nonempty, bounded above subset of R. Then s = sup U exists. If s U, then because U is open, there exists some ɛ > 0 such that V ɛ (s) U. However s < s + ɛ/2, yet s + ɛ/2 is contained in V ɛ (s), and therefore in U, contradicting that s is an upper bound for U. Therefore s / U, as desired. Exercise 7: (Abbot Exercise 3.2.8) Assume A is an open set and B is a closed set. Determine if the following sets are open, closed, both, or neither and prove your result. (a) A B. (b) A B = {x A x / B}. (c) (A c B) c. (d) (A B) (A c B). (e) (A) c A c. Solution 7. (a) (Closed). Always. For any set C, C is closed. Therefore A B is always closed. (Open). Sometimes. If we let A = B = R, then we have A B = R which is open. On the other hand, if we let A = B = [0, 1]. Then A B = [0, 1], which is not open. (Both). Sometimes. If we let A = B = R, then we have A B = R which is both open and closed. On the other hand, if we let A = B = [0, 1]. Then A B = [0, 1], which is not open, and hence not both open and closed. (Neither). Never. Since A B is always closed, it can never be neither open nor closed. (b) (Open). Always. Note that we can write A B = A B c. Therefore if A is open and B is closed, B c is open, and therefore this is the intersection of finitely many open sets, which is open. (Closed). Sometimes. If we let B = and A = R, then A B = R, which is closed. On the other hand, if we let A = (0, 2) and B = [1, 3], then A B = (0, 1) which is not closed. (Both). Sometimes. If we let B = and A = R, then A B = R, which is both open and closed. On the other hand, if we let A = (0, 2) and B = [1, 3], then A B = (0, 1) which is not closed, and hence not both open and closed. (Neither). Never. Since A B is open, it can never be neither open nor closed. (c) (Closed). Always. Since A is open, A c is closed. Since B is open and the union of open sets is open, A c B is open. Then (A c B) c is closed. (Open). Sometimes. If we let A = B = R, then we have (A c B) c = which is open. On the other hand, if we let A = R, B = (0, 1). Then (A c B) c = (, 0] [1, ) which is not open. (Both). Sometimes. If we let A = B = R, then we have (A c B) c = which is both open and closed. On the other hand, if we let A = R, B = (0, 1). Then (A c B) c = (, 0] [1, ) which is not open, and hence not both open and closed. (Neither). Never. Since (A c B) c is always closed, it can never be neither open nor closed.

(d) In this case, in fact we have that (A B) (A c B) = B. Therefore, M17 MAT25-21 HOMEWORK 6 6 (Open). Always. By hypothesis, B is open. (Closed). Sometimes. If B =, R, then B is closed as well. If B = (0, 1), then B is not closed. (Both). Sometimes. If B =, R, then B is open and closed. If B = (0, 1), then B is not both closed and open. (Neither). Never. Since B is always open, it follows that B is never neither open nor closed. (e) In this case, since A is open, it follows that A c is closed, and hence that A c = A c. Since A A, we have (A) c A c, hence (A) c A c = (A) c. (Open). Always. Since A is closed, (A) c is open. (Closed). Sometimes. If A =, then (A) c = R which is closed. If A = (0, 1), then A = [0, 1] and (A) c = (, 0) (1, ) which is not closed. (Both). Sometimes. If A =, then (A) c = R which is both closed and open. If A = (0, 1), then A = [0, 1] and (A) c = (, 0) (1, ) which is not closed and therefore not both open and closed. (Neither). Never. Since (A) c is open is always open, it follows that (A) c is open is never neither open nor closed. Exercise 8: (Abbot Exercise 3.2.14) Define the interior of a set E to be the set E = U E U open (a) Prove that E = {x E V ɛ (x) E for some ɛ > 0}. (b) Show that E is closed if and only if E = E. Show that E is open if and only if E = E. (c) Show that (E) c = (E c ) and (E ) c = E c. U Solution 8. (a) Define A = {x E V ɛ (x) E for some ɛ > 0}. We show mutual containment. ( ). Given any open subset U E, for any x U, by openness of U, we have that there exists ɛ > 0 such that V ɛ (x) U E. But this implies that x A, hence U A. Since U was an arbitrary open subset of E, it follows that E = U E U open U A as well. ( ). We ll show that A is an open set. Given any y A, we have that y E and there exists some ɛ > 0 such that V ɛ (y) Y. However, since the set V ɛ (y) is open, for any z V ɛ (y), there exists some δ > 0 such that V δ (z) V ɛ (y) E. Therefore z A as well. Hence in fact we have V ɛ (y) A. Since y A was arbitrary, it follows that A is open. Note also that A E. So A is one of the sets in the union U E U open U, which implies that A E. (b) (Closure). Recall that E = E L where L is the set of limit points of E. ( ). If E is closed, then E contains all of its limit points, therefore L E, so E = E L = E. ( ). If E = E, then because the closure of any set is closed, it follows that E is closed as well. (Interior). ( ). If E is open, then for every point in x there exists ɛ > 0 such that V ɛ (x) E. Therefore every x is in {x E V ɛ (x) for some ɛ > 0} = E. Since it s clear from the definition that E E, we have that E = E. ( ). If E = E, then since E is by definition a union of open sets, it is itself open, and therefore E is open as well. (c) ((E) c = (E c ) ). We show mutual containment. ( ). Since E is a closed set, it follows that (E) c is an open set. Furthermore since E E, we have that (E) c E c. Therefore (E) c is an open set which is contained in E c, so it is contained in (E c ). ( ). Suppose that U is an open subset of E c. Then for any x U, there exists some ɛ > 0 such that V ɛ (x) U. This shows that x is not in E and that x is not a limit point of E, and

M17 MAT25-21 HOMEWORK 6 7 therefore that U (E) c. Hence every open subset of E c is also contained in (E) c. Since (E c ) is the union of all of these open sets, it follows that (E c ) (E) c. ((E ) c = E c ). We show mutual containment. ( ). Let F be a closed set which contains E c. Then F c is open and F c E. Hence F c E, which implies that F (E ) c. Hence any closed subset containing E c also contains (E ) c, so in particular we have (E ) c E c. ( ). Since E is an open set, it follows that (E ) c is a closed set. Furthermore, since E E, we have that E c (E ) c. But this implies that (E ) c is a closed set which contains E c, and therefore E c (E ) c. Compact Sets. Exercise 9: (Abbot Exercise 3.3.4) Assume K is a compact set and F is a closed set. Determine if the following sets are open, closed, both, or neither, and prove your result. (a) K F. (b) F c K c. (c) K F = {x K x / F }. (d) K F c. Solution 9. (a) (Closed). Always. Since K is compact, it is closed, and since K and F are closed, K F is closed. (Open). Sometimes. If K = [0, 1] and F =, then K F = which is open. However let K = [0, 1] = F. Then K F = [0, 1] which is not open. (Both). Sometimes. If K = [0, 1] and F =, then K F = which is both open and closed. However let K = [0, 1] = F. Then K F = [0, 1] which is not both open and closed. (Neither). Never. Since K F is always closed, it follows that K F is never neither open nor closed. (b) (Closed). Always. The closure of any set is a closed set. (Open). Sometimes. Let F = K =. Then F c = K c = R, hence F c K c = R, so F c K c = R, which is open. But if we let F = K = [0, 1], (Both). Sometimes. Let F = K =. Then F c = K c = R, hence F c K c = R, so F c K c = R, which is also open. (Neither). Never. Since F c K c is always closed, it follows that F c K c is never neither open nor closed. (c) (Closed). Sometimes. If K = F =, then K F =, which is closed. On the other hand, if K = [0, 3] and F = [1, 2], then K F = [0, 1) (2, 3], which is not closed. (Open). Sometimes. If K = F =, then K F =, which is open. On the other hand, if K = [0, 3] and F = [1, 2], then K F = [0, 1) (2, 3], which is not open. (Both). Sometimes. If K = F =, then K F =, which is both open and closed. On the other hand, if K = [0, 3] and F = [1, 2], then K F = [0, 1) (2, 3], which is not both open and closed. (Neither). Sometimes. If K = F =, then K F =, which is not neither. On the other hand, if K = [0, 3] and F = [1, 2], then K F = [0, 1) (2, 3], which is neither open nor closed. (d) (Closed). Always. The closure of any set is always closed. (Open). Sometimes. If K =, F = R, then K F c =, which is open. But if K = [0, 1] and F =, then K F c = [0, 1], which is not open. (Both). Sometimes. If K =, F = R, then K F c =, which is both open and closed. But if K = [0, 1] and F =, then K F c = [0, 1], which is not both open and closed. (Neither). Never. Since it is always closed, it is never neither open nor closed.

M17 MAT25-21 HOMEWORK 6 8 Exercise 10: (Abbot Exercise 3.3.4) Decide whether the following propositions are true or false. If they are true, prove it. If not, find a counter example. (a) The arbitrary intersection of compact sets is compact. (b) The arbitrary union of compact sets is compact. (c) Let A be arbitrary and let K be compact. Then, the intersection A K is compact. (d) If F 1 F 2... is a nested sequence of non-empty closed sets, then we have n=1 F n. Solution 10. (a) This is true. Let {K α α I} be a collection of compact sets. Then by the Heine-Borel theorem, each K α is closed and bounded. Since α I K α is contained in every K α, it follows that this intersection is bounded as well. Furthermore, because each K α is closed and the arbitrary intersection of closed sets is closed, it follows that α I K α is closed as well. Hence α I K α is closed and bounded, which implies it is compact by the Heine-Borel theorem. (b) This is false. For n Z, let K n = [n, n + 1]. Then each K n is closed and bounded, so by the Heine-Borel theorem, each K n is compact. However, we compute K n = R, n= which is not bounded, and therefore not compact by the Heine-Borel theorem. (c) This is false. The interval K = [0, 2] is closed and bounded and hence compact, yet if we let A = (1, 3), then K A = (1, 2] which is not closed, and therefore not compact. (d) This is false. (And actually the same as Exercise 5 (b)). Let F 1 = N, F 2 = N {1}, F 3 = N {1, 2}, and for any n N, F n = N {1, 2,..., n 1}. A similar proof to that which we used to show that N is closed shows that F n is closed for all n N. Furthermore n F n, so F n is nonempty. Finally, we have that F 1 F 2 F 3... However for each n N, we have that n / F n+1, and therefore n=1 F n =. 2. Practice Problems (Don t hand these in) Exercise 11: (Abbot Exercise 3.2.11) (a) Prove that A B = A B. (b) Does this result about closures extend to infinite unions of sets?