Exercise · ZW-DISCRETE-AND-TRIVIAL-TOPOLOGY-009 · ★★☆ Intermediate

Let \(\mathcal{T}\) be any topology on \(X\). Which relation always holds?

Choose one option.

Show answer
  • C. \(\mathcal{T}_{triv}\subseteq\mathcal{T}\subseteq\mathcal{T}_{disc}\)

Explanation

Every topology contains \(\varnothing\) and \(X\), so it contains the trivial one, and its open sets are subsets of \(X\), so it lies inside the discrete one.

Study General topology in ZWMath →

Review the concept: Discrete and trivial topology

The discrete topology \(\mathcal{T}_{disc}\) on a set \(X\) has the power set \(\mathcal{P}(X)\) as open sets; the trivial one \(\mathcal{T}_{triv}\), only the empty set and \(X\).

\[\mathcal{T}_{disc}=\mathcal{P}(X),\qquad \mathcal{T}_{triv}=\{\varnothing,X\}\]

More practice problems: discrete and trivial topology

← ZW-DISCRETE-AND-TRIVIAL-TOPOLOGY-008 ZW-DISCRETE-AND-TRIVIAL-TOPOLOGY-010 →