Proof of A Intersection (A union B) = A for Sets A and B | Simple Set Proof

  • Thread starter Thread starter iamalexalright
  • Start date Start date
  • Tags Tags
    Proof Sets
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 2K views
iamalexalright
Messages
157
Reaction score
0

Homework Statement


For any sets A and B, prove that

A[tex]\cap[/tex](A[tex]\cup[/tex]B) = A



2. The attempt at a solution
Now keep in mind I don't have any experience with proofs(and I am looking for a nudge in the right direction not a full proof).

Here was my first instinct(and don't yell at me too much for it):
Suppose x [tex]\in[/tex] A [tex]\cup[/tex] B
Then x [tex]\in[/tex] A or x [tex]\in[/tex] B
If x [tex]\in[/tex] A
then x [tex]\in[/tex] A [tex]\cap[/tex] A
so A = A
IF x [tex]\in[/tex] B


Now after writing that I felt that this is not a good way to prove the problem(or a way to do it at all). So any hints would be appreciated.
 
Physics news on Phys.org
You need to show

[tex] A \cap \left( A \cup B \right) = A,[/tex]

correct? This means you must show that each set is a subset of the other.
1. Start with [tex]x \in A[/tex] and show that it has to follow that

[tex] x \in A \cap \left(A \cup B \right)[/tex]

This will give that [tex]A \cap \left(A \cup B \right) \supseteq A[/tex]

2. Now pick [tex]x \in A \cap \left(A \cup B\right)[/tex]. You need to show that this means [tex]x \in A[/tex] (this should be rather easy). This will show that

[tex] A \cap \left(A \cup B \right) \subseteq A[/tex]

and you will be done.