El producto cartesiano es una de las construcciones más importantes de la teoría de conjuntos. Debe su nombre a René Descartes, quien introdujo el sistema de coordenadas cartesianas, permitiendo asociar a cada punto del plano un par ordenado de números reales.
Esta operación nos permite ir más allá del concepto de conjunto aislado y construir estructuras ordenadas, sentando así las bases rigurosas de las nociones de relación, función, gráfica y espacios multidimensionales.
Índice
- Definición Formal
- Propiedades Fundamentales
- Propiedades Distributivas
- Interpretación Geométrica
- Producto Cartesiano de Varios Conjuntos
- Relaciones y Funciones
- Profundizando en la Cardinalidad
- Ejercicios Resueltos
- Conclusión
Definición Formal
Sean \(A\) y \(B\) dos conjuntos. El producto cartesiano de \(A\) y \(B\), denotado por \(A \times B\), es el conjunto de todos los pares ordenados:
\[ A \times B = \{(a, b) \mid a \in A \land b \in B\} \]
El par \((a, b)\) es ordenado: el orden de las componentes es esencial. En efecto, se cumple:
\[(a, b) = (c, d) \quad \iff \quad a = c \ \text{y} \ b = d\]
Ejemplo clásico
Sean \(A = \{1, 2\}\) y \(B = \{x, y\}\). Entonces:
\[ A \times B = \{(1,x), (1,y), (2,x), (2,y)\} \]
Observación: ¿qué es realmente un par ordenado?
A nivel intuitivo, un par ordenado es simplemente “dos elementos colocados en cierto orden”. Pero en teoría de conjuntos, donde todo debe construirse a partir del único concepto primitivo de conjunto, hace falta una definición precisa. La más extendida es la de Kuratowski:
\[ (a, b) := \{\, \{a\},\ \{a, b\} \,\} \]
Puede demostrarse que con esta definición se cumple la propiedad característica \((a,b) = (c,d) \iff a = c \land b = d\), que en el fondo es lo único que pedimos a un “par ordenado”. En los cálculos prácticos esta construcción nunca se utiliza: solo sirve para garantizar que el producto cartesiano es un objeto bien definido dentro de la teoría.
Propiedades Fundamentales
Si \(A\) y \(B\) son conjuntos finitos, el cardinal del producto cartesiano viene dado por:
\[ |A \times B| = |A| \cdot |B| \]
Además, el producto cartesiano es vacío exactamente cuando lo es al menos uno de los dos factores:
\[ A \times B = \varnothing \quad \iff \quad A = \varnothing \ \text{o} \ B = \varnothing \]
En particular, \( A \times \varnothing = \varnothing \times A = \varnothing \).
En general, el producto cartesiano no es conmutativo. Más precisamente:
\[ A \times B = B \times A \quad \iff \quad A = B \ \text{o} \ A = \varnothing \ \text{o} \ B = \varnothing \]
También se cumple una sencilla monotonía respecto a la inclusión: si \(A \subseteq A'\) y \(B \subseteq B'\), entonces \(A \times B \subseteq A' \times B'\). La comprobación es inmediata: si \((a,b) \in A \times B\), entonces \(a \in A \subseteq A'\) y \(b \in B \subseteq B'\), de modo que \((a,b) \in A' \times B'\).
Propiedades Distributivas
El producto cartesiano es distributivo respecto a las principales operaciones entre conjuntos:
- \( A \times (B \cap C) = (A \times B) \cap (A \times C) \)
- \( A \times (B \cup C) = (A \times B) \cup (A \times C) \)
- \( A \times (B \setminus C) = (A \times B) \setminus (A \times C) \)
Demostración de la distributividad respecto a la intersección. Sea \((a,x)\in A\times(B\cap C)\). Entonces \(a\in A\) y \(x\in B\cap C\), es decir, \(x\in B\) y \(x\in C\). Por tanto \((a,x)\in A\times B\) y \((a,x)\in A\times C\), de donde \((a,x)\in (A\times B)\cap(A\times C)\).
Recíprocamente, sea \((a,x)\in (A\times B)\cap(A\times C)\). Entonces \((a,x)\in A\times B\) y \((a,x)\in A\times C\). En consecuencia \(a\in A\), \(x\in B\) y \(x\in C\), por lo que \(x\in B\cap C\) y \((a,x)\in A\times(B\cap C)\).
Demostración de la distributividad respecto a la unión. Sea \((a,x)\in A\times(B\cup C)\). Entonces \(a\in A\) y \(x\in B\cup C\), es decir, \(x\in B\) o \(x\in C\). Por tanto \((a,x)\in A\times B\) o \((a,x)\in A\times C\), de donde \((a,x)\in (A\times B)\cup(A\times C)\).
Recíprocamente, sea \((a,x)\in (A\times B)\cup(A\times C)\). Entonces \(a\in A\) y (\(x\in B\) o \(x\in C\)), de modo que \(a\in A\) y \(x\in B\cup C\), es decir, \((a,x)\in A\times(B\cup C)\).
Atención: un error frecuente
Una tentación habitual consiste en escribir
\[ (A \cup C) \times (B \cup D) \stackrel{?}{=} (A \times B) \cup (C \times D) \]
pero esta igualdad es falsa en general. Basta con un contraejemplo: sean \(A = C = \{1\}\), \(B = \{2\}\), \(D = \{3\}\). Entonces \((A \cup C) \times (B \cup D) = \{1\} \times \{2,3\} = \{(1,2), (1,3)\}\), mientras que \((A \times B) \cup (C \times D) = \{(1,2)\} \cup \{(1,3)\} = \{(1,2),(1,3)\}\). En este caso particular la igualdad sí se cumple, pero si tomamos \(A = \{1\}\), \(C = \{2\}\), \(B = \{3\}\), \(D = \{4\}\), obtenemos:
\[ (A \cup C) \times (B \cup D) = \{1,2\} \times \{3,4\} = \{(1,3),(1,4),(2,3),(2,4)\} \]
\[ (A \times B) \cup (C \times D) = \{(1,3)\} \cup \{(2,4)\} = \{(1,3),(2,4)\} \]
Los dos conjuntos son claramente distintos: en el primero aparecen también los “pares mixtos” \((1,4)\) y \((2,3)\). En cambio, sí se cumple, y es fácil de demostrar, la igualdad:
\[ (A \cap C) \times (B \cap D) = (A \times B) \cap (C \times D) \]
Interpretación Geométrica
Cuando \(A, B \subseteq \mathbb{R}\), el producto cartesiano \(A \times B\) corresponde a una región del plano cartesiano \(\mathbb{R}^2\).
Ejemplos
- \([0,1] \times [0,1]\) es el cuadrado unitario cerrado
- \(\mathbb{R} \times \mathbb{R}\) representa todo el plano cartesiano
Producto Cartesiano de Varios Conjuntos
La definición se extiende de manera natural a varios conjuntos. Dados \(n\) conjuntos \(A_1, \dots, A_n\):
\[ A_1 \times A_2 \times \cdots \times A_n = \{(a_1,a_2,\dots,a_n) \mid a_i \in A_i \ \forall i=1,\dots,n\} \]
En particular, el espacio euclídeo \(n\)-dimensional se define como:
\[ \mathbb{R}^n = \underbrace{\mathbb{R} \times \mathbb{R} \times \cdots \times \mathbb{R}}_{n \text{ veces}} \]
Observación: ¿es asociativo el producto?
En sentido estricto, los conjuntos \((A \times B) \times C\) y \(A \times (B \times C)\) no son iguales: el primero contiene elementos de la forma \(((a,b),c)\), el segundo elementos de la forma \((a,(b,c))\). Sin embargo, existe una biyección natural entre ambos (y con \(A \times B \times C\), entendido como el conjunto de las ternas ordenadas):
\[ ((a,b),c) \ \longleftrightarrow \ (a,b,c) \ \longleftrightarrow \ (a,(b,c)) \]
Por este motivo, en la práctica se da por supuesta la asociatividad y se escribe simplemente \(A \times B \times C\), sin paréntesis.
Relaciones y Funciones
Una relación entre dos conjuntos \(A\) y \(B\) es cualquier subconjunto del producto cartesiano:
\[ R \subseteq A \times B \]
Una función \(f: A \to B\) es una relación particular que asigna a cada elemento de \(A\) exactamente un elemento de \(B\):
\[ \forall a \in A, \ \exists! \, b \in B \quad \text{tal que} \ (a,b) \in f \]
Funciones reales de variable real
Una función \(f: \mathbb{R} \to \mathbb{R}\) puede identificarse con su gráfica:
\[ G_f = \{(x, f(x)) \mid x \in \mathbb{R}\} \subseteq \mathbb{R} \times \mathbb{R} \]
Geométricamente, la gráfica debe satisfacer el criterio de la recta vertical: toda recta vertical corta a la gráfica en, a lo sumo, un punto.
¿Cuántas funciones hay?
El conjunto de todas las funciones de \(A\) en \(B\) se denota por \(B^A\). Para conjuntos finitos se cumple la fórmula:
\[ |B^A| = |B|^{|A|} \]
Es un bonito paralelismo con \(|A \times B| = |A| \cdot |B|\): en el producto cartesiano se eligen dos componentes, una en \(A\) y otra en \(B\); en las funciones \(A \to B\) se elige un valor de \(B\) para cada uno de los \(|A|\) elementos de \(A\), de ahí el exponente.
Profundizando en la Cardinalidad
Para conjuntos finitos, la fórmula \(|A \times B| = |A| \cdot |B|\) resulta muy intuitiva: basta con contar los pares. En cambio, para conjuntos infinitos las cosas son más sutiles y los resultados son a menudo sorprendentes.
Un célebre resultado de Georg Cantor afirma que existe una biyección entre los puntos de una recta y los puntos de un plano:
\[ |\mathbb{R} \times \mathbb{R}| = |\mathbb{R}| \]
Dicho de manera informal: el plano contiene “tantos puntos como” una recta. Lo mismo ocurre con el espacio tridimensional y, en general, con \(\mathbb{R}^n\) para \(n \geq 1\): todos estos conjuntos tienen el mismo cardinal, denotado por \(\mathfrak{c}\) (la cardinalidad del continuo).
Este resultado es menos paradójico de lo que parece: la igualdad concierne únicamente al “número de puntos” como conjunto, no a la dimensión geométrica ni a la estructura topológica. Una recta y un plano siguen siendo objetos muy distintos desde el punto de vista geométrico.
Ejercicios Resueltos
Ejercicio 1. Sean \(A = \{a, b\}\) y \(B = \{1, 2, 3\}\). Determina \(A \times B\) y su cardinal.
Solución: \( A \times B = \{(a,1), (a,2), (a,3), (b,1), (b,2), (b,3)\} \). Cardinal: \(|A \times B| = 2 \times 3 = 6\).
Ejercicio 2. Demuestra que \(A \times B \neq B \times A\) usando \(A = \{1,2\}\) y \(B = \{3\}\).
Solución: \(A \times B = \{(1,3), (2,3)\}\), \(B \times A = \{(3,1), (3,2)\}\). Los dos conjuntos son distintos.
Ejercicio 3. Sea \(A = \{1,2,3\}\). Calcula \(|A \times A \times A|\) e interpreta el resultado.
Solución: \( |A \times A \times A| = 3 \times 3 \times 3 = 27 \). Representa todas las ternas ordenadas con elementos en \(\{1,2,3\}\).
Ejercicio 4. Considera la relación \(R = \{(x,y) \in \mathbb{N} \times \mathbb{N} \mid x \leq y\}\). ¿Es una función? Justifica la respuesta.
Solución: No, no es una función. Para serlo, cada \(x \in \mathbb{N}\) debería tener una imagen única; en cambio, cada \(x\) está relacionado con infinitos valores de \(y\) (todos los naturales mayores o iguales que \(x\)). Por ejemplo, \((1,1), (1,2), (1,3) \in R\), de modo que se incumple la condición de unicidad.
Ejercicio 5. Determina si la siguiente relación es una función de \(A = \{1,2,3\}\) en \(B = \{a,b\}\): \[f = \{(1,a), (2,b), (3,a)\}\]
Solución: Sí, es una función, porque a cada elemento de \(A\) le corresponde exactamente un elemento de \(B\).
Ejercicio 6. Demuestra que \( (A \cap C) \times (B \cap D) = (A \times B) \cap (C \times D) \).
Solución: Sea \((x,y) \in (A \cap C) \times (B \cap D)\). Entonces \(x \in A \cap C\) y \(y \in B \cap D\), es decir, \(x \in A\), \(x \in C\), \(y \in B\), \(y \in D\). Por tanto \((x,y) \in A \times B\) y \((x,y) \in C \times D\), de donde \((x,y) \in (A \times B) \cap (C \times D)\). Recíprocamente, si \((x,y) \in (A \times B) \cap (C \times D)\), entonces \(x \in A\), \(y \in B\), \(x \in C\), \(y \in D\); en consecuencia \(x \in A \cap C\), \(y \in B \cap D\), y por tanto \((x,y) \in (A \cap C) \times (B \cap D)\).
Ejercicio 7. Encuentra un contraejemplo que muestre que, en general, \( (A \cup C) \times (B \cup D) \neq (A \times B) \cup (C \times D) \).
Solución: Tomemos \(A = \{1\}\), \(B = \{2\}\), \(C = \{3\}\), \(D = \{4\}\). Entonces \((A \cup C) \times (B \cup D) = \{1,3\} \times \{2,4\} = \{(1,2),(1,4),(3,2),(3,4)\}\), mientras que \((A \times B) \cup (C \times D) = \{(1,2),(3,4)\}\). Los pares “mixtos” \((1,4)\) y \((3,2)\) pertenecen al primer conjunto, pero no al segundo.
Ejercicio 8. Sean \(A, B, C\) conjuntos con \(A \neq \varnothing\). Demuestra que, si \(A \times B = A \times C\), entonces \(B = C\).
Solución: Probaremos \(B \subseteq C\) (la otra inclusión es simétrica). Sea \(b \in B\). Como \(A \neq \varnothing\), existe \(a \in A\), de modo que \((a,b) \in A \times B\). Por hipótesis \(A \times B = A \times C\), así que \((a,b) \in A \times C\), es decir, \(b \in C\). La hipótesis \(A \neq \varnothing\) es esencial: si \(A = \varnothing\), entonces \(A \times B = A \times C = \varnothing\) para cualesquiera \(B\) y \(C\), y la conclusión deja de ser cierta.
Conclusión
El producto cartesiano es mucho más que una simple operación entre conjuntos: es la herramienta fundamental que permite construir de manera rigurosa los conceptos de relación, función y espacio geométrico. Gracias a esta construcción, la matemática moderna logra dar el salto de la idea de “conjunto” a la riqueza de las estructuras que utilizamos a diario en análisis, álgebra y geometría.