4
$\begingroup$

In set theory, can you have an ordered set which contains the same element? For instance, if you have a cartesian product which has an ordered pair of $\langle a,a\rangle$, do you keep these as two elements in the ordered pair? Or do we write this as $\langle a\rangle$, in the same way that for basic sets we would - $\{a,a\}$ can be written as $\{a\}$?

$\endgroup$
2
$\begingroup$

You can definitely have an ordered pair (or ordered tuple) with the same element, and you should definitely write that element twice (or more).

Tuples are not sets in the sense that order and repetition matter. So you can't just ignore these like you do with sets.

$\endgroup$
  • $\begingroup$ Shouldn't it say that repetition and order does matter, when it comes to tuples? $\endgroup$ – Stefan Mesken Feb 9 '16 at 21:30
  • $\begingroup$ But... That's what I wrote. $\endgroup$ – Asaf Karagila Feb 9 '16 at 21:40
  • $\begingroup$ You're right. I'm not even sure anymore, how I managed to misinterpret your line. $\endgroup$ – Stefan Mesken Feb 9 '16 at 21:45
  • $\begingroup$ It's the severe case of you not coming to the conference next week. $\endgroup$ – Asaf Karagila Feb 9 '16 at 21:49
1
$\begingroup$

I think the fact that, in the first sentence, you refer to $(a,a)$ as an 'ordered set' is where the confusion lies. In the context of cartesian products just use 'ordered pairs', then since $(a,a)$ is not actually a set, the repeated elements rule does not apply and so you would keep it as $(a,a)$

$\endgroup$
  • $\begingroup$ Why would you say that $<a,a>$ isn't a set? $\endgroup$ – Stefan Mesken Feb 9 '16 at 21:28
  • $\begingroup$ Well with ordered pairs you should use $(a,a)$ as the notation $\endgroup$ – Connor Bishop Feb 9 '16 at 21:51
  • $\begingroup$ Both notations are quite common, but that's beside the point. $\endgroup$ – Stefan Mesken Feb 9 '16 at 21:55

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.