Youre right in that the part on equivalence relation should not have been taken for granted. But I already knew that symmetry follows from the existence of inverse paths and transitivity from the definition of product paths. In addition, continuity of product paths follows from a result in general topology sometimes called the pasting lemma. So, yes. I shouldnt have glossed over the equivalence-relation bit, but ought to have spent a few more lines explaining why its an equivalence relation.

]]>1. ~ is an equivalence relation (May be proved in your book, if so you should reference the proof)

2. An equivalence class is path connected (1 line, maybe less)

3. State that equivalence classes are disjoint. (Literally, "Equivalence classes are disjoint").

In a proper proof, you should be explicitly using each hypothesis and explicitly concluding each conclusion. Certainly in your proof, the logical steps for 2 and 3 are so obvious to any one who has studied path connected spaces that their brain immediately makes the leap. But that does not mean that you explicitly saying so should not be there, it needs to be.

As an algebra professor of mine once said, "The proof is correct, modulo details."

]]>]]>