Difference between revisions of "Cartesian product"
Redbluegreen (talk | contribs) (→Proof of Existence) |
Redbluegreen (talk | contribs) (→Ordered Pairs) |
||
| Line 6: | Line 6: | ||
=== Ordered Pairs === | === Ordered Pairs === | ||
In the language of set theory, it is not trivial to define an ordered pair since the set <math>\{a,b\}</math> and <math>\{b,a\}</math> are equivalent. Thus, the definition of an ordered pair <math>(a,b)</math> is the set <math>\{\{a\}, \{a,b\}\}</math> Through this definition, the pair <math>(a,b)</math> does not equal the pair <math>(b,a)</math> since the set <math>\{\{a\}, \{a,b\}\}</math> and <math>\{\{b\}, \{b,a\}\}</math> are not equivalent. However, for the ordered pair <math>(a,a)</math> the resulting set reduces to <math>{{a}}</math> (do you see why?). Thus reversing the positions of <math>a</math> in the ordered pair does not change the resulting set. | In the language of set theory, it is not trivial to define an ordered pair since the set <math>\{a,b\}</math> and <math>\{b,a\}</math> are equivalent. Thus, the definition of an ordered pair <math>(a,b)</math> is the set <math>\{\{a\}, \{a,b\}\}</math> Through this definition, the pair <math>(a,b)</math> does not equal the pair <math>(b,a)</math> since the set <math>\{\{a\}, \{a,b\}\}</math> and <math>\{\{b\}, \{b,a\}\}</math> are not equivalent. However, for the ordered pair <math>(a,a)</math> the resulting set reduces to <math>{{a}}</math> (do you see why?). Thus reversing the positions of <math>a</math> in the ordered pair does not change the resulting set. | ||
| − | |||
| − | |||
== See Also == | == See Also == | ||
Revision as of 17:13, 29 August 2024
The Cartesian product of two sets 
and 
is the set of all ordered pairs 
such that 
is an element of and 
is an element of . More generally, the Cartesian product of an ordered family of sets 
is the set 
of ordered tuples 
such that 
is an element of 
, for any positive integer 
for which we have specified a set .
Existence
Ordered Pairs
In the language of set theory, it is not trivial to define an ordered pair since the set 
and 
are equivalent. Thus, the definition of an ordered pair is the set 
Through this definition, the pair does not equal the pair 
since the set and 
are not equivalent. However, for the ordered pair 
the resulting set reduces to 
(do you see why?). Thus reversing the positions of in the ordered pair does not change the resulting set.
See Also
This article is a stub. Help us out by expanding it.
