Let f,g ; I-->X be two paths with initial point x0 and terminal point x1.
Prove that f g iff f g-bar is equivalent to the constant path at x0 .
Note: the path g-bar is obtained by traversing the path g in the opposite direction.
See the attached file.© BrainMass Inc. brainmass.com March 4, 2021, 6:50 pm ad1c9bdddf
Equivalent paths are investigated in the solution.