Let ∼ ⊆ X ∗X be an equivalence relation on a set X. For x ∈
X
define ̄x := {y ∈ X |x ∼ y}. Then it holds that P := { ̄x |x ∈ X}
is a
partition of X.
i) Give the definition of a partition.
ii) Prove that P is a partition.
Let ∼ ⊆ X ∗X be an equivalence relation on a set X. For x ∈ X define ̄x := {y ∈ X |x ∼ y}. Then it holds that P := { ̄x
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
Let ∼ ⊆ X ∗X be an equivalence relation on a set X. For x ∈ X define ̄x := {y ∈ X |x ∼ y}. Then it holds that P := { ̄x
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!