Thread: Compact spaces - Union and Intersection

Hey guys, i hope you can help me.

I have to prove that if are all compact subsets of the metric space :

a) is compact.

b) is compact.


Im really kind of stuck on this, and ive been working on it for quite some time. Any of you guys who can tell me what to do or point me in the right direction?

Thanks a lot.

Morten

Originally Posted by MortenDK

I have to prove that if are all compact subsets of the metric space :

a) is compact.

b) is compact.

Can you show this:
if are both compact subsets of the metric space :

a) is compact.

b) is compact.

Think finite subcover.

Plato's explanation is great for the first one (remember the sum of two finite quantities is finite).

For the second one, note that the makeup of metric spaces makes compact subspaces closed. Thus, is a closed subspace of . Know any theorems about closed subspaces of compact spaces?

Originally Posted by Drexel28

Plato's explanation is great for the first one (remember the sum of two finite quantities is finite).

Do you mean the second one (the union)?

Also note that if is an open covering of then is an open cover of .

Originally Posted by Plato

Do you mean the second one (the union)?

Yeah, sorry.

Also note that if is an open covering of then is an open cover of .

That is kind of the proof for the fact about closed subspaces of compact spaces I was referring too haha. But, since we are talking about being the ambient space, it might be less confusing to put