CLASE N 9

RELACIONES

PAR ORDENADO
Definicin.- Es un conjunto de dos elementos ordenados
de acuerdo a como aparecen
Se representan por (a, b) donde:
a : primer elemento
b : segundo elemento
Pares ordenados iguales
(a, b) = (c, d) si y solo si a = c
y b=d
Ejemplo: Hallar el valor de x e y si (3x + 2y, -5) =
(11, 3x 2y)
Solucin 3x + 2y = 11
3x - 2y = -5
Resolviendo el sistema de ecuaciones:
Se obtiene x = 1
y=4

3x + 2y = 11
(1)
3x - 2y = -5
(2)
6x
=6
x = 6/6 = x =1
En (1) Reemplazando x=1
3(1) + 2y = 11
3 + 2y = 11
2y = 11 3
2y = 8
y = 8/2 y = 4

PRODUCTO CARTESIANO A x B
Definicin.- El producto cartesiano de dos conjuntos no vacos A y B se
define como el conjunto de todos los pares ordenados (a; b) donde a
pertenece al conjunto A y b pertenece al conjunto B
Se representa por:
Ejemplo Sean los conjuntos : A = { 1; 3; 5} y B = {r; s} entonces:
A x B = {(1, r),(1, s),(3, r),(3, s),(5, r),(5, s)}
Representacin:

AxB {(a; b) / a A b B}

1) Con diagrama de rbol

A B AxB
1 r
(1, r)
s (1, s)
3 r
(3, r)
s (3, s)
5 r
(5, r)
s (5, s)

2) Utilizando tabla
A

(1, r)

(1, s)

(3, r)

(3, s)

(5, r)

(5, s)

3) Utilizando diagrama de flechas

A

1
2
3

r
s

4) Utilizando el plano cartesiano

B
A

Nmero de elementos de un producto cartesiano

Si los conjuntos A y B son finitos y tienen m y n
elementos respectivamente entonces el producto
cartesiano A x B tienen m x n elementos
Ejemplo: sean

A = { 1; 3; 5} y B = {r; s}
Luego n(A x B) = 3 x 2 = 6

RELACIONES
Relacin es un subconjunto de un producto cartesiano
Definicin.- Es una correspondencia entre el primer
conjunto llamado
DOMINIO
y el segundo conjunto
llamado RANGO, de modo que a cada elemento del
dominio le corresponde uno o ms elementos del rango.
Simblicamente se define como:
R = {(x,y) AxB / xRy}
R AxB
Dominio de una relacin Dom(R) Es el subconjunto de A,
formado por todos los primeros componentes de los pares
ordenados que pertenecen a la relacin. Dom(R) = { x A
/ (x, y) R}
Rango de una relacin Ran((R).- Es el subconjunto de B,
formado por todos los segundos componentes de los
pares ordenados que pertenecen a la relacin Ran(R) = {
y B / (x, y) R}

1.
2.
3.
4.
5.
6.
7.

CLASES DE RELACIONES
Relaciones Reflexivas.- Cuando un elemento est relacionado consigo mismo . Si a A, (a, a) R,
Relaciones Simtricas.- Una relacin es simtrica si (a,b)
R se cumple que el par ordenado (b, a) R
Relaciones transitivas.- Una relacin es transitiva
si
(a,b) y (b,c) R, se cumple que el par ordenado (a,c) R
Relacin de equivalencia .- Una relacin es de
equivalencia cuando es reflexiva, simtrica y transitiva
Relaciones antisimtricas.- Una relacin es antisimtrica
cuando si (a;b) y (b;a) R, se cumple que a = b
Relaciones de orden.- Una relacin es de orden si es
reflexiva, antisimtrica y transitiva
Relaciones inversas.- R-1 cuando se determina invirtiendo
el orden de las componentes de las parejas ordenadas en
la R

1.Relaciones Reflexivas
R-1 = { (b;a)/ (axb) R
Ejemplo: La relacin R = { (a,a), (b,b), (c,c)}
establecida en el conjunto A = {a, b, c} es una
relacin reflexiva ya que todos los elementos de
A estn relacionados consigo mismos.

b
c

2. Relaciones Simtricas
Ejemplo.- Dado el conjunto A = { 1, 2, 3 } con la relacin
R = {(2, 3),(3, 2),(2, 1),(1, 1)(1, 2)}
Se observa que:
El elemento (2,
R
El elemento (3,
R
El elemento (2,
R
El elemento (1,
R
El elemento (1,
R

3) tiene su elemento inverso (3, 2) y estn en

2) tiene su elemento inverso (2, 3) y estn en
1) tiene su elemento inverso (1, 2) y estn en
2) tiene su elemento inverso (2, 1) y estn en
1) tiene su elemento inverso (1, 1) y estn en

3. Relaciones transitivas
Ejemplo.- Sea el conjunto B = {1, 2, 3, 6} y la
relacin
R = {(x, y) BxB / x divide a y}
R en pares ordenados es :
R = {(1, 1),(1, 2),(1, 3),(1, 6),(2, 2),(2, 6),(3, 3)(3,
6)(6,6)}
Se podr verificar que:
Si x divide a y e y divide a z, entonces x divide
az

4. Relacin de equivalencia
Ejemplo.- Sea el conjunto A = {a, b, c} y la relacin
R = {(a, a),(b, b),(c, c),(b, a),(a, b)}
Se cumple:
1) Es reflexiva porque para todo elemento de A est
reacionado consigo mismo. Los pares (a, a), (b, b)
y (c, c)
2) Es simtrica porque todo par (x, y) tiene su par
inverso (y, x)
El
El
El
El

