UNIVERSIDAD DE CARABOBO

FACULTAD EXPERIMENTAL DE CIENCIA Y TECNOLOGIA

DEPARTAMENTO DE COMPUTACION

ELEMENTOS DISCRETOS
Octubre, 2014
Preparador: Francisco Ortega

SOLUCIN
Taller #3
Teora de Relaciones

1. Se consideran los conjuntos: A = {12, 42, 99, 150, 210}, B = {4, 8, 50, 72,100} y C = {4,
10, 11, 12}; con las relaciones S AxB y R BxC, definidas como sigue:
(y, z) R sii 2y = z2

(x, y) S sii x = 3y

Se pide:
a) Definir R, S y RoS por compresin y por extensin.
b) Representar en diagrama sagital RoS.
c) Determine dominio y rango (RoS)

-1

Solucin
a) Definiendo R por comprensin y extensin:
R= {(y, z)/ y B z C y = z2}
R= {(y, z)/ y B z C y = z2/2}
R= {(8, 4), (50,10), (72,12)}
Definiendo S por comprensin y extensin:
S= {(x, y)/ x A y B x = 3y}
S= {(12,4), (150,50)}
Definiendo RoS por comprensin y extensin:
RoS= {(x, z)/ x A z C yB [x = 3y 2y = z2]}
RoS= { (150,10)}
b) Representacin grfica de la relacin, (RoS), usando diagrama sagital :
A
S
B
R
C

12

42

10

99

50

11

150

72

12

210

100

RoS

c) Dominio y Rango de (RoS)-1

Dominio ((R o S)-1) = Rango ((S o R)) = {10}
Rango ((R o S)-1) = Dominio ((S o R)) = {150}
2. Sobre el conjunto de los nmeros racionales Z, se define la relacin S
(a, b) S

sii

a/b + 3 = b/a + 3

a) Demostrar que S es una relacin de equivalencia.

b) Hallar las clases de equivalencias y el conjunto cociente Z/S.
Solucin:
a) Demostrar que S es una relacin equivalencia.
i.
Reflexiva. a[a Z (a, a) S], aplicando P.U y partiendo del lado izquierdo del
condicional se tiene:
a Z
a=a
Prop. Matemtica

a/a = a/a
Prop. Matemtica

a/a + 3 = a/a + 3
Prop. Matemtica

(a, a) S
Definicin de S

S es reflexiva
ii.

Simtrica: ab[a, b Z (a, b) S (b, a) S], aplicando P.U y partiendo del

lado izquierdo del condicional se tiene:
a, b Z (a, b) S
a/b + 3 = b/a + 3
Simplificacin y definicin de S

b/a + 3 = a/b + 3
Prop. Matemtica

(b, a) S
Definicin de S

S es simtrica

iii.

Transitiva: abc[a, b, c Z (a, b) S (b, c) S (a, c) S], aplicando

P.U y partiendo del lado izquierdo del condicional se tiene:
a, b, c Z (a, b) S (b, c) S

(a/b + 3 = b/a + 3) (b/c + 3 = c/b + 3)

Simplificacin y definicin de S

(a/b = b/a) (b/c = c/b)

Prop. Matemtica

(a.a = b.b) (b.b = c.c)

Prop. Matemtica

(a2 = b2) (b2 = c2)

Prop. Matemtica

(a2 + b2 = b2 + c2)
Prop. Matemtica

(a.a = c.c)
Prop. Matemtica

(a/c + 3 = c/a + 3)
Prop. Matemtica

(a, c) S

S es transitiva

Definicin de S

Por (i), (ii) y (iii) se tiene que S es relacin de equivalencia.

b) Hallar las clases de equivalencias y el conjunto cociente Z/S.
Tenemos que: [a] = {x / x Z x ~ a}
[a] = {x / x Z x/a + 3 = a/x + 3}
[a] = {x / x Z x/a = a/x}
[a] = {x / x Z x.x = a.a}
[a] = {x / x Z x2 = a2}
[a] = {x / x Z x2 a2 = 0}
[a] = {x / x Z (x + a) (x a) = 0}
Para 0:
[0] = {x / x Z x ~ 0}
[0] = {x / x Z (x + 0) (x 0) = 0}
[0] = {x / x Z x2 = 0}
[0] = {0}
Para 1:
[1] = {x / x Z x ~ 1}
[1] = {x / x Z (x + 1) (x 1) = 0}
[1] = {-1, 1}
Para 2:
[2] = {x / x Z x ~ 2}
[2] = {x / x Z (x + 2) (x 2) = 0}
[2] = {-2, 2}
Para 3:
[3] = {x / x Z x ~ 3}
[3] = {x / x Z (x + 3) (x 3) = 0}

x = -1;

x= 1

x = -2;

x= 2

x = -3;

x= 3

[3] = {-3, 3}
Para 4:
[4] = {x / x Z x ~ 4}
[4] = {x / x Z (x + 4) (x 4) = 0}
[4] = {-4, 4}

x = -4;

x= 4

El conjunto cociente es: Z/S = {[0], [1], [2], [3], [4], [5],.}
3. Sobre la relacin de orden amplio T definida en S = {1, 2 ,,8, 9}, se tiene el siguiente
diagrama de Hasse

6
7

5
3

Hallar:
a) Elementos Distinguidos Generales
b) Elementos Distinguidos Relativos para el
subconjunto S1 = {3, 2, 9} y
S2 = {1, 2}
c) Indicar tipo de orden (total o parcial).
Justifique.

4
Solucin:
a) Elementos Distinguidos Generales

Elemento Mayor:

Elemento Menor: 4

Maximales: {6, 8}

Minimales: {4}

b) Elementos Distinguidos Relativos

Subconjunto
Conjunto de
Conjunto de
Supremo
nfimo
cotas
Cotas
superiores
Inferiores
8
4
{3, 2, 9}
{8}
{4}
2
1
{1, 2}
{2, 8}
{ 1, 4}
c) Es de orden parcial, ya que hay elementos que no son comparables, es decir:
xyx, ySx, yy, x
Por ejemplo: 3,2 S, pero (3, 2) (2, 3)