Machine-translated by Google. Questions are authored in English.
Top

Discussion

Let \(X\) denote \(\mathbb{R}^{2}\) endowed with the usual topology. Let \(Y\) denote \(\mathbb{R}\) endowed with the co-finite topology. If \(Z\) is the product topological space \(Y \times Y\), then

  • A.the topology of \(X\) is the same as the topology of \(Z\)
  • B.the topology of \(X\) is strictly coarser (weaker) than that of \(Z\)
  • C.the topology of \(Z\) is strictly coarser (weaker) than that of \(X\)
  • D.the topology of \(X\) cannot be compared with that of \(Z\)

Answer: C

The topology of \(Z\) is strictly coarser (weaker) than that of \(X\).

A basic open set of \(Z\) is \(U \times V\) with \(U\) and \(V\) co-finite in \(\mathbb{R}\). The complement of a finite set is open in the usual topology, so \(U \times V\) is open in \(\mathbb{R}^{2}\) with the usual topology. Hence every open set of \(Z\) is open in \(X\).

The inclusion is strict. Any two non-empty open sets of \(Z\) intersect, because co-finite sets in \(\mathbb{R}\) always meet, so \(Z\) is not Hausdorff, while \(X\) is. For instance the open unit disc is open in \(X\) but contains no basic set \(U \times V\), each of which is unbounded.

So the two topologies are comparable and not equal, and it is \(Z\), not \(X\), that is coarser.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.