Is the Subtraction of Power Sets Possible?

Click For Summary

Discussion Overview

The discussion revolves around the validity of certain claims regarding the subtraction of power sets, specifically whether the equations P(~A) = P(U) - P(A) and P(A-B) = P(A) - P(B) hold true. Participants are exploring the implications of these equations and the role of the null set within power sets.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant asserts that both equations are false, arguing that the null set is part of any power set and that subtracting two power sets would eliminate the null set, thus resulting in a set that cannot be a power set.
  • Another participant agrees with the initial assertion and suggests that any set with two non-disjoint subsets could serve as a counterexample.
  • A later reply challenges the initial claim, stating that the null set is part of any set by definition and cannot be removed.
  • Further clarification is provided regarding the ambiguity of the phrase "part of," noting that while the null set is a subset of any set, it need not be an element of a set, which is crucial to the discussion.
  • One participant expresses uncertainty about their understanding due to a long absence from the topic.

Areas of Agreement / Disagreement

Participants do not reach consensus; there are competing views regarding the role of the null set and the validity of the equations in question.

Contextual Notes

The discussion highlights ambiguities in terminology, particularly concerning the definitions of subsets and elements, which may affect the interpretation of the power set operations being discussed.

spinnaker
Messages
23
Reaction score
0
I have two quick questions:

With P being the power set,

P(~A) = P(U) - P(A) and
P(A-B) = P(A) - P(B)

I'm told if it's true to prove it, and if false to give a counterexample.

To be they're both false, since the null set is part of any power set, the subtraction of two power sets would get rid of the null set and the result could never be another power set. Am I wrong in assuming this?

Thanks in advance.
 
Physics news on Phys.org
Seems correct to me. So just any set with two of its non-disjoint subsets will be a counter example. Try it then!
 
spinnaker said:
To be they're both false, since the null set is part of any power set, the subtraction of two power sets would get rid of the null set and the result could never be another power set. Am I wrong in assuming this?

Yes, you are wrong. The null set is by definition part of any set, so you cannot get rid of it.
 
Svein said:
The null set is by definition part of any set, so you cannot get rid of it.

The phrase "part of" is ambiguous. The null set is a subset of any given set but it need not be an element of a given set. The exercise in this thread depends on whether the null set is an element of the various sets.
 
Stephen Tashi said:
The phrase "part of" is ambiguous. The null set is a subset of any given set but it need not be an element of a given set. The exercise in this thread depends on whether the null set is an element of the various sets.

Sorry. I haven't done this actively in the last 50 years...
 

Similar threads

  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 54 ·
2
Replies
54
Views
7K
  • · Replies 14 ·
Replies
14
Views
6K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 57 ·
2
Replies
57
Views
7K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K