Cartesian product

From Example Problems
Jump to navigation Jump to search

In mathematics, the Cartesian product (or direct product) of two sets X and Y, denoted X × Y, is the set of all possible ordered pairs whose first component is a member of X and whose second component is a member of Y:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X\times Y = \{(x,y) | x\in X\;\mathrm{and}\;y\in Y\}.}

The Cartesian product is named after René Descartes whose formulation of analytic geometry gave rise to this concept.

For example, if set X is the 13-element set { A, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2 } and set Y is the 4-element set {♠, ♥, ♦, ♣}, then the Cartesian product of those two sets is the 52-element set { (A, ♠), (K, ♠), ..., (2, ♠), (A, ♥), ..., (3, ♣), (2, ♣) }.

Cartesian square and n-ary product

The Cartesian square (or binary Cartesian product) of a set X is the Cartesian product X × X. An example is the 2-dimensional plane R × R where R is the set of real numbers - all points (x,y) where x and y are real numbers (see the Cartesian coordinate system).

This can be generalized to the n-ary Cartesian product over n sets X1, ..., Xn:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X_1\times\ldots\times X_n = \{(x_1\ldots x_n) | x_1\in X\;\mathrm{and}\;\ldots\;\mathrm{and}\;x_n\in X_n\}.}

Indeed, it can be identified to (X1 × ... × Xn-1) × Xn. It is a set of n-tuples.

An example of this is the Euclidean 3-space R × R × R, with R again the set of real numbers.

As an aid to its calculation, a table can be drawn up, with one set as the rows and the other as the columns, and forming the ordered pairs, the cells of the table by choosing the element of the set from the row and the column.

Infinite products

The above definition is usually all that's needed for the most common mathematical applications. However, it is possible to define the Cartesian product over an arbitrary (possibly infinite) collection of sets. If I is any index set, and {X i | i in I} is a collection of sets indexed by I, then we define

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \prod_{i \in I} X_i = \{ f : I \to \bigcup_{i \in I} X_i\ |\ (\forall i)(f(i) \in X_i)\},}

that is, the set of all functions defined on the index set such that the value of the function at a particular index i is an element of Xi .

For each i in I, the function

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi_i : \prod_{i \in I} X_i \to X_i }

defined by

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pi_i(f) = f(i),\,}

is called the ith projection map.

An n-tuple can be viewed as a function on {1, 2, ..., n} that takes its value at i to be the ith element of the tuple. Hence, when I is {1, 2, ..., n} this definition coincides with the definition for the finite case. In the infinite case this is a family.

One particular and familiar infinite case is when the index set is Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb N} , the natural numbers: this is just the set of all infinite sequences with the ith term in its corresponding set Xi. Once again, trusty old Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb R} provides an example of this:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \prod_{n = 1}^\infty \mathbb R =\mathbb{R}^\omega= \mathbb R \times \mathbb R \times \ldots}

is the collection of infinite sequences of real numbers, and it is easily visualized as a vector or tuple with an infinite number of components. Another special case (the above example also satisfies this) is when all the factors Xi involved in the product are the same, being like "Cartesian exponentiation." Then the big union in the definition is just the set itself, and the other condition is trivially satisfied, so this is just the set of all functions from I to X.

Otherwise, the infinite cartesian product is less intuitive; though valuable in its applications to higher mathematics.

The assertion that the Cartesian product of a non-empty collection of non-empty sets is non-empty is equivalent to the axiom of choice.

Cartesian product of functions

If f is a function from A to B and g is a function from X to Y, their cartesian product f×g is a function from A×X to B×Y with

(f×g)(a, x) = (f(a), g(x)).

As above this can be extended to tuples and infinite collections of functions.

Category theory

Categorically, the cartesian product is the direct product in the Category of sets.

See also

bg:Декартово произведение cs:Kartézský součin de:Kartesisches Produkt es:Producto cartesiano fr:Produit cartésien ko:곱집합 it:Prodotto cartesiano he:מכפלה קרטזית lt:Dekarto sandauga nl:Cartesisch product ja:直積集合 no:Kartesisk produkt pl:Iloczyn kartezjański pt:Produto cartesiano fi:Karteesinen tulo uk:Декартів добуток множин zh:笛卡尔积