Programa de Acceso Inclusivo, Equidad y Permanencia

PAIEP
Universidad de Santiago de Chile

Relaciones
Primero definamos el concepto de producto cartesiano, el cual nos sirve de punto de partida antes de definir
lo que es una relacion.
Definici
on: Sean A y B conjuntos no vacos. Se define el producto cartesiano entre A y B al conjunto:
A B := {(a, b) : a A, b B},
donde (a, b) es un par ordenado cuyo primera componente es a y b es la segunda, en consecuencia
(a, b) = (b, a).
Definici
on: Un conjunto R es una relaci
on de A en B si R A B.
Notaci
on: aRb o (a, b) R.
Ejemplos:
1. R = A B es una relacion, ya que A B A B.
2. R = es una relacion, ya que es subconjunto de todos los conjuntos.
Dominio y Recorrido
Definici
on: Sea R una relacion de A en B.
i) El dominio de R es el conjunto Dom(R) = {a A : ( b B : aRb)}. Esto es es el conjunto de las
primeras componentes de los pares ordenados de la relacion R.
ii) La imagen o recorrido de R es el conjunto Im(R) = {b B : ( a A : aRb)}. Esto es es el conjunto
de las segundas componentes de los pares ordenados de la relacion R.

Relaci
on Inversa
Definici
on: Sean R una relacion de A en B. Se define la relaci
on inversa, denotada por R1 , como una
relacion de B en A por:
R1 = {(b, a) : aRb}.

Material
wordcreado por el
area de Matem
atica PAIEP 1

Relaci
on Compuesta
Definici
on: Sean R una relacion de A en B y S una relacion de B en C. Se define la relacion compuesta
de R y S al conjunto:
S R = {(a, c) A C : (b B : (a, b) R (b, c) S}.

Relaciones en un conjunto
Definici
on: Sea R una relacion sobre A, es decir, R A2 = A A. Entonces:
i) R es refleja o reflexiva si aRa a A.
ii) R es simetrica si aRb bRa

a, b A.

iii) R es transitiva si aRb bRc aRc

a, b, c A.

iv) R es antisimetrica si aRb bRa a = b,

a, b A.

vi) R es relaci
on de equivalencia si y solo si, es refleja, simetrica y transitiva.
vii) R es relaci
on de
orden (u orden parcial) si y solo si, es refleja, antisimetrica y transitiva.
viii) R es relaci
on de
orden total si y solo si, R es relacion de orden y a, b A, aRb bRa.

Clases de equivalencia
Definici
on: Sea R una relacion de equivalencia definida en A =
. Para todo x A llamamos clase
de equivalencia de x seg
un R al conjunto Cx tambien denotado x
, formado por todos aquellos elementos
relacionados con x, es decir
x
= {y A = yRx}
(1)
Observaci
on:
a) A la relacion la podemos denotar por .
b) Las clases de equivalencia son no vacas, es decir, x
= , para todo x A.
c) Si a, b x
, entonces a x b x de donde a b, es decir, todos los elementos de una clase de
equivalencia son equivalentes entre si. Con esto podemos representar la clase de equivalencia por uno
de sus elementos.
d) x
= y x y.
Definici
on: El conjunto de las clases de equivalencia seg
un R se llama conjunto cuociente de A por R. Se
denota A/R.

Material
wordcreado por el
area de Matem
atica PAIEP 2

Teorema: Sea R una relacion de equivalencia en A, entonces A/R posee las siguientes propiedades:
a) x
A/R, x
= .
b) x
A/R y A/R, x
= y, entonces x
y = .

c) A =
x
.
x
A/R

Ejercicios Resueltos
1. Sean A, B, C conjuntos no vacos. Pruebe que A (B C) = (A B) (A C).
Demostraci
on: Probaremos por doble contencion. Sea (x, y) A (B C), luego
(x, y) (A (B C) (x A) (y B C), (Definicion de producto cartesiano).
(x A) ((y B) (y C)), (Definicion de union).
((x A) (y B)) ((x A) (y C)), (Distributividad de proposiciones).
(x, y) A B (x, y) A C, (Definicion de producto cartesiano).
(x, y) (A B) (A C), (Definicion de union).
As, (A (B C) (A B) (A C). Analogamente podemos demostrar que (A B) (A C)
A (B C). As ambos conjuntos son iguales.
2. Sea A = {1, 2, 3, 4, 5, 6, 7, 8, 9} y S una relacion en A dada por:
S = {(x, y) A A : x + y 5}.
a) Determine todos los elementos de S.
b) Calcule el Dominio e Imagen de S.
c) Determine los elementos de la relacion inversa S 1 .
Soluci
on:
a) Es claro que para a 5 b 5, (a, b)
/ S. Luego
S = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (4, 1)}.
b) Como ya sabemos los elementos de S, recuerde que el dominio de una relacion es el conjunto
de primeros elementos de los pares ordenados de la relacion S y la imagen es el conjunto de los
segundos elementos de los pares ordenados de la relacion S. O sea
Dom(S) =

{1, 2, 3, 4},

Im(S) =

{1, 2, 3, 4}.

c) Lo u
nico que nos queda es cambiar los roles de primer y segundo elemento de los elementos de la
relacion S. Luego,
S 1 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (4, 1)}.
Material
wordcreado por el
area de Matem
atica PAIEP 3

3. Sean R y S relaciones de A en B, demuestre que:

a) (R1 )1 = R
b) (R S)1 = R1 S 1
Demostraci
on:
a) Sea (x, y) (R1 )1 (o x(R1 )1 y), luego
(x, y) (R1 )1 (y, x) R1 , (Definicion de (R1 )1 ).
(x, y) R, (Definicion de R1 ).
As, (R1 )1 = R.
b) Sea (x, y) (R S)1 , luego
(x, y) (R S)1 (y, x) R S, (Definicion de (R S)1 ).
(y, x) R (y, x) S, (Definicion de R S).
(x, y) R1 (x, y) S 1 , (Definicion de R1 y de S 1 ).
(x, y) R1 S 1 , (Definicion de R1 S 1 ).
As, (R S)1 = R1 S 1 .
4. Sea R una relacion en Z definida por aRb a b es m
ultiplo de 7.
a) Demuestre que R es una relacion de equivalencia.
b) Determine
0,
2y
5.
Demostraci
on:
a)

i) Refleja: Obvio ya que a a = 0 = 7 0, para todo a Z.

ii) Antisim
etrica: Tenemos aRb para a, b Z, hay que demostrar que bRa.
En efecto,b a = (a b) = (7k) = 7k, para alg
un k Z. Luego bRa.
iii) Transitiva: Tenemos aRb y bRc. Por demostrar aRc. Como aRb se tiene que a b = 7k,
para alg
un k Z. Ademas bRc, implica b c = 7l, para alg
un l Z.
Luego a c = a b + b c = (a b) + (b c) = 7k + 7l = 7(k + l). Luego aRc.
Por lo tanto, R es una relacion de equivalencia.
b) En efecto, tenemos

0 = {x Z : 0Rx} = {x Z : (k Z : x = 7k + 0)} = {. . . , 14, 7, 0, 7, 14, 21, . . .}

2 = {x Z : 2Rx} = {x Z : (k Z : x = 7k + 2)} = {. . . , 12, 5, 2, 9, 16, 23, . . .}

5 = {x Z : 5Rx} = {x Z : (k Z : x = 7k + 5)} = {. . . , 9, 2, 5, 12, 19, 26, . . .}.

5. Sea R una relacion en R definida por aRb b a 0. Demuestre que R es una relacion de orden
parcial.
Demostraci
on:
i) Refleja: Obvio ya que a a = 0 0, para todo a R.
Material
wordcreado por el
area de Matem
atica PAIEP 4

ii) Antisim
etrica: Tenemos aRb y bRa. Por demostrar a = b.
aRb bRa b a 0 a b 0, (definicion de R)
0ba0
ba=0
b=a
iii) Transitiva: Tenemos aRb y bRc. Por demostrar aRc. Como aRb, se tiene que b a 0. Ademas
bRc, implica c b 0. Luego
c a = c b + b a = (c b) + (b a) 0 + 0 = 0.
Luego aRc.
Por lo tanto, R es una relacion de orden parcial.

Material
wordcreado por el
area de Matem
atica PAIEP 5

Ejercicios Propuestos
1. Sean A, B, C conjuntos no vacos. Demuestre que:
a) (A B) C = (A C) (B C).
b) (A \ B) C = (A C) \ (B C).
2. Sea R una relacion en Z, definida por:
R = {(x, y) Z Z : x2 + y 2 = 1}
a) Hallar dominio e imagen de esta relacion.
b) Si cambiamos Z por R, Cuales seran su dominio e imagen en tal caso?.
3. Sean R una relacion de A en B y S una relacion de B en C, demuestre que (S R)1 = R1 S 1 .
4. Sea T la relacion entre n
umeros reales definida por:
xRy 0 x y 1.
a) Expresar T y T 1 como subconjuntos de R R.
b) Considere la siguiente definicion
T T 1 = {(x, z) R R : (y R : (x, y) T 1 (y, z) T }.
Demuestre que T T 1 = {(x, z) R R : |x z| 1}.
5. Sea R una relacion en Z definida por aRb (n N : b = na). Demuestre que R es una relacion de
orden parcial pero no de orden total en Z.
6. Sea R una relacion en Z definida por aRb r R \ {0} : a = rx b = ry. Demuestre que R es una
relacion de equivalencia.
7. En Z (Z \ {0}), definimos la relacion S por:
(a, b)S(c, d) ad = bc.
Probar que S es una relacion de equivalencia.
8. En R, se define la relacion R como sigue:
aRb b a Z.
Probar que R es una relacion de equivalencia. Ademas encuentre [0].
9. Dado un conjunto no vaco X, consideremos el siguiente conjunto P(X) = {A : A X}. Definimos la
relacion R en P(X) por:
ARB A B.
Pruebe que R es relacion de orden.

Material
wordcreado por el
area de Matem
atica PAIEP 6

10. En Z Z, se define la relacion R como sigue:

aRb a b es divisible por 3.
. Es S una relacion de equivalencia?. De ser afirmativa su respuesta, hallar [0], [2].
11. Sea T una relacion en R, dada por:
xT y k 2 kx + x2 = 4 + ky y 2 .
a) Hallar el (los) valor(es) de k, para el cual T es una relacion refleja.
b) Hallar el (los) valor(es) de k, para el cual T es una relacion simetrica.
12. Sea R una relacion en A. Demostrar que R es simetrica si y solo si R = R1 .
13. Sea R una relacion en A.
a) Si R es simetrica y transitiva, averigue si R es refleja.
b) Si R es refleja y transitiva, averigue si R1 es tambien refleja y transitiva.
c) Es R R1 una relacion de equivalencia?.

Material
wordcreado por el
area de Matem
atica PAIEP 7