RELACIONES y FUNCIONES una bola y una moneda en este orden, escribir un conjunto

que muestre las distintas posibilidades para este suceso.

Producto Cartesiano

Dados dos conjuntos A y B, llamamos producto cartesiano al
conjunto de todos los pares posibles de elementos, tomando el
primer elemento del par del conjunto A y el segundo elemento del
par del conjunto B. Por esta razn decimos que los pares son
ordenados. Simblicamente expresamos:
A x B = {(x, y) / x A, y B}
Los conjuntos A y B pueden ser un nico conjunto, en cuyo caso
tendremos A x A que se puede expresar con A2 . En consecuencia:
A x B B x A, dado que el par (x, y) no es igual al par (y, x) por
ser ordenados. Luego el producto cartesiano no es conmutativo
Plano cartesiano: Todo par ordenado escrito con nmeros
representa un punto del plano, donde la primera componente (el
primer nmero) recibe el nombre de abscisa (eje x) y la segunda
componente recibe el nombre de ordenada (eje y).
Los pares ordenados ( 3 , 4 ) y ( 5 , 2 ) estn representados en el
siguiente plano cartesiano (grfico):

o Ejemplo: Determinar A x B si se tiene que :

Abscisa : X
A= {1,2,4} B={a,b,c}
Ordenada .
AxB= Y
Determinar:

o Si A = {Juan, Pedro, Jorge} B= {Mara, Gloria}

Determinar las parejas que se pueden formar.

o Si lanzamos primero un dado y luego una

moneda, encontrar un conjunto que indique
las distintas posibilidades de cada de
ambos, dado y moneda en ese orden.

o Una caja contiene 3 bolas de colores rojo, verde y blanco, y Ejemplo:

dos monedas de 1 sol y dos soles. Si se secan cada vez,
Sean A = {1, 2} y B = {3, 4, 5} el producto cartesiano A x B ser:
A x B = {(1, 3),(1, 4),(1, 5),(2, 3),(2, 4),(2, 5)}.
Ejemplo :
Sean A = {x / x R 1 < x 3 }, B = {x / x R - 2 x < 2 }.
Su representacin geomtrica es:
A x B es el conjunto de los puntos interiores al rectngulo PQRS y
los puntos que pertenecen a los segmentos PQ y QR.
Relacin: Una relacin del conjunto A en el conjunto B, es una regla
que asigna a elementos del conjunto A uno o varios elementos del
conjunto B. dicha regla puede escribirse como un conjunto de
parejas ordenadas y es por tanto un sub. Conjunto de A x B.
R: A B R AxB
El conjunto de pares ordenados que forman parte de R estn formados
por un elemento del primer conjunto y un elemento del segundo conjunto,
en ese orden y satisfacen la condicin que define esa relacin:
Al cambiar el orden de los elementos del par ordenado, debe invertirse la Dominio de una Relacin.- Se llama dominio de una relacin de A
definicin de la relacin para que el resultado sea verdadero, en B al conjunto de todas las primeras componentes de los pares
ordenados de una relacin. Se denotan por Dom(R) y se
obtenindose una relacin inversa a la dada. simbolizan.
R : A B entonces Dom (R) = {x A/ B , (x,y) R}

Rango de una Relacin.- Se denomina rango de una relacin de A

en B al conjunto de todas las segundas componentes de los pares
Para el ejemplo anterior: ordenados de la relacin. Se denota por Rang (R) y se simboliza:
R : A B entonces Rang (R) = {y A/ A , (x,y) R}

Representacin grafica del dominio y rango de una relacin

Ejercicios :
Dado el conjunto A = {1,2,3,4,5}
Hallar el dominio y el Rango de: R1= {(x,y) AxA/ x + y = 8}
Ejemplos: Hallar: P=(Sum elem. del Dom R2) (Sum elem. del Rang R2)
Sean A={1,2,3} y B={2,4,5,6} donde: R2 = {(x,y) AxA / x + y 4 }
Se pueden formar las siguientes relaciones:
Hallar Q=(Sum elem. del Rang R3)x(Nmero de elem. del
R1= {(1,4),(2,5)(2,6)} Rang.R3)
R2= {(2,2),(3,4)} Donde: R3 = {(x,y) AxA / 2x + y 6 }
R3= {(x,y) AxB/ 2x+y6}
R4= {(x,y) AxB/ x+y=7} Relacin Inversa.- Dada una relacin directa de A en B denotada
por: R = {(x,y) AxB/ Sxy} se denomina relacin inversa de R, al
conjunto definido por:
R-1 = {(y,x) BxA / (x,y) R}
Es decir: Dom (R-1)= Rang R Relacin transitiva .- La relacin es
Rang (R-1)= Dom R transitiva si se cumple que de existir en la
relacin un par ordenado (x,y) y otro par
Ejemplo: ordenado (y,z) en la relacin esta ser
Sea el conjunto B = {0, 2, 4,5} transitiva si a su vez tambin exista en la
Determinar: relacin el par ordenado (x,z) .
S = (sum de los elem. Dom R4-1)- (sum de los elem.Rang 5-1)
Sabiendo que:
R4 = {(x,y) BxB / x + y 6 } Ejemplo Dado A = {2, 4, 6, 3} la siguiente
R5 = {(x,y) BxB / 2x y } relacin en A2 es transitiva
R = {(2, 2), (2, 3), (4, 6), (6, 2), (4, 2), (4, 3), (6, 3)}

Clases de Relaciones: EJERCICIOS:

Relacin Reflexiva.- una relacin es reflexiva si todos los elementos

Indicar si las relaciones mostradas son REFLEXIVA, SIMETRICA O
del conjunto tienen su reflejo en la relacin.
TRANSTIVA
R: A A es reflexiva Para todo x A entonces (x,x) R
1.- Sea el conjunto A = { 1 , 2 , 3 } y la relacin formada en A2
Relacin Simtrica .- una relacin es simtrica si la en la relacin
cada par ordenado tiene su inversa de faltar un inverso la relacin R = { (1,1) , (1 , 3) , (2 , 1) , (2 , 3) , (3 , 1) , (3 , 3) } transitiva
deja de ser simtrica.
R: A A es simtrica (x,y) R
entonces existe un (y,x) R para todo par .
ordenado de la relacin.

2.- Sea el conjunto Sea H = {1, 3, 5}. y la relacin formada en H2

R = {(1, 3), (3, 5), (1, 1), (5, 1), (5, 5), (3, 1), (3, 3)} reflexiva

Ejemplo
Dado A = {3, 4, 2} la siguiente relacin en A2 es simtrica
R = {(2, 3), (3, 4), (4, 3), (3, 2), (4, 4)
.
3- En el conjunto E = {a, b, c} y la relacin formada en E2
R = {(a, a), (a, b), (b, a)} simetrica
. e) A = ( 2 ; 8] B = (-2 ; 8)
f) A = { 2; 5 } B = [2;5]

4- En el conjunto C = {a, b, c} y la relacin formada en C2 4.- Dados A = {2,3,4,5} y B = {4,6,9}, siendo , R : A > B

la relacin tal que "x + y 8 , determine:
R = {(a, a), (a, b), (b, c), (a, c)} transitiva a) Conjunto Solucin
b) Dominio,
c) rango
. d) Diagrama de Venn-Euler
e) Diagrama de coordenadas.

5.- Sea el conjunto D = {1, 2, 3} y la relacin formada en D2

R = {(1, 1), (2, 2), (3, 3), (2, 3)} reflexiva
.

EJERCICIOS

1.- Dados los conjuntos A = {x/x N x<3} y

B = {x/x Z -2 = x < 2}

a) Hallar el producto cartesiano de AxB

b) Hallar el producto BxA. Es conmutativo el producto cartesiano?

2.- Dados los conjuntos A = { 1;3;5 }, B = { 2;4, 6 } y C = { 6; 7;9}

Calcular: a) Ax(BUC) b) (AxB) U( AxC) c) (BnC) xA

3.- Dados los conjuntos A y B representar en un sistema de

Coordenadas cartesianas ortogonales los conjuntos AxB y BxA

a) A = {x/x N y x<3} B= {y/y Z -2 < y < 2}

