Compact -> bounded

  • Thread starter Rasalhague
  • Start date
  • #1
1,384
2

Main Question or Discussion Point

Compact --> bounded

In lecture 8 of Francis Su's Real Analysis online lecture series, he has a proof that a compact subset of a metric space is bounded: Given a metric space (X,d), if A is a compact subset of X, then every open cover of A has a finite subcover. Let B be a set of open balls of radius r, one centered on each point of A. This is an open cover of A, so it has a finite subcover {Bi}. Let C be the set of distances between pairs of center points of the elements of the subcover {Bi}. Let s = max C. Then B(x,s+2r) is an open ball that includes A.

My question: why the 2? Isn't B(x,s+r) also an open ball that includes A? If u is a point in A, then

d(x,u) <= d(x,w) + d(w,u) <= s + r

where w is the center of an open ball in {Bi} that contains u.
 

Answers and Replies

  • #2
165
4


set up a horizonal row of spheres tangent to eachother. then s=r*2*(k-1), k=number of spheres. the total diameter is s+2r=r*2*k=d. now draw B(x, d) and note: but where's x? is it in the center or somewhere else?
 
Last edited:
  • #3
1,384
2


Ah, I see now. I made x be the center of one of the open balls in my proof, although I forgot to mention that. He must have been been taking x to be an arbitrary point of A. Thanks, xaos.
 

Related Threads on Compact -> bounded

Replies
9
Views
2K
Replies
2
Views
2K
Replies
2
Views
1K
Replies
7
Views
5K
Replies
6
Views
3K
Replies
3
Views
3K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
12
Views
981
  • Last Post
Replies
8
Views
1K
  • Last Post
Replies
3
Views
2K
Top