Notes on general topology

It is well known that a path-connected Hausdorff space is arc-connected. Indeed, given a path P, that is, a continuous map. f of the unit interval I0(0 ≤ t ≤ 1) into the Hausdorff space X, there is an arc joining the points f(0), f(1) (supposed distinct) which is obtained by ‘cutting out loops in P’. More precisely, there exist a continuous increasing map α of I0 onto itself and a homeomorphism φ of I0 onto φ(I0) ⊂ X, such that if [t0, t1] is any maximal interval of constancy of α (including the case t0 = t1) then f(t0) = f(t1) = φοα(t0). The function φ, α, can be defined by a constructive process.