b) A = {x/x x<3} B= {y/y R 0 < y < 3}
c) A = {x/x Z x<3} B= {y/y Z -2 < y < 2}
d) A = [ -1;5 ] B = [ 2 ; 5)
 GRAFICA DE UNA RELACION
Ejemplo:
Un conjunto G de puntos del plano cartesiano es la grafica de la relacin determinar la grafica de la relacin
R si se verifican la propiedad: R5 = {(x,y) R2 / x2 + y2 = 16} hacemos x=0 observamos que y toma
valores de
P (a,b) G si y solo si (a,b) R
Y= 4 ,-4 y si hacemos y= 0 notamos que x toma valores de x= 4,-4
Grafica de relaciones de la forma:
R= {(x,y) R2 / y = mx + b}
Graficar las relaciones:
Ejemplo:
R6= {(x,y) R2 / x2+ y2+ 5x +4 = 0}
1. trazar la grafica de la relacin:

R1 = {(x,y) R2 / 3x 2y + 6 = 0} Relaciones de la forma R = {(x,y) R2 / y = ax2+ bx +c = 0} o puede ser

R = {(x,y) R2 / x = ay2+ by +c = 0}
Para hallar la grafica basta con encontrar dos pares de la misma esto se
realiza por ejemplo con hacer x =0 e y=0 Tiene por grafico una parbola
Como se puede observar n la grafica el Dominio y el rango de Ejemplo:
la grafica son todos los nmeros reales.
R7= {(x,y) R2 / y = x2+ x = 0}
R8= {(x,y) R2 / x = y2+ 3 = 0}

Relaciones de la forma : E(x,y)0 ; E(x,y)0 E(x,y)0 , E(x,y)=0

Trazar la grafica de las siguientes relaciones:
Ejemplo: trazar la grafica de la relacin R= {(x,y) R2/ 2x+y4 }
R2 = {(x,y) R / x 2y + 2 = 0}
2

1 construimos la grafica de E(x,y): 2x+y=4

R3= {(x,y) R2 / 5x 3y + 7 =0 , x ]-2,4]}
Haciendo x=0 e y=0
R4 = {(x,y) R2 / x [-3,5[ , y [-2,4]}
Obtenemos (2,0) y (0,4)
2 al trazar la grafica de E(x,y) se forman dos regiones S1 y S2 para elegir la regin
adecuada se toma un punto de uno de la las regiones y se verifica segn el ejercicios
original.

Relaciones de la forma:
R= {(x,y) R2 / x2+ y2+ Dx +Ey +F = 0}
Tiene por grfico una circunferencia.
 EJERCICIOS
R5 = {(x,y) R2 / y = -x+5}

Tema: Relaciones
R6 = {(x,y) R2 / 2x + y 10}
I.- Sea el conjunto A = {2, 4, 6, 8}

a) Determinar: R7 = {(x,y) R2 / x + 4 y}

S = (sum de los elem. Dom R1-1) + (sum de los elem.Rang 2-1)

R8 = {(x,y) R2 / x y }
Sabiendo que:
R1 = {(x,y) AxA / x + y 10 }
R2 = {(x,y) AxA / x 2y } R9 = {(x,y) R2 / y x2-9}

b) Calcular: R10 = {(x,y) R2 / y -x+3 }

P=(Sum elem. del Dom R2) (Sum elem. del Rang R2)
Realiza la interseccin de los grficos de las Relaciones R9 y R10
donde: R3 = {(x,y) AxA / x + y 4 }

c) Calcular:

Q=(Sum elem. del Rang R3)x(Nmero de elem. del Rang.R3)

donde: R4 = {(x,y) AxA / 2x + y 6 }

II.- Construir las siguientes grficas de relaciones:

R1 = {(x,y) R2 / 4x -3y 14}

R2 = {(x,y) R2 / x2 + y2 = 9}

R3 = {(x,y) R2 / x + y 1}

R4 = {(x,y) R2 / x + y 1}
 Ejemplo 1:
Ejemplo:

Considere las siguientes relaciones en .

Sean

Ejemplo:

Sean
Cuales de estas relaciones son reflexivas?

Solucin:

Las relaciones son reflexivas:

Definicin: 2.2.1 Relacin reflexiva. Sea R una relacin en el
conjunto A. R es llamada reflexiva si Para cada ,las parejas de la forma pertenecen a cada una de

