compact space and convergent ultrafilter

1. Proposition

Let \((X, \mathcal{T})\) be a topological space. TFAE:

  1. \(X\) is compact, as in there exists a finite subcover
  2. each ultrafilter is convergent

2. Proof

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:42