From my understanding of powersets, a powerset contains all the possible subsets of a set. So if we want the power set of {1} then the powerset of {1} is {{}, {1}}.

I was speaking to my tutor who was sure that if 1 is an element of the original set {1} (which is true) then that 1 is also an element of the power set {{}, {1}}. I was sure that it isn't an element, but the set containing that element is.

Can someone confirm or deny my suspicions?

  • 5
    $\begingroup$ I think you are right and your tutor is wrong. $\endgroup$ – Tunococ Jun 21 '13 at 11:32
  • 2
    $\begingroup$ The elements of $\{\{\},\{1\}\}$ are $\{\}$ and $\{1\}$. Apparently, $1$ is not among them. $\endgroup$ – azimut Jun 21 '13 at 12:08
  • 4
    $\begingroup$ You need a new tutor. $\endgroup$ – PyRulez Jun 21 '13 at 15:04

Your tutor is wrong and you are right.

However, there are sets $S$ and elements $e ∈ S$ for which $e$ is also in the powerset. Take $S = \{1,\{1\}\}$ and $e = \{1\}$. On the other side, in this example $e' = 1$ is not in the powerset of $S$, since $\mathcal{P}(S) = \{∅,\{1\},\{\{1\}\},S\}$, and none of the listed elements is $1$.

Another thing: There are sets $S$ with the property $S ⊂ \mathcal{P}(S)$, i.e. that every element of $S$ is indeed an element of the power set of $S$. Take for example $S = ∅$, $S = \{∅\}$ or $S = \{∅,\{∅\}\}$. I’m sure these sets have a name, but I don’t know it. Edit: As Andres mentioned in a comment, these sets are called transitive sets.

It is also common to define $0 := ∅$ and inductively any natural number $n+1$ as $n+1 := n ∪ \{n\}$, e.g. $1 = \{0\} = \{∅\}$ and $2 = \{0,1\} = \{∅,\{∅\}\}$ and so forth. Using this definition, it is certainly true that: $$0 ∈ 1 ∈ 2 ∈ 3 ∈ 4 ∈ …\quad \text{and} \quad 0 ⊂ 1 ⊂ 2 ⊂ 3 ⊂ 4 ⊂ …$$ such that “$∈$” essentially becomes “$<$”, whereas “$⊂$” becomes “$≤$”. So since any element of a so-defined natural number $n$ is also a subset of $n$, these natural numbers are indeed very prominent examples of sets whose elements are also members in their power sets, i.e. of transitive sets.

  • $\begingroup$ That is what I suspected, and thanks for the example. $\endgroup$ – Kom Jun 21 '13 at 11:35
  • 5
    $\begingroup$ The name you are looking for in the second paragraph is transitive. A set $A$ is called transitive if every element of $A$ is also a subset of $A$, that is, if whenever $y\in A$, then $y\subset A$, so $y\in\mathcal P(A)$. (The reason for the name "transitive" is perhaps explained by noticing that the condition is saying that whenever $x\in y\in A$, then $x\in A$.) $\endgroup$ – Andrés E. Caicedo Jun 21 '13 at 13:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.