Difficulty: 2

For proofs that very easy, using a quick little argument.

2

Countably compact     \implies Weakly countably compact

Added:

Mar 11, 2026

Difficulty:

Let XX be infinite and AXA \subseteq X countably infinite (uses axiom of countable choice). If XX has no limit points, AA is closed and for each xAx \in A, choose a nbd VxV_x with VxX=V_x \cap X = \emptyset. Then {Vn}{AC}\{V_n\} \cup \{A^C\} is a cover. A finite subcover would imply AA is finite.

4

Countably compact     \implies Pseudocompact

Added:

Mar 11, 2026

Difficulty:

For f:XRf : X \to \R continuous, {f1(n,n)}\{f^{-1}(-n, n)\} is a countable cover.

493

(Countable ∧ Discrete)     \implies Ordinal space

Added:

Mar 12, 2026

Difficulty:

It has a bijection f:Xnf: X \to n if finite, or f:Xωf : X \to \omega if infinite. It’s a homeomorphism either way.