Math 5615H: Honors: Introduction to Analysis Compact Sets

7
Math 5615H: Honors: Introduction to Analysis Compact Sets Sasha Voronov University of Minnesota September 30, 2020

Transcript of Math 5615H: Honors: Introduction to Analysis Compact Sets

Math 5615H: Honors: Introduction to Analysis

Compact Sets

Sasha Voronov

University of Minnesota

September 30, 2020

Properties of Compact Sets in Metric Spaces

Theorem

If K is a compact subset of a metric space X, then K is closed

and bounded.

Remark. The converse is true for X = Rn (the Heine-Borel thm)

Examples

2 / 7

-

EO, k$15463 CIR anilin

"

BTTTTTICIR"

,tayabisxhembdx.xian.bg

adlafkarckhaan.ie#fIEFFfEia*e.s

Proof of Theorem

Bounded: Cover X (and thereby K ⇢ X ) with open balls Bn(x0)of radius n 2 N, centered at x0 2 X .

Closed: Prove K c := X ⇢ K is open. Given a 2 K c , consider

Ok = {x 2 R | |x � a| > 1/k}, k 2 N. ThenS1

k=1Ok = X \ {a},

so K ⇢S1

k=1Ok .

3 / 7

Suppose k compact EX .

**¥.¥. x dlx,xoKh⇒Bn¥o

)

Kkr c#x,a) b/c * CX#a)

¥;§ Pick a finite sub cover

Oki = Opp where p issuedthat kp=maxkk , -fed

9%9..EE#o..iE*?.omi

Closed Subsets of Compact Sets

Theorem

Let K be a closed subset of a compact metric space X. Then K

is compact. In particular, a closed subset of a compact set in

any metric space is compact.

Proof. Let {O↵} be an open cover of K . Then

{Kc} [ {O↵}

is an open cover of X .

4 / 7

Xcx

*axclosed compact

+open ,

b/c k closedU Op K

, (V Od U ke o X .

L L

choose a finite sub cover 102 if it, in}U kkI→with or without thisDrop Lk

') anyway . pai U a X ⇒ Kati Oj

The Bolzano-Weierstrass Property

Definition

Let X be a metric space. A subset A ⇢ X has the

Bolzano-Weierstrass property if every infinite subset of A has a

limit point (cluster point) that belongs to A.

Theorem

Let A be a subset of a metric space (X , d). Then A is compact

iff A has the Bolzano-Weierstrass property.

Proof.

5 / 7

TCH:AAA-conpact-AhasB-wproperty.ECA infinite . Suppose"

here no pout of Ais a hut point of EM! ⇒ ta e-A 3- open

ball

B•

catered at a t.BE#EE--L&afoor. This gives anopen cover {B al a e- Af of A . A compact ⇒ F finitesubcover . It covers A arsed Etherdog E . ⇒ E finite . DNext time ⇐

Nested Intervals

Theorem (Nested interval property)

Proof.

6 / 7

-- X-- IR"

,

n - cells In= Eaten , bihtsxtazh' , bihtsx. .. x tank,KAYCIR"

suppose those Ia form a newsgirlsn - calls

,ine

.

,

I,D Iso Is 3

.. .

SIP Ike, 0. . .Then in

,

I-na ¥0 .If Big

'- aightMattia,.in

Then EE,Iq is a single point .

Prodi. next tiene .

The Heine-Borel Theorem

Theorem

A subset K of Rn is compact if and only if it is closed and

bounded.

Proof.

7 / 7

Next time