13
$\begingroup$

The exercise I'm working on is "Show that $\{x\} \times \{x\} = \{\{\{x\}\}\}$".

The solution I'm seeing says that this is equal to $\{\{\{x\}\}\}$, but I don't get this yet.

Here's what I do understand:

  • $\{x\}\times\{x\}$ should be the set of ordered pairs whose first coordinate is in $\{x\}$ and whose second coordinate is also in $\{x\}$.
  • The only thing in $\{x\}$ is $x$.
  • The cartesian product is a set.
  • An ordered pair is a set.

So if $x$ is the only thing in $\{x\}$, then the only ordered pair of $\{x\} \times \{x\}$ should be $\{x\}$, and the cartesian product should be the set of all of those ordered pairs, i.e. $\{\{x\}\}$.

Any hints as to what I'm missing?

$\endgroup$
5
  • 1
    $\begingroup$ Note that this is a consequence of a standard way of defining an ordered pair. $\endgroup$
    – copper.hat
    Nov 27, 2017 at 4:10
  • 1
    $\begingroup$ It's so interesting to me that an ordered pair is defined -- in this standard way -- as a set of sets. I wonder if that's conceptually or even psychologically true, or just a formal trick. Meaning, is our concept of an ordered pair really of a collection of a collection? I'm confused thinking about this. $\endgroup$
    – MBP
    Nov 27, 2017 at 4:13
  • $\begingroup$ There are various definitions, see en.wikipedia.org/wiki/…. $\endgroup$
    – copper.hat
    Nov 27, 2017 at 4:29
  • 10
    $\begingroup$ @MBP Everything in typical set theory (i.e. ZFC) is a set and the only way to get any structure at all is to nest them. The only thing that isn't a set of sets is the empty set (and arguably that's just an empty set of sets...) I would say our concept of an ordered pair isn't a set of sets, but the point of set theory is to show that it (and every other mathematical concept) can be implemented as a set of sets, but no particular implementation is the concept. $\endgroup$ Nov 27, 2017 at 5:35
  • 1
    $\begingroup$ en.wikipedia.org/wiki/…, in particular en.wikipedia.org/wiki/Ordered_pair#Kuratowski.27s_definition. $\endgroup$
    – user236182
    Nov 27, 2017 at 15:51

1 Answer 1

33
$\begingroup$

The set $\{x\}\times \{x\}$ is the singleton containing the ordered pair $(x,x)$, i.e. $\{x\}\times\{x\} = \{(x,x)\}$. By definition, $(x,x) = \{\{x\},\{x,x\}\}$. This last set is equal to $\{\{x\},\{x\}\}$ since $\{x,x\} = \{x\}$, and this final set is equal to $\{\{x\}\}$ since $\{x\} = \{x\}$. Hence $\{x\}\times\{x\} = \{\{\{x\}\}\}$.

$\endgroup$
1
  • 1
    $\begingroup$ Thank you! I needed to go back to the definition of an ordered pair. $\endgroup$
    – MBP
    Nov 27, 2017 at 4:11

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .