Here are the common mistakes students make when proving A = B using set difference and the given conditions, along with how to avoid each.
Mistake 1: Misapplying the Distributive Law
The Error:
Students often write something like:
A∩(A∪X)=(A∩A)∪(A∩X)
but then incorrectly simplify A∩A to A (which is correct) but forget to handle the A∩X term using the given condition.
Why it happens:
They rush to expand without first checking which terms vanish due to the given conditions (A∩X=ϕ).
How to avoid:
- Always list the given conditions first:
A∩X=ϕ, B∩X=ϕ, and A∪X=B∪X.
- Before expanding, note which intersections are empty.
For example, A∩X=ϕ means that term will disappear.
Correct approach:
A=A∩(A∪X)(by hint)
=(A∩A)∪(A∩X)(Distributive law)
=A∪ϕ=A
This is trivial — the real work comes when you use A∪X=B∪X.
Mistake 2: Forgetting to Use the Equality A∪X=B∪X
The Error:
Students prove A=A∩(A∪X) and then stop, thinking they’ve shown A=B.
Why it happens:
They don’t see that the hint is a bridge — you must replace A∪X with B∪X (since they are equal) to connect A and B.
How to avoid:
- Write the chain of equalities explicitly:
A=A∩(A∪X)=A∩(B∪X)
Now apply distributive law:
A=(A∩B)∪(A∩X)=(A∩B)∪ϕ=A∩B
- Similarly, show B=A∩B, hence A=B.
Key insight: The condition A∪X=B∪X lets you swap the union inside the intersection.
Mistake 3: Assuming A∩X=ϕ Means A and X Are Disjoint in All Contexts
The Error:
Students think A∩X=ϕ implies A and X have no relation, so they ignore the possibility that A might still be a subset of B∪X.
Why it happens:
They treat “disjoint” as “completely unrelated,” but set operations still apply.
How to avoid:
- Remember: A∩X=ϕ only tells you that no element is in both A and X.
- It does not prevent A from being a subset of B∪X — in fact, that’s exactly what you use when you write A∩(B∪X).
Example to internalize:
Let A={1,2}, X={3,4}, B={1,2,5}.
Here A∩X=ϕ, and A∪X={1,2,3,4}, B∪X={1,2,3,4,5} — they are not equal, so the proof fails. This shows why the equality A∪X=B∪X is crucial.
Mistake 4: Not Using the Symmetric Argument for B
The Error:
Students prove A=A∩B and then conclude A=B without showing B=A∩B.
Why it happens:
They assume A=A∩B automatically implies B=A∩B, which is false (e.g., A={1}, B={1,2} gives A∩B=A but B=A).
How to avoid:
- Always repeat the same steps for B:
B=B∩(B∪X)=B∩(A∪X)=(B∩A)∪(B∩X)=(A∩B)∪ϕ=A∩B
- Now you have both A=A∩B and B=A∩B, so A=B.
Pro tip: Write the proof in two symmetric halves — it’s cleaner and prevents missing the second half.
--- …