82
Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 1 / 22

Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Chapter 1 (cont.)

Daniel H. Luecking

Aug 26, 2020

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 1 / 22

Page 2: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Outline

1 Metric spaces

2 Open and closed sets

3 Compact sets

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 2 / 22

Page 3: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Distance functions

Let X be a set and d : X × X → [0,∞). We call d a metric if

1 ∀x , y ∈ X , d(x , y) = 0 if and only if x = y .

2 ∀x , y ∈ X , d(x , y) = d(y , x).

3 ∀x , y , z ∈ X , d(x , z) ≤ d(x , y) + d(y , z).

A set X with a metric d is called a metric space.

In a metric space (X , d) if x0 ∈ X and r > 0 denoteB(x0, r) = {x ∈ X : d(x , x0) < r}. We call this the open ball centered atx0 with radius r . It is also referred to as a neighborhood (abbr. nbd) ofx0. We also have the closed balls: B(x0, r) = {x ∈ X : d(x , x0) ≤ r}.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 3 / 22

Page 4: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Open sets

A set U in any metric space (X , d) is called open iff

∀x ∈ U, ∃δ > 0, B(x , δ) ⊆ U .

That is, U contains a nbd of each of its points. For example, an open ballB(x0, r) is open: if x ∈ B(x0, r) then B(x , δ) ⊆ B(x0, r) ifδ = r − d(x , x0).

In general, if∃δ > 0, B(x , δ) ⊆ A

we call x an interior point of A. So U is open iff all its points are interiorpoints.

If A is a set and x ∈ X satisfies ∀δ > 0, B(x , δ) ∩ A 6= ∅(stated another way: every nbd of x meets A) we call x a point of closureof A. We say A is closed iff it contains all of its points of closure. Forexample, closed balls B(x0, r) are closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 4 / 22

Page 5: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Open sets

A set U in any metric space (X , d) is called open iff

∀x ∈ U, ∃δ > 0, B(x , δ) ⊆ U .

That is, U contains a nbd of each of its points. For example, an open ballB(x0, r) is open: if x ∈ B(x0, r) then B(x , δ) ⊆ B(x0, r) ifδ = r − d(x , x0).

In general, if∃δ > 0, B(x , δ) ⊆ A

we call x an interior point of A. So U is open iff all its points are interiorpoints.

If A is a set and x ∈ X satisfies ∀δ > 0, B(x , δ) ∩ A 6= ∅(stated another way: every nbd of x meets A) we call x a point of closureof A. We say A is closed iff it contains all of its points of closure. Forexample, closed balls B(x0, r) are closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 4 / 22

Page 6: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Open sets

A set U in any metric space (X , d) is called open iff

∀x ∈ U, ∃δ > 0, B(x , δ) ⊆ U .

That is, U contains a nbd of each of its points. For example, an open ballB(x0, r) is open: if x ∈ B(x0, r) then B(x , δ) ⊆ B(x0, r) ifδ = r − d(x , x0).

In general, if∃δ > 0, B(x , δ) ⊆ A

we call x an interior point of A. So U is open iff all its points are interiorpoints.

If A is a set and x ∈ X satisfies ∀δ > 0, B(x , δ) ∩ A 6= ∅(stated another way: every nbd of x meets A) we call x a point of closureof A. We say A is closed iff it contains all of its points of closure. Forexample, closed balls B(x0, r) are closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 4 / 22

Page 7: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Relationship between open and closed

By negating the definitions we see that x is a point of closure of A if andonly if it is not an interior point of Ac . Thus, A is closed if and only if Ac

is open.

Let IntA (or Ao) denote the set of interior points of A and A (or Cl(A))the set of points of closure. From their definitions, IntA ⊆ A ⊆ A. Also,IntA is always open and A is always closed.

In fact, IntA is the largest open set contained in A and A is the smallestclosed set that contains A.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 5 / 22

Page 8: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Relationship between open and closed

By negating the definitions we see that x is a point of closure of A if andonly if it is not an interior point of Ac . Thus, A is closed if and only if Ac

is open.

Let IntA (or Ao) denote the set of interior points of A and A (or Cl(A))the set of points of closure. From their definitions, IntA ⊆ A ⊆ A. Also,IntA is always open and A is always closed.

In fact, IntA is the largest open set contained in A and A is the smallestclosed set that contains A.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 5 / 22

Page 9: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Relationship between open and closed

By negating the definitions we see that x is a point of closure of A if andonly if it is not an interior point of Ac . Thus, A is closed if and only if Ac

is open.

Let IntA (or Ao) denote the set of interior points of A and A (or Cl(A))the set of points of closure. From their definitions, IntA ⊆ A ⊆ A. Also,IntA is always open and A is always closed.

In fact, IntA is the largest open set contained in A and A is the smallestclosed set that contains A.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 5 / 22

Page 10: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of open and closed sets

For any metric space X open sets satisfy:

1 X and ∅ are open.

2 If Aj , j = 1, 2, 3, . . . , n are open, so is⋂n

j=1 Aj .

3 If A is any family of open sets then⋃A is open.

And closed sets satisfy:

1 X and ∅ are closed.

2 If Bj , j = 1, 2, 3, . . . , n are closed, so is⋃n

j=1 Bj .

3 If B is any family of closed sets then⋂B is closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 6 / 22

Page 11: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of open and closed sets

For any metric space X open sets satisfy:

1 X and ∅ are open.

2 If Aj , j = 1, 2, 3, . . . , n are open, so is⋂n

j=1 Aj .

3 If A is any family of open sets then⋃A is open.

And closed sets satisfy:

1 X and ∅ are closed.

2 If Bj , j = 1, 2, 3, . . . , n are closed, so is⋃n

j=1 Bj .

3 If B is any family of closed sets then⋂B is closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 6 / 22

Page 12: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Open sets in R

A set U ⊆ R is open iff for all x ∈ U there exists δ > 0 such that(x − δ, x + δ) ⊆ U. Any open interval in R is open.

Theorem

If a set U ⊆ R is open if and only if U is a union of countably manydisjoint open intervals.

Proof: Let U be open. Define a relation on U by x ∼ y iff there is an openinterval (a, b) ⊆ U with x , y ∈ (a, b). I leave it as an exercise to prove that∼ is an equivalence relation and the equivalence classes are open intervals.

There are countably many, because each contains a different rationalnumber.

For the converse: any union of open sets is open.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 7 / 22

Page 13: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Open sets in R

A set U ⊆ R is open iff for all x ∈ U there exists δ > 0 such that(x − δ, x + δ) ⊆ U. Any open interval in R is open.

Theorem

If a set U ⊆ R is open if and only if U is a union of countably manydisjoint open intervals.

Proof: Let U be open. Define a relation on U by x ∼ y iff there is an openinterval (a, b) ⊆ U with x , y ∈ (a, b). I leave it as an exercise to prove that∼ is an equivalence relation and the equivalence classes are open intervals.

There are countably many, because each contains a different rationalnumber.

For the converse: any union of open sets is open.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 7 / 22

Page 14: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Open sets in R

A set U ⊆ R is open iff for all x ∈ U there exists δ > 0 such that(x − δ, x + δ) ⊆ U. Any open interval in R is open.

Theorem

If a set U ⊆ R is open if and only if U is a union of countably manydisjoint open intervals.

Proof: Let U be open. Define a relation on U by x ∼ y iff there is an openinterval (a, b) ⊆ U with x , y ∈ (a, b). I leave it as an exercise to prove that∼ is an equivalence relation and the equivalence classes are open intervals.

There are countably many, because each contains a different rationalnumber.

For the converse: any union of open sets is open.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 7 / 22

