Prof.

Nancy Aguilar y Graciela Del Valle

Matemtica Discreta- ISI

Relaciones, Matrices y Grafos

Las relaciones entre elementos de un conjunto se dan en muchos contextos. A diario
manejamos relaciones como las que hay entre un empleado y su salario, entre una
empresa y su nmero telefnico, en matemtica estudiamos relaciones como las que hay
entre un entero positivo y uno de sus divisores; en informtica relaciones como las que
hay entre un programa informtico y una de las variables que emplea o la que hay entre
un lenguaje de programacin y una sentencia vlida en ese lenguaje.

Producto cartesiano
Definicin: Dados dos conjuntos A y B distintos de vaco, llamamos producto cartesiano
a, b / a A, b B
AxB al conjunto de pares ordenados
.
Cada elemento de AxB es un par ordenado, donde la primera componente pertenece al
conjunto A y la segunda componente al conjunto B.
A

AxB
B

Relacin
Definicin: Dados dos conjuntos A y B, no vacos, llamamos relacin de A en B a
cualquier subconjunto de AxB. ( lo simbolizamos con la letra R).
En nuestro tema en particular trabajaremos con relaciones definidas en un solo
conjunto y adems dicho conjunto va a ser finito.
Ejemplo:
A 1,2,3 R (1,2), (1,3), (2,2), (2,4), (3,4), (4,3)
Sea
y
Tomando los elementos del conjunto A como vrtices o nodos de un grafo dirigido o
dgrafo y a los pares ordenados de la relacin como arcos se tiene:

Prof. Nancy Aguilar y Graciela Del Valle

Matemtica Discreta- ISI

En una relacin al conjunto del cual parten las flechas se llama Alcance y al conjunto
al cual llegan las flechas se llama Rango.
Dominio, est formado por los elementos del alcance que participan de la relacin.
Imagen, est formado por los elementos del rango que participan de la relacin.
En el grafo el Dominio est formado por aquellos vrtices de los cuales sale por lo
menos un arco y la Imagen por los vrtices a los cuales llega por lo menos un arco.
Dom 1,2,3,4 Im g 2,3,4
En el ejemplo:
;
Es posible representar relaciones utilizando matrices.
Sea A un conjunto finito de n elementos y R una relacin definida en A. Si mantenemos
fijo el orden de los elementos de A, definimos la matriz de orden nxn de la relacin R:

M(R) = ( mij ) donde i, j A y :

1, si (i, j ) R
0, si (i, j ) R

mij

En el ejemplo ser:

0
0
M
0

1
1
0
0

1
0
0
1

0
1
1

Propiedades de las relaciones

Sea R una relacin definida en el conjunto A, se denomina Reflexiva si para todo

elemento a A, el par (a,a) R a R a. Esto indica que cualquiera sea el elemento a

de A, el par (a,a) pertenece a la relacin, es decir todo elemento de a est relacionado
consigo mismo.
a A : (a, a ) R aRa
R es reflexiva

Prof. Nancy Aguilar y Graciela Del Valle

A 1,3,4,6

Matemtica Discreta- ISI

R ( x, y ) / x A, y A x mod y 0

Ejemplo:
y
Aclaracin: xmod y=0 significa que el resto de dividir x por y es igual a cero
Ejemplo: (1,1) R porque 1:1 tiene como resto cero
(3,1) R porque 3:1 tiene como resto cero
(3,1) R porque 3:1 tiene como resto cero
(6,3) R porque 6:3 tiene como resto cero

R (1,1), (3,1), (3,3), (4,1), ( 4,4), (6,1), (6,3), (6,6)

1
1
M (R )
1

0
1
0
1

0
0
1
0

Esta relacin es reflexiva.

0
0
0

La matriz de una relacin reflexiva, tiene todos los elementos de la diagonal principal
iguales a uno.

El grafo de una relacin reflexiva (grafo reflexivo), tiene un bucle en cada vrtice.
Adems Dom(R) = Img(R) = A
Una relacin R definida en un conjunto A se denomina Arreflexiva si para todo
a A : ( a, a ) R
elemento
, lo que significa que ningn elemento de A est relacionado
consigo mismo.
a A : ( a, a ) A aRa
R es arreflexiva

Prof. Nancy Aguilar y Graciela Del Valle

Ejemplo:

A 1,2,3

Matemtica Discreta- ISI

R ( x, y ), x A, y A x y

y
R (1,2), (1,3), ( 2,3)

0 1 1
M (R ) 0 0 1
0 0 0

La matriz de una relacin arreflexiva tiene todos los elementos de la diagonal principal
iguales a cero.

El grafo de una relacin arreflexiva no tiene bucles en ninguno de sus vrtices.

Una relacin R definida en un conjunto A se denomina Simtrica cuando para todos
x, y A
( x, y ) R
( y, x) R
los elementos
, si el par
entonces el par
. Esto expresa que
si un par ordenado pertenece a la relacin, su simtrico tambin debe estar.
x, y A : ( x, y ) R ( y , x ) R
R es Simtrica

Ejemplo: A=

1,2,3

1 1 0
M (R) 1 1 1
0 1 0

R (1,1), (1,2), (2,1), (2,2), ( 2,3), (3,2)

Prof. Nancy Aguilar y Graciela Del Valle

Matemtica Discreta- ISI

Los elementos ubicados en forma simtrica con respecto a la diagonal principal son
mij 1 m ji 1
iguales. Es decir la matriz de una relacin simtrica verifica: si
o bien
mij 0 m ji 0

En el grafo de una relacin simtrica cada vez que hay un arco de v i a vj tiene que haber
un arco de vj a vi. Puede haber o no un bucle en cada vrtice.
Una relacin R definida en un conjunto A se denomina Antisimtrica si para todos
x y
x, y A
( x, y ) R
los elementos
siendo
, y tales que el par
, entonces el par
( y, x) R
.
x, y A : ( x, y ) R x y ( y, x) R
R es Antisimtrica
o equivalentemente:
x, y A : ( x, y ) R ( y, x) R x y

Ejemplo:

A 1,2,3,4 R ( x, y ) R, x A, y A / x y
R (1,1), (1,2), (1,3), (1,4), (2,2), (2,4), (3,3), (4,4)

1
0
M (R )
0

1
1
0
0

1
0
1
0

1
1
0

xy
x divide a y

Prof. Nancy Aguilar y Graciela Del Valle

Matemtica Discreta- ISI

En la matriz de una relacin antisimtrica se verifica

mij m ji mij 0 m ji 0
. En la diagonal principal puede haber 1 o 0.

que

si

En el grafo de una relacin antisimtrica no puede haber al mismo tiempo, para

vi v j ,
un arco que va de vi a vj y un arco que va de vj a vi. Puede tener o no bucles.
Una relacin R definida en un conjunto A se denomina Asimtrica si para todos los
x, y A
elementos
si a est relacionada con b, entonces b no est relacionada con a.
a, b A : aRb bRa

R es Asimtrica

Ejemplo:

A 1,2,3,4

0
0
M (R )
0

1
0
0
0

1
1
0
0

R (1,2), (1,3), (1,4), (2,3), ( 2,4), (3,4)

1
1
1

0
i j

mij 1 m ji 0

En la matriz de una relacin asimtrica se verifica para

si
, lo
que indica tambin que los elementos de la diagonal principal deben ser todos iguales a
mii 1 mii 0,
cero, sino sera
lo que sera un absurdo.

Prof. Nancy Aguilar y Graciela Del Valle

Matemtica Discreta- ISI

3
En el grafo de una relacin asimtrica, cada vez que existe un arco de v i a vj no puede
haber un arco de vj a vi y no puede haber bucles.
R es No Simtrica
(a, b A : aRb bRa ) a, b A / (aRb bRa ) a, b A /
/

( aRb ) (bRa ) a, b A /( aRb ) (bRa )

Ejemplo:

A 1,2,3

R (1,2), (1,3), 2,3), (3,1)

0 1 1
0 0 1

0
0
1
M

x, y , z A

Una relacin R definida en un conjunto A es Transitiva si para todos

( x, y ) R ( y , z ) R
( x, z ) R
verifica que si
y
entonces
.
x, y , z A : ( x , y ) ( y , z ) R ( x, z ) R
R es Transitiva
Ejemplo:

Ejemplo:

A 1,2,3,4 R ( x, y ) R, x A, y A / x y
R (1,1), (1,2), (1,3), (1,4), (2,2), (2,4), (3,3), (4,4)

1
0
M (R )
0

0
7

1
1
0
0

1
0
1
0

1
1
0

xy
x divide a y

, se

Prof. Nancy Aguilar y Graciela Del Valle

Matemtica Discreta- ISI

En la matriz de una relacin Transitiva se debe verificar:

mik 1 mkj 1 mij 1
si

En el grafo de una relacin Transitiva cada vez que hay un arco de v i a vk y un arco
de vk a vj ( es decir que existe un camino de longitud 2 de v i a vj ) debe existir un arco de
vi a vj ( debe haber un camino de longitud 1 de vi a vj ).
a, b, c A : aRb bRc a Rc
R es Atransitiva:
R (1,2), (2,3)
Ejemplo:

0 1 0
M 0 0 1
0 0 0

R es No Transitiva:

a, b, c A : aRb bRc aRc a, b, c A / aRb bRc aRc

a, b, c A /( aRb bRc ) a Rc

Ejemplo:

R (1,2), (2,3), (1,3), (3,1)

0 1 1
M 0 0 1
1 0 0

Prof. Nancy Aguilar y Graciela Del Valle

Matemtica Discreta- ISI

Observamos que: 1R3 y 3R1 pero 1 R1

1R2 y 2R3 entonces 1R3
Las Relaciones se pueden clasificar en Relaciones de Orden y de Equivalencia.
Una relacin R en un conjunto A se denomina Relacin de Orden Amplio si es
reflexiva, antisimtrica y transitiva.
Una relacin R en un conjunto A se denomina Relacin de Orden Estricto si es
arrreflexiva, asimtrica y transitiva.
Una relacin R en un conjunto A se denomina Relacin de Equivalencia si es
reflexiva, simtrica y transitiva.
Operaciones con Relaciones

R1 AxB

Sean los conjuntos A y B y las relaciones

y R2 AxB
1) Unin de Relaciones ( Suma booleana de grafos y matrices )
R1 R2 (a, b) AxB /( a, b) R1 (a, b) R2
2) Composicin de Relaciones ( Producto booleano de grafos y matrices )

R1 AxB

R2 BxC

Sean los conjuntos A,B,C y las relaciones

y
Definimos la composicin de R1 con R2 de la siguiente manera:
R2 R1 ( a, c) AxC / b B (a, b) R1 (b, c) R2
Ejemplo:

A 1,2,3

y las relaciones:
R1 (1,1), (1,2), (2,3)

R2 (1,1), (1,3), (3, )

R1 R2 (1,1), (1,2), ( 2,3), (1,3), (3,3)

Prof. Nancy Aguilar y Graciela Del Valle

1 1 0
M 1 0 0 1
0 0 0

1 0 1
M 2 0 0 0
0 0 1

Matemtica Discreta- ISI

1 1 1
M 1 M 2 0 0 1
0 0 1

R2 R1 (1,1), (1,3), ( 2,3)

1 0 1
0 0 0
0 0 1

M1 x M2

1 1 0
0 0 1
0 0 0

1 0 1
0 0 1
0 0 0

Cerraduras
Si R es una relacin en un conjunto A, puede suceder que R no tenga algunas de las
siguientes propiedades: reflexiva, simtrica y transitiva.
Se puede entonces agregar a R pares hasta obtener una relacin R 1 que verifique la
propiedad deseada.
Naturalmente, se desea obtener la relacin R 1 ms pequea que contiene a R y
verifique dicha propiedad.
Hacemos:
k 0 R k R R R R 2 R 3 ..... R n
(Cierre o clausura transitiva)
M R M R1 M R 2 ..... M R n
k 0 R k R R 0 R 1 R 2 ..... R n
M R M R M R1 .....M R n

10

(Cierre o clausura reflexiva y transitiva)

Prof. Nancy Aguilar y Graciela Del Valle

11

Matemtica Discreta- ISI