Topology : an introduction with application to topological goups