Producto cartesiano

Para entender la idea de producto cartesiano debemos saber que se trata de una operacin
entre dos conjuntos, de tal modo que se forma otro conjunto con todos los pares
ordenados posibles.
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)}
Los elementos de A x B son pares ordenados. Cada par que se forma con un elemento del
conjunto A y uno del conjunto B, en ese orden, recibe el nombre de par ordenado. Sus
elementos se colocan entre parntesis, separados por coma.
Entonces:
El producto cartesiano de dos conjuntos cualesquiera A y B, ser un nuevo conjunto,
identificado como A x B , y consistir de un conjunto de parejas ordenadas, (x, y), donde x
pertenece al conjunto A e y pertenece al conjunto B.
Como ejemplo:

Tambin podramos decir que 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".
El producto cartesiano recibe su nombre de Ren Descartes, cuya formulacin de la
geometra analtica dio origen a este concepto.

Relaciones y funciones
Entender los conceptos de Relacin y de Funcin es de suma importancia en Matemtica.
Para lograr esa comprensin es necesario adentrarnos en la nocin de Correspondencia, ya
que esta tiene un papel fundamental en las relaciones y funciones.
Lo primero es entender que Correspondencia es equivalente a Relacin. En nuestra
lengua, decir en relacin a, es equivalente a decir corresponde a.
Ejemplos:
En una tienda comercial, cada artculo est relacionado con su precio; o sea, a cada
artculo le corresponde un precio.
En la gua telefnica, cada cliente est relacionado con un nmero; o sea, a cada nombre
de la gua le corresponde un nmero.
Definicin matemtica de Relacin y de Funcin
En matemtica, Relacin es la correspondencia de un primer conjunto, llamado Dominio,
con un segundo conjunto, llamado Recorrido o Rango, de manera que a cada elemento del
Dominio le corresponde uno o ms elementos del Recorrido o Rango.
Por su parte, una Funcin es una relacin a la cual se aade la condicin de que a cada
valor del Dominio le corresponde uno y slo un valor del Recorrido.
De las definiciones anteriores podemos deducir que todas las funciones son relaciones,
pero no todas las relaciones son funciones.
Tambin debemos agregar que toda ecuacin es una Relacin, pero no toda ecuacin es
una Funcin.
Todas las Relaciones pueden ser graficadas en el Plano Cartesiano.
Dados dos conjuntos A y B una relacin definida de A en B es un conjunto de parejas
ordenadas ( par ordenado ) que hacen verdadera una proposicin; dicho de otro modo, una
relacin es cualquier subconjunto del producto cartesiano A x B
Ejemplo 1.
Si A = {2, 3} y B = {1, 4, 5}, encontrar tres relaciones definidas de A en B.
Solucin

El producto cartesiano de A x B est conformado por las siguientes parejas o pares

ordenados:
A x B = {(2, 1), (2, 4), (2, 5), (3, 1), (3, 4), (3, 5)}
Y cada uno de los siguientes conjuntos corresponde a relaciones definidas de A en B:
R1 = {(2, 1), (3, 1)}
R2 = {(2, 4), (2, 5), (3, 4), (3, 5)}
R3 = {(2, 4), (3, 5)}
La relacin R1 se puede definir como el conjunto de pares cuyo segundo elemento es 1,
esto es, R1 = {(x, y) / y = 1}.
La relacin R2 est formada por los pares cuyo primer componente es menor que el
segundo componente, R2 = {(x, y) / x < y}
Y la relacin R3 est conformada por todos los pares que cumplen con que el segundo
componente es dos unidades mayor que el primer componente, dicho de otro modo, R3 =
{(x, y) / y = x + 2}
As, se puede continuar enumerando relaciones definidas a partir de A x B. Como se puede
ver, la regla que define la relacin se puede escribir mediante ecuaciones o desigualdades
que relacionan los valores de x e y. Estas reglas son un medio conveniente para ordenar en
pares los elementos de los dos conjuntos.
Ejemplo 2.
Dados los conjuntos C = {1, 3} y D = {2, 3, 6}, encontrar todos los pares ordenados ( x , y
) que satisfagan la relacin
R = {(x, y) / x + y = 3}
Solucin
El producto cartesiano de C x D est formado por los siguientes pares ordenados
C x D = {(1, 2), (1, 3), (1, 6), (3, 2), (3, 3), (3, 6)}
Las parejas ordenadas que satisfacen que la suma de sus componentes sea igual a 3 son:
R = {(1, 2), (3, 6)}

Toda relacin queda definida si se conoce el conjunto de partida, el conjunto de llegada y la

