Past exam of the mathematics course of the University of Cambridge 2006 ia Paper 4 5E iii Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2006 ia Paper 4 5E iv Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2006 ia Paper 5 11 iii Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2006 ia Paper 5 11 iv Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2008 ia Paper 4 2D a Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2008 ia Paper 4 2D b Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ia Paper 4 1E Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2011 ia Paper 4 2E Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2012 ia Paper 4 2D ii Solution Created 2026-09-24 Updated 2026-10-07
The union need not be an equivalence relation, because transitivity can mix the two relations. Take . Let have equivalence classes and , and have classes and . Then and , but neither component relates to , so fails. The union of equivalence relations is reflexive and symmetric; it is precisely transitivity that may fail.
Past exam of the mathematics course of the University of Cambridge 2012 ia Paper 4 2D i Solution Created 2026-09-24 Updated 2026-10-07
The intersection is always an equivalence relation. Both component relations contain , so is a reflexive relation. If , both relations relate to , and symmetry in each gives . If and , transitivity in each component gives both and , hence . This is the intersection of equivalence relations; the same argument works for any family of such relations.
Past exam of the mathematics course of the University of Cambridge 2012 ia Paper 4 2D Solution 2026-10-07
An equivalence relation on is a reflexive relation (), a symmetric relation (), and a transitive relation (, ). Its equivalence class at is . Because is a reflexive relation, every class is nonempty and every belongs to its own class, so the classes cover . If and share an element , symmetry and transitivity give . For every , transitivity then gives , so ; exchanging gives equality. Thus distinct classes are disjoint. The equivalence classes form a set partition of . On the empty set, the empty family is the corresponding partition.