Page 15: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Open sets in R

A set U ⊆ R is open iff for all x ∈ U there exists δ > 0 such that(x − δ, x + δ) ⊆ U. Any open interval in R is open.

Theorem

If a set U ⊆ R is open if and only if U is a union of countably manydisjoint open intervals.

Proof: Let U be open. Define a relation on U by x ∼ y iff there is an openinterval (a, b) ⊆ U with x , y ∈ (a, b). I leave it as an exercise to prove that∼ is an equivalence relation and the equivalence classes are open intervals.

There are countably many, because each contains a different rationalnumber.

For the converse: any union of open sets is open.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 7 / 22

Page 16: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Open sets in R

A set U ⊆ R is open iff for all x ∈ U there exists δ > 0 such that(x − δ, x + δ) ⊆ U. Any open interval in R is open.

Theorem

If a set U ⊆ R is open if and only if U is a union of countably manydisjoint open intervals.

Proof: Let U be open. Define a relation on U by x ∼ y iff there is an openinterval (a, b) ⊆ U with x , y ∈ (a, b). I leave it as an exercise to prove that∼ is an equivalence relation and the equivalence classes are open intervals.

There are countably many, because each contains a different rationalnumber.

For the converse: any union of open sets is open.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 7 / 22

Page 17: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Closed sets in R

Closed intervals are closed as are [a,∞) and (−∞, b]. Finite unions ofclosed intervals are closed.

The Cantor middle thirds set (defined below) is closed, being theintersection closed sets.

Start with the interval C0 = [0, 1] and remove the open middle third,(1/3, 2/3) leaving two closed intervals C1 = [0, 1/3] ∪ [2/3, 1]. Repeat thiswith those two intervals to getC2 = [0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1]. Repeat this indefinitelyand we get C =

⋂∞n=1 Cn.

C is nonempty because it contains all the endpoints of the intervals ineach Cn. Thus it is infinite.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 8 / 22

Page 18: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Closed sets in R

Closed intervals are closed as are [a,∞) and (−∞, b]. Finite unions ofclosed intervals are closed.

The Cantor middle thirds set (defined below) is closed, being theintersection closed sets.

Start with the interval C0 = [0, 1] and remove the open middle third,(1/3, 2/3) leaving two closed intervals C1 = [0, 1/3] ∪ [2/3, 1]. Repeat thiswith those two intervals to getC2 = [0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1]. Repeat this indefinitelyand we get C =

⋂∞n=1 Cn.

C is nonempty because it contains all the endpoints of the intervals ineach Cn. Thus it is infinite.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 8 / 22

Page 19: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Closed sets in R

Closed intervals are closed as are [a,∞) and (−∞, b]. Finite unions ofclosed intervals are closed.

The Cantor middle thirds set (defined below) is closed, being theintersection closed sets.

Start with the interval C0 = [0, 1] and remove the open middle third,(1/3, 2/3) leaving two closed intervals C1 = [0, 1/3] ∪ [2/3, 1].

Repeat thiswith those two intervals to getC2 = [0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1]. Repeat this indefinitelyand we get C =

⋂∞n=1 Cn.

C is nonempty because it contains all the endpoints of the intervals ineach Cn. Thus it is infinite.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 8 / 22

Page 20: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Closed sets in R

Closed intervals are closed as are [a,∞) and (−∞, b]. Finite unions ofclosed intervals are closed.

The Cantor middle thirds set (defined below) is closed, being theintersection closed sets.

Start with the interval C0 = [0, 1] and remove the open middle third,(1/3, 2/3) leaving two closed intervals C1 = [0, 1/3] ∪ [2/3, 1]. Repeat thiswith those two intervals to getC2 = [0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1].

Repeat this indefinitelyand we get C =

⋂∞n=1 Cn.

C is nonempty because it contains all the endpoints of the intervals ineach Cn. Thus it is infinite.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 8 / 22

Page 21: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Closed sets in R

Closed intervals are closed as are [a,∞) and (−∞, b]. Finite unions ofclosed intervals are closed.

The Cantor middle thirds set (defined below) is closed, being theintersection closed sets.

Start with the interval C0 = [0, 1] and remove the open middle third,(1/3, 2/3) leaving two closed intervals C1 = [0, 1/3] ∪ [2/3, 1]. Repeat thiswith those two intervals to getC2 = [0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1]. Repeat this indefinitelyand we get C =

⋂∞n=1 Cn.

C is nonempty because it contains all the endpoints of the intervals ineach Cn. Thus it is infinite.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 8 / 22

Page 22: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Closed sets in R

Closed intervals are closed as are [a,∞) and (−∞, b]. Finite unions ofclosed intervals are closed.

The Cantor middle thirds set (defined below) is closed, being theintersection closed sets.

Start with the interval C0 = [0, 1] and remove the open middle third,(1/3, 2/3) leaving two closed intervals C1 = [0, 1/3] ∪ [2/3, 1]. Repeat thiswith those two intervals to getC2 = [0, 1/9] ∪ [2/9, 1/3] ∪ [2/3, 7/9] ∪ [8/9, 1]. Repeat this indefinitelyand we get C =

⋂∞n=1 Cn.

C is nonempty because it contains all the endpoints of the intervals ineach Cn. Thus it is infinite.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 8 / 22

Page 23: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

An uncountable set containing no nontrivial interval

C contains no nontrivial intervals and yet. . .

C is in fact uncountable: there is a one-to-one correspondence between Cand the set S of sequences of 0’s and 1’s. We can associate with x ∈ C asequence of left and right moves from the interval in Cn−1 that contains xto one of the two intervals it splits into in Cn. Using 0 for left and 1 forright, we get an element of S .

It is an exercise to prove this correspondence is bijective.

The Cantor set is also bounded. Closed and bounded sets play a specialrole in real analysis. They have a property known as compactness.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 9 / 22

Page 24: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

An uncountable set containing no nontrivial interval

C contains no nontrivial intervals and yet. . .

C is in fact uncountable: there is a one-to-one correspondence between Cand the set S of sequences of 0’s and 1’s.

We can associate with x ∈ C asequence of left and right moves from the interval in Cn−1 that contains xto one of the two intervals it splits into in Cn. Using 0 for left and 1 forright, we get an element of S .

It is an exercise to prove this correspondence is bijective.

The Cantor set is also bounded. Closed and bounded sets play a specialrole in real analysis. They have a property known as compactness.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 9 / 22

Page 25: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

An uncountable set containing no nontrivial interval

C contains no nontrivial intervals and yet. . .

C is in fact uncountable: there is a one-to-one correspondence between Cand the set S of sequences of 0’s and 1’s. We can associate with x ∈ C asequence of left and right moves from the interval in Cn−1 that contains xto one of the two intervals it splits into in Cn. Using 0 for left and 1 forright, we get an element of S .

It is an exercise to prove this correspondence is bijective.

The Cantor set is also bounded. Closed and bounded sets play a specialrole in real analysis. They have a property known as compactness.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 9 / 22

Page 26: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

An uncountable set containing no nontrivial interval

C contains no nontrivial intervals and yet. . .

C is in fact uncountable: there is a one-to-one correspondence between Cand the set S of sequences of 0’s and 1’s. We can associate with x ∈ C asequence of left and right moves from the interval in Cn−1 that contains xto one of the two intervals it splits into in Cn. Using 0 for left and 1 forright, we get an element of S .

It is an exercise to prove this correspondence is bijective.

The Cantor set is also bounded. Closed and bounded sets play a specialrole in real analysis. They have a property known as compactness.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 9 / 22

Page 27: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Compact sets

