Skip to Content
Math4111Introduction to Real Analysis (Lecture 11)

Lecture 11

Recall

KK is compact if \forall open cover {Gα}αA\{G_{\alpha}\}_{\alpha\in A} of KK, \exists a finite subcover {Gαi}i=1n\{G_{\alpha_i}\}_{i=1}^n (We can only start proof from the cover of our desired set)

Let (X,d)(X,d) be a metric space. Consider the following statement: If KK is compact and pXp\in X, then K{p}K\cup \{p\} is compact.

  1. To give a proof of the statement, we start with “Suppose KK is compact and pXp\in X.” What MUST be the next step in the proof be?
    Let {Gα}αA\{G_{\alpha}\}_{\alpha\in A} be any open cover of K{p}K\cup \{p\}. (Since we want to show K{p}K\cup \{p\} is compact)
  2. Complete the proof of the statement.
    Since KK{p}{Gα}αAK\subset K\cup \{p\} \subset \{G_{\alpha}\}_{\alpha\in A} and KK is compact, then \exists a finite subcover {Gαi}i=1n\{G_{\alpha_i}\}_{i=1}^n relative to XX.
    And pK{p}p\in K\cup \{p\}, βA\exists \beta \in A such that pβp\in\beta, such that C={Gαi}i=1n+βC=\{G_{\alpha_i}\}_{i=1}^n+\beta. And CC is a be So K{p}K\cup \{p\} is compact.
    Any sets has an open cover
  3. Suppose FKX,KF\subset K\subset X,K is compact, and FF is closed (in XX). Prove that FF is compact. [Hint: the proof structure is similar to 2.]
    By Theorem 2.33

New Materials

Compact sets

Theorem 2.35

If FKXF\subset K\subset X, and FF is closed (relative to XX), and KK is compact, then FF is compact.

Proof:

Let {Gα}αA\{G_{\alpha}\}_{\alpha\in A} be an open cover of FF. (Since we want to show FF is compact)

And (αAGα)Fc=XK(\bigcup_{\alpha\in A} G_\alpha)\cup F^c=X\supset K is an open cover of KK. Since KK is compact, then this open cover has a finite subcover Φ(αAGα)Fc\Phi\subset (\bigcup_{\alpha\in A} G_\alpha)\cup F^c of KK.

Since FKF\subset K, So Φ\Phi is a cover of FF then Φ\{Fc}\Phi\backslash \{F^c\} is a finite subcover of {Gα}αA\{G_\alpha\}_{\alpha \in A} of FF.

QED

Corollary 2.35

If FF is closed and KK is compact, then FKF\cap K is closed.

Corollary 2.36 From Theorem 2.36

If K1K2K3K_1\supset K_2\supset K_3 is sequence of nonempty compact sets, Then 1Kn\bigcap ^{\infty}_1 K_n is not empty.

Proof:

We proceed by contradiction. Suppose 1Kn=ϕ\bigcap ^{\infty}_1 K_n=\phi

Then n=1Knc=(n=1Kn)c=XKi\bigcap^{\infty}_{n=1} K^c_n=(\bigcup^{\infty}_{n=1} K_n)^c=X\supset K_i, Since KnK_n is compact, KnK_n is closed. KncK_n^c is open.

So {Knc}nN\{K_n^c\}_{n\in \mathbb{N}} is an open cover of KnK_n. By compactness of K1K_1, \exists a finite subcover {Kn1c,...,Knmc}\{K^c_{n_1},...,K^c_{n_m}\} of K1K_1. So

K1i=1mKnic=(i=imKni)cK_1\subset \bigcup^m_{i=1} K_{n_i}^c =\left( \bigcap^{m}_{i=i} K_{n_i} \right)^c

Let l=max{n1,...,nm}l=\max\{n_1,...,n_m\}, then Kl=i=imKniK_l=\bigcap^{m}_{i=i} K_{n_i}. So K1KlcK_1\subset K_l^c, so K1Kl=ϕK_1\cap K_l=\phi

which contradicts with KlK1K_l\subset K_1

QED

Theorem 2.37

If EE is an infinite subset of a compact set KK, then EE has a limit point in KK.

Proof:

We’ll prove the following equivalent statement (contrapositive).

If KK is compact, EKE\subset K, and EK=ϕE'\cap K=\phi, then EE is finite

Suppose KK is compact, EKE\subset K , EK=ϕE'\cap K=\phi.

For each qK,qEq\in K, q\notin E', so \exists neighborhood qBrq(q)\forall q\in B_{r_q}(q) such that VqE\{q}=ϕV_q\cap E\backslash \{q\}=\phi (By EK=ϕE'\cap K=\phi).

Then {Vq}qK\{V_q\}_{q\in K} is an open cover of KK , so it has a finite subcover {Vqi}n=1n\{V_{q_i}\}^n_{n=1}. Then EKi=1nE\subset K\subset \bigcup_{i=1}^n, and i,VqiE{qi}\forall i,V_{q_i}\cap E\subset \{q_i\}, then E{q1,...,qn}E\subset\{q_1,...,q_n\}

QED

Theorem 2.38

If I1,I2,...I_1,I_2,... is a sequence of closed and bounded intervals and I1I2I3...I_1\subset I_2\subset I_3\subset ..., then n=1Inϕ\bigcap{}^{\infty}_{n=1} I_n\neq \phi

Proof:

Let E={an:nN}E=\{a_n:n\in \mathbb{N}\}, EE is non empty (Since aiEa_i\in E)

We claim mN\forall m\in \mathbb{N}, bmb_m is an upper bound of EE, i.e. mN,nN,anbm\forall m\in \mathbb{N},\forall n\in \mathbb{N},a_n\leq b_m.

To see this:

anan+mbn+mbna_{n}\leq a_{n+m}\leq b_{n+m}\leq b_{n}

Let x=sup(E)x=sup(E), we claim xn=1Inx\in \bigcap_{n=1}^{\infty} I_n, i.e nN,anxbn\forall n\in \mathbb{N}, a_n\leq x\leq b_n

Fix nNn\in \mathbb{N}.

Since xx is an upper bound of EE and anEa_n\in E, then anxa_n\leq x.

Since xx is the least upper bound of EE, and bnb_n is an upper bound of EE, then xbnx\leq b_n. xE,Eϕx\in E,E\neq \phi

QED

Last updated on