5
$\begingroup$

$\tau_1,\tau_2,\tau_3$ are topologies on a set such that $\tau_1\subset \tau_2\subset \tau_3$ and $(X,\tau_2)$ is a compact Hausdorff space. Could any one tell me which of the following are correct?

  1. $\tau_1=\tau_2$ if $(X,\tau_1)$ is compact Hausdorff.
  2. $\tau_1=\tau_2$ if $(X,\tau_1)$ is compact.
  3. $\tau_2=\tau_3$ if $(X,\tau_3)$ is Hausdorff.
  4. $\tau_2=\tau_3$ if $(X,\tau_3)$ is compact.
  • 0
    lol that's straight up an answer!2012-06-04

1 Answers 1

11

Hint: The identity mapping $(X,\tau_{i+1}) \to (X,\tau_i)$ is continuous and a continuous bijection from a compact space to a Hausdorff space is a homeomorphism. This takes care of two statements and the two others are refuted by considering the trivial and the discrete topology on an infinite compact Hausdorff space $(X,\tau_2)$.

  • 0
    @hardmath: thanks, fixed.2012-06-04