Compactness via closed sets

291 Views Asked by At

Do you know if compactness of a set, in a metric space, can be expressed in terms of closed sets?

That is, Is it true the following statement: Let $(X,d)$ a metric space and $A\subseteq X$ such that every closed cover of A has a finite subcover. Then A is compact (in the usual sense).

I think it is false, so I'm trying to find a non compact set $A$ on a metric space $X$ such that, whenever $\{F_\lambda\}$ is a collection of closed sets such that $A\subseteq\cup_\lambda F_\lambda$, there are $\lambda_1,...,\lambda_n$ with $A\subseteq\cup_{i=1}^n F_{\lambda_i}$.

2

There are 2 best solutions below

1
On BEST ANSWER

Since points are closed subsets of a metric space, a subset of a metric space (or, more generally, of a T1 space) has your property if and only if it is finite. Of course, finite sets are compact.

A subset $A$ of a topological space $X$ is compact in the usual sense if and only if for all families $\mathcal F$ of closed sets such that $A\cap \bigcap\mathcal F=\emptyset$ there are $F_1,\cdots, F_n\in \mathcal F$ such that $A\cap F_1\cap\cdots\cap F_n=\emptyset$.

0
On

The usual dual formulation of compactness in terms of closed sets: $X$ is compact iff for every family of closed sets $\mathcal{C}$ of $X$ such that $\bigcap \mathcal{C}=\emptyset$, there are finitely many $C_1,\ldots C_n$ from $\mathcal{C}$ such that $C_1 \cap C_2 \cap \ldots \cap C_n =\emptyset$. This holds in all topological spaces.