Proving Set Relationships: A-B ⊂ A & (A∩B)c = A∪Bc

  • Context: Undergrad 
  • Thread starter Thread starter Chis96
  • Start date Start date
  • Tags Tags
    Relationships Set
Click For Summary
SUMMARY

The discussion focuses on proving set relationships, specifically demonstrating that A - B is a subset of A and exploring the properties of set complements. The participants clarify that A - B, defined as {x | x ∈ A and x ∉ B}, implies that all elements of A - B are contained within A. Additionally, they discuss the complement relationships, confirming that (A ∩ B) complement equals A complement ∪ B and (A ∪ B) complement equals A complement ∩ B complement. Understanding these definitions is crucial for proving the stated relationships.

PREREQUISITES
  • Understanding of set theory concepts, including subsets and set operations.
  • Familiarity with set notation, particularly A - B and set complements.
  • Knowledge of logical proofs and how to demonstrate mathematical statements.
  • Basic comprehension of elements and membership in sets.
NEXT STEPS
  • Study the definitions and properties of subsets in set theory.
  • Learn about set operations, including union, intersection, and complement.
  • Explore logical proof techniques used in mathematics, such as direct proof and proof by contradiction.
  • Examine examples of set relationships and their proofs to reinforce understanding.
USEFUL FOR

Students of mathematics, educators teaching set theory, and anyone interested in understanding foundational concepts in set relationships and proofs.

Chis96
Messages
5
Reaction score
0
Can some please explain to me how to solve these two questions?
Let A, B and C be any sets, prove that:
(a) A-B ⊂ A
(b) (A∩B) complement = A complement ∪ B and (A∪B) complement = A complement∩ B complement.
 
Physics news on Phys.org
We usually write out A\B instead of A -B

Anyway, start to write down the definitions and see where you get.

A\B = {x|x ∈ A and x ∉ B}
 
Thank you very much for the correction.
Well... there are no definitions, it just says let A, B and C be any set, prove that A\B⊂A.
 
Well, look up the definitions! How can you prove something without knowing what the definitions are?
 
No definitions bro, just have to use x to prove it... That's why I'm confused.
 
Chis96 said:
No definitions bro, just have to use x to prove it... That's why I'm confused.

He's talking about the definition of "subset"! As in, what does ##A-B \subset A## actually mean? You can't prove it unless you know what it means.
 
oh... okay basically what it means is that all elements of A\B are contained inside A.
 
Chis96 said:
oh... okay basically what it means is that all elements of A\B are contained inside A.

Yes, although more simply and consistently you could say it means:

Each element of A\B is an element of A.
 
Yes, thank you very much sir.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
7
Views
2K