If U is a family of sets in a metric space X and A ⊆ X we will say U is acover of A if A ⊆

⋃U . If the sets in U are all open we call it an open

cover of A. A subcover of U is just a subfamily that also covers A. Afinite (sub)cover is just one that contains only a finite number of sets.

We say A is compact iff every open cover of A has a finite subcover.

Every compact set A is contained in some ball B(x0, r): if not then theopen cover U = {B(x0, n) : n ∈ N} has no finite subcover.

Every compact set A is closed: If not, let x0 be a point of closure of Athat is not in A, then U = {B(x0, r)c : r > 0} is an open cover with nofinite subcover.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 10 / 22

Page 28: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Compact sets

If U is a family of sets in a metric space X and A ⊆ X we will say U is acover of A if A ⊆

⋃U . If the sets in U are all open we call it an open

cover of A. A subcover of U is just a subfamily that also covers A. Afinite (sub)cover is just one that contains only a finite number of sets.

We say A is compact iff every open cover of A has a finite subcover.

Every compact set A is contained in some ball B(x0, r): if not then theopen cover U = {B(x0, n) : n ∈ N} has no finite subcover.

Every compact set A is closed: If not, let x0 be a point of closure of Athat is not in A, then U = {B(x0, r)c : r > 0} is an open cover with nofinite subcover.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 10 / 22

Page 29: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Compact sets

If U is a family of sets in a metric space X and A ⊆ X we will say U is acover of A if A ⊆

⋃U . If the sets in U are all open we call it an open

cover of A. A subcover of U is just a subfamily that also covers A. Afinite (sub)cover is just one that contains only a finite number of sets.

We say A is compact iff every open cover of A has a finite subcover.

Every compact set A is contained in some ball B(x0, r): if not then theopen cover U = {B(x0, n) : n ∈ N} has no finite subcover.

Every compact set A is closed: If not, let x0 be a point of closure of Athat is not in A, then U = {B(x0, r)c : r > 0} is an open cover with nofinite subcover.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 10 / 22

Page 30: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Compact sets

If U is a family of sets in a metric space X and A ⊆ X we will say U is acover of A if A ⊆

⋃U . If the sets in U are all open we call it an open

cover of A. A subcover of U is just a subfamily that also covers A. Afinite (sub)cover is just one that contains only a finite number of sets.

We say A is compact iff every open cover of A has a finite subcover.

Every compact set A is contained in some ball B(x0, r): if not then theopen cover U = {B(x0, n) : n ∈ N} has no finite subcover.

Every compact set A is closed: If not, let x0 be a point of closure of Athat is not in A, then U = {B(x0, r)c : r > 0} is an open cover with nofinite subcover.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 10 / 22

Page 31: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The Heine-Borel Theorem

Theorem (Heine-Borel)

A set A in Rn is compact if and only if it is closed and bounded.

A useful consequence of H-B is the following

Theorem (Cantor)

If Fn, n ∈ N are closed bounded nonempty sets in Rn and nested (i.e.,Fn+1 ⊆ Fn for all n) then

⋂∞n=1 Fn 6= ∅.

Note: if the sets lie in R and Fn ⊆ [an, bn] with bn − an → 0, then⋂∞n=1 Fn is a singleton.

Proof: If the intersection is empty then by de Morgan’s laws, F cn , n > 1,

is an open cover of F1 with no finite subcover. For if F cnj

, j = 1, 2, . . . ,m

covers F1 with nm the largest index. Then F1 ∼⋃m

j=1 Fnj = Fnm 6= ∅.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 11 / 22

Page 32: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The Heine-Borel Theorem

Theorem (Heine-Borel)

A set A in Rn is compact if and only if it is closed and bounded.

A useful consequence of H-B is the following

Theorem (Cantor)

If Fn, n ∈ N are closed bounded nonempty sets in Rn and nested (i.e.,Fn+1 ⊆ Fn for all n) then

⋂∞n=1 Fn 6= ∅.

Note: if the sets lie in R and Fn ⊆ [an, bn] with bn − an → 0, then⋂∞n=1 Fn is a singleton.

Proof: If the intersection is empty then by de Morgan’s laws, F cn , n > 1,

is an open cover of F1 with no finite subcover. For if F cnj

, j = 1, 2, . . . ,m

covers F1 with nm the largest index. Then F1 ∼⋃m

j=1 Fnj = Fnm 6= ∅.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 11 / 22

Page 33: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The Heine-Borel Theorem

Theorem (Heine-Borel)

A set A in Rn is compact if and only if it is closed and bounded.

A useful consequence of H-B is the following

Theorem (Cantor)

If Fn, n ∈ N are closed bounded nonempty sets in Rn and nested (i.e.,Fn+1 ⊆ Fn for all n) then

⋂∞n=1 Fn 6= ∅.

Note: if the sets lie in R and Fn ⊆ [an, bn] with bn − an → 0, then⋂∞n=1 Fn is a singleton.

Proof: If the intersection is empty then by de Morgan’s laws, F cn , n > 1,

is an open cover of F1 with no finite subcover. For if F cnj

, j = 1, 2, . . . ,m

covers F1 with nm the largest index. Then F1 ∼⋃m

j=1 Fnj = Fnm 6= ∅.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 11 / 22

Page 34: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The Heine-Borel Theorem

Theorem (Heine-Borel)

A set A in Rn is compact if and only if it is closed and bounded.

A useful consequence of H-B is the following

Theorem (Cantor)

If Fn, n ∈ N are closed bounded nonempty sets in Rn and nested (i.e.,Fn+1 ⊆ Fn for all n) then

⋂∞n=1 Fn 6= ∅.

Note: if the sets lie in R and Fn ⊆ [an, bn] with bn − an → 0, then⋂∞n=1 Fn is a singleton.

Proof: If the intersection is empty then by de Morgan’s laws, F cn , n > 1,

is an open cover of F1 with no finite subcover. For if F cnj

, j = 1, 2, . . . ,m

covers F1 with nm the largest index. Then F1 ∼⋃m

j=1 Fnj = Fnm 6= ∅.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 11 / 22

Page 35: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Bolzano-Weierstrass Theorem

Let us say the a set satisfies the Bolzano-Weierstrass property if everysequence in A has a convergent subsequence with its limit in A. (This is avalid concept in any metric space once we define convergence.)

Theorem (Bolzano-Weierstrass)

A set A in Rn satisfies the Bolzano-Weierstrass property if and only it isclosed and bounded.

If A is not bounded it contains a sequence xn with d(xn, 0) > n for everyn. No subsequence of this can converge. If A is not closed and x is a pointof closure not in A then we can consruct a sequence {xn} ⊂ A withxn → x . This has convergent subsequences but they all have limit x /∈ A.

Compactness and the Bolzano-Weierstrass property are actually equivalentin every metric space. However, they are not always equivalent to beingclosed and bounded.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 12 / 22

Page 36: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Bolzano-Weierstrass Theorem

Let us say the a set satisfies the Bolzano-Weierstrass property if everysequence in A has a convergent subsequence with its limit in A. (This is avalid concept in any metric space once we define convergence.)

Theorem (Bolzano-Weierstrass)

A set A in Rn satisfies the Bolzano-Weierstrass property if and only it isclosed and bounded.

If A is not bounded it contains a sequence xn with d(xn, 0) > n for everyn. No subsequence of this can converge.

If A is not closed and x is a pointof closure not in A then we can consruct a sequence {xn} ⊂ A withxn → x . This has convergent subsequences but they all have limit x /∈ A.

Compactness and the Bolzano-Weierstrass property are actually equivalentin every metric space. However, they are not always equivalent to beingclosed and bounded.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 12 / 22

