# Quotient Space of Real Line may not be Kolmogorov

Jump to navigation
Jump to search

## Theorem

Let $\struct {\R, \tau}$ be the real numbers with the usual (Euclidean) topology.

Then there exists an equivalence relation $\sim$ on $\R$ such that the quotient space $\struct {\R / {\sim}, \tau_\sim}$ is not Kolmogorov.

## Proof

By Quotient Space of Real Line may be Indiscrete, there is an equivalence relation $\sim$ on $\R$ such that the quotient space $\struct {\R / {\sim}, \tau_\sim}$ has two points and is indiscrete.

It follows directly from the definition of Kolmogorov space that $\struct {\R / {\sim}, \tau_\sim}$ is not a Kolmogorov space.

$\blacksquare$