En esta Unidad 3, comenzamos con lo que es

Relaciones y funciones, esto hace referencia a

lo que tiene que ver con Dominio y Rango con
menos complejidad pero tiene mucho que ver.
En los siguientes ejercicios se podrn notar como
realizamos y desarrollamos cada uno de ellos.
Tambin empezaremos a tomar ms temas que
hacen referencia al tema dicho al principio y
como se dice abra ejemplos desarrollados.
Esto con el fin de tener mejor compresin del
tema y saber como aplicarlo.

El objetivo simplemente es entender y

dominar el tema hablado, por medio de
ejercicios y un poco de teora.
a

ESTUDIANTE

CURSO

Guillermo

Computacin

Mara

Matemticas

Guillermo

Arte

Beatriz

Historia

Beatriz

Computacin

David

Matemticas

X= {Guillermo, Mara, Beatriz, David}

Y= {Computacin, Matemticas, Arte,
Historia}
R= {(Guillermo, computacin), (Mara,
matemticas), (Guillermo, Arte),
(Beatriz, Historia), (Beatriz,
computacin), (David, matemticas)}
Como (Beatriz, Historia) R. Se puede
escribir, Beatriz R Historia.
El dominio (primera columna) de R es el
conjunto X y el rango (segunda
columna) de R es el conjunto Y.

Algunas veces es posible definir una relacin dando la regla para pertenecer
a ella sea el siguiente ejemplo:
X= {2,3,4}
Y= {3,4,5,6,7}
Si se define una R de X a Y donde:
(x,y) R x divide a Y
R= {(2,4),(2,6),(3,3),(3,6),(4,4)}
Dominio= {2,3,4}
Rango= {3,4,6}

Sea R la relacin sobre X= {1,2, 3, 4} definida por (x,y) R si x y, x,

yX. Entonces.
R= {(1,1), (1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,3), (3,4), (4,4)
El dominio y rango de R son ambos iguales a X.

1
1

1
2

1
1
2
2
2

3
4
2
3
4

3
3
4

3
4
4

3
1
2

3
4
1

0
0

X= {a, b, c, d, e}
R= {(a.c), (c,e), (d,a), (e,b), (c,b), (e,a), (e,d)
Dominio= {a, c, d, e}
Rango= {a, e, b, c, d}

Escribir su tabla, su dominio y su rango as como el conjunto de

elementos y de relaciones, realiza el diagrama cartesiano.

a
c
b
b
c
c

c
d
d
e
a
b

c
d
d
e
e

c
b
e
a
d

X={ a, b, c, d, e}
R={(a,c)(a,d)(b,d)(b,e)(c,a)(c,b)(c,c)(d,b)(d,e)(e,a)
(e,d)}
Dominio= {a, b, c, d, e}
Rango= {a, b, c, d, e}

X={a, b, c, d, e, f}
R={(a,d)(d,f)(c,a)(c,b)(b,d)(d,d)(b,a)(b,e)(f,c)(a,a)(d,b)(b,c)(f,a)(
a,c)(b,f)}
Dominio={a, b, c, d, f}
Rango={a, b, c, d, e, f}

a
d
c
c
b
d
b
b
f
a
d
b
f
a
b

b
f
a
b
d
d
a
e
c
a
b
c
a
c
f

 Propiedad
R 2

Reflexiva

DEFINICIN
Sea R una relacin binaria R en A, (A ).
Diremos que R es reflexiva si aA, a R a
EJEMPLO:

En N la relacin R definida por: x R y x

divide a y
Es reflexiva ya que xN, x R x porque X
divide a X

Representacin Matricial

Si la relacin R es reflexiva entonces la

diagonal pertenece a la relacin. En la
matriz asociada, la diagonal es toda de 1.

Dgrafo:

Si la relacin R es reflexiva entonces todo

elemento tiene una flecha que comienza y
termina en si mismo (un bucle).

DEFINICIN:

Diremocs que R es arreflexiva si a A: aRa

Representacin Matricial

Ejemplo:
En N la relacin R definida por: a R b a<b
Es arreflexiva ya qu ningn natural es menor que si mismo.

Dgrafo:

DEFINICIN:

Diremos que R es no reflexiva si a A/ aRa

Representacin Matricial

Ejemplo:

En N la relacin R definida por: a R b

a es el doble de b. Es no reflexiva ya
que (1, 1) R puesto que 1 no es el doble
de 1.

Dgrafo:

DEFINICIN:

Diremos que R es simtrica si a, b A: a R b b R a

Ejemplo:

En Z la R definida por:
a R b a b es mltiplo de 2
Es simtrica ya que si a R b hay p Z tal que a b = p

b a= 2 (-p) con p Z b R a

REPRESENTACION MARTICIAL:

Si la relacin R es simtrica sobre A,

entonces los pares relacionados
se reflejan respecto a la diagonal
principal, en la matriz asociada
DIGRAFO:

PROPIEDAD SIMTRICA

DEFINICION:

PROPIEDAD ASIMTRICA

Diremos que R es asimtrica si

a,b A: a RB b R a
Digrafo:

Representacion Maatricial
No hay
flecha de
ida y
vuelta en
ningn par
de
elementos

No hay
pares que
se reflejen
a travs de
la diagonal

EJEMPLO:

En Z la relacin R definida por : a R b a < b. Es asimtrica ya que

si a < b , h por lo tanto no ser menor a.

PROPIEDAD ANTISIMTRICA
DEFINICION:

Diremos que R es antisimtrica si a, b A: *a R b ^b R a+a= b

Otra manera de expresarlo: Si a b *(a, b) R v (b,a) R ]

En N la relacin R definida por : x R y x divide a y es antisimtrica ya que si R b y b R a

entonces existen n, m N tales que :
b=an y a =bm
Sustituyendo en esta ultima
A=bm = (a.n).m n.m = 1 n = m = 1 a = b.

PROPIEDAD ANTISIMTRICA
Representacion Maatricial

DIGRAFO:

DEFINICION:

PROPIEDAD TRANSITIVA

Diremos que R es Transitiva si

a, b, c A : * a R b ^ b R c+ a R c

EJEMPLO:

En N la relacin R definida por x R Y x divide a y es transitiva ya que

si a R b y b R c entonces n, m N tales que : b = an y c = bm. Sustituyendo
en esta ultima : c = bm = (a. n). m = a(n.m) con n.m N b R c.

DIGRAFO:

La relacin R es transitiva si cada vez que hay

un camino entre tres elemento, tan bien esta
la flecha que comienza en el principio del
camino y va al elemento que es final del
camino.

 A2 M : matriz asociada
matriz identidad Mt : matriz transpuesta
R es reflexiva In M
R es simtrica M = Mt
R es transitiva M2 M
R es antisimtrica M Mt In
Nota : S y T matrices booleanas del mismo
orden S T si sij t ij
R

A , la Relacin diagonal, definida de

la siguiente manera:
= (a,a) A2 / a A A
R es reflexiva A R;
R es simtrica R = R-1;
R es arreflexiva A R = ;
R es antisimtrica R R-1 A ;
R es transitiva R2 R;
R es asimtrica R R-1 =
Siendo

Diremos que una relacin binaria sobre A, es

una Relacin de equivalenciasi satisface las
tres propiedades:
R es reflexiva
R es simtrica
R es transitiva
Ejemplos Son de equivalencia:
1) En Z la relacin R definida por: a R b a
b es mltiplo de 3.
2) Dado un conjunto D U, la relacin:
ARB A D = B D

Diremos que una relacin binaria sobre A, es una

relacin de orden parcial si satisface las tres
propiedades:
R es reflexiva
R es antisimtrica
R es transitiva
En este caso diremos que el conjunto A est
parcialmente ordenado
Son Relaciones de orden:
1) En D60 , el conjunto de todos los divisores de
60, la relacin R definida por: a R b a divide a
b.
2) En R, la relacin definida por a R b a b.

Diremos que una relacin binaria R sobre A, es

una relacin de orden totalsi es una relacin
de orden parcial y adems se satisface que:
a, b A: [a R b b R a]
En este caso diremos que el conjunto A est
totalmente ordenado