working with closed covers and finite sets

I am not sure how to proceed with this proof.

Say that a set **K** in a metric space is 'Tompac' if every closed cover of **K** has a finite subcover. show that such a **K** must be a finite set.

(hint: any singleton set in a metric space is ...)

I know that any singleton set in a metric space is closed. my thinking on this is that a closed set contains the set and its limit points so if the set has a closed subcover say B[p, epsilon] then the set must be a subset of the cover but I am not sure how to show the set must be finite.

Re: working with closed covers and finite sets

Quote:

Originally Posted by

**bskcase98** I know that any singleton set in a metric space is closed.

With that observation, the problem is now actually easier than you suspect. It's now just a matter of seeing the right "bad" closed cover of **K** that will lead you to the conclusion.

With that observation, think of a really bad, meaning really big, closed cover of **K**. Try to make the cover as big as possible - meaning containing as many closed sets as possible. Do so in a way that has as little overlap as possible.

OK - now that cover you just produced has a *finite* subcover. Some finite number of those closed sets in your cover are sufficient to still cover **K**. What does that tell you about **K**?

Re: working with closed covers and finite sets

so let each x in M in the metric (M,d) have a closed cover G then the union of all the covers will be big enough to cover K then any finite subcover that covers K must imply that K is finite.

Re: working with closed covers and finite sets

Quote:

Originally Posted by

**bskcase98** so let each x in M in the metric (M,d) have a closed cover G then the union of all the covers will be big enough to cover K then any finite subcover that covers K must imply that K is finite.

I didn't understand that. Are you describing a particular cover? If so, can you describe your particular cover exactly?