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.

Consider a compact subset $A\subseteq \mathbb{R}$ together with a closed subset $B\subseteq \mathbb{R}$. Show that $A\cap B$ is compact. Is $A\cup B$ also compact?

share|improve this question
1  
With homework questions, it's usually a good idea to tell us what you already know, and what you have tried. –  NKS Sep 30 '12 at 23:13
add comment

2 Answers

up vote 1 down vote accepted

In $\mathbb{R}$ compact iff closed and bounded. $A$ is compact so $A$ is closed. Then $A \cap B$ is closed. Also $A \cap B \subseteq A$ so $A \cap B$ is bounded. Hence $A \cap B$ is closed and bounded, so $A \cap B$ is compact.

We still have $A \cup B$ is closed. But $A \cup B$ might not be bounded. E.g. take $A = \emptyset, B = \mathbb{R}$ and this gives a contradiction for $A \cup B$ being compact.

Edit: Just so you are aware, $A$ compact and $B$ closed implies $A \cap B$ is compact in any Hausdorff topological space. Hausdorff is needed so compact implies closed. Then the proof proceeds using the definition with open covers. It may be a good exercise to try to prove it for $\mathbb{R}$ without using compact iff closed and bounded.

share|improve this answer
add comment

To show that $A\cap B$ is compact just note that if $x_n\in A\cap B$ then $x_n\in A$ so by compactness, there is a subsequence $x_{n_k}\to x\in A$ and $x_{n_k}\in B.$ Since $A\cap B$ is closed $x\in A\cap B$ and sequential compactness follows. As to $A\cup B$ it is clearly false as one can take unbounded $B.$

share|improve this answer
add comment

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.