Exercise · ZW-COMPACT-SPACE-007 · ★★☆ Intermediate

Let \(X\) be an infinite set with the cofinite topology (the open sets are \(\varnothing\) and complements of finite sets). Is it compact?

Choose one option.

Show answer
  • D. Yes: a nonempty open set misses only finitely many points

Explanation

Given a cover, a nonempty \(U\) omits only finitely many points; cover each by one more open set and the total is finite.

Study General topology in ZWMath →

Review the concept: Compact space

A topological space \(X\) is compact if every open cover \(\mathcal{U}\) of \(X\) has a finite subcover.

\[X=\bigcup_{U\in\mathcal{U}}U\ \Rightarrow\ X=U_1\cup\dots\cup U_n,\ U_i\in\mathcal{U}\]

More practice problems: compact space

← ZW-COMPACT-SPACE-006 ZW-COMPACT-SPACE-008 →