Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question
4  
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 at 5:35

1 Answer 1

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|improve this answer

Your Answer

 
discard

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.