The union of a subset and its complement

  • Thread starter Thread starter chipotleaway
  • Start date Start date
  • Tags Tags
    Union
Click For Summary
The union of a subset S and its complement cS with respect to a set X is indeed equal to X. This can be proven by selecting any element from X and demonstrating that it belongs to either S or cS. The definitions of "complement" and "union" support this conclusion. The lack of discussion in most textbooks about such fundamental concepts raises questions about educational focus. Understanding these basic principles is essential for grasping more complex set theory topics.
chipotleaway
Messages
174
Reaction score
0
If S is a subset of X, and cS is the complement of S with respect to X, is the union of S and cS equal to X? Seems like a no-brainer but just want to be sure because I've yet to find a book that comments on this.
 
Physics news on Phys.org
Yes. You can pick any element of X and prove that it is in the union of S and cS. Use the definition of "complement" and "union"
 
Haha appropriate username, thanks. How come this isn't mentioned in most books? Seems like all the 'obvious' stuff is.
 

Thread 'Two interesting number theory tricks'

First trick I learned this one a long time ago and have used it to entertain and amuse young kids. Ask your friend to write down a three-digit number without showing it to you. Then ask him or her to rearrange the digits to form a new three-digit number. After that, write whichever is the larger number above the other number, and then subtract the smaller from the larger, making sure that you don't see any of the numbers. Then ask the young "victim" to tell you any two of the digits of the...
View full post »

Similar threads

Formal definition of set operations
  • · Replies 4 ·
Replies
4
Views
2K
MHB How Many Elements Are Found in Each Mathematical Set?
  • · Replies 5 ·
Replies
5
Views
2K
What is complementation wrt a sigma-algebra?
  • · Replies 10 ·
Replies
10
Views
5K
Undergrad Direct limit of multiverse models of ZFC
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Subset definition: universal quantifier over which set?
  • · Replies 33 ·
2
Replies
33
Views
4K
Undergrad On translation and dilation invariant Lebesgue measure: Folland's text
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Missing(?) rigor in proof involving countable union of countable sets
  • · Replies 10 ·
Replies
10
Views
2K
Uncountable union of a chain of countable sets can be uncountable?
  • · Replies 11 ·
Replies
11
Views
12K
Undergrad Countably Infinite Unions and the Real Numbers: Can They Really Be Uncountable?
  • · Replies 4 ·
Replies
4
Views
2K
Undergrad Proving a function f is continuous given A U B = X
  • · Replies 5 ·
Replies
5
Views
3K