Producto cartesiano

En teora de conjuntos, el producto cartesiano de dos conjuntos es una operacin que resulta en otro conjunto cuyos elementos son todos los pares ordenados que pueden formarse tomando el primer elemento del par del primer conjunto, y el segundo elemento del segundo conjunto. Por ejemplo, dados los conjuntos A = {1, 2, 3, 4} y B = {a, b}, su producto cartesiano es: A B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b), (4, a), (4, b)} El producto cartesiano recibe su nombre de Ren Descartes, cuya formulacin de la geometra analtica dio origen a este concepto.1 Un par ordenado es una coleccin de dos objetos distinguidos como primero y segundo, y se denota como (a, b), donde a es el "primer elemento" y b el "segundo elemento". Dados dos conjuntos A y B, su producto cartesiano es el conjunto de todos los pares ordenados que pueden formarse con estos dos conjuntos:

El producto cartesiano de A y B es el conjunto A B cuyos elementos son los pares ordenados (a, b), donde a es un elemento de A y b un elemento deB:

Puede definirse entonces el cuadrado cartesiano de un conjunto como A2 = A A.

El conjunto Z2 puede visualizarse como el conjunto de puntos en el plano cuyascoordenadas son nmeros enteros.

Ejemplos
Ejemplo 1 Sean los conjuntos R = {A, 2, 3, 4, 5, 6, 7, 8, 9, 10, J, Q, K} y P = {, , , } (los rangos y palos de la baraja inglesa). El producto cartesiano de estos conjuntos, B , es el conjunto de todas las parejas rango-palo:

B = R P = {(A, ), (2, ), ..., (K, ), (A, ), ... (K, ), (A, ), ..., (K, ), (A, ), ..., (K, ) } El conjunto B puede entenderse entonces como el conjunto de las 52 cartas de la mencionada baraja. Ejemplo 2 Sea el conjunto de los nmeros enteros Z = {..., 2, 1, 0, +1, +2, ...}. El producto cartesiano de Z consigo mismo es Z2 = Z Z = { (0,0), (0, +1), (0, 1), (0, +2), ..., (+1, 0), ... (1, 0), ... }, es decir, el conjunto de los pares ordenados cuyas componentes son enteros. Para representar los nmeros enteros se utiliza la recta numrica, y para representar el conjunto Z2 se utiliza un plano cartesiano (en la imagen). Ejemplo 3 Sean los conjuntos T de tubos de pintura, y P de pinceles:

, ,

, ,

, , ,

El producto cartesiano de estos dos conjuntos, T P, contiene todos los posibles emparejamientos de pinceles y tubos de pintura. De manera similar al caso de un plano cartesiano en el ejemplo anterior, este conjunto puede representarse mediante una tabla:

Generalizaciones
Caso finito
Dado un nmero finito de conjuntos A1, A2, ..., An, su producto cartesiano se define como el conjunto de n-tuplas cuyo primer elemento est en A1, cuyo segundo elemento est en A2, etc.

El producto cartesiano de un nmero finito de conjuntos A1, ..., An es el conjunto de las n-tuplas cuyo elemento k-simo pertenece a Ak, para cada 1 k n:

Puede definirse entonces potencias cartesianas de orden superior a 2, como A3 = A A A, etc. Dependiendo de la definicin de n-tupla que se adopte, esta generalizacin puede construirse a partir de la definicin bsica como: A1 ... An = A1 ( A2 ( ... An )...) o construcciones similares.

Caso infinito
En el caso de una familia de conjuntos arbitraria (posiblemente infinita), la manera de definir el producto cartesiano consiste en cambiar el concepto de tupla por otro ms cmodo. Si la familia est indexada, una aplicacin que recorra el conjunto ndice es el objeto que distingue quin es la "entrada k-sima":

El producto cartesiano de una familia indexada de conjuntos F = {Ai}i I es el conjunto de las aplicaciones f : I F cuyo dominio es el conjunto ndiceI y sus imgenes son elementos de algn Ai; que cumplen que para cada i I se tiene f(i) Ai:

donde F denota la unin de todos los Ai. Dado un j I, la proyeccin sobre la coordenada j es la aplicacin:

En el caso de una familia finita de conjuntos {A1, ..., An} indexada por el conjunto In = {1, ..., n}, segn la definicin de n-tupla que se adopte, o bien las aplicaciones f : In i Ai de la definicin anterior son precisamente n-tuplas, o existe una identificacin natural entre ambos objetos; por lo que la definicin anterior puede considerarse como la ms general.

Sin embargo, a diferencia del caso finito, la existencia de dichas aplicaciones no est justificada por las hiptesis ms bsicas de la teora de conjuntos. Estas aplicaciones son de hechofunciones de eleccin cuya existencia slo puede demostrarse en general si se asume el axioma de eleccin. De hecho, la existencia de funciones de eleccin (cuando todos los miembros de Fson no vacos) es equivalente a dicho axioma.

Propiedades
El conjunto vaco acta como el cero del producto cartesiano, pues no posee elementos para construir pares ordenados:

Un producto cartesiano donde algn factor sea el conjunto vaco es vaco. En particular:

El producto cartesiano de dos conjuntos no es conmutativo en general, salvo en casos muy especiales. Lo mismo ocurre con la propiedad asociativa.

En general:

Puesto que el producto cartesiano puede representarse como una tabla o un plano cartesiano, es fcil ver que el cardinal del conjunto producto es el producto de los cardinales de cada factor:

El producto cartesiano de un nmero finito de conjuntos finitos es finito a su vez. En particular, su cardinal es el producto de los cardinales de cada factor:

El producto cartesiano de una familia de conjuntos no vacos que incluya algn conjunto infinito es infinito a su vez.

En teora de conjuntos, la frmula anterior de cardinal del producto cartesiano como producto de los cardinales de cada factor, sigue siendo cierta utilizando cardinales infinitos.