Homotopy equivalence

Let \((X,\mathcal{T}_X)\) and \((Y,\mathcal{T}_Y)\) be topological spaces and \(f: X \rightarrow Y\) a continuous map. Then \(f\) is said to be a homotopy equivalence, if there exists a homotopy inverse \(g: Y \rightarrow X\)