Equivalence Classes Math Example 2

Follow the full solution, then compare it with the other examples linked below.

Example 2

medium
On the set of triangles, define T1T2T_1 \sim T_2 if T1T_1 is congruent to T2T_2. Show this is an equivalence relation.

Solution

  1. 1
    Reflexive: Every triangle is congruent to itself (by the identity transformation). True.
  2. 2
    Symmetric: If T1T2T_1 \cong T_2, then T2T1T_2 \cong T_1 (congruence is symmetric). True.
  3. 3
    Transitive: If T1T2T_1 \cong T_2 and T2T3T_2 \cong T_3, then T1T3T_1 \cong T_3 (compose the rigid motions). True.
  4. 4
    Conclusion: congruence is an equivalence relation. Each equivalence class consists of all triangles with the same shape and size.

Answer

Congruence is an equivalence relation on triangles\text{Congruence is an equivalence relation on triangles}
Equivalence relations formalise 'sameness' in different contexts. Congruence groups triangles by shape-and-size; similarity groups by shape only. Both are equivalence relations.

About Equivalence Classes

An equivalence class is the set of all elements that are related to a given element under an equivalence relation — it groups objects that are considered 'the same' in some specified sense.

Learn more about Equivalence Classes →

More Equivalence Classes Examples