Since the null/empty set is the subset of every set, why is the powerset of {a} different from the powerset of $\{a,\emptyset\}$

95 Views Asked by At

The powerset of $\{a\} = \{\{a\},\emptyset\}$ is different from the powerset of $\{a,\emptyset\} = \{\{a\},\emptyset,\{\emptyset\}\}$. Why is that?

I thought the null set was implicitly within ever single set, because the null set is a subset of all of them? Hence, the two sets I gave should be the same and should have the exact same power set.

2

There are 2 best solutions below

0
On BEST ANSWER

I think you have notation confusion here: $\emptyset = \{\}$, so everytime you see that symbol, you should add an empty set, not an empty place, in your understanding of the set.

So $\{a\}$ implies empty space, not an empty set.

1
On

It is the case that $\emptyset \subseteq X$ for every set $X$, but it not the case that $\emptyset \in X$ for every $X$.

In particular, $\{a,\emptyset\} \neq \{a\}$ if $a\neq \emptyset$, as $\emptyset$ is an element of the first, but not the second. Thus, their power sets won't be equal.

Perhaps the issue might be that the word "contains" is overloaded in the English language, and is ultimately ambiguous when used in set theory, sometimes referring to the membership relation, and sometimes to the subset relation.