Está en la página 1de 2

RELACIONES

PRODUCTO CARTESIANO
El producto cartesiano de dos conjuntos A x B es el conjunto
de todos los pares ordenados que se pueden formar con un
elemento perteneciente al conjunto A y un elemento del
conjunto B.
Los elementos de A x B son pares ordenados. Cada par que
se forma con un elemento del conjunto A (primera
componente) y uno del conjunto B (segunda componente), en
ese orden y recibe el nombre de par ordenado. us elementos
se colocan entre par!ntesis, separados por coma.
BREVE INTRODUCCIN
Entender el concepto de Relacin es de suma importancia en "atem#tica.
$ara lograr esa comprensi%n es necesario adentrarnos en la noci%n de Correspondencia, ya que esta tiene un papel fundamental en
las relaciones y funciones.
Lo primero es entender que Correspondencia es equivalene a Relacin. En nuestra lengua, decir &en relaci%n a', es equi(alente a
decir &corresponde a'.
E!e"plos# En una tienda comercial, cada art)culo es$ relacionado con su precio* o sea, a cada art)culo le corresponde un precio.
En la gu)a telef%nica, cada cliente es$ relacionado con un n+mero* o sea, a cada nombre de la gu)a le corresponde un n+mero.
De%inicin "ae"$ica de Relacin
En matem#tica, Relacin es la correspondencia de un primer conjunto, llamado Do"inio, con un segundo conjunto, llamado
Recorrido o Ran&o, de manera que a cada elemento del ,ominio le corresponde uno o m#s elementos del -ecorrido o -ango.
.odas las Relaciones pueden ser graficadas en el $lano Cartesiano.
,ados dos conjuntos A y B una relaci%n definida de A en B es un conjunto de parejas ordenadas (par ordenado) que /acen
(erdadera una proposici%n* dic/o de otro modo, una relaci%n es cualquier subconjunto del producto cartesiano A x B
E!e"plo '# i A 0 12, 34 y B 0 15, 6, 74, encontrar tres relaciones definidas de A en B.
Solucin
El producto cartesiano de A x B est# conformado por las siguientes parejas o pares ordenados8
A x B 0 1(2, 5), (2, 6), (2, 7), (3, 5), (3, 6), (3, 7)4
9 cada uno de los siguientes conjuntos corresponde a relaciones definidas de A en B8
-5 0 1(2, 5)( (3, 5)4 -2 0 1(2, 6)( (2, 7)( (3, 6)( (3, 7)4 -3 0 1(2, 6)( (3, 7)4
La relaci%n -5 se puede definir como el conjunto de pares cuyo segundo elemento es 5, esto es, -5 0 1(), *) A x B : * 0 54.
La relaci%n -2 est# formada por los pares cuyo primer componente es menor que el segundo componente, -2 0 1(), *) A x B : ) ; *4
9 la relaci%n -3 est# conformada por todos los pares que cumplen con que el segundo componente es dos unidades mayor que el
primer componente, dic/o de otro modo, -3 0 1(), *) A x B : * 0 x < 24
As), se puede continuar enumerando relaciones definidas a partir de A x B. Como se puede (er, la regla que define la relaci%n se
puede escribir mediante ecuaciones o desi&ualdades que relacionan los (alores de ) e *. Estas reglas son un medio con(eniente
para ordenar en pares los elementos de los dos conjuntos.
E!e"plo +, ,ados los conjuntos C 0 15, =34 y , 0 12, 3, >4, encontrar todos los pares ordenados (), *) que satisfagan la relaci%n
- 0 1(), *) A x B : ) < * 0 34
Solucin# El producto cartesiano de C x , est# formado por los siguientes pares ordenados
C x , 0 1(5, 2), (5, 3), (5, >), (=3, 2), (=3, 3), (=3, >)4
Las parejas ordenadas que satisfacen que la suma de sus componentes sea igual a 3 son8 - 0 1(5, 2), (=3, >)4
.oda relaci%n 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
expresi%n ) - * . / es la regla que asocia los elementos de los dos conjuntos.
Do"inio * ran&o de una relacin
El do"inio de una relaci%n es el conjunto de prei"$&enes0 es decir, el conjunto formado por los elementos del conjunto de
partida que est#n relacionados (las primeras componentes de cada pareja ordenada), se simboli?a con ,.
Al conjunto de i"$&enes, esto es, elementos del conjunto de llegada que est#n relacionados, se le denomina recorrido o ran&o
(las segundas componentes de cada pareja ordenada), se simboli?a con -.
E!e"plo /
ea A 0 15, 2, 3, 64 y B 0 16, 7, >, @, A4 y - la relaci%n definida de A en B determinada por la regla &* es el doble de )' o &* 0 2)', esto
es -5 0 1(), *) A x B : * 0 2)4, encontrar dominio y rango de la relaci%n.
Solucin
El total de pares ordenados que podemos formar, o producto cartesiano es8
A x B 0 1(5, 6), (5, 7), (5, >), (5, @), (5, A), (2, 6), (2, 7), (2, >), (2, @), (2, A), (3, 6), (3, 7), (3, >), (3, @), (3, A),
(6, 6), (6, 7), (6, >), (6, @), (6, A)4
$ero los pares que pertenecen a la relaci%n - (y 0 2x) son solo8 -5 0 1(2, 6), (3, >), (6, A)4
En esta relaci%n (emos que8 &6 es el doble de 2'* esto es, &6 es la imagen de 2 bajo -', dic/o de otro modo, &2 es preimagen de 6'.
As), el dominio y rango son8 ,-5 0 12, 3, 64 --5 0 16, >, A4
eg+n lo que (emos, BCu! relaci%n /ay entre el ,ominio y el conjunto de partidaD
En el ,ominio falta el elemento 5 del conjunto de partida, por lo tanto el ,ominio es un subconjunto de A.
Etra pregunta8 B.odo elemento del conjunto de llegada es elemento del rangoD
La respuesta es no, pues en el rango faltan el 7 y el @.
Represenacin &r$%ica de las relaciones
Los pares ordenados se pueden representar gr#ficamente por medio de dia&ra"as sa&iales o por medio de puntos en el plano
caresiano. Feamos el siguiente ejemplo.
E!e"plo 1, i
A 0 15, 2, 3, 6, 74 y B 0 15, 3, 7, @, G4 y - la relaci%n definida por la regla - 0 1(), *) : * 0 2) < 54, graficar -.
Solucin# Los pares ordenados que pertenecen a la relaci%n (que cumplen con y 0 2x < 5) son8
- 0 1(5, 3), (2, 7), (3, @), (6, G)4 9 la gr#fica correspondiente es la siguiente8


ACTIVIDAD PARA PRACTICAR
En cada uno de los siguientes ejercicios, hallar las relaciones indicadas, el dominio, el rango y las
representaciones (sagital y cartesiana) de cada relacin.
5. ,ados los conjuntos A01 5,2,34 y B0 15,6,74, /allar - 50 1(x,y) A x B : yHx4
2. ,ados los conjuntos8 A 0 12, 3, 7, A, G4 B 0 13, 6, >, @, G4, /allar - 2 0 1(x, y) A x B : , y0 x< 5 4
3. ,ados los conjuntos A 01I, 5, 2, 3, 64 y B 01I, 5, 2, 34, /allar la relaci%n indicada, dominio, rango y el diagrama
especificado en cada uno8
a) - 3 01(x, y) A x B: x < y 0 6 4 diagrama sagital
b) - 601(x, y) A x B : m.c.d (x, y ) 0 5 4 diagrama cartesiano
c) - 701(x, y) A x B : m.c.m (x, y ) 0 2 4 diagrama sagital