Difference between revisions of "Cartesian product"

(New page: The '''Cartesian product''' of two sets <math>A</math> and <math>B</math> is the set of all ordered pairs <math>(a,b)</math> such that <math>a</math> is an element of <math>A</...)
 
(See Also)
Line 1: Line 1:
 
The '''Cartesian product''' of two [[set]]s <math>A</math> and <math>B</math> is the set of all [[ordered pair]]s <math>(a,b)</math> such that <math>a</math> is an [[element]] of <math>A</math> and <math>b</math> is an [[element]] of <math>B</math>.  More generally, the Cartesian product of an ordered family of sets <math>A_1, A_2, \dotsc</math> is the set <math>A_1 \times A_2 \times \dotsb</math> of [[ordered tuples]] <math>(a_1, a_2, \dotsb)</math> such that <math>a_j</math> is an element of <math>A_j</math>, for any positive integer <math>j</math> for which we have specified a set <math>A_j</math>.
 
The '''Cartesian product''' of two [[set]]s <math>A</math> and <math>B</math> is the set of all [[ordered pair]]s <math>(a,b)</math> such that <math>a</math> is an [[element]] of <math>A</math> and <math>b</math> is an [[element]] of <math>B</math>.  More generally, the Cartesian product of an ordered family of sets <math>A_1, A_2, \dotsc</math> is the set <math>A_1 \times A_2 \times \dotsb</math> of [[ordered tuples]] <math>(a_1, a_2, \dotsb)</math> such that <math>a_j</math> is an element of <math>A_j</math>, for any positive integer <math>j</math> for which we have specified a set <math>A_j</math>.
 +
 +
== Proof of Existence ==
  
 
== See Also ==
 
== See Also ==

Revision as of 17:02, 29 August 2024

The Cartesian product of two sets $A$ and $B$ is the set of all ordered pairs $(a,b)$ such that $a$ is an element of $A$ and $b$ is an element of $B$. More generally, the Cartesian product of an ordered family of sets $A_1, A_2, \dotsc$ is the set $A_1 \times A_2 \times \dotsb$ of ordered tuples $(a_1, a_2, \dotsb)$ such that $a_j$ is an element of $A_j$, for any positive integer $j$ for which we have specified a set $A_j$.

Proof of Existence

See Also

This article is a stub. Help us out by expanding it.