Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to show that if $A$ and $B$ are compact in a Hausdorff space, then their intersection is compact.

The way I did it is as follows. $A$ and $B$ are compact in a Hausdorff space, so they are closed. As a consequence, their intersection (denote it by $C$) is closed. But $C$ is closed in $A$, which is compact, so $C$ is compact.

I am pretty sure this is correct, but so far compactness seems a bit tricky, so I want to ensure I get everything right.

Thank you!

share|cite|improve this question
Looks good! ${}$ – Ayman Hourieh Feb 22 '13 at 23:23
A little detail about "$C$ is closed in $A$": $A$ and $B$ are closed in the Hausdorff space (denoted $H$), so $C = A \cap B$ is closed in $H$. In the subspace $A$, $C \cap A = C$ is closed in $A$. – hengxin Feb 11 '14 at 5:35
up vote 3 down vote accepted

Yes, that's correct. Your proof relies on Hausdorffness, and it's worth noting that this is necessary: here you will find an example of a non-Hausdorff space with two compact subsets $A$, $B$ having a non compact intersection. Neither $A$ nor $B$ is closed.

share|cite|improve this answer
To be more precise, the proof relies on the fact that compact sets are closed. There are non-Hausdorff spaces in which all compact sets are closed, so the proof would work fine there. – Austin Mohr May 12 '15 at 17:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.