Chapter 7: Compactness Flashcards

1
Q

Lemma 7.3
subset of compact space

Proof
***

A

Proof

Let (aₙ) be a sequence in A. Then (aₙ) is a sequence in X and as X is compact, there is a subsequence (aₙ_ₖ) converging to a limit a∈ X. But each aₙ_ₖ ∈ A and A is closed so a ∈ A. Therefore A is compact

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Prop 7.4
compact , complete ,closed?
(2b)
Proof***

A

Proof
Let (aₙ) be a Cauchy sequence in A. Since A is compact,
there is a convergent subsequence (aₙ_ₖ), with limit a ∈ A. By Theorem 5.7, aₙ → a. Thus A is complete and, by Proposition 5.11, it is closed in X.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

DEF 7.1: compact

A

Let A ⊆ X be a subset of a metric space. We say that A is compact if every sequence in A has a subsequence that converges to a point of A.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

LEMMA 7.3: subset of compact space

A

Let A ⊆ X be a closed subset of a compact space X. Then A is compact.

(way of finding compact sets)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

PROP 7.4:for a compact set : completeness and closed?

A

Let A be a compact set in a metric space. Then A is complete. In particular, A is closed.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

DEF 7.5 bounded subset

A

A subset A of a metric space (X, d) is bounded if there is a D > 0 such that d(a, b) ≤ D for all a, b ∈ A.

eg in R, [a,b] is bounded with D=b-a

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

LEMMA: bounded subset

A

A subset A of R k is bounded in the sense of Definition 7.5 if and only if it is bounded in the usual sense

that there exists M > 0 such that d(a, 0) ≤ M for all a ∈ A.

(eg D=2M in 7.5 )

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Example: compact?

[a,b], R, [a,∞) or (−∞, b],

A
  • all closed intervals of the form [a,b] are compact by the Bolzano-Weierstrass thm 5.8
    *R is not compact because the sequence 0,1,2,3,4,.. has no convergent subseq
    *unbounded intervals [a,∞) or (−∞, b] are not compact because of sequences
    a,a+q,a+2,.. and b,b-1, b-2,…
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

complete
closed
compact?

A

complete sets are closed, so that the property of being complete is stronger than the property
of being closed. The property of being compact is stronger still.

compact implies completeness implies closed

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

PROP 7.7

compact and bounded?

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

THM 7.8 ( Heine-Borel)

A

A subset K of Rᵏ with the Euclidean metric is compact if and only if it is closed and bounded.

(compact subsets of a metric space X are closed and bounded, X=Rᵏ… false for other spaces)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Example:

Let A = {f ∈ C[0, 1]; f([0, 1]) ⊆ [0, 1]} and use supremum metric

A

For f, g ∈ A, d∞(f, g) ≤ 1. Thus A is bounded. Also A is closed because if gₙ → g where each gₙ ∈ A then, for x ∈ [0, 1], 0 ≤ gₙ(x) ≤ 1 from which it follows that 0 ≤ g(x) ≤ and g ∈ A.

We consider a sequence of functions fₙ ∈ A
eg defined by