Page 37: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Bolzano-Weierstrass Theorem

Let us say the a set satisfies the Bolzano-Weierstrass property if everysequence in A has a convergent subsequence with its limit in A. (This is avalid concept in any metric space once we define convergence.)

Theorem (Bolzano-Weierstrass)

A set A in Rn satisfies the Bolzano-Weierstrass property if and only it isclosed and bounded.

If A is not bounded it contains a sequence xn with d(xn, 0) > n for everyn. No subsequence of this can converge. If A is not closed and x is a pointof closure not in A then we can consruct a sequence {xn} ⊂ A withxn → x . This has convergent subsequences but they all have limit x /∈ A.

Compactness and the Bolzano-Weierstrass property are actually equivalentin every metric space. However, they are not always equivalent to beingclosed and bounded.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 12 / 22

Page 38: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Bolzano-Weierstrass Theorem

Let us say the a set satisfies the Bolzano-Weierstrass property if everysequence in A has a convergent subsequence with its limit in A. (This is avalid concept in any metric space once we define convergence.)

Theorem (Bolzano-Weierstrass)

A set A in Rn satisfies the Bolzano-Weierstrass property if and only it isclosed and bounded.

If A is not bounded it contains a sequence xn with d(xn, 0) > n for everyn. No subsequence of this can converge. If A is not closed and x is a pointof closure not in A then we can consruct a sequence {xn} ⊂ A withxn → x . This has convergent subsequences but they all have limit x /∈ A.

Compactness and the Bolzano-Weierstrass property are actually equivalentin every metric space. However, they are not always equivalent to beingclosed and bounded.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 12 / 22

Page 39: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Cauchy sequences

A sequence {xn} in a metric space converges to x iff

∀ε > 0, ∃N ∈ N, ∀n ≥ N, d(xn, x) < ε

(This is equivalent to d(xn, x)→ 0.)

{xn} is said to be Cauchy iff

∀ε > 0, ∃N ∈ N, ∀n, k ≥ N, d(xn, xk) < ε

The difference between these two is that the points of the Cauchysequence become close to each other rather than some fixed limit. Everyconvergent sequence is Cauchy, but the reverse may not true be true.

A metric space is said to be complete if every Caucy sequence converges.One of the axioms of the real number system is that R is complete.

Except some axiom systems for R have a different ‘completeness axiom’:

Order completeness: Every nonempty set in R that has an upper boundhas a least upper bound.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 13 / 22

Page 40: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Cauchy sequences

A sequence {xn} in a metric space converges to x iff

∀ε > 0, ∃N ∈ N, ∀n ≥ N, d(xn, x) < ε

(This is equivalent to d(xn, x)→ 0.) {xn} is said to be Cauchy iff

∀ε > 0, ∃N ∈ N, ∀n, k ≥ N, d(xn, xk) < ε

The difference between these two is that the points of the Cauchysequence become close to each other rather than some fixed limit. Everyconvergent sequence is Cauchy, but the reverse may not true be true.

A metric space is said to be complete if every Caucy sequence converges.One of the axioms of the real number system is that R is complete.

Except some axiom systems for R have a different ‘completeness axiom’:

Order completeness: Every nonempty set in R that has an upper boundhas a least upper bound.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 13 / 22

Page 41: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Cauchy sequences

A sequence {xn} in a metric space converges to x iff

∀ε > 0, ∃N ∈ N, ∀n ≥ N, d(xn, x) < ε

(This is equivalent to d(xn, x)→ 0.) {xn} is said to be Cauchy iff

∀ε > 0, ∃N ∈ N, ∀n, k ≥ N, d(xn, xk) < ε

The difference between these two is that the points of the Cauchysequence become close to each other rather than some fixed limit. Everyconvergent sequence is Cauchy, but the reverse may not true be true.

A metric space is said to be complete if every Caucy sequence converges.One of the axioms of the real number system is that R is complete.

Except some axiom systems for R have a different ‘completeness axiom’:

Order completeness: Every nonempty set in R that has an upper boundhas a least upper bound.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 13 / 22

Page 42: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Cauchy sequences

A sequence {xn} in a metric space converges to x iff

∀ε > 0, ∃N ∈ N, ∀n ≥ N, d(xn, x) < ε

(This is equivalent to d(xn, x)→ 0.) {xn} is said to be Cauchy iff

∀ε > 0, ∃N ∈ N, ∀n, k ≥ N, d(xn, xk) < ε

The difference between these two is that the points of the Cauchysequence become close to each other rather than some fixed limit. Everyconvergent sequence is Cauchy, but the reverse may not true be true.

A metric space is said to be complete if every Caucy sequence converges.One of the axioms of the real number system is that R is complete.

Except some axiom systems for R have a different ‘completeness axiom’:

Order completeness: Every nonempty set in R that has an upper boundhas a least upper bound.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 13 / 22

Page 43: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Cauchy sequences

A sequence {xn} in a metric space converges to x iff

∀ε > 0, ∃N ∈ N, ∀n ≥ N, d(xn, x) < ε

(This is equivalent to d(xn, x)→ 0.) {xn} is said to be Cauchy iff

∀ε > 0, ∃N ∈ N, ∀n, k ≥ N, d(xn, xk) < ε

The difference between these two is that the points of the Cauchysequence become close to each other rather than some fixed limit. Everyconvergent sequence is Cauchy, but the reverse may not true be true.

A metric space is said to be complete if every Caucy sequence converges.One of the axioms of the real number system is that R is complete.

Except some axiom systems for R have a different ‘completeness axiom’:

Order completeness: Every nonempty set in R that has an upper boundhas a least upper bound.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 13 / 22

Page 44: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Order completeness: the supremum of a set

A real number u is called an upper bound for a nonenpty set E if ∀x ∈ E ,x ≤ u. The order completeness axiom says that the set of upper boundsfor E has a smallest element a. We call a the supremum of E , writinga = supE .

How to prove a value a is the supremum of a set E : prove

1 that a is an upper bound: ∀x ∈ E , x ≤ a, and

2 that no smaller value is an upper bound: ∀b < a, ∃x ∈ E , x > b.

Sometimes it is easier to prove the first statement using the Archmedeanprincipal: x ≤ a if and only if ∀ε > 0, x < a + ε. The above becomes:

The value a = supE iff for all ε > 0

1 ∀x ∈ E , x < a + ε, and

2 ∃x ∈ E , x > a− ε.

Note: the second statement implies that supE ∈ E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 14 / 22

Page 45: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Order completeness: the supremum of a set

A real number u is called an upper bound for a nonenpty set E if ∀x ∈ E ,x ≤ u. The order completeness axiom says that the set of upper boundsfor E has a smallest element a. We call a the supremum of E , writinga = supE .

How to prove a value a is the supremum of a set E : prove

1 that a is an upper bound: ∀x ∈ E , x ≤ a, and

2 that no smaller value is an upper bound: ∀b < a, ∃x ∈ E , x > b.

Sometimes it is easier to prove the first statement using the Archmedeanprincipal: x ≤ a if and only if ∀ε > 0, x < a + ε. The above becomes:

The value a = supE iff for all ε > 0

1 ∀x ∈ E , x < a + ε, and

2 ∃x ∈ E , x > a− ε.

Note: the second statement implies that supE ∈ E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 14 / 22

Page 46: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Order completeness: the supremum of a set

A real number u is called an upper bound for a nonenpty set E if ∀x ∈ E ,x ≤ u. The order completeness axiom says that the set of upper boundsfor E has a smallest element a. We call a the supremum of E , writinga = supE .

How to prove a value a is the supremum of a set E : prove

