Hola a todos, de nuevo aquí con una nueva sección de relaciones matemáticas, hoy describiremos la sexta operación de la teoría de conjuntos, nos referimos al producto cartesiano.
En la sección de operaciones de conjuntos no hice ninguna descripción previa del producto cartesiano, tan solo me limité a mencionarlo, pero en esta oportunidad nos tomaremos la molestia de detallar su concepto, propiedades y usos práctico para otras secciones de interés como las funciones.
Par ordenado
En la sección par ordenado ya habíamos discutido su definición y concepto de dos maneras diferentes. En esta ocasiona realizaremos una definición mas conveniente, veamos la siguiente definición.
Definición
Llamamos par ordenado simbolizado por \( (a, b) \) formado por los elementos donde \( a \) como primera componente y \( b \) como segunda componente en ese orden tal que cumple la siguiente restricción:
\[ (a, b) ≠ (b, a) ↔ a ≠ b \]
La definición anterior aclara inmediatamente una restricción con respecto al orden, cosa que es muy poco común definirlo de esta manera, generalmente tal restricción se menciona como consecuencia independiente de las 2 definiciones alternativas y muy usuales en la sección anterior de pares ordenados.
La primera definición de la sección anterior añade una condición, la condición de igualdad de pares ordenados, tal condición se transforma en axioma si consideramos la restricción \( (a, b) ≠ (b, a) ↔ a ≠ b \) de la definición de par ordenado que acabamos de anunciar en esta sección.
El par ordenado en matemáticas tiene dos aspectos aun no decisivos, pero que no afecta al desarrollo del tema actual ni a los que vendrán mas adelante, tu puedes elegir el que mas guste. La manera como lo estoy tomando es cambiando la restricción de la primera definición de la sección anterior, este sería un tercer aspecto de las dos restantes, tal vez mas preciso que los dos primeros, pero tu serás el que me juzgues y lo aclares en la caja de comentarios al final de la sección.
Axioma de igualdad
Sean dos pares ordenados \( (a, b) \) y \( (c, d) \), tal que cumple la siguiente condición:
\[ (a, b) = (c, d) ↔ a = c ∧ b = d \]
Tanto la definición como el axioma fue extraída del libro conceptos básicos de matemática moderna de la editorial Codex en Buenos Aires – Argentina pero con algunos cambios, por ejemplo, en su libro no se indica dicha restricción en su definición de par ordenado como lo hice mas arriba.
Aquella restricción era necesario para que la propiedad de la igualdad sea un axioma, pero sobre todo para fortalecer aun mas el concepto de orden y no confundirlo como un conjunto.
¿Que es el producto cartesiano?
También llamado no muy usualmente como conjunto producto y es el conjunto de todas combinaciones de pares ordenados de dos conjuntos dados tal que la primera componente pertenece a uno de los conjuntos y la segunda componente al siguiente conjunto.
Se que es obvio pero igual vale mencionarlo (por si acaso), el producto cartesiano de dos conjuntos no tiene nada que ver con el producto de números naturales, excepto con su cardinal (numero de elementos) que indica cuantos pares ordenados hay en un producto cartesiano, pero esto ya lo veremos mas adelante.
Definición
Dados dos conjuntos \( \mathrm{A} \) y \( \mathrm{B} \), llamamos producto cartesiano \( \mathrm{A} \times \mathrm{B} \) al conjunto de pares ordenados \( (a,b) \) tal que \( a \in \mathrm{A} \) y \( b \in \mathrm{B} \), esto es:
\[ \mathrm{A} \times \mathrm{B} = \left \{ (a,b)|a \in \mathrm{A} \wedge b \in \mathrm{B} \right \} \]
o en la forma proposicional:
\[ (a,b) \in \mathrm{A} \times \mathrm{B} \]
Una consecuencia de esta definición es:
\[ (a,b) \notin \mathrm{A} \times \mathrm{B} \leftrightarrow a \notin \mathrm{A} \vee b \notin \mathrm{B} \]
En efecto, si un par ordenado \( (a,b) \) no pertenece al conjunto producto \( \mathrm{A} \times \mathrm{B} \) es porque al menos existe un elemento que no pertenece al conjunto \( \mathrm{A} \) o al conjunto \( \mathrm{B} \).
También lo podemos definir como un conjunto potencia si usamos como definición conjuntista de par ordenado \( (a, b) = \left \{ \left \{ a \right \}, \left \{ a, b \right \} \right \} \) que planteamos en la sección anterior, pero esta definición lo realizaremos al final de la sección actual para no traer confusiones al desarrollo del titulo.
Ejemplos
- Sea los conjuntos \( \mathrm{A} = \left \{ 1,2 \right \} \) y \( \mathrm{B} = \left \{ a,b,c \right \} \), su producto cartesiano es:
\[ \mathrm{A} \times \mathrm{B} = \left \{ (1,a), (1,b), (1,c), (2,a), (2,b), (2,c) \right \} \]
Lo podemos representar en un tablero de la siguiente manera:
\[ \begin{array}{ c | c | c } c & (1,c) & (2,c) \\ \hdashline b & (1,b) & (2,b) \\ \hdashline a & (1,a) & (2,a) \\ \hline \mathrm{ A \times B } & 1 & 2 \end{array} \]
Una forma un poco elemental para determinar los elementos de un conjunto. - El producto cartesiano de \( \mathrm{A} = \left \{ 1,2,3 \right \} \) y \( \mathrm{B} = \left \{ 4,5,6 \right \} \) lo determinaremos con el siguiente tablero:
\[ \begin{array}{ c | c | c | c } 6 & (1,6) & (2,6) & (3,6) \\ \hdashline 5 & (1,5) & (2,5) & (3,5) \\ \hdashline 4 & (1,4) & (2,4) & (3,4) \\ \hline \mathrm{ A \times B } & 1 & 2 & 3 \end{array} \]
Del tablero, todos los pares ordenados del producto cartesiano es:
\[ \mathrm{A} \times \mathrm{B} = \left \{ (1,4), (1,5), (1,6), (2,4), (2,5), (2,6), (3,4), (3,5), (3,6) \right \} \]
Por lo menos el tablero nos ayuda a completar todos los pares ordenados sin olvidar alguno, aunque generalmente trabajaremos con variables que con números.
No satisface la propiedad conmutativa
Del ejemplo 1, si realizamos la multiplicación \( \mathrm{B} \times \mathrm{A} \), el orden de las componentes cambian de posición:
\[ \mathrm{B} \times \mathrm{A} = \left \{ (a,1), (b,1), (c,1), (a,2), (b,2), (c,2) \right \} \]
Si lo comparamos con \( \mathrm{ A \times B } \):
\[ \mathrm{ A \times B } = \left \{ (1,a), (1,b), (1,c), (2,a), (2,b), (2,c) \right \} \]
Notamos que son completamente diferentes, por tanto, el producto cartesiano no es conmutativo, simbólicamente se expresa así:
\[ \mathrm{ A \times B } \neq \mathrm{ B \times A } \]
Sin embargo, la manera correcta de escribirlo es así:
\[ \mathrm{ A \times B } \neq \mathrm{ B \times A } \leftrightarrow \mathrm{ A \neq B } \]
Producto cartesiano entre conjuntos iguales
El producto cartesiano \( \mathrm{ A \times B = B \times A } \) es únicamente posible si \( \mathrm{A=B} \). Para estos casos simplemente escribirnos \( \mathrm{ A \times A = A^{2} } \).
Ejemplos
- Sea el conjunto \( \mathrm{A} = \left \{ a,b,c \right \} \), plasmando los pares ordenados de \( \mathrm{A}^{2} \) en el siguiente tablero, tenemos:
\[ \begin{array}{ c | c | c | c } c & (a,c) & (b,c) & (c,c) \\ \hdashline b & (a,b) & (b,b) & (c,b) \\ \hdashline a & (a,a) & (b,a) & (c,a) \\ \hline \mathrm{A}^{2} & a & b & c \end{array} \]
Diagonal de un producto cartesiano
Note el tablero de arriba para el ejemplo del conjunto \( \mathrm{A}^{2} \), vemos que existen unos conjuntos de pares ordenados coloreados en celeste, forman una diagonal y tanto el primero como su segunda componente son iguales. Para este caso particular la diagonal de \( \mathrm{A}^{2} \) es \( (a,a) \), \( (b,b) \) y \( (c,c) \). Lo podemos generalizar en la siguiente definición:
Definición
La diagonal del producto \( \mathrm{A}^{2} \) del conjunto \( \mathrm{A} \) es el conjunto de todos los pares ordenados \( (x,x) \) simbolizado por \( D ( \mathrm{A} ) \) tal que \( D ( \mathrm{A} ) = \left \{ (x,x) | x \in \mathrm{A} \right \} \).
Por tanto, los elementos del conjunto de la diagonal \( D ( \mathrm{A} ) \) están contenidos al conjunto \( \mathrm{A}^{2} \), es decir:
\[ D ( \mathrm{A} ) \subseteq \mathrm{A}^{2} \]
La igualdad del símbolo \( \subseteq \) solo cumple para aquellos casos donde el conjunto \( \mathrm{A} \) tiene un elemento únicamente.
Propiedades
Sean los siguientes conjuntos \( \mathrm{A} \), \( \mathrm{B} \), \( \mathrm{C} \) y \( \mathrm{D} \), se cumplen las siguientes propiedades para el conjunto producto:
- \( \mathrm{ A \neq B \wedge A \times B \neq \phi \rightarrow A \times \neq B \times A } \) ( no conmutativa)
- \( \mathrm{ ( A \times B = B \times A ) \leftrightarrow ( A = \phi \vee B = \phi \vee A=B ) } \)
- \( \mathrm{ A \times \phi = \phi \times A = \phi } \) (propiedad absorbente)
- \( \mathrm{ A \times ( B \cap C ) = ( A \times B ) \cap ( A \times C ) } \)
- \( \mathrm{ A \times ( B \cup C ) = ( A \times B ) \cup ( A \times C ) } \)
- \( \mathrm{ A \times ( B-C ) = ( A \times B ) – ( A \times C ) } \)
Las 3 ultimas anteriores son propiedades distributivas. - \( \mathrm{ ( A \times B ) \times C \neq A \times ( B \times C ) } \) (No es asociativa)
- \( \forall \mathrm{ C \wedge ( A \subseteq C ) \rightarrow A \times C \subseteq B \times C } \) (Monotonía)
- \( \mathrm{ [ A \subseteq C \wedge B \subseteq D ] \rightarrow [ ( A \times B ) \subseteq ( C \times D ) ] } \) (Monotonía)
- \( \mathrm{ ( A’ \times B’ ) \subseteq ( A \times B )’ } \)
- \( \forall \mathrm{ C \neq \phi, ( A \times C = B \times C ) \rightarrow A= B } \)
- \( \mathrm{ ( A \neq \phi, A \times B \subseteq A \times C ) \rightarrow B \subseteq C } \)
- \( \mathrm{ A \times B = \phi \leftrightarrow A = \phi \vee B = \phi } \)
Cardinal de un producto cartesiano
El cardinal no es mas que el numero de elementos de un conjunto como ya explicamos en un curso de teoría de conjuntos en la sección operaciones entre conjuntos. Sean el cardinal de dos conjuntos \( \mathrm{A} \) y \( \mathrm{B} \) denotados por \( n( \mathrm{A} ) \) y \( n( \mathrm{B} ) \) respectivamente, el cardinal del producto cartesiano denotado por \( n( \mathrm{ A \times B } ) \) se calcula de la siguiente manera:
\[ n( \mathrm{ A \times B } ) = n( \mathrm{A} ) \cdot n( \mathrm{B} ) \]
Es decir, el cardinal del producto cartesiano de dos conjuntos es igual a la multiplicación de los cardinales de cada conjunto. Es cierto que el producto cartesiano de dos conjuntos no es conmutativo si los conjuntos no son iguales, pero su cardinal. En efecto, para dos conjuntos \( \mathrm{A} \) y \( \mathrm{B} \) diferentes entre si y con productos cartesianos no vacíos, se cumple:
\[ n ( \mathrm{ A \times B } ) = n ( \mathrm{ B \times A } ) \]
Y es fácilmente demostrable ya que los cardinales son números naturales y el producto de dos números naturales es conmutativa.
Ejemplos
Sean los conjuntos \( \mathrm{A} = \left \{ 4,5,6 \right \} \) y \( \mathrm{B} = \left \{ d,e \right \} \), su producto cartesiano de \( \mathrm{ A \times B } \) y \( \mathrm{ B \times A } \) son:
\[ \mathrm{ A \times B } = \left \{ (4,d), (4,e), (5,d), (5,e), (6,d), (6,e) \right \} \\ \mathrm{ B \times A } = \left \{ (d,4), (d,5), (d,6), (e,4), (e,5), (e,6) \right \} \]
El cardinal de \( \mathrm{A} \) y \( \mathrm{B} \) son \( n ( \mathrm{A} ) = 3 \) y \( n( \mathrm{B} ) = 2 \) respectivamente. Si contamos los pares ordenados de los productos \( \mathrm{ A \times B } \) y \( \mathrm{ B \times A } \), resulta que tiene el mismo cardinal, es decir:
\( n ( \mathrm{ A \times B } ) = n ( \mathrm{ B \times A } ) = 6 \)
Y si multiplicamos los cardinales de \( \mathrm{A} \) y \( \mathrm{B} \), resulta, notamos lo siguiente:
\[ n ( \mathrm{A} ) \cdot n ( \mathrm{B} ) = 3 \cdot 2 = 6 = n ( \mathrm{ A \times B } ) \]
De esta manera comprobamos de manera indirecta que \( n ( \mathrm{ A \times B } ) = n( \mathrm{A} ) \cdot n ( \mathrm{B} ) \) es cierta, generalmente es tomado como axioma.
Representación gráfica
Se puede usar la teoría de grafos para representar el producto cartesiano pero solo nos limitaremos a las gráficas. Sean los ejemplos \( \mathrm{A} = \left \{ 1,2,3 \right \} \) y \( \mathrm{B} = \left \{ 1,2,3,4 \right \} \). se pueden usar puntos para ubicar el producto cartesiano en el siguiente diagrama cartesiano:
Donde:
\[ \mathrm{ A \times B } = \left \{ (1,1), (1,2), (1,3), (1,4), (2,1), (2,2), (2,3), (2,4), (3,1), (3,2), (3,3), (3,4) \right \} \]
Su cardinal es:
\[ n ( \mathrm{ A \times B } ) = n ( \mathrm{A} ) \cdot n ( \mathrm{B} ) = 3 \cdot 4 = 12 \]
Como podrán darse cuenta, el conjunto \( \mathrm{A} \) esta representado por sus elementos en la recta horizontal, esta linea se le llama abscisa y el conjunto \( \mathrm{B} \) esta representada por una recta vertical, esta linea se llama ordenada. Si cruzamos las lineas verticales que parten de los elementos de \( \mathrm{A} \) con las lineas horizontales que parten de los elementos de \( \mathrm{B} \), encontramos unas intersección que nos permite determinar un sistema de coordenadas sobre este plano.
Los 12 puntos coloreados representan los pares ordenados del producto \( \mathrm{ A \times B } \). Para cuando entremos en el capitulo de funciones, usaremos plano cartesiano de números reales similar a este plano, solo que se representaran por dos ejes representados simplemente por \( \mathrm{X} \) e \( \mathrm{Y} \) interceptado visualmente en un punto medio de un par ordenado llamado centro \( (0,0) \).
Ahora veremos que pasa si consideramos el concepto conjuntivo del par ordenado que explicamos en la sección anterior para el producto cartesiano.
Teoría conjuntista
Antes, vamos a hacer un pequeño recordatorio del conjunto potencia que estudiamos en la sección de operaciones de conjuntos. Dijimos que el conjunto potencia \( \mathrm{ P(A) } \) de un conjunto \( \mathrm{A} \) es el conjunto de todos los subconjuntos de \( \mathrm{A} \), ejemplo:
Sea el conjunto \( \mathrm{C} = \left \{ 1,2 \right \} \), el conjunto potencia sería:
\[ \mathrm{ P(C) } = \left \{ \phi, \left \{ 1 \right \}, \left \{ 2 \right \}, \left \{ 1,2 \right \} \right \} \]
Vemos que por ejemplo los conjuntos \( \left \{ 1 \right \} \) y \( \left \{ 1,2 \right \} \) son elementos de \( \mathrm{ P(C) } \), pero a su vez son subconjuntos de \( \mathrm{C} \), es decir:
- \( \left \{ 1 \right \} \in \mathrm{ P(C) } \wedge \left \{ 1,2 \right \} \in \mathrm{ P(C) } \)
- \( \left \{ 1 \right \} \subseteq \mathrm{C} \wedge \left \{ 1,2 \right \} \subseteq \mathrm{C} \)
Si sacamos el conjunto potencia de \( \mathrm{ P(C) } \) que en total serian 16 elementos, pero lo vamos a resumir con puntos suspensivos porque no vamos a colocar todos elementos, el conjunto quedaría de la siguiente manera:
\[ \mathrm{ P ( P(C) ) } = \left \{ \phi, \left \{ \phi, \right \}, \left \{ \left \{ 1 \right \} \right \}, \left \{ \left \{ 2 \right \} \right \}, \left \{ \left \{ 1,2 \right \} \right \}, \cdots \left \{ \left \{ 1 \right \}, \left \{ 1,2 \right \} \right \} \right \} \]
Note el conjunto \( \left \{ \left \{ 1 \right \}, \left \{ 1,2 \right \} \right \} \), es un elemento de \( \mathrm{ P( P(C) ) } \), pero a su vez es un subconjunto de \( \mathrm{ P(C) } \), es decir:
- \( \left \{ \left \{ 1 \right \}, \left \{ 1,2 \right \} \right \} \in \mathrm{ \mathrm{ P( P(C) ) } } \)
- \( \left \{ \left \{ 1 \right \}, \left \{ 1,2 \right \} \right \} \subseteq \mathrm{ P(C) } \) (Recordatorio)
¿Porque hacemos énfasis a este caso particular?, porque cuando definimos el par ordenado como \( (a,b) = \left \{ \left \{ a \right \}, \left \{ a,b \right \} \right \} \) visto en la sección anterior, el producto cartesiano se puede expresar en términos del conjunto potencia \( \mathrm{ P( \mathrm{P} ( A \cup B ) ) } \) donde \( a \in \mathrm{A} \) y \( b \in \mathrm{B} \).
Nota: Para que no entres en confusión, recuerda siempre que si un elemento \( x \) pertenece al conjunto \( \mathrm{X} \), es decir \( x \in \mathrm{X} \), entonces \( \left \{ x \right \} \subseteq \mathrm{X} \). Volviendo a la teoría:
Si \( a \in \mathrm{A} \) y \( b \in \mathrm{B} \) entonces se cumple que \( a \in \mathrm{ A \cup B } \) y \( b \in \mathrm{ A \cup B } \) pero también sabemos que \( \left \{ a \right \} \subseteq \mathrm{ A \cup B } \), \( \left \{ b \right \} \subseteq \mathrm{ A \cup B } \) y \( \left \{ a,b \right \} \subseteq \mathrm{ A \cup B } \), esto significa que \( \left \{ a \right \} \) y \( \left \{ a,b \right \} \) son elementos del conjunto potencia \( \mathrm{ P( A \cup B ) } \), significa que el conjunto \( \left \{ \left \{ a \right \}, \left \{ a,b \right \} \right \} \) es subconjunto de \( \mathrm{ P( A \cup B ) } \) y como explicamos en el ejemplo anterior del recordatorio, se cumple:
\[ \left \{ \left \{ a \right \}, \left \{ a,b \right \} \right \} \in \mathrm{ P( P( A \cup B ) ) } \]
Por la segunda definición del par ordenado \( (a,b) = \left \{ \left \{ a \right \}, \left \{ a,b \right \} \right \} \) , logramos:
\[ (a,b) \in \mathrm{ P( P( A \cup B ) ) } \]
Con este resultado podemos definir alternativamente el producto cartesiano de la siguiente manera:
Definición conjuntista
Sean los conjuntos \( \mathrm{A} \) y \( \mathrm{B} \), el producto cartesiano de los conjunto de todos los pares ordenados \( (a,b) \) tal que \( a \in \mathrm{A} \) y \( b \in \mathrm{B} \) es:
\[ \mathrm{ A \times B } = \left \{ (a,b) \in \mathrm{P ( P ( A \cup B ) ) } | a \in \mathrm{A} \wedge b \in \mathrm{B} \right \} \]
Si omitimos el conjunto \( \mathrm{P ( P ( A \cup B ) ) } \) de la definición conjuntista, resulta la primera definición del producto cartesiano apartados mas atrás de esta misma sección, se puede decir que es lo mismo que nada y es verdad. Muchas formulaciones matemáticas son algunas veces innecesarias, pero resulta divertido resaltarlo por cuestiones matemáticamente culturales.
Fin
Fin de la sección del producto cartesiano y en lo personal, ha sido una sección interesante, por lo menos para mi si lo fue, ¿y para ti?. Más adelante actualizaremos esta misma sección con una serie de ejercicios resueltos para agilizar nuestras habilidades operacionales junto con algunas demostraciones de las propiedades de la sección actual, agregaremos también un apartado para productos cartesianos para 3 conjuntos.
La próxima sección esta dirigida a las relaciones binarias dividida en algunas sección por ser un tema muy largo, esto ayudará tener buen entendimiento el siguiente curso llamada funciones matemáticas. Ha sido un placer desarrollar este tema contigo, nos vemos en la próxima sección, hasta pronto, bye.
Deja un comentario