Exercise · ZW-TOPOLOGY-007 · ★★☆ Intermediate

If \(\mathcal{T}_1\) and \(\mathcal{T}_2\) are topologies on \(X\), which of these families is always a topology?

Choose one option.

Show answer
  • D. \(\mathcal{T}_1\cap\mathcal{T}_2\)

Explanation

\(\varnothing\) and \(X\) lie in both, and unions and intersections of common sets remain common. The union fails (previous exercise) and both differences lose \(\varnothing\) and \(X\).

Study General topology in ZWMath →

Review the concept: Topology

A topology on a set \(X\) is a family \(\mathcal{T}\) of subsets of \(X\), whose members \(U\) are called open sets, containing \(\varnothing\) and \(X\) and closed under arbitrary unions and finite intersections.

\[\varnothing,X\in\mathcal{T};\quad U_i\in\mathcal{T}\Rightarrow\bigcup_i U_i\in\mathcal{T};\quad U_1\cap U_2\in\mathcal{T}\]

More practice problems: topology

← ZW-TOPOLOGY-006 ZW-TOPOLOGY-008 →