estas relaciones, es decir, . Las otras

relaciones no son reflexivas. En ellas no estn todas las parejas
anteriores:
En consecuencia R no es reflexiva si

En particular, no pertenece a ninguna de las

relaciones
Es decir una relacin es reflexiva si y solamente si todo elemento est
relacionado consigo mismo. Ejemplo 2:

El siguiente ejemplo ilustra el concepto de una relacin reflexiva.

Considere las siguientes relaciones en .
 es reflexiva:

no es reflexiva:

Por ejemplo

no es reflexiva:

Por ejemplo

no es reflexiva:
Cuales de estas relaciones son reflexivas?

Solucin: Por ejemplo puesto que para todo

es reflexiva: es reflexiva:

Para todo . Para todo

es reflexiva: no es reflexiva:

Para todo Por ejemplo puesto que existe tal que,

Definicin: 2.2.2 Relacin simtrica.Sea R una relacin en el

es reflexiva:
conjunto A_ R es llamada simtrica si para cada la
Todo entero es mltiplo de si mismo siguiente implicacin es verdadera:
 Cuales de las relaciones del ejemplo 2 son simtricas?

Solucin:
En consecuencia R no es simtrica si existen tales que:

es simtrica puesto que para todo ,Si

Es decir una relacin es simtrica si y solamente si est relacionado

no es simtrica: Por ejemplo . Es
con b implica que b est relacionado con .
decir,
Ejemplo:
no es simtrica_ Por ejemplo 6 es mltiplo de 3 y 3no es
Cuales de las relaciones del ejemplo 1 son simtricas?
mltiplo de 6. Es decir,

Solucin:
es simtrica puesto que para todo , Si
,
Las relaciones son simtricas:

entonces
En cada caso se cumple que si pertenece a la relacin,
entonces tambin pertenece a la relacin.
no es simtrica: Por ejemplo

es simtrica puesto que para todo , Si ,

no son simtricas. Por ejemplo:
entonces

es simtrica puesto que para todo

,

es simtrica puesto que para todo ,

en este caso m
= - n Obsrvese que como n es un entero, mtambin lo es.

Ejemplo:
 es simtrica puesto que para cada

, .
 Operaciones entre relaciones relacin de A en B y H una relacin de B en C. La relacin
Puesto que las relaciones son conjuntos, todas las compuesta de A en C, denotada , est definida como
operaciones definidas sobre conjuntos se pueden realizar sigue:

entre relaciones: Si son relaciones de A en B,

entonces son todas

relaciones de A en B, donde la operaci_on de complemento Es decir,
se efecta con respecto al conjunto universal .

Ejemplo:
En consecuencia:
Sean . Consideremos las
siguientes relaciones de A en B:

Ejemplo:
.
Entonces
Sean .

una relacin
de A en B.

una relacin
de B en C.

Entonces:

Otra forma de combinar relaciones es a travs de la El siguiente teorema establece que la composicin de
operacin de composicin de relaciones. relaciones es asociativa.

Definicin: 2.2.5 Composicin de relaciones. Sea R una

Teorema 2.2.1 Sean una relacin de A en B, una

relacin de B en C, y una relacin de C en D. Entonces

En la prueba anterior si se invierte el sentido de las

implicacionesse obtiene la demostracin de la parte ( b ).
Demostracin:

Hay que demostrar las dos contenencias:

.
 Relaciones de equivalencia

En esta seccin estudiaremos las relaciones de equivalencia, las cuales permiten agrupar en
conjuntos disyuntos los elementos que tienen caractersticas o propiedades en comn.

Definicin: 2.3.1 Relacin de equivalencia Sea R una relacin en un conjunto A. R es de

equivalencia si, y slo si es reflexiva, simtrica, y transitiva.

Ejemplo:

Sean y

En el ltimo ejemplo de la seccin anterior vimos que R es reflexiva, simtrica, y transitiva. Por
lo tanto R es de equivalencia.

Ejemplo:

Como vimos en la seccin sobre las propiedades de las relaciones, las siguientes relaciones
en , son reflexivas, simtricas y transitivas, y por lo tanto de equivalencia.