fₙ(t) =
{ 2ⁿt if 0 ≤ t ≤ 1/2ⁿ
{1 if 1/2ⁿ ≤ t ≤ 1

If m is bigger than n then fₘ ( 1/ ( 2ⁿ ⁺¹) =1, as m ≥ n+1 so
1/(2ⁿ ⁺¹ ) ≥ 1/2ᵐ, but

fₙ(1/(2ⁿ ⁺¹ )) = 1/2, as 1/(2ⁿ ⁺¹ ) ≤ 1/2ⁿ. So

d∞(fₙ, fₘ) ≥ | fₙ (1/(2ⁿ ⁺¹ )) - fₘ(1/(2ⁿ ⁺¹ ))| = 1/2

whenever m≠ n

No subsequence of fn can be Cauchy, because any two terms are at
least 1/2 apart, so no subsequence can be convergent. Hence A is not
compact although it is closed and bounded.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

THM 7.10: continuity and compactness

A

Let f : X → Y be a continuous map between metric

spaces, and let K ⊆ X be compact. Then f(K) is compact.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

COROLLARY 7.11

A

A function f which is real-valued and continuous

on a compact set K is bounded on K and attains its bounds.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

UNIFORM CONTINUITY DEF 7.12

A

the same δ works for all x ∈ X.
Definition 7.12. A function f : X → Y between metric spaces
(X, dX) and (Y, dY ) is uniformly continuous if for all …… 0, there
exists δ > 0 such that f(B(x, δ)) ⊆ B(f(x), ) for all x ∈ X.

funct uniform continuity implies continuous
but not every continuous funct is uniformly cont

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

UNIFORM CONTINUITY

A

Uniform Continuity Recall the first definition of continuity. A
function f : X → Y between two metric spaces (X, dX) and (Y, dY )
is continuous if for all x ∈ X and for all > 0, there exists δ > 0
such that f(B(x, δ)) ⊆ B(f(x), ). We could demand more, namely
that the same δ works for all x ∈ X.

17
Q

Example 7.13: Consider f:(0,1] → [1,∞), f(x) = 1/x

A

then

|f( 1/(2ⁿ ⁺¹ )) - f(1/(2ⁿ )) |
= 2ⁿ ⁺¹ - 2ⁿ = 2ⁿ

Set ε= 1, then for any choice of δ bigger thn 0, choose n large enough st
1/(2ⁿ ⁺¹ ) less than δ

and let x = 1/ 2ⁿ.
Then |(1/(2ⁿ ⁺¹ ) - x| = 1/(2ⁿ ⁺¹ )  less than δ.

but
|f( 1/(2ⁿ ⁺¹ )) - f(x)| = 2ⁿ ≥ ε. Thus f(B(x,δ)) NOT⊆NOT B(f(x), ε) and f is not uniformly continuous.

18
Q

THM 7.14

A

Let f : X → Y be a continuous function and suppose

that X is compact. Then f is uniformly continuous.

19
Q

DEF 7.15

cover of E

A

Let X be a metric space. A collection {Uᵢ: i ∈ I}
of subsets of X is a cover of E ⊂ X, or covers E ⊂ X, if

E ⊆UNION FOR[i∈I] OF Uᵢ

20
Q

FINITE COVER

A

If the indexing set I is a finite set then {Uᵢ: i ∈ I}

21
Q

OPEN COVER

A

If each of the Uᵢ

is an open set then the collection is an open cover

22
Q

FINITE SUBCOVER

A

If {Uᵢ: i ∈ I} is a cover for E, then a finite collection Uᵢ₁, . . . , Uᵢ_ₙ
with i₁, . . . , iₙ ∈ I is called a finite subcover of E if

it is itself a finite cover,

i.e. if E ⊆ Uᵢ₁ ∪ · · · ∪ Uᵢₙ

23
Q

EXAMPLE closed interval

[0.1] cover

A

eg break into two intervals length 1/2, 3 intervals length 1/3 etc

no way of writing R as a finite union of intervals of length one

24
Q

DEF 7.16

totally bounded

A

A metric space (X, d) is totally bounded if for each

ε > 0 there is a finite collection of open balls of radius ε which cover X

25
Q

PROP 7.17 compact metric space is…

2a

A

A compact metric space is totally bounded

26
Q

DEF 7.18: Heine-borel PROPERTY

A

A metric space X is said to have the Heine–Borel
property if every open cover of X has a finite subcover. That is, X
has the Heine-Borel property if for any open cover {U_i: i ∈ I} there
are finitely many indices i1, . . . , in such that Ui_1 ∪ · · · ∪ Ui_n = X.

27
Q

PROP 7.19: (3)

when can we say metric space has the heine-borel property

A

Let X be a totally bounded complete metric space. Then X has the Heine-Borel property.

28
Q

THM 7.2: metric spaces equivalent statements from (1) (2) (3)

A

Let (X, d) be a metric space. The following are
equivalent:

a. X is compact.
b. X is totally bounded and complete.
c. X has the Heine–Borel property.