1 that a is an upper bound: ∀x ∈ E , x ≤ a, and

2 that no smaller value is an upper bound: ∀b < a, ∃x ∈ E , x > b.

Sometimes it is easier to prove the first statement using the Archmedeanprincipal: x ≤ a if and only if ∀ε > 0, x < a + ε. The above becomes:

The value a = supE iff for all ε > 0

1 ∀x ∈ E , x < a + ε, and

2 ∃x ∈ E , x > a− ε.

Note: the second statement implies that supE ∈ E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 14 / 22

Page 47: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Order completeness: the infimum of a set

If we reverse all inequalities we get: every set E that has a lower bound(obvious definition) has a greatest lower bound called the infimum of E :inf E .

Similar to the case for sup we get the proof scheme:

The value b = inf E iff for all ε > 0

1 ∀x ∈ E , x > b − ε, and

2 ∃x ∈ E , x < b + ε.

If E has no upper bound, we write supE =∞.If E has no lower bound, we write inf E = −∞If E ⊂ F then supE ≤ supF and inf E ≥ inf F .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 15 / 22

Page 48: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Order completeness: the infimum of a set

If we reverse all inequalities we get: every set E that has a lower bound(obvious definition) has a greatest lower bound called the infimum of E :inf E .

Similar to the case for sup we get the proof scheme:

The value b = inf E iff for all ε > 0

1 ∀x ∈ E , x > b − ε, and

2 ∃x ∈ E , x < b + ε.

If E has no upper bound, we write supE =∞.If E has no lower bound, we write inf E = −∞If E ⊂ F then supE ≤ supF and inf E ≥ inf F .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 15 / 22

Page 49: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Order completeness: the infimum of a set

If we reverse all inequalities we get: every set E that has a lower bound(obvious definition) has a greatest lower bound called the infimum of E :inf E .

Similar to the case for sup we get the proof scheme:

The value b = inf E iff for all ε > 0

1 ∀x ∈ E , x > b − ε, and

2 ∃x ∈ E , x < b + ε.

If E has no upper bound, we write supE =∞.If E has no lower bound, we write inf E = −∞

If E ⊂ F then supE ≤ supF and inf E ≥ inf F .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 15 / 22

Page 50: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Order completeness: the infimum of a set

If we reverse all inequalities we get: every set E that has a lower bound(obvious definition) has a greatest lower bound called the infimum of E :inf E .

Similar to the case for sup we get the proof scheme:

The value b = inf E iff for all ε > 0

1 ∀x ∈ E , x > b − ε, and

2 ∃x ∈ E , x < b + ε.

If E has no upper bound, we write supE =∞.If E has no lower bound, we write inf E = −∞If E ⊂ F then supE ≤ supF and inf E ≥ inf F .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 15 / 22

Page 51: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The lim sup and lim inf of a sequence of reals

Given a sequence {xn} in R let En = {xn, xn+1, xn+2, . . . } and gn = supEn.Because En+1 ⊂ En, {gn} is monotone decreasing.

So a = limn→∞

gn exists

and we call it the superior limit of {xn} writing a = lim supn→∞

xn.

Some special cases: If {xn} is not bounded above then supEn = +∞ forall n and so lim sup

n→∞xn = +∞.

If xn → −∞ then lim supn→∞

xn = −∞In all other cases, lim sup xn is a real number.

The inferior limit is defined by the same process, reversing the order:

lim infn→∞

xn = limn→0

(inf{xn, xn+1, xn+2, . . . })

If {xn} is not bounded below then lim infn→∞

xn = −∞.

If xn → +∞ then lim infn→∞

xn = +∞In all other cases, lim sup xn is a real number.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 16 / 22

Page 52: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The lim sup and lim inf of a sequence of reals

Given a sequence {xn} in R let En = {xn, xn+1, xn+2, . . . } and gn = supEn.Because En+1 ⊂ En, {gn} is monotone decreasing. So a = lim

n→∞gn exists

and we call it the superior limit of {xn} writing a = lim supn→∞

xn.

Some special cases: If {xn} is not bounded above then supEn = +∞ forall n and so lim sup

n→∞xn = +∞.

If xn → −∞ then lim supn→∞

xn = −∞In all other cases, lim sup xn is a real number.

The inferior limit is defined by the same process, reversing the order:

lim infn→∞

xn = limn→0

(inf{xn, xn+1, xn+2, . . . })

If {xn} is not bounded below then lim infn→∞

xn = −∞.

If xn → +∞ then lim infn→∞

xn = +∞In all other cases, lim sup xn is a real number.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 16 / 22

Page 53: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The lim sup and lim inf of a sequence of reals

Given a sequence {xn} in R let En = {xn, xn+1, xn+2, . . . } and gn = supEn.Because En+1 ⊂ En, {gn} is monotone decreasing. So a = lim

n→∞gn exists

and we call it the superior limit of {xn} writing a = lim supn→∞

xn.

Some special cases: If {xn} is not bounded above then supEn = +∞ forall n and so lim sup

n→∞xn = +∞.

If xn → −∞ then lim supn→∞

xn = −∞In all other cases, lim sup xn is a real number.

The inferior limit is defined by the same process, reversing the order:

lim infn→∞

xn = limn→0

(inf{xn, xn+1, xn+2, . . . })

If {xn} is not bounded below then lim infn→∞

xn = −∞.

If xn → +∞ then lim infn→∞

xn = +∞In all other cases, lim sup xn is a real number.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 16 / 22

Page 54: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The lim sup and lim inf of a sequence of reals

Given a sequence {xn} in R let En = {xn, xn+1, xn+2, . . . } and gn = supEn.Because En+1 ⊂ En, {gn} is monotone decreasing. So a = lim

n→∞gn exists

and we call it the superior limit of {xn} writing a = lim supn→∞

xn.

Some special cases: If {xn} is not bounded above then supEn = +∞ forall n and so lim sup

n→∞xn = +∞.

If xn → −∞ then lim supn→∞

xn = −∞

In all other cases, lim sup xn is a real number.

The inferior limit is defined by the same process, reversing the order:

lim infn→∞

xn = limn→0

(inf{xn, xn+1, xn+2, . . . })

If {xn} is not bounded below then lim infn→∞

xn = −∞.

If xn → +∞ then lim infn→∞

xn = +∞In all other cases, lim sup xn is a real number.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 16 / 22

Page 55: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The lim sup and lim inf of a sequence of reals

Given a sequence {xn} in R let En = {xn, xn+1, xn+2, . . . } and gn = supEn.Because En+1 ⊂ En, {gn} is monotone decreasing. So a = lim

n→∞gn exists

and we call it the superior limit of {xn} writing a = lim supn→∞

xn.

Some special cases: If {xn} is not bounded above then supEn = +∞ forall n and so lim sup

n→∞xn = +∞.

If xn → −∞ then lim supn→∞

xn = −∞In all other cases, lim sup xn is a real number.

The inferior limit is defined by the same process, reversing the order:

lim infn→∞

xn = limn→0

(inf{xn, xn+1, xn+2, . . . })

If {xn} is not bounded below then lim infn→∞

xn = −∞.

If xn → +∞ then lim infn→∞

xn = +∞In all other cases, lim sup xn is a real number.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 16 / 22

Page 56: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The lim sup and lim inf of a sequence of reals

Given a sequence {xn} in R let En = {xn, xn+1, xn+2, . . . } and gn = supEn.Because En+1 ⊂ En, {gn} is monotone decreasing. So a = lim

n→∞gn exists

and we call it the superior limit of {xn} writing a = lim supn→∞

xn.

