4.5 On the definition of equivalences

We have shown that all three definitions of equivalence satisfy the three desirable properties and are pairwise equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath:


(There are yet more possible definitions of equivalence, but we will stop with these three. See http://planetmath.org/node/87824Exercise 3.11 and the exercises in this chapter for some more.) Thus, we may choose any one of them as β€œthe” definition of π—‚π—Œπ–Ύπ—Šπ—Žπ—‚π—β’(f). For definiteness, we choose to define


This choice is advantageous for formalization, since π—‚π—Œπ—π–Ίπ–Ύβ’(f) contains the most directly useful data. On the other hand, for other purposes, 𝖻𝗂𝗂𝗇𝗏⁒(f) is often easier to deal with, since it contains no 2-dimensional paths and its two symmetrical halves can be treated independently. However, for purposes of this book, the specific choice will make little differencePlanetmathPlanetmath.

In the rest of this chapter, we study some other properties and characterizationsMathworldPlanetmath of equivalences.

Title 4.5 On the definition of equivalences