0

To prove equality we need to prove a. $\emptyset\subseteq\{\emptyset\}$ and b. $\{\emptyset\}\subseteq \emptyset$

For a. because the empty set is a subset of every set, in particular it is a subset of $\{\emptyset\}$ therefore $\emptyset\subseteq\{\emptyset\}$

As for b. the empty set is empty therefore it can not include elements or be a subset (else from the empty set itself), is this claim concludes that $\{\emptyset\}\nsubseteq \emptyset$ or is it vacuous truth?

gbox
  • 13,645
  • 9
    The empty set is empty. But ${\varnothing}$ isn't. – MathematicsStudent1122 Jun 30 '16 at 13:08
  • 2
    The difference is made clear notationally remembering that $\emptyset={,}$ is another way to indicate the empty set. Therefore, id clear that $$ {,}\subsetneq {\emptyset}$$ – guestDiego Jun 30 '16 at 13:19
  • 2
    The best analogy i've ever heard is "an empty box is not the same as a box containing an empty box" – pancini Jun 30 '16 at 13:22
  • $\emptyset={\emptyset}\rightarrow \emptyset\in\emptyset$. –  Jun 30 '16 at 13:47
  • 1
    Some related posts: http://math.stackexchange.com/questions/941062/is-%E2%88%85-equivalent-to-%E2%88%85 or http://math.stackexchange.com/questions/51752/is-emptyset-in-emptyset-or-emptyset-subseteq-emptyset – Martin Sleziak Jun 30 '16 at 14:24

4 Answers4

6

You could just note that the set $\{\emptyset\}$ has one element (namely $\emptyset$) while $\emptyset$ does not contain any elements. So, they are not equal.

Thomas
  • 44,491
  • So if I wanted it to be true, is should have been $\emptyset={}$ – gbox Jun 30 '16 at 13:10
  • 1
    @gbox: That depends on what you mean by ${}$. If your definition of this expression is the empty set, then yes they would indeed be equal. – Thomas Jun 30 '16 at 13:11
4

As others have stated, $\emptyset$ is a set with no elements and $\{\emptyset\}$ is a set with one element. Therefore these two sets can't be equal.

To address your specific question:

As for b. the empty set is empty therefore it can not include elements or be a subset (else from the empty set itself), is this claim concludes that $\{\emptyset\}\nsubseteq \emptyset$ or is it vacuous truth?

I think by "be a subset" you meant "have a subset," in which case, yes, that claim concludes that $\{\emptyset\} \nsubseteq \emptyset$. The reason I think you meant "have a subset" is because "be a subset" doesn't make sense in the context. The "subset" in question in this direction of the proof is $\{\emptyset\}$, which is the set containing the empty set. Although this set can potentially be a subset of another set, it can't be a subset of $\emptyset$ because $\emptyset$ has no elements. Therefore $\{\emptyset\}$ is not a subset of $\emptyset$.

To put it more concisely:

In general, $\{a\} \subseteq A$ if and only if $a \in A$.

So in our case, $\{\emptyset\} \subseteq \emptyset$ if and only if $\emptyset \in \emptyset$.

But of course $\emptyset \notin \emptyset$, because $\emptyset$ is empty.

Therefore $\{\emptyset\} \nsubseteq \emptyset$, and so $\{\emptyset\} \neq \emptyset$.

  • "In general, ${a} \subseteq A$ if and only if $a \in A$." But In the case of $2\in{1,2,3} \not \implies {2}\subseteq {1,2,3}$ – gbox Jun 30 '16 at 13:23
  • 2
    @gbox, not sure I'm interpreting your comment correctly because I don't see any curly braces in your example (as of the time I write this) but my response would be this: The example is incorrect because $2 \in {1, 2, 3}$ actually does imply ${2} \subseteq {1,2,3}$. –  Jun 30 '16 at 13:26
  • @gbox, viewing this on the app now and I can see your unrendered TeX. It looks like I did interpret you correctly. Sounds like you're trying to say that $2\in {1,2,3}$ does not imply that ${2} \subseteq {1,2,3}$, but that's just not correct because the implication is indeed true. Clarifying for you and for anyone else who comes here wondering. –  Jul 01 '16 at 01:33
2

$\emptyset$ is the empty set. It contains no elements.

$\{\emptyset\}$ is the set containing the empty set. It contains one element: the empty set.

Since $\{\emptyset\}$ contains one element and $\emptyset$ does not contain any elements, they cannot be the same.

Newb
  • 17,987
  • 14
  • 70
  • 116
1

$\#\emptyset=0$ while $\#\{\emptyset\}=1$.