Some special cases: If {xn} is not bounded above then supEn = +∞ forall n and so lim sup

n→∞xn = +∞.

If xn → −∞ then lim supn→∞

xn = −∞In all other cases, lim sup xn is a real number.

The inferior limit is defined by the same process, reversing the order:

lim infn→∞

xn = limn→0

(inf{xn, xn+1, xn+2, . . . })

If {xn} is not bounded below then lim infn→∞

xn = −∞.

If xn → +∞ then lim infn→∞

xn = +∞In all other cases, lim sup xn is a real number.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 16 / 22

Page 57: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

The lim sup and lim inf of a sequence of reals

Given a sequence {xn} in R let En = {xn, xn+1, xn+2, . . . } and gn = supEn.Because En+1 ⊂ En, {gn} is monotone decreasing. So a = lim

n→∞gn exists

and we call it the superior limit of {xn} writing a = lim supn→∞

xn.

Some special cases: If {xn} is not bounded above then supEn = +∞ forall n and so lim sup

n→∞xn = +∞.

If xn → −∞ then lim supn→∞

xn = −∞In all other cases, lim sup xn is a real number.

The inferior limit is defined by the same process, reversing the order:

lim infn→∞

xn = limn→0

(inf{xn, xn+1, xn+2, . . . })

If {xn} is not bounded below then lim infn→∞

xn = −∞.

If xn → +∞ then lim infn→∞

xn = +∞In all other cases, lim sup xn is a real number.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 16 / 22

Page 58: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Proving a = lim sup xn

How to prove a finite value a equals lim sup xn:

If a ∈ R then a = lim sup xn if and only if for every ε > 0

1 the number of n with xn > a + ε is finite, and

2 the number of n with xn > a− ε is infinite

The first of these says that eventually gn ≤ a + ε and the second says thatall gn > a− ε, so together they say |gn − a| → 0.

Similarly, if b ∈ R then b = lim inf xn if and only if for every ε > 0

1 the number of n with xn < b − ε is finite, and

2 the number of n with xn < b + ε is infinite

It can be shown that a = lim sup xn is the largest value that is the limit ofsome subsequence of {xn}, and b = lim inf xn is the smallest value that isa limit fo some subsequence of {xn}.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 17 / 22

Page 59: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Proving a = lim sup xn

How to prove a finite value a equals lim sup xn:

If a ∈ R then a = lim sup xn if and only if for every ε > 0

1 the number of n with xn > a + ε is finite, and

2 the number of n with xn > a− ε is infinite

The first of these says that eventually gn ≤ a + ε and the second says thatall gn > a− ε, so together they say |gn − a| → 0.

Similarly, if b ∈ R then b = lim inf xn if and only if for every ε > 0

1 the number of n with xn < b − ε is finite, and

2 the number of n with xn < b + ε is infinite

It can be shown that a = lim sup xn is the largest value that is the limit ofsome subsequence of {xn}, and b = lim inf xn is the smallest value that isa limit fo some subsequence of {xn}.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 17 / 22

Page 60: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Proving a = lim sup xn

How to prove a finite value a equals lim sup xn:

If a ∈ R then a = lim sup xn if and only if for every ε > 0

1 the number of n with xn > a + ε is finite, and

2 the number of n with xn > a− ε is infinite

The first of these says that eventually gn ≤ a + ε and the second says thatall gn > a− ε, so together they say |gn − a| → 0.

Similarly, if b ∈ R then b = lim inf xn if and only if for every ε > 0

1 the number of n with xn < b − ε is finite, and

2 the number of n with xn < b + ε is infinite

It can be shown that a = lim sup xn is the largest value that is the limit ofsome subsequence of {xn}, and b = lim inf xn is the smallest value that isa limit fo some subsequence of {xn}.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 17 / 22

Page 61: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of lim sup

Example: If xn = (−1)n(1 + 1/n) then lim sup xn = 1 and lim inf xn = −1.

1 lim inf xn ≤ lim sup xn.

2 {xn} converges if and only if lim sup xn = lim inf xn and lim xn is theircommon value.

3 lim sup−xn = − lim inf xn and lim inf −xn = − lim sup xn4 lim sup(xn + yn) ≤ lim sup xn + lim sup yn and

lim inf(xn + yn) ≥ lim inf xn + lim inf yn5 If lim xn = a then lim sup(xn + yn) = a + lim sup yn and

lim inf(xn + yn) = a + lim inf yn.

6 If f is continuous and increasing then lim sup f (xn) = f (lim sup xn).

Number 4 is based on the simple fact that if a ≥ xn and b ≥ yn thena + b ≥ xn + yn. Number 6 is based on the fact that thesup(a + E ) = a + supE for any real a and any set E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 18 / 22

Page 62: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of lim sup

Example: If xn = (−1)n(1 + 1/n) then lim sup xn = 1 and lim inf xn = −1.

1 lim inf xn ≤ lim sup xn.

2 {xn} converges if and only if lim sup xn = lim inf xn and lim xn is theircommon value.

3 lim sup−xn = − lim inf xn and lim inf −xn = − lim sup xn4 lim sup(xn + yn) ≤ lim sup xn + lim sup yn and

lim inf(xn + yn) ≥ lim inf xn + lim inf yn5 If lim xn = a then lim sup(xn + yn) = a + lim sup yn and

lim inf(xn + yn) = a + lim inf yn.

6 If f is continuous and increasing then lim sup f (xn) = f (lim sup xn).

Number 4 is based on the simple fact that if a ≥ xn and b ≥ yn thena + b ≥ xn + yn. Number 6 is based on the fact that thesup(a + E ) = a + supE for any real a and any set E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 18 / 22

Page 63: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of lim sup

Example: If xn = (−1)n(1 + 1/n) then lim sup xn = 1 and lim inf xn = −1.

1 lim inf xn ≤ lim sup xn.

2 {xn} converges if and only if lim sup xn = lim inf xn and lim xn is theircommon value.

3 lim sup−xn = − lim inf xn and lim inf −xn = − lim sup xn

4 lim sup(xn + yn) ≤ lim sup xn + lim sup yn andlim inf(xn + yn) ≥ lim inf xn + lim inf yn

5 If lim xn = a then lim sup(xn + yn) = a + lim sup yn andlim inf(xn + yn) = a + lim inf yn.

6 If f is continuous and increasing then lim sup f (xn) = f (lim sup xn).

Number 4 is based on the simple fact that if a ≥ xn and b ≥ yn thena + b ≥ xn + yn. Number 6 is based on the fact that thesup(a + E ) = a + supE for any real a and any set E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 18 / 22

Page 64: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of lim sup

Example: If xn = (−1)n(1 + 1/n) then lim sup xn = 1 and lim inf xn = −1.

1 lim inf xn ≤ lim sup xn.

2 {xn} converges if and only if lim sup xn = lim inf xn and lim xn is theircommon value.

3 lim sup−xn = − lim inf xn and lim inf −xn = − lim sup xn4 lim sup(xn + yn) ≤ lim sup xn + lim sup yn and

lim inf(xn + yn) ≥ lim inf xn + lim inf yn

5 If lim xn = a then lim sup(xn + yn) = a + lim sup yn andlim inf(xn + yn) = a + lim inf yn.

6 If f is continuous and increasing then lim sup f (xn) = f (lim sup xn).

Number 4 is based on the simple fact that if a ≥ xn and b ≥ yn thena + b ≥ xn + yn. Number 6 is based on the fact that thesup(a + E ) = a + supE for any real a and any set E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 18 / 22

Page 65: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of lim sup

Example: If xn = (−1)n(1 + 1/n) then lim sup xn = 1 and lim inf xn = −1.

