4.I.2C

Numbers and Sets | Part IA, 2003

What is an equivalence relation? For each of the following pairs (X,∼)(X, \sim), determine whether or not ∼\sim is an equivalence relation on XX :

(i) X=R,x∼yX=\mathbb{R}, x \sim y iff x−yx-y is an even integer;

(ii) X=C\{0},x∼yX=\mathbb{C} \backslash\{0\}, x \sim y iff xyˉ∈Rx \bar{y} \in \mathbb{R};

(iii) X=C\{0},x∼yX=\mathbb{C} \backslash\{0\}, x \sim y iff xyˉ∈Zx \bar{y} \in \mathbb{Z};

(iv) X=Z\{0},x∼yX=\mathbb{Z} \backslash\{0\}, x \sim y iff x2−y2x^{2}-y^{2} is ±1\pm 1 times a perfect square.

Typos? Please submit corrections to this page on GitHub.