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?