1 lim inf xn ≤ lim sup xn.

2 {xn} converges if and only if lim sup xn = lim inf xn and lim xn is theircommon value.

3 lim sup−xn = − lim inf xn and lim inf −xn = − lim sup xn4 lim sup(xn + yn) ≤ lim sup xn + lim sup yn and

lim inf(xn + yn) ≥ lim inf xn + lim inf yn5 If lim xn = a then lim sup(xn + yn) = a + lim sup yn and

lim inf(xn + yn) = a + lim inf yn.

6 If f is continuous and increasing then lim sup f (xn) = f (lim sup xn).

Number 4 is based on the simple fact that if a ≥ xn and b ≥ yn thena + b ≥ xn + yn. Number 6 is based on the fact that thesup(a + E ) = a + supE for any real a and any set E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 18 / 22

Page 66: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of lim sup

Example: If xn = (−1)n(1 + 1/n) then lim sup xn = 1 and lim inf xn = −1.

1 lim inf xn ≤ lim sup xn.

2 {xn} converges if and only if lim sup xn = lim inf xn and lim xn is theircommon value.

3 lim sup−xn = − lim inf xn and lim inf −xn = − lim sup xn4 lim sup(xn + yn) ≤ lim sup xn + lim sup yn and

lim inf(xn + yn) ≥ lim inf xn + lim inf yn5 If lim xn = a then lim sup(xn + yn) = a + lim sup yn and

lim inf(xn + yn) = a + lim inf yn.

6 If f is continuous and increasing then lim sup f (xn) = f (lim sup xn).

Number 4 is based on the simple fact that if a ≥ xn and b ≥ yn thena + b ≥ xn + yn. Number 6 is based on the fact that thesup(a + E ) = a + supE for any real a and any set E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 18 / 22

Page 67: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of lim sup

Example: If xn = (−1)n(1 + 1/n) then lim sup xn = 1 and lim inf xn = −1.

1 lim inf xn ≤ lim sup xn.

2 {xn} converges if and only if lim sup xn = lim inf xn and lim xn is theircommon value.

3 lim sup−xn = − lim inf xn and lim inf −xn = − lim sup xn4 lim sup(xn + yn) ≤ lim sup xn + lim sup yn and

lim inf(xn + yn) ≥ lim inf xn + lim inf yn5 If lim xn = a then lim sup(xn + yn) = a + lim sup yn and

lim inf(xn + yn) = a + lim inf yn.

6 If f is continuous and increasing then lim sup f (xn) = f (lim sup xn).

Number 4 is based on the simple fact that if a ≥ xn and b ≥ yn thena + b ≥ xn + yn.

Number 6 is based on the fact that thesup(a + E ) = a + supE for any real a and any set E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 18 / 22

Page 68: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Properties of lim sup

Example: If xn = (−1)n(1 + 1/n) then lim sup xn = 1 and lim inf xn = −1.

1 lim inf xn ≤ lim sup xn.

2 {xn} converges if and only if lim sup xn = lim inf xn and lim xn is theircommon value.

3 lim sup−xn = − lim inf xn and lim inf −xn = − lim sup xn4 lim sup(xn + yn) ≤ lim sup xn + lim sup yn and

lim inf(xn + yn) ≥ lim inf xn + lim inf yn5 If lim xn = a then lim sup(xn + yn) = a + lim sup yn and

lim inf(xn + yn) = a + lim inf yn.

6 If f is continuous and increasing then lim sup f (xn) = f (lim sup xn).

Number 4 is based on the simple fact that if a ≥ xn and b ≥ yn thena + b ≥ xn + yn. Number 6 is based on the fact that thesup(a + E ) = a + supE for any real a and any set E .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 18 / 22

Page 69: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Convergence and closure

The definition of convergence in metric spaces can be rewritten in terms ofnbds: {xn} converges to x if and only if

∀ε > 0,∃N ∈ N, ∀n ≥ N, xn ∈ B(x , ε).

In particular, if {xn} ⊂ A then the limit belongs to A.

This proves the ‘if’ portion of the following

Theorem

x ∈ A if and only if there is a sequence {xn} ⊂ A with xn → x

Proof: Let x ∈ A. Choose any points xn in A ∩ B(x , 1/n). Then0 ≤ d(xn, x) < 1/n→ x .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 19 / 22

Page 70: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Convergence and closure

The definition of convergence in metric spaces can be rewritten in terms ofnbds: {xn} converges to x if and only if

∀ε > 0,∃N ∈ N, ∀n ≥ N, xn ∈ B(x , ε).

In particular, if {xn} ⊂ A then the limit belongs to A.

This proves the ‘if’ portion of the following

Theorem

x ∈ A if and only if there is a sequence {xn} ⊂ A with xn → x

Proof: Let x ∈ A. Choose any points xn in A ∩ B(x , 1/n). Then0 ≤ d(xn, x) < 1/n→ x .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 19 / 22

Page 71: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Continuity in metric spaces

If (X , d) and (Y , ρ) are metric spaces and f : X → Y then f is continuousat x0 ∈ X iff

∀ε > 0, ∃δ > 0, ∀x with d(x , x0) < δ, ρ(f (x), f (x0)) < ε

∀ε > 0, ∃δ > 0, ∀x ∈ B(x0, δ), f (x) ∈ B(f (x0), ε)

∀ε > 0, ∃δ > 0, f (B(x0, δ)) ⊂ B(f (x0), ε).

The last one can be restated: For every nbd B of f (x0), f −1(B) containssome nbd of x0.

If f is continuous at every point of X we say it is continuous. Making useof the last statement and the definition of open sets, f is continuous ifff −1(V ) is open (in X ) for every open set V in Y .

By taking complements, f is continuous iff for every closed set F ⊆ Y ,f −1(F ) is closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 20 / 22

Page 72: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Continuity in metric spaces

If (X , d) and (Y , ρ) are metric spaces and f : X → Y then f is continuousat x0 ∈ X iff

∀ε > 0, ∃δ > 0, ∀x with d(x , x0) < δ, ρ(f (x), f (x0)) < ε

∀ε > 0, ∃δ > 0,∀x ∈ B(x0, δ), f (x) ∈ B(f (x0), ε)

∀ε > 0, ∃δ > 0, f (B(x0, δ)) ⊂ B(f (x0), ε).

The last one can be restated: For every nbd B of f (x0), f −1(B) containssome nbd of x0.

If f is continuous at every point of X we say it is continuous. Making useof the last statement and the definition of open sets, f is continuous ifff −1(V ) is open (in X ) for every open set V in Y .

By taking complements, f is continuous iff for every closed set F ⊆ Y ,f −1(F ) is closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 20 / 22

Page 73: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Continuity in metric spaces

If (X , d) and (Y , ρ) are metric spaces and f : X → Y then f is continuousat x0 ∈ X iff

∀ε > 0, ∃δ > 0, ∀x with d(x , x0) < δ, ρ(f (x), f (x0)) < ε

∀ε > 0, ∃δ > 0, ∀x ∈ B(x0, δ), f (x) ∈ B(f (x0), ε)

∀ε > 0, ∃δ > 0, f (B(x0, δ)) ⊂ B(f (x0), ε).

The last one can be restated: For every nbd B of f (x0), f −1(B) containssome nbd of x0.

If f is continuous at every point of X we say it is continuous. Making useof the last statement and the definition of open sets, f is continuous ifff −1(V ) is open (in X ) for every open set V in Y .

By taking complements, f is continuous iff for every closed set F ⊆ Y ,f −1(F ) is closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 20 / 22

Page 74: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Continuity in metric spaces

