Equivalence Classes Math Example 2
Follow the full solution, then compare it with the other examples linked below.
Example 2
mediumOn the set of triangles, define if is congruent to . Show this is an equivalence relation.
Solution
- 1 Reflexive: Every triangle is congruent to itself (by the identity transformation). True.
- 2 Symmetric: If , then (congruence is symmetric). True.
- 3 Transitive: If and , then (compose the rigid motions). True.
- 4 Conclusion: congruence is an equivalence relation. Each equivalence class consists of all triangles with the same shape and size.
Answer
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
Example 1 medium
Define the relation [formula] on [formula] by '[formula] iff [formula]'. Verify this is an equivalen
Example 3 easyList the equivalence classes of [formula] under [formula] iff [formula].
Example 4 mediumDefine [formula] on functions from [formula] to [formula] by [formula] iff [formula]. Verify this is