Ordered pair: Difference between revisions
Jump to navigation
Jump to search
imported>Richard Pinch (new entry, just a stub) |
imported>Daniel Mietchen (+subpages) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{subpages}} | |||
In [[mathematics]], an '''ordered pair''' is a pair of elements in which order is significant: that is, the pair (''x'',''y'') is to be distinguished from (''y'',''x''). The ordered pairs (''a'',''b'') and (''c'',''d'') are equal if and only if ''a''=''c'' and ''b''=''d''. | In [[mathematics]], an '''ordered pair''' is a pair of elements in which order is significant: that is, the pair (''x'',''y'') is to be distinguished from (''y'',''x''). The ordered pairs (''a'',''b'') and (''c'',''d'') are equal if and only if ''a''=''c'' and ''b''=''d''. | ||
| Line 6: | Line 8: | ||
The set of all ordered pairs (''x'',''y'') with ''x'' in ''X'' and ''y'' in ''Y'' is the [[Cartesian product]] of ''X'' and ''Y''. A [[complex number]] may be expressed as an ordered pair of [[real number]]s, the real and imaginary parts respectively. | The set of all ordered pairs (''x'',''y'') with ''x'' in ''X'' and ''y'' in ''Y'' is the [[Cartesian product]] of ''X'' and ''Y''. A [[complex number]] may be expressed as an ordered pair of [[real number]]s, the real and imaginary parts respectively. | ||
==References== | |||
* {{cite book | author=Keith J. Devlin | authorlink=Keith Devlin | title=Fundamentals of Contemporary Set Theory | series=Universitext | publisher=[[Springer-Verlag]] | year=1979 | isbn=0-387-90441-7 | pages=9-10 }} | |||
* {{cite book | author=Paul Halmos | authorlink=Paul Halmos | title=Naive set theory | series=The University Series in Undergraduate Mathematics | publisher=[[Van Nostrand Reinhold]] | year=1960 | pages=22-25 }} | |||
* {{cite book | author=Ian Stewart | authorlink=Ian Stewart | coauthors=David Tall | title=The Foundations of Mathematics | publisher=[[Oxford University Press]] | year=1977 | isbn=0-19-853165-6 | pages=62-65 }} | |||
Latest revision as of 07:01, 21 January 2009
In mathematics, an ordered pair is a pair of elements in which order is significant: that is, the pair (x,y) is to be distinguished from (y,x). The ordered pairs (a,b) and (c,d) are equal if and only if a=c and b=d.
It would be possible to take the concept of ordered pair as an elementary concept in set theory, but it is more usual to define them in terms of sets. Kuratowksi proposed the definition
The set of all ordered pairs (x,y) with x in X and y in Y is the Cartesian product of X and Y. A complex number may be expressed as an ordered pair of real numbers, the real and imaginary parts respectively.
References
- Keith J. Devlin (1979). Fundamentals of Contemporary Set Theory. Springer-Verlag, 9-10. ISBN 0-387-90441-7.
- Paul Halmos (1960). Naive set theory. Van Nostrand Reinhold, 22-25.
- Ian Stewart; David Tall (1977). The Foundations of Mathematics. Oxford University Press, 62-65. ISBN 0-19-853165-6.