par
par
par
par

(b, a) tiene su par inverso (a, b)

(a, a) tiene su par inverso (a, a)
(b, b) tiene su par inverso (b, b)
(c, c) tiene su par inverso (c, c)

3. Es transitiva porque si los pares (x, y) y

(y, z) estn en R, entonces el par (x, z)
tambin est en R
As tenemos los pares:
(b,b),(b,b) y (b,b) estn en R
(b,b),(b,a) y (b,a) estn en R
(b,a),(a,a) y (b,a) estn en R
(a,a),(a,a) y (a,a) estn en R
(c,c), (c,c) y (c,c) estn en R
(a,b),(b,b) y (a,b) estn en R
(b,a), (a,b) y (b,b) estn en R
(a,a), (a,b) y (a,b) estn en R

5. Relacines antisimtricas
Ejemplo.- Dado el conjunto A = {d,
e, f} y la relacin
R = {(d, e),(e, f)(d, f)}
Esta relacin es sntisimtrica
porque:
Existe (d,e), pero no existe (e, d) en
R
Existe (e,f), pero no existe (f, e) en R
Existe (d,f), pero no existe (f, d) en R

6. Relaciones de orden
Ejemplo sean el conjunto A = {a, b, c}
y la relacin R = {(a, b), (a, a), (b, b), (c, c)}
Se cumple:
A) Es reflexiva.- prque todo elemento de A est relacionado
consigo mismo. Los pares (a, a), (b, b) y (c, c)
B) Es antisimtrica.- porque para elementos (x, y) de R
con x y, el par (y, x) no se halla en R. En nuestro ejempl
el nico elemento que cumple con esta propiedad es el
par (a, b), cuy inverso (b, a) no se encuentra en R.
C) Es transitiva porque se encuentran los pares:
(a, b), (b,b) y (a,b)
(a,a), (a,b), (a,b)
(a,a), (a,a), (a,a)
(b,b), (b,b), (b,b)
(c,c), (c,c), (c,c)

7. Relacin Inversa ( F-1)

EJEMPLO.-

EVALUACIN DE LA
PRACTICA
1.

Si el producto cartesiano BxB tiene 36 elementos, Cuntos elementos tiene

el conjunto B?

2.

Si n(AxB) = 72, n(A) + n(B) = 17. ? Cuntos Elementos tiene el conjunto

A?

3.

Escribe por comprensin la relacin R = {(0, 0),(1, ),(2, 2), (4, 8),(6, 18)}
y = x2/2

4.

Sean A = {2, 3, 8, 9} y B = {4, 6, 7} y R 1 = {(x, y)/ AxB/x2 y = 2} y R2

= {(x, y) BxA/ x < y }

5.

Trazar la grfica de la relacin R = {(x, y) R 2 / 2x y = 2}

6.

Sean los conjuntos A = {x Z / -2 x < 3} y B = {x N / 3 x < 7} y la

relacin R = {(x, y) AxB / 1<2x< 8}
Hallar el dominio y el rango de R

7.