Let be a Hausdorff space and let be disjoint compact subsets of . Show that there exist disjoint open subsets of such that and .

Printable View

- Feb 24th 2009, 08:13 AMAmanda1990Compactness in a Hausdorff spaceLet be a Hausdorff space and let be disjoint compact subsets of . Show that there exist disjoint open subsets of such that and .
- Feb 24th 2009, 08:48 AMPlato
Try to first do this lemma.

If is a compact subset of a Hausdroff space and then there exists open sets such that .

Once you have done that lemma, take note and build an open set for each that is an open cover for .

Remember these are compact sets. Also the intersection of finitely many open sets is open. - Feb 25th 2009, 06:40 AMAmanda1990
OK I can see how your lemma would help us here but there are two issues:

1) I'm sure you're thinking of an equally valid alternative method, but once we've proved your lemma isn't it more natural to buid an open set for every element in B and then take the union of all of these? (Then even infinite unions of open sets are still open).

2) I can visualise why the lemma "should" work but this is quite different to proving it! It seems like the same kind of idea as te question itself...I'm trying to use the compactness by using open sets and then showing that only finitely of them are needed to cover the open set, then use the Hausdorff property, but I can't get near a formal proof. - Feb 25th 2009, 08:59 AMPlato
If is a compact subset of a Hausdroff space and then there exists open sets such that .

Here is a quick outline of a proof.

, these are open sets.

The O’s cover A. There is a finite collection which also covers A.

Look the set of corresponding Q’s: .

Let now it should be clear to you that .