## Cute Proofs: Continuous Image of Compact Set is Compact.

### October 3, 2010

While not an especially difficult proof, this kind of this is standard when we’re using compact sets. What we’re going to do is take an open cover, pull it back, use compactness, then push it forward. Let’s get down to it!

**Theorem**: If is continuous and is a compact space, then is also compact.

It suffices to show that for every open cover of there exists a finite subcover. Let’s take is an arbitrary cover of . Note that and each is open since is continuous. Since is compact, we have that (with potentially reordering or renaming the indices) is a finite cover of our set . Therefore, we have that

(with equality holding because is surjective onto its image) is a cover for and is therefore a finite subcover of our original cover. This proves that is compact.

This is a nice theorem, because we can push things into spaces that are strange and preserve compactness knowing only that our map is continuous and our original set is compact.

thank u sir for proving this theorem wonderfully……

The word “continuous” is mentioned in the title, but not in the statement of the theorem. I would suggest adding it.

One more thing, in the proof you say that $f$ is defined on all of $Y$. I quite don’t get that. The domain of $f$ is $X$, not $Y$.

It seems I’ve succumb to the Topologist’s illness in assuming (without explicitly saying so) that the map in question is continuous. I’ve added it for clarity.

I’m also not entirely sure why I included the statement in question. I’ve removed it, and I think nothing is lost from the proof. Thank you!

I guess you have been quite busy over the past 4 years! haha.

Ups.. Nevermind.

You have a mistake, the last equality not necessarily holds. Each set of the left part of the equality is a subset of the right side of the equality.

In general, you’re correct. I’ve left out the fact that $f$ is surjective (of course, every map is surjective onto its image) and, therefore, equality should hold.

Here’s the relevant mathworld page that I’ll link to above as well.

http://mathworld.wolfram.com/Pre-Image.html

It’s been a while since I’ve looked at this stuff, so if I made another error, lemme know! :]