Open Cover

The open cover of a set in a Metric Space is the collection of open subsets of such that

  • think of it as “covering” a set with open subsets

Example:

Let , then

is a collection of open sets and each element is open, and .

Compact

A subset of a Metric Space is said to be compact if every open cover of contains a finite subcover.

More explicitly, if is an open cover of , then there are finitely many indices such that

Corollary

Every finite set is compact since they all have open covers that have finitely many indices.

Lemma (Compact Implies Bounded)

Suppose is compact, nonempty. Then is bounded.

Let . Now, for every let . Note that by construction. Now, is a cover of .

Since is compact, there exists a finite subcover such that there is a finite such that

Let . Then .

and so and is bounded. Remember that is fixed.

Lemma (Compact Implies Closed)

Suppose is compact, nonempty. Then is closed.

Let . Then if is interior, then is open and is closed. We first find neighborhoods which miss points in .

Let , then . Let . Then . Indeed, if , then

a contradiction.

Now is an open cover of . Since is compact, a finite subcover such that

Let . Then

  • and
  • and Now since an , has a neighborhood that misses , and is an interior point. Therefore is open and by lemma, is closed.

Example

Let

This is not compact. We need to find one open cover with no finite subcover. We will find so that

  1. and is open

Define .

<--(|)----(|)----(|)-- ... --(|)----(|)----(|)--->
  1/n+1   1/n    1/n-1       1/3    1/2     1 

Then we can let such that and .


Theorem (Relative Compactness)

Suppose . Then is compact relative to if and only if is compact in .

Proof:

Suppose is compact relative to , and let be a collection of sets, open relative to , and an open cover of .

We need to find such that

Let for . Then is open relative by the lemma. Note that so

Since is compact relative an is an open relative cover of . Then such that

Suppose is compact in .

Suppose is an open relative cover of . We need to extract a finite subcover. Note that by lemma we have that

for some . Then

so has an open cover since is compact then finite subcover, say such that

Recall so take the intersection of the above with . So,

As we found a finite subcover, we are done.

Lemma (Closed x Compact)

  • Let be compact and be closed. Then is compact.
  • In particular, if is compact, then for , is compact.

We prove the second statement. Let be closed, and by the lemma, is closed and is closed. hence and some compact. We have is compact.

Now the first claim. WTS is compact. Let be an open cover of . is closed, so is open. Consider

Note , which covers and some extra elements. Since is compact we can extract finite indices such that

Since . Then as , then and is compact.

Corollary (Chain of Inclusion)

Let

be a collection of nonempty compact sets. Then is nonempty.

Suppose not. Then . Then lemma says such that

Note that . But then

which is a contradiction.

Lemma (Intersection of Compact)

Suppose is a collection of compact subsets of . Assume that

Then finite subcollection whose intersection is .

Proof: W will use compactness of one set and closedness of the rest. Fix some in the collection. Because

Now this is an open cover of since closed for . Hence, such that

which implies

Theorem (Criterion for Compactness)

Let be a metric space. Then is compact every infinite subset of has a limit point in .

Proof: We only show the forward direction via contradiction. Assume where is infinite such that no limit points are in . Then such that

(Every neighborhood on cannot intersect with at all.)

Now, is an open cover of . Since is infinite, then we need infinitely many neighborhoods to cover . Namely, one for every . So, no finite subcover, and a contradiction.

Backwards: From Homework 4.1

Lemma ( is not Compact)

is not compact. This is done by constructing a single open cover with no finite subcover.

Note but no finite sub cover exists. This is by consequence of Archimedean Property.

Theorem 2.34

Compact subsets of metric spaces are closed.

Let be a compact subset of metric space . Proof follows from showing that is open relative to .

Theorem 2.35

Closed subsets of compact sets are compact.