regla mediante la cual se asocian los elementos. En el ejemplo anterior, el conjunto de
partida corresponde al conjunto C, el conjunto de llegada es el conjunto D y la expresin x
+ y = 3 es la regla que asocia los elementos de los dos conjuntos.
Dominio y rango de una relacin
El dominio de una relacin es el conjunto de preimgenes; es decir, el conjunto formado
por los elementos del conjunto de partida que estn relacionados. Al conjunto de imgenes,
esto es, elementos del conjunto de llegada que estn relacionados, se le denomina
recorrido o rango.
Ejemplo 3
Sea A = {1, 2, 3, 4} y B = {4, 5, 6, 7, 8} y R la relacin definida de A en B determinada
por la regla y es el doble de x o y = 2 x, encontrar dominio y rango de la relacin.
Solucin
El total de pares ordenados que podemos formar, o producto cartesiano es:
A x B = {(1, 4), (1, 5), (1, 6), (1, 7), (1, 8), (2, 4), (2, 5), (2, 6), (2, 7), (2, 8), (3, 4), (3, 5),
(3, 6), (3, 7), (3, 8), (4, 4), (4, 5), (4, 6), (4, 7), (4, 8)}
Pero los pares que pertenecen a la relacin R (y = 2x) son solo:
R = {(2, 4), (3, 6), (4, 8)}
En esta relacin vemos que: 4 es el doble de 2; esto es, 4 es la imagen de 2 bajo R,
dicho de otro modo, 2 es preimagen de 4.
As, el dominio y rango son:
D = {2, 3, 4}
Rg = {4, 6, 8}
Segn lo que vemos, Qu relacin hay entre el Dominio y el conjunto de partida?
En el Dominio falta el elemento 1 del conjunto de partida, por lo tanto el Dominio es un
subconjunto de A.
Otra pregunta: Todo elemento del conjunto de llegada es elemento del rango?
La respuesta es no, pues en el rango faltan el 5 y el 7.

Representacin grfica de las relaciones

Los pares ordenados se pueden representar grficamente por medio de diagramas sagitales
o por medio de puntos en el plano cartesiano. Veamos el siguiente ejemplo.
Ejemplo 4
Si A = {1, 2, 3, 4, 5} y B = {1, 3, 5, 7, 9} y R la relacin definida por la regla
R = {(x, y) / y = 2 x + 1}, graficar R.
Solucin
Los pares ordenados que pertenecen a la relacin (que cumplen con y = 2x + 1) son:
R = {(1, 3), (2, 5), (3, 7), (4, 9)}
Y la grfica correspondiente es la siguiente:

Existen varios trminos alrededor de FUNCIN, como los son dominio, rango, conjunto de
partida, de llegada, variable dependiente, independiente, Diagrama Sagital.
El dominio es el conjunto de valores que satisfacen a la funcin, es decir que permiten que
la funcin existe, y que representan a la variable independiente. Es el valor de la x por lo
tanto son los valores del eje horizontal en el plano cartesiano. Coincide con el conjunto
de partida.
El Rango es el conjunto de valores numricos que se obtienen una vez realizadas las
operaciones cuando se sustituye la variable independiente. Es el valor de la y por lo tanto
son los valores del eje vertical en el plano cartesiano. Coincide con el conjunto de llegada.

Diagrama Sagital es la representacin grfica de la relacin entre dos conjuntos, se

observa el conjunto de partida y de llegada y la relacin entre sus elementos.
Conjunto relacin es donde se representan los pares ordenados de la relacin, es decir el
par de valores numricos conformados por el nmero del conjunto de partida con el nmero
del conjunto de llegada, que estn relacionados.

Funcin inyectiva
ANUNCIOS
La funcin f es inyectiva si cada elemento del conjunto final Y tiene como mximo un
elemento del conjunto inicial X al que le corresponde. Es decir, no pueden haber ms de un
valor de X que tenga la misma imagen y.

En trminos matemticos, una funcin f es inyectiva si:

Ejemplo de funcin inyectiva

La funcin f(x) = 2x+1 es inyectiva.

Veamos que se cumple la condicin de inyectividad:

En efecto, si x y y tienen la misma imagen, necesariamente deben ser el mismo elemento.

Por lo tanto, f es inyectiva.

Funcin sobreyectiva
Una funcin f es sobreyectiva (o suprayectiva) si todo elemento del conjunto final Y tiene
al menos un elemento del conjunto inicial X al que le corresponde.

Es decir, una funcin es sobreyectiva si el recorrido de la funcin es el conjunto final Y.

En trminos matemticos, una funcin f es sobreyectiva si:

Ejemplo de funcin sobreyectiva

La funcin en los nmeros reales definida por f(x) = x+1 es sobreyectiva.

Esta funcin s que es sobreyectiva. Vamos a verlo demostrando que el recorrido de la

funcin son todos los nmeros reales.

El recorrido de la funcin es el mismo que el conjunto final Y, por lo que la f es

sobreyectiva.
Funcin biyectiva
Una funcin f es biyectiva si es al mismo tiempo inyectiva y sobreyectiva. Es decir, si todo
elemento del conjunto final Y tiene un nico elemento del conjunto inicial X al que le
corresponde (condicin de funcin sobreyectiva) y todos los elementos del conjunto inicial
X tiene una nica imagen en el conjunto final Y (condicin de funcin inyectiva).

Tericamente, una funcin f es biyectiva si:

Ejemplo de funcin biyectiva

La funcin f(x) = 2x definida en los nmeros reales es biyectiva.

Para comprobarlo, veamos que f es inyectiva y sobreyectiva. Empezaremos por la

condicin de inyectividad:

Se cumple la condicin de inyectividad, por lo que ahora nos quedara demostrar la

sobreyectividad. Para ello, tenemos que demostrar que el recorrido de la funcin son todos
los nmeros reales.

La funcin tambin es sobreyectiva, por lo que f es biyectiva.