If (X , d) and (Y , ρ) are metric spaces and f : X → Y then f is continuousat x0 ∈ X iff

∀ε > 0, ∃δ > 0, ∀x with d(x , x0) < δ, ρ(f (x), f (x0)) < ε

∀ε > 0, ∃δ > 0, ∀x ∈ B(x0, δ), f (x) ∈ B(f (x0), ε)

∀ε > 0, ∃δ > 0, f (B(x0, δ)) ⊂ B(f (x0), ε).

The last one can be restated: For every nbd B of f (x0), f −1(B) containssome nbd of x0.

If f is continuous at every point of X we say it is continuous. Making useof the last statement and the definition of open sets, f is continuous ifff −1(V ) is open (in X ) for every open set V in Y .

By taking complements, f is continuous iff for every closed set F ⊆ Y ,f −1(F ) is closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 20 / 22

Page 75: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Continuity in metric spaces

If (X , d) and (Y , ρ) are metric spaces and f : X → Y then f is continuousat x0 ∈ X iff

∀ε > 0, ∃δ > 0, ∀x with d(x , x0) < δ, ρ(f (x), f (x0)) < ε

∀ε > 0, ∃δ > 0, ∀x ∈ B(x0, δ), f (x) ∈ B(f (x0), ε)

∀ε > 0, ∃δ > 0, f (B(x0, δ)) ⊂ B(f (x0), ε).

The last one can be restated: For every nbd B of f (x0), f −1(B) containssome nbd of x0.

If f is continuous at every point of X we say it is continuous. Making useof the last statement and the definition of open sets, f is continuous ifff −1(V ) is open (in X ) for every open set V in Y .

By taking complements, f is continuous iff for every closed set F ⊆ Y ,f −1(F ) is closed.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 20 / 22

Page 76: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Subspace metrics

If E ⊂ X we can restrict d to E × E and make E a metric space. Theopen sets in (E , d) are just sets of the form E ∩ U where U is open in X .

This is because balls in E are just E ∩ B(x , r) where x ∈ E and B(x , r) isa ball in X , and open sets are just unions of the open balls they contain.

Thus, a function f : E → Y can be consider for continuity and iscontinuous iff for any open V in Y , f −1(V ) = E ∩ U for some open U inX .

An important special case is when K is compact, because of the following:

Theorem

If K is compact and f : K → Y is continuous then f (K ) is compact.

Proof: Take any open cover V of f (K ). Then {f −1(V ) : V ∈ V} is anoopen cover of K . It therefore has a finite subcover f −1(V1), . . . , f −1(Vn)and then X1, . . . ,Vn is a finite cover of f (K ). .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 21 / 22

Page 77: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Subspace metrics

If E ⊂ X we can restrict d to E × E and make E a metric space. Theopen sets in (E , d) are just sets of the form E ∩ U where U is open in X .This is because balls in E are just E ∩ B(x , r) where x ∈ E and B(x , r) isa ball in X , and open sets are just unions of the open balls they contain.

Thus, a function f : E → Y can be consider for continuity and iscontinuous iff for any open V in Y , f −1(V ) = E ∩ U for some open U inX .

An important special case is when K is compact, because of the following:

Theorem

If K is compact and f : K → Y is continuous then f (K ) is compact.

Proof: Take any open cover V of f (K ). Then {f −1(V ) : V ∈ V} is anoopen cover of K . It therefore has a finite subcover f −1(V1), . . . , f −1(Vn)and then X1, . . . ,Vn is a finite cover of f (K ). .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 21 / 22

Page 78: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Subspace metrics

If E ⊂ X we can restrict d to E × E and make E a metric space. Theopen sets in (E , d) are just sets of the form E ∩ U where U is open in X .This is because balls in E are just E ∩ B(x , r) where x ∈ E and B(x , r) isa ball in X , and open sets are just unions of the open balls they contain.

Thus, a function f : E → Y can be consider for continuity and iscontinuous iff for any open V in Y , f −1(V ) = E ∩ U for some open U inX .

An important special case is when K is compact, because of the following:

Theorem

If K is compact and f : K → Y is continuous then f (K ) is compact.

Proof: Take any open cover V of f (K ). Then {f −1(V ) : V ∈ V} is anoopen cover of K . It therefore has a finite subcover f −1(V1), . . . , f −1(Vn)and then X1, . . . ,Vn is a finite cover of f (K ). .

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 21 / 22

Page 79: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Two important theorems

Theorem (Existence of a maximum)

Suppose K is compact and f : K → R is continuous, thensup f (K ) ∈ f (K ).

Proof: Since f (K ) ⊆ R is bounded, sup f (K ) is finite sincesup f (K ) ∈ f (K ) and f (K ) is closed we have sup f (K ) ∈ f (K ).

Theorem (Intermediate Value Theorem)

If I ⊂ R is an interval and f : I → R is continuous then f (I ) is an interval

There is a general property of sets in metric spaces called connectedness,and a general theorem the continuous functions take connected sets toconnected sets. The above is based on the fact that the connected sets inR are the intervals.

Conbining the two theorems, the continuous image of a closed interval is aclosed interval.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 22 / 22

Page 80: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Two important theorems

Theorem (Existence of a maximum)

Suppose K is compact and f : K → R is continuous, thensup f (K ) ∈ f (K ).

Proof: Since f (K ) ⊆ R is bounded, sup f (K ) is finite sincesup f (K ) ∈ f (K ) and f (K ) is closed we have sup f (K ) ∈ f (K ).

Theorem (Intermediate Value Theorem)

If I ⊂ R is an interval and f : I → R is continuous then f (I ) is an interval

There is a general property of sets in metric spaces called connectedness,and a general theorem the continuous functions take connected sets toconnected sets. The above is based on the fact that the connected sets inR are the intervals.

Conbining the two theorems, the continuous image of a closed interval is aclosed interval.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 22 / 22

Page 81: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Two important theorems

Theorem (Existence of a maximum)

Suppose K is compact and f : K → R is continuous, thensup f (K ) ∈ f (K ).

Proof: Since f (K ) ⊆ R is bounded, sup f (K ) is finite sincesup f (K ) ∈ f (K ) and f (K ) is closed we have sup f (K ) ∈ f (K ).

Theorem (Intermediate Value Theorem)

If I ⊂ R is an interval and f : I → R is continuous then f (I ) is an interval

There is a general property of sets in metric spaces called connectedness,and a general theorem the continuous functions take connected sets toconnected sets. The above is based on the fact that the connected sets inR are the intervals.

Conbining the two theorems, the continuous image of a closed interval is aclosed interval.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 22 / 22

Page 82: Chapter 1 (cont.) · 2020. 8. 26. · Chapter 1 (cont.) Daniel H. Luecking Aug 26, 2020 Daniel H. Luecking Chapter 1 (cont.) Aug 26, 20201/22

Two important theorems

Theorem (Existence of a maximum)

Suppose K is compact and f : K → R is continuous, thensup f (K ) ∈ f (K ).

Proof: Since f (K ) ⊆ R is bounded, sup f (K ) is finite sincesup f (K ) ∈ f (K ) and f (K ) is closed we have sup f (K ) ∈ f (K ).

Theorem (Intermediate Value Theorem)

If I ⊂ R is an interval and f : I → R is continuous then f (I ) is an interval

There is a general property of sets in metric spaces called connectedness,and a general theorem the continuous functions take connected sets toconnected sets. The above is based on the fact that the connected sets inR are the intervals.

Conbining the two theorems, the continuous image of a closed interval is aclosed interval.

Daniel H. Luecking Chapter 1 (cont.) Aug 26, 2020 22 / 22