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

Discussion

Let \(p : ([0,1], T_{1}) \to (\{0,1\}, T_{2})\) be the quotient map, arising from the characteristic function on \([\frac{1}{2}, 1]\), where \(T_{1}\) is the subspace topology induced by the Euclidean topology on \(\mathbb{R}\). Which of the following statements is TRUE?

  • A.p is an open map but not a closed map
  • B.p is a closed map but not an open map
  • C.p is a closed map as well as an open map
  • D.p is neither an open map nor a closed map

Answer: D

The map p is neither an open map nor a closed map.

p sends [0, 1/2) to 0 and [1/2, 1] to 1. In the quotient topology a set is open when its preimage is open in [0, 1]. The preimage of {0} is [0, 1/2), open in [0, 1]; the preimage of {1} is [1/2, 1], not open. So \(T_{2}\) = {∅, {0}, {0, 1}}, whose closed sets are {0, 1}, {1} and ∅.

Not open: (1/2, 1] is open in [0, 1] but its image {1} is not open. Not closed: [0, 1/4] is closed in [0, 1] but its image {0} is not closed.

So the options claiming p is open, closed, or both are all wrong.

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

Post your comment

Please log in or register to post a comment.