Question #76255

Let X = {1,2,3}. Define a relation ∼ on P(X) by A ∼ B if A and B have the same number of elements.

Prove that ∼ is an equivalence relation and write down all equivalence classes of ∼.

Expert's answer

Answer on Question #76255 – Math – Discrete Mathematics.

Question

Let X={1,2,3}X = \{1,2,3\}. Define a relation \sim on P(X)P(X) by ABA \sim B if AA and BB have the same number of elements.

Prove that \sim is an equivalence relation. Write down all equivalence classes of \sim.

Solution

**Reflexively:** Let AP(x)A \in P(x). Then AAA \sim A because the set has an unaltered number of elements.

**Symmetric:** Let AP(x)A \in P(x), BP(x)B \in P(x) and ABA \sim B. Since ABA \sim B, A=B|A| = |B|. Then B=A|B| = |A|. Since B=A|B| = |A|, BAB \sim A.

**Transitivity:** Let AP(x)A \in P(x), BP(x)B \in P(x), CP(x)C \in P(x), ABA \sim B and BCB \sim C. Since ABA \sim B, A=B|A| = |B|. Since BCB \sim C, B=C|B| = |C|. Then A=C|A| = |C| because A=B|A| = |B| and B=C|B| = |C|. Since A=C|A| = |C|, ACA \sim C.

Equivalence classes of \sim:


[]={} (zero of elements),[\varnothing] = \{\varnothing\} \text{ (zero of elements)},[{1}]={{1},{2},{3}} (one element),[\{1\}] = \{\{1\}, \{2\}, \{3\}\} \text{ (one element)},[{1,2}]={{1,2},{1,3},{2,3}} (two elements),[\{1,2\}] = \{\{1,2\}, \{1,3\}, \{2,3\}\} \text{ (two elements)},[{1,2,3}]={{1,2,3}} (three elements).[\{1,2,3\}] = \{\{1,2,3\}\} \text{ (three elements)}.


Answer provided by https://www.AssignmentExpert.com

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

LATEST TUTORIALS
APPROVED BY CLIENTS