Proving Subset Relation: A⊂B ⇒ B'⊂A

Click For Summary

Homework Help Overview

The discussion revolves around proving the subset relation where if set A is a subset of set B, then the complement of B is a subset of the complement of A. The subject area is set theory and logical implications.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of the subset relation and consider the contrapositive approach. There are attempts to clarify the definitions of subsets and complements, with some questioning the validity of initial arguments presented.

Discussion Status

The discussion is active, with participants providing feedback on each other's reasoning. Some guidance has been offered regarding the correct interpretation of subset definitions, and there is recognition of misunderstandings in the initial arguments.

Contextual Notes

Participants are working under the constraints of homework rules, which may limit the depth of exploration and the types of solutions discussed. There is an emphasis on understanding definitions and logical implications without providing complete solutions.

neelakash
Messages
491
Reaction score
1

Homework Statement



I have to prove that if A blis a subset of B then B' is a subset of A'.

Homework Equations




The Attempt at a Solution



I did:
Let x belongs to B but x does not belong to A
=>x does not belong to B' but x belongs to A'
Hence proved.

please tell me if I am correct.
 
Physics news on Phys.org
Consider the contrapositive:
[tex]A \subseteq B \to \left( {x \in A \to x \in B} \right) \to \left( {x \notin B \to x \notin A} \right) \to B' \subseteq A'[/tex]
 
Last edited:
neelakash said:

Homework Statement



I have to prove that if A blis a subset of B then B' is a subset of A'.

Homework Equations




The Attempt at a Solution



I did:
Let x belongs to B but x does not belong to A
=>x does not belong to B' but x belongs to A'
Hence proved.

please tell me if I am correct.
How does "x does not belong to B' but does belong to A' " prove B' is a subset of A'?
For example, if B' were {1, 2, 3, 4, 5} and A' were {5, 6, 7} then x= 6 is not in B' but is in A'. It is certainly not the case that "B' is a subset of A'"!

To prove "B' is a subset of A'", you must, using the definition, prove "If x is in B' then it is in A'.

If x is in B', then what can you say about x?
 
How does "x does not belong to B' but does belong to A' " prove B' is a subset of A'?
You are correct.I was wrong in that argument.

Thanks to both of you.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
8
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
Replies
5
Views
2K
Replies
23
Views
2K