Is every subset of a compact set is compact?

A subset K of a metric space X is said to be compact if every open cover of K has a finite subcover. For instance, every finite set is compact; if K has the discrete metric, then K is compact if and only if it is finite (why?). 37, 2.34] If a subset K of a metric space X is compact, then K is bounded and closed.

How do you prove that a subset of a compact set is compact?

Every closed subspace of a compact space is compact. Proof. Let Y be a closed subspace of the compact space X. Given a covering A of Y by sets open in X, let us form an open covering B of X by adjoining to A the single open set X − Y , that is, B = A∪{X − Y }.

Are all compact sets bounded?

Hence, every limit point of S is in S, so S is closed. The proof above applies with almost no change to showing that any compact subset S of a Hausdorff topological space X is closed in X. If a set is compact, then it is bounded.

Is every compact set is closed?

It is not closed, however, since it is not the complement of an open set. Every infinite set with complement finite topology is the counterexample. This space is compact, however is not Hausdorff.

Is a singleton set compact?

What you mean is that a set containing a single point (a “singleton” set) is compact. That’s true in any topology, not just R or even just in a metric space. Given any open cover for {a}, there exist at least one set in the cover that contains a and that set alone is a “finite subcover”.

Is a singleton compact?

Singleton Set in Discrete Space is Compact.

Are the rationals compact?

3 Answers. Another reason: a compact subset of the reals is closed and bounded (Heine-Borel theorem), and the rationals are distinctly not bounded. A compact space is complete.

Is the real line compact?

No, the real numbers are not compact. And you cannot say that is compact if it is closed and bounded – only a subset of is compact if it is closed and bounded.

Is real number set compact?

The set ℝ of all real numbers is not compact as there is a cover of open intervals that does not have a finite subcover. For example, intervals (n−1, n+1) , where n takes all integer values in Z, cover ℝ but there is no finite subcover. In fact, every compact metric space is a continuous image of the Cantor set.