Prove Intersection of A and B is Empty Set if B Subset of X/A

[chocolatelover]

Homework Statement

Prove A intersects B=empty set if and only if B is a subset of (X/A)

Homework Equations

The Attempt at a Solution

Would I prove the contrapositive in this case?

If B is not a subset of (X/A), then the intersection of A at B is not the empty set

Could someone please show me what to do?

Thank you very much

 

[jhicks]

"if and only if" means that you must prove the statement both ways. Proving by contradiction seems the easiest way for each. The approach you suggest will only get you half the proof.

 

[chocolatelover]

Thank you very much

Could you show me where to go from there?

Thank you

 

[jhicks]

Well since you wanted to use the contrapositive for A intersects B = empty -> B is a subset of X\A I'll explain that way. Let B=\{b_1,b_2,...\}. If B is empty what we want is vacuously true since the empty set is a subset of every set (and thus B can never not be a subset of X \setminus A). If B\not\subset X\setminus A then at least one b_i \in B is \in X\setminus (X \setminus A) = A which implies A and B have these elements in common.

You can prove the other way in a similar fashion. My personal suggestion is contradiction for the other way.

On this note, you have another question that's pretty similar. Your questions really boil down to choosing elements of certain sets and then showing by logic that they must/must not exist in other sets. Try to proceed like this in your other question also.

 

[chocolatelover]

Thank you very much

Regards