MathDB
analysis

Source: miklos schweitzer 1994 q8

October 16, 2021
topology

Problem Statement

Prove that a Hausdorff space X is countably compact iff for every open cover U\cal {U} there is a finite set AXA \subset X such that {UU:UA}=X \bigcup \{U \in {\cal U} : U \cap A \neq \emptyset \} = X.