Jump to content

Unordered pair: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
No edit summary
Tags: Mobile edit Mobile web edit
Line 4: Line 4:
{{Citation | last1=Düntsch | first1=Ivo | last2=Gediga | first2=Günther | title=Sets, Relations, Functions | publisher=Methodos | series=Primers Series | isbn=978-1-903280-00-3 | year=2000}}.</ref><ref>{{Citation | last1=Fraenkel | first1=Adolf | title=Einleitung in die Mengenlehre | publisher=[[Springer-Verlag]] | location=Berlin, New York | year=1928}}</ref><ref>{{Citation | last1=Roitman | first1=Judith | title=Introduction to modern set theory | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-471-63519-2 | year=1990}}.</ref><ref>{{Citation | last1=Schimmerling | first1=Ernest | title=Undergraduate set theory | year=2008 }}
{{Citation | last1=Düntsch | first1=Ivo | last2=Gediga | first2=Günther | title=Sets, Relations, Functions | publisher=Methodos | series=Primers Series | isbn=978-1-903280-00-3 | year=2000}}.</ref><ref>{{Citation | last1=Fraenkel | first1=Adolf | title=Einleitung in die Mengenlehre | publisher=[[Springer-Verlag]] | location=Berlin, New York | year=1928}}</ref><ref>{{Citation | last1=Roitman | first1=Judith | title=Introduction to modern set theory | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-471-63519-2 | year=1990}}.</ref><ref>{{Citation | last1=Schimmerling | first1=Ernest | title=Undergraduate set theory | year=2008 }}
</ref>
</ref>
But for a few authors a [[Singleton (mathematics)|singleton]] is also considered an unordered pair, although today, most would say that {a,a} is a [[multiset]]. It is typical to use the term unordered pair even in the situation where the elements a and b could be equal, as long as this equality has not yet been established.
But for a few authors a [[Singleton (mathematics)|singleton]] is also considered an unordered pair, although today, most would say that {''a'',&nbsp;''a''} is a [[multiset]]. It is typical to use the term unordered pair even in the situation where the elements a and b could be equal, as long as this equality has not yet been established.


A set with precisely two elements is also called a [[finite set|2-set]] or (rarely) a '''binary set'''.
A set with precisely two elements is also called a [[finite set|2-set]] or (rarely) a '''binary set'''.

Revision as of 06:48, 25 December 2018

In mathematics, an unordered pair or pair set is a set of the form {ab}, i.e. a set having two elements a and b with no particular relation between them. In contrast, an ordered pair (ab) has a as its first element and b as its second element.

While the two elements of an ordered pair (ab) need not be distinct, modern authors only call {ab} an unordered pair if a ≠ b.[1][2][3][4] But for a few authors a singleton is also considered an unordered pair, although today, most would say that {aa} is a multiset. It is typical to use the term unordered pair even in the situation where the elements a and b could be equal, as long as this equality has not yet been established.

A set with precisely two elements is also called a 2-set or (rarely) a binary set.

An unordered pair is a finite set; its cardinality (number of elements) is 2 or (if the two elements are not distinct) 1.

In axiomatic set theory, the existence of unordered pairs is required by an axiom, the axiom of pairing.

More generally, an unordered n-tuple is a set of the form {a1a2,... an}.[5][6][7]

Notes

  1. ^ Düntsch, Ivo; Gediga, Günther (2000), Sets, Relations, Functions, Primers Series, Methodos, ISBN 978-1-903280-00-3.
  2. ^ Fraenkel, Adolf (1928), Einleitung in die Mengenlehre, Berlin, New York: Springer-Verlag
  3. ^ Roitman, Judith (1990), Introduction to modern set theory, New York: John Wiley & Sons, ISBN 978-0-471-63519-2.
  4. ^ Schimmerling, Ernest (2008), Undergraduate set theory
  5. ^ Hrbacek, Karel; Jech, Thomas (1999), Introduction to set theory (3rd ed.), New York: Dekker, ISBN 978-0-8247-7915-3.
  6. ^ Rubin, Jean E. (1967), Set theory for the mathematician, Holden-Day
  7. ^ Takeuti, Gaisi; Zaring, Wilson M. (1971), Introduction to axiomatic set theory, Graduate Texts in Mathematics, Berlin, New York: Springer-Verlag

References