Producto cartesiano

En teoría de conjuntos, el producto cartesiano es un producto directo de conjuntos. En particular, el producto cartesiano de dos conjuntos X y Y, denotado por X × Y, es el conjunto de todos los pares ordenados en los que el primer componente pertenece a X y el segundo a Y:

$X\times Y=\{(x,y)\mid x\in X\;\wedge \;y\in Y\}$

El producto cartesiano recibe su nombre de René Descartes, cuya formulación de la geometría analítica dio origen a este concepto.

Ejemplo 1

El producto cartesiano del conjunto de trece rangos de la baraja inglesa

$Rangos=\{As,K,Q,J,10,9,8,7,6,5,4,3,2\}\,$

con el de los cuatro palos:

$Palos=\{\spadesuit ,\heartsuit ,\blacklozenge ,\clubsuit \}$

conjunto de las 52 cartas de la baraja:

$Baraja=\{(As,\spadesuit ),(As,\heartsuit ),(As,\blacklozenge ),\;\ldots \;,(2,\heartsuit ),(2,\blacklozenge ),(2,\clubsuit )\}$

la forma matemática de expresarlo es:

$Baraja=Rangos\times Palos=\{(x,y)\mid x\in Rangos\;\wedge \;y\in Palos\}$

Si los conjuntos involucrados son finitos, la cardinalidad (o número de elementos) del producto cartesiano es el producto de las cardinalidades de los conjuntos involucrados:

$|X\times Y|=|X|\cdot |Y|$

En el ejemplo anterior, el número de elementos del producto era 52 = 13·4.

Ejemplo 2

Partiendo de los conjuntos T de tubos de pintura y P de pinceles:

$T=\{\,$

,

,

,

$\}\,$

$P=\{\,$

,

,

,

,

$\}\,$

El producto cartesiano de estos dos conjuntos será:

$T\times P=\{(x,y)\mid x\in T\;\wedge \;y\in P\}$

En el cuadro hemos representado el conjunto T en la fila inferior y el P en la columna de la izquierda, en el cuadro donde se cortan la columna de cada tubo y la fila de cada pincel esta el par ordenado tubo pincel del color correspondiente.

Aunque en la figura no se representa téngase en cuenta que son pares ordenados y que el primer elemento corresponde al tubo y el segundo al pincel:

La representación en Coordenadas cartesianas de dos y tres dimensiones es una forma usual de representar el producto cartesiano de dos y tres conjuntos.
,

Generalización finita

El cuadrado cartesiano de un conjunto X se define como X² = X × X. Un ejemplo de esto es el espacio euclídeo de dos dimensiones R² = R × R, donde R es el conjunto de los números reales; R² es entonces el conjunto de todos los puntos (x, y) donde x e y son ambos reales.

Esto se puede generalizar a un producto cartesiano n-ario sobre n conjuntos X₁,..., X_n:

$X_{1}\times \cdots \times X_{n}=\{(x_{1},\ldots ,x_{n})\mid x_{1}\in X_{1}\;\land \;\cdots \;\land \;x_{n}\in X_{n}\}.$

Este conjunto se puede identificar con (X₁ ×... × X_n-1) × X_n; es un conjunto de n-tuplas.

Análogamente al cuadrado cartesiano, se pueden usar potencias mayores: R³ = R × R × R es el espacio euclídeo tridimensional.

Productos arbitrarios

La definición anterior usualmente basta para las aplicaciones matemáticas comunes. En algunos casos, sin embargo, puede ser necesario definir el producto cartesiano de una colección arbitraria (tal vez infinita) de conjuntos, y un intento de generalizar la definición de arriba a unas "tuplas inmensas" no tendría suficiente formalidad matemática.

Si I es cualquier conjunto, y si

$\{X_{i}\mid i\in I\}$

es una colección de conjuntos, se define

$\prod _{i\in I}X_{i}=\{f:I\to \bigcup _{i\in I}X_{i}\mid \forall i:f(i)\in X_{i}\},$

esto es, la colección de todas las funciones definidas en el conjunto I cuyo valor en un índice cualquiera i es un elemento de X_i.

Para todo j ∈ I, la función

$\pi _{j}:\prod _{i\in I}X_{i}\to X_{j}$

definida por

$\pi _{j}(f)=f(j),\,$

se denomina proyección sobre la coordenada j.

Una n-tupla puede también verse como una función definida en {1, 2,..., n}, cuyo valor en i es el i-ésimo elemento de la tupla. Con esto, si I = {1, 2,..., n}, la nueva definición coincide con la vieja.

Un caso particular del producto infinito ocurre cuando el conjunto índice es N, el conjunto de los naturales; en este caso, el producto es sencillamente el conjunto de secuencias infinitas cuyo i-ésimo término pertenece a X_i. De nuevo se puede ver un ejemplo con R:

$\prod _{n\in \mathbb {N} }\mathbb {R} =\prod _{n=1}^{\infty }\mathbb {R} =\mathbb {R} ^{\omega }=\mathbb {R} \times \mathbb {R} \times \cdots$

es la colección de secuencias infinitas de números reales, y fácilmente se puede ver como un vector con infinitas componentes.

También es de notar el caso en el que todos los conjuntos "factores" X_i son iguales (ilustrado también por el ejemplo anterior). En este caso, la gran unión en la definición es sólo el único factor, y la segunda condición siempre se cumple; por lo tanto, el producto es solamente el conjunto de todas las funciones con dominio I y rango X, denotado X^I por analogía con los "exponentes cartesianos".

En otros casos, el producto cartesiano infinito es menos intuitivo, aunque muy valioso por sus aplicaciones en la matemática.

La afirmación de que el producto cartesiano de una colección arbitraria de conjuntos no vacíos tampoco es vacío es equivalente al axioma de elección.

Teoría de la categoría

En la teoría de categorías, el producto cartesiano no es más que el producto en la categoría de conjuntos.

Véase también

• Relación binaria
• Producto directo
• Par ordenado
• Tupla