Is $\{\emptyset\}$ a subset of $\{\{\emptyset\}\}$?

Question

$\{\emptyset\}$ is a set containing the empty set. Is $\{\emptyset\}$ a subset of $\{\{\emptyset\}\}$?

My hypothesis is yes by looking at the form of "the superset $\{\{\emptyset\}\}$" which contains "the subset $\{\emptyset\}$".

Is every element of the first set also an element of the last set? — Stefan Hansen, Sep 12 '13 at 08:22
What you are really noticing when you look at the form is that "the set ${{\emptyset}}$" contains the element ${\emptyset}$. ${\emptyset}$ is an element of ${{\emptyset}}$, not a subset of it. — Ari Brodsky, Sep 12 '13 at 13:27

score 43 · Answer 1 · answered Sep 12 '13 at 08:35

43

It's easier to just replace everything by variables, then it's clearer.

Set $a=\varnothing, b=\{\varnothing\}=\{a\}$ and $c=\{\{\varnothing\}\}=\{\{a\}\}=\{b\}$.

Now the question is whether or not $\{a\}\subseteq\{b\}$. But since $a\neq b$, it's easy to see that the answer is negative.

answered Sep 12 '13 at 08:35

Asaf Karagila

393,674

13

I would add for all clarity that $a\neq b$ follows from the facts that $\emptyset\in b$ while $\emptyset\notin a$. But the important step is indeed to reduce the question to whether $a=b$ or not. – Marc van Leeuwen Sep 12 '13 at 08:47
2

Marc, thank you for the excellent comment! – Asaf Karagila Sep 12 '13 at 08:54
@MarcvanLeeuwen That would be called assuming the conclusion. The point is to prove that $\emptyset \notin a$, $\emptyset \in b$, and if you assume that to show that $a\ne b$, that defeats the whole point of making the second statement at all. – AJMansfield Sep 12 '13 at 21:36
1

@AJMansfield: I don't see what you could have given you the conclusion that I assumed anything. I just indicated that one can justify $a\neq b$ by pointing at an element of $b\setminus a$. One could go further and explain why $\emptyset\in a$ and $\emptyset\notin b$ by applying the defintion of $a,b$ respectively. But nowhere is there an assumption. – Marc van Leeuwen Sep 13 '13 at 03:50
My problem with this answer is that a is a subset of b, which in turn is a subset of c. Isn't it true that if a set contains a subset, all elements of that subset are in the set? – Max Oct 14 '18 at 19:10
@Max: Yes, but I don't see why this is a problem here. The singleton ${x}$ (regardless to what $x$ is) has exactly one element, $x$. – Asaf Karagila Oct 14 '18 at 19:44
Because then it becomes really inconvenient. For example, say you want to group two parts of a set into two subsets. But as soon as you do that, all elements in those subsets suddenly stop belonging to the original set? Dealing with sets in this manner becomes almost impossible in real life situations. – Max Oct 14 '18 at 19:49
@Max: You need to distinguish between subsets and elements. That's the whole point of this question. Real life analogies will only take you so far, stick to definitions instead. – Asaf Karagila Oct 14 '18 at 21:30

score 28 · Answer 2 · answered Sep 12 '13 at 08:21

28

No, $\emptyset \in \{\emptyset\}$ but $\emptyset \notin \{\{\emptyset\}\}$.

answered Sep 12 '13 at 08:21

William

19,935

4

@Neil I don't think so. It state: "Is ${\emptyset}$ a subset of ${{\emptyset}}$?" – William Sep 12 '13 at 08:29
1

Wow! 6 upvotes for this! – William Sep 12 '13 at 08:43
3

William, there were over a 140 upvotes to Mariano's decomposition of $\pi$ into decimal digits, and over 200 (250?) to the infamous $\sf W$. What's 8 votes? :-) – Asaf Karagila Sep 12 '13 at 08:55
2

@AsafKaragila, agreed, voting behavior on this site is pretty crazy. To quality of an answer is, in many ways, orthogonal to the number of votes it attracts (although positively related to its overall rank). – goblin GONE Sep 12 '13 at 11:00
@user18921: I wouldn't say orthogonal. But the deviation of $|\text{votes}-\text{quality}|$ from the mean is fairly high. – Asaf Karagila Sep 12 '13 at 11:07
@AsafKaragila What is 'the infamous W'? – jwg Sep 12 '13 at 11:21
@AsafKaragila, I would agree with that. – goblin GONE Sep 12 '13 at 11:27
@jwg: It was an answer consisting nothing more of the letter $\sf W$ illustrating the graph of a function which is continuous and differentiable everywhere except three points. It was given by one of the members which have [at this time] more reputation than me. Surely that would be enough for you to find it. – Asaf Karagila Sep 12 '13 at 13:02
@AsafKaragila What's the infamous $\sf W$? – MyUserIsThis Sep 12 '13 at 15:16
@MyUserIsThis: Read the last comment before yours. – Asaf Karagila Sep 12 '13 at 15:18
3

The infamous $W$: http://math.stackexchange.com/questions/74347/construct-a-function-which-is-continuous-in-1-5-but-not-differentiable-at-2/74383#74383 – Jean-Sébastien Sep 12 '13 at 15:18
Shouldn't we call it the nowfamous $W$? – Jean-Sébastien Sep 12 '13 at 15:19
@AsafKaragila Wow, I'd never seen that... LOL – MyUserIsThis Sep 12 '13 at 15:19
I think this is an accurate answer, though potentially misleading. Following the definition, the empty set is an element of his first set. That element is not in his second set, so his first set is not a subset of his second set. – McKay Sep 12 '13 at 15:28

azimut · Answer 3 · 2013-09-12T15:09:29.757

19

For such abstract questions, it is important that you stick to the definitions of the involved notions.

By definition, $A$ is a subset of $B$ if every element contained in $A$ is also contained in $B$.

Now we look at $A = \{\emptyset\}$ and $B = \{\{\emptyset\}\}$. $A$ has exactly one element, namely $\emptyset$. This is not an element of $B$, since the only element of $B$ is $\{\emptyset\}$ and $\emptyset \neq \{\emptyset\}$ (see below). So $A$ is not a subset of $B$.

Why $\emptyset \neq \{\emptyset\}$? By definition, two sets are equal if they contain the same elements. However, $\emptyset$ is the empty set without any element, but $\{\emptyset\}$ is a $1$-element set with the element $\emptyset$.

edited Sep 12 '13 at 15:09

answered Sep 12 '13 at 13:02

azimut

22,696

1

They're often interchangeable, but can I suggest "every" rather than "any" in the first definition (so that "…if every element contained in $A$…)? In this case it's (to me, anyway) a little to easy to read it as "some" (as we might in "$A$ and $B$ have a common factor if any factor of $A$ is also a factor of $B$). – Joshua Taylor Sep 12 '13 at 15:07
1

That said, +1 because this answer appeals to the definitions of subset and set equality, which I find makes this clearer than the currently highest upvoted answer. – Joshua Taylor Sep 12 '13 at 15:08
@JoshuaTaylor: Thanks! I agree with your suggestion on "any" and "every" and modified my answer accordingly. – azimut Sep 12 '13 at 15:10

CsBalazsHungary · Answer 4 · 2013-09-12T10:52:56.633

2

{{∅}} has only one element, namely {∅}, it implies there are only the two trivial subsets, {{∅}} which contains all elements and ∅ which contains none.

formally all subsets of {{∅}}

{{∅}}⊆{{∅}}
∅⊆{{∅}}

edited Sep 12 '13 at 10:52

answered Sep 12 '13 at 10:46

CsBalazsHungary

121

score -5 · Answer 5 · answered Sep 12 '13 at 12:53

-5

Think of {∅} as a box containing an empty box, then {{∅}} is a box containing a box which contains an empty box, in which case {{∅}} is box containing {∅}, which means

{∅} is subset of {{∅}}

answered Sep 12 '13 at 12:53

Amit Kriplani

91

:) I know ... just having fun – Amit Kriplani Sep 12 '13 at 13:04
4

I think your analogy leads to: $${∅} \text{ is an element of } {{∅}}.$$ A subset is equivalent to opening the bigger box, removing some of the contents (possibily all or none) and then closing it again. So, like other $1$ element sets, ${{∅}}$ has only two possible subsets: itself or the empty set. – Henry Sep 12 '13 at 13:08

Is $\{\emptyset\}$ a subset of $\{\{\emptyset\}\}$?

5 Answers5

Linked

Related