Skip to Content
Math4201Topology I (Lecture 30)

Math4201 Topology I (Lecture 30)

Compactness

Compactness in Metric Spaces

Limit point compactness

A topological space XX is limit point compact if every infinite subset of XX has a limit point in XX.

  • Every compact space is limit point compact.

Sequentially compact

A topological space XX is sequentially compact if every sequence in XX has a convergent subsequence.

Theorem of equivalence of compactness in metrizable spaces

If (X,d)(X,d) is a metric space then the following are equivalent:

  1. XX is compact.
  2. XX is limit point compact.
  3. XX is sequentially compact.

Proof

(1)     \implies (2):

We proceed by contradiction,

Let XX be compact and AXA\subseteq X be an infinite subset of XX that doesn’t have any limit points.

Then XAX-A is open because any xXAx\in X-A isn’t in the closure of AA otherwise it would be a limit point for AA, and hence xx has an open neighborhood contained in the complement of AA.

Next, let xAx\in A. Since xx isn’t a limit point of AA, there is an open neighborhood UxU_x of xx in XX that UxA={x}U_x\cap A=\{x\}. Now consider the open covering of XX given as

{XA}{Ux:xA}\{X-A\}\cup \{U_x:x\in A\}

This is an open cover because either xXAx\in X-A or xAx\in A and in the latter case, xUxx\in U_x since XX is compact, this should have a finite subcover. Any such subcover should contain UxU_x for any xx because UxU_x is the element in the subcover for xx.

This implies that our finite cover contains infinite open sets, which is a contradiction.


(2)     \implies (3):

Let {xn}nN\{x_n\}_{n\in\mathbb{N}} be an arbitrary sequence in XX.

Since d(z,xnk)1kd(z,x_{n_k})\leq \frac{1}{k} the subsequence (xnk)(x_{n_k}) converges to zz.

This completes the proof.

except possibly zz.

Now we consider

Brk(z) with rk=min(1k,dk)B_{r_k}(z)\text { with } r_k=\min \left(\frac{1}{k}, d_k\right)

This ball has a point xnkx_{n_k} from {xn}\{x_n\} which isn’t equal to zz.

rkdk    nknk1r_k\leq d_k\implies n_k\geq n_{k-1}.

Since zz is a limit point of {xn}\{x_n\}, there exists xnkx_{n_k} such that d(z,xnk)<1kd(z,x_{n_k})<\frac{1}{k}. So xnkBrk(z)x_{n_k}\in B_{r_k}(z).

So, we have a convergent subsequence (xnk)(x_{n_k}).


(3)     \implies (1):

First wee prove the analogue of Lebesgue number lemma for a sequentially compact space (X,d)(X,d).

Let {Uα}αI\{U_\alpha\}_{\alpha\in I} be an open covering of XX. By contradiction, assume that for any δ>0\delta>0, there are two points x,xx,x' with d(x,x)<δd(x,x')<\delta don’t belong to the same open set in the covering.

Take δ=1n\delta=\frac{1}{n}, and let xn,xnx_n,x_n' be the points as above, then d(xn,xn)<1nd(x_n,x_n')<\frac{1}{n}.

xn,xnx_n,x_n' don’t belong to the same open set in {Uα}αI\{U_\alpha\}_{\alpha\in I}.

By assumption {xn}\{x_n\} is convergent after passing to a subsequence

{xnk}i\{x_{n_k}\}_i

Let yy be the limit of this subsequence and UαU_\alpha be an element of the open covering containing yy. There is ϵ>0\epsilon>0 such that Bϵ(y)UαB_\epsilon(y)\subseteq U_\alpha.

If kk is large enough, then xnkBϵ/2(y)x_{n_k}\in B_{\epsilon/2}(y) and d(xnk,xnk)<ϵ/2d(x_{n_k},x_{n_k}')<\epsilon/2. (take kk such that 1nk<ϵ/2\frac{1}{n_k}<\epsilon/2)

Then d(xnk,y)<ϵ/2d(x_{n_k}',y)<\epsilon/2 this implies that xnkUαx_{n_k}'\in U_\alpha.

Thus, d(xnk,y)d(xnk,xnk)+d(xnk,y)<ϵ/2+ϵ/2=ϵd(x_{n_k}',y)\leq d(x_{n_k}',x_{n_k})+d(x_{n_k},y)<\epsilon/2+\epsilon/2=\epsilon.

So, xnkBϵ(y)Uαx_{n_k}'\in B_\epsilon(y)\subseteq U_\alpha.

This is a contradiction.

Next we show that for any ϵ\epsilon, there are

y1,y2,,yky_1,y_2,\cdots,y_k

such that X=i=1kBϵ(yi)X=\bigcup_{i=1}^k B_{\epsilon}(y_i).

Let’s assume that it’s not true and construct a sequence of points inductively in the following way:

  • Pick y1y_1 be arbitrary point in XX.
  • In the kk-th step, if XBϵ(y1)Bϵ(yk)X\neq B_{\epsilon}(y_1)\cup \cdots \cup B_{\epsilon}(y_k), then pick yk+1Bϵ(y1)Bϵ(yk)y_{k+1}\notin B_{\epsilon}(y_1)\cup \cdots \cup B_{\epsilon}(y_k).
  • In particular, d(yk+1,yj)ϵd(y_{k+1},y_j)\geq \epsilon for all j<kj<k.

By iteration, this process we obtain a sequence such such that the distance between any two elements is at most ϵ\epsilon.

This sequence cannot have a converging subsequence which is a contradiction.

To prove the compactness of XX, take an open covering {Uα}αI\{U_\alpha\}_{\alpha\in I} of XX and let be δ>0\delta>0 such that any set with diameter at least δ\delta is one of the UαU_\alpha‘s. Let also y1,y2,,ykXy_1,y_2,\cdots,y_k\in X be chosen such that Bδ2(y1)Bδ2(yk)=XB_{\frac{\delta}{2}}(y_1)\cup \cdots \cup B_{\frac{\delta}{2}}(y_k)=X.

Since diameter of Bδ2(yi)B_{\frac{\delta}{2}}(y_i) is less than δ\delta, it belongs to UαU_\alpha for some αI\alpha\in I.

Then {Uαi}i=1k\{U_{\alpha_i}\}_{i=1}^k is a finite subcover of XX.

This completes the proof.

Last updated on