Let and have their respective Euclidian topologies. Endow

with subspace topology induced from . Define the relation ~ on by a ~ b iff

Prove that ~ is an equivalence relation on R

Let [a] denote the ~ equivalence class containing a. Put and endow with the quotient topology - that is, the topology induced by the canonical projection

,

Prove that is homeomorphic to