๐ŸŽ‰ ไปŽ330่ฝฌไธบWashUๅธฎๅŠฉๆ‰‹ๅ†Œๅ•ฆ!

Math4111
ๆจกๅ—
Math4111 L11

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 pโˆˆXp\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 pโˆˆXp\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 KโŠ‚Kโˆช{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 pโˆˆKโˆช{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 FโŠ‚KโŠ‚X,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 FโŠ‚KโŠ‚XF\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=XโŠƒK(\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 FโŠ‚KF\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.

EOP

Corollary 2.35

If FF is closed and KK is compact, then FโˆฉKF\cap K is closed.

Corollary 2.36 From Theorem 2.36

If K1โŠƒK2โŠƒK3K_1\supset K_2\supset K_3 is sequence of nonempty compact sets, Then โ‹‚1โˆžKn\bigcap ^{\infty}_1 K_n is not empty.

Proof:

We proceed by contradiction. Suppose โ‹‚1โˆžKn=ฯ•\bigcap ^{\infty}_1 K_n=\phi

Then โ‹‚n=1โˆžKnc=(โ‹ƒn=1โˆžKn)c=XโŠƒKi\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}nโˆˆN\{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

K1โŠ‚โ‹ƒi=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 K1โŠ‚KlcK_1\subset K_l^c, so K1โˆฉKl=ฯ•K_1\cap K_l=\phi

which contradicts with KlโŠ‚K1K_l\subset K_1

EOP

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, EโŠ‚KE\subset K, and Eโ€ฒโˆฉK=ฯ•E'\cap K=\phi, then EE is finite

Suppose KK is compact, EโŠ‚KE\subset K , Eโ€ฒโˆฉK=ฯ•E'\cap K=\phi.

For each qโˆˆK,qโˆ‰Eโ€ฒq\in K, q\notin E', so โˆƒ\exists neighborhood โˆ€qโˆˆBrq(q)\forall q\in B_{r_q}(q) such that VqโˆฉE\{q}=ฯ•V_q\cap E\backslash \{q\}=\phi (By Eโ€ฒโˆฉK=ฯ•E'\cap K=\phi).

Then {Vq}qโˆˆK\{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 EโŠ‚KโŠ‚โ‹ƒi=1nE\subset K\subset \bigcup_{i=1}^n, and โˆ€i,VqiโˆฉEโŠ‚{qi}\forall i,V_{q_i}\cap E\subset \{q_i\}, then EโŠ‚{q1,...,qn}E\subset\{q_1,...,q_n\}

EOP

Theorem 2.38

If I1,I2,...I_1,I_2,... is a sequence of closed and bounded intervals and I1โŠ‚I2โŠ‚I3โŠ‚...I_1\subset I_2\subset I_3\subset ..., then โ‹‚n=1โˆžInโ‰ ฯ•\bigcap{}^{\infty}_{n=1} I_n\neq \phi

Proof:

Let E={an:nโˆˆN}E=\{a_n:n\in \mathbb{N}\}, EE is non empty (Since aiโˆˆEa_i\in E)

We claim โˆ€mโˆˆN\forall m\in \mathbb{N}, bmb_m is an upper bound of EE, i.e. โˆ€mโˆˆN,โˆ€nโˆˆN,anโ‰คbm\forall m\in \mathbb{N},\forall n\in \mathbb{N},a_n\leq b_m.

To see this:

anโ‰คan+mโ‰คbn+mโ‰คbna_{n}\leq a_{n+m}\leq b_{n+m}\leq b_{n}

Let x=sup(E)x=sup(E), we claim xโˆˆโ‹‚n=1โˆžInx\in \bigcap_{n=1}^{\infty} I_n, i.e โˆ€nโˆˆN,anโ‰คxโ‰คbn\forall n\in \mathbb{N}, a_n\leq x\leq b_n

Fix nโˆˆNn\in \mathbb{N}.

Since xx is an upper bound of EE and anโˆˆEa_n\in E, then anโ‰คxa_n\leq x.

Since xx is the least upper bound of EE, and bnb_n is an upper bound of EE, then xโ‰คbnx\leq b_n. xโˆˆE,Eโ‰ ฯ•x\in E,E\neq \phi

EOP