Re: disjoint subsets compact subsets



In article <fnqv54$o6r$1@xxxxxxxxxxxxxxxxx>, "Asfer" <asfer@xxxxxxxx>
wrote:

Let Y be a Hausdorff compact space.
Let C be a compact subspace of Y.
Let W and V be disjoint open sets of Y, where W contains C.
Then the closure of V in Y is disjoint from C. Why?

Y \ W is closed and contains V, hence contains the closure of V. So
the closure of V is disjoint from W, hence is disjoint from C. (This
has nothing to do with Hausdorff spaces or compactness.)
.



Relevant Pages

  • Re: Compact closure of half a subgroup
    ... Subject: Re: Compact closure of half a subgroup ... some open U nhood g^-1 with disjoint A,U ... >> neighbourhood of c that contains no g^j. ... >> But this contradicts the definition of closure. ...
    (sci.math)
  • Re: Partitions of Reals
    ... >This is true for the set of all reals. ... >disjoint sets by transfinite recursion. ... Let Abe the closure (under addition and ... of exahusting all of R+ in your construction. ...
    (sci.math)
  • Re: disjoint subsets compact subsets
    ... Let C be a compact subspace of Y. ... Let W and V be disjoint open sets of Y, ... Then the closure of V in Y is disjoint from C. ...
    (sci.math)
  • Re: Topology with b(AUB).
    ... I assume cl= closure = intersection of all closed sets containing ... intdisjoint cl ... to complement of closure of complement. ...
    (sci.math)
  • Re: Topology with b(AUB).
    ... I assume cl= closure = intersection of all closed sets containing ... intdisjoint cl ... to complement of closure of complement. ...
    (sci.math)

Quantcast