Thread: Is a compact space closed?

Please read the following:
Every compact set is closed. So the union of all compact sets is closed? If that's so, then a compact space, which is basically the union of the compact sets, is closed, right?

Hi Mohit.

Originally Posted by Mohit

So the union of all compact sets is closed?

No. The union of finitely many compact sets only is closed.

Originally Posted by TheAbstractionist

Hi Mohit.



No. The union of finitely many compact sets only is closed.

Yes, this is correct. For an example consider the following. , each of which is clearly compact, now , which is not compact (it is not bounded).

Originally Posted by Mohit

Please read the following:
Every compact set is closed (not necessarily true). So the union of all compact sets is closed? If that's so, then a compact space, which is basically the union of the compact sets, is closed, right?

If your topological space is a standard topology on , then a subset A of is compact if and only if it is closed and bounded.
More generally, if a topological space X is a compact Hausdorff space, then a subset A of X is compact if and only if it is closed. In this case, as Abstractionist mentioned, finite unions of compact sets is compact.

However, open sets can be compact sets. For example, in a cofinite topology on , compact sets are not necessarily closed sets.

Thank you all, thanks a lot.

Originally Posted by Mohit

Please read the following:
Every compact set is closed. So the union of all compact sets is closed? If that's so, then a compact space, which is basically the union of the compact sets, is closed, right?

As pointed out by others, an infinite union of closed set is not necessarily closed so the union of all compact sets in a space is not necessarily closed in that space.

But you mention a "compact space". Every topological space is closed in itself.