Matemtica Discreta

Unidad 2

Relaciones y digrafos

Conjunto Producto

Sean A y B dos conjuntos. El conjunto de todos los pares cuya primera

componente se un elemento de A y la segunda un elemento de B , recibe el
nombre de producto cartesiano de A y B , y se representa por A B .

Por comprensin ser:

A B a, b / a A b B

Ejemplo:

Si A 1,2,3 y B a, b se tendr A B 1, a , 1, b , 2, a , 2, b , 3, a , 3, b .

Una representacin grfica adecuada facilita la comprensin del producto

cartesiano de dos o ms conjuntos. Se emplean dos formas: mediante una
tabla o haciendo uso en el plano de un sistema con ejes cartesianos. Esta
ltima representacin es la adecuada cuando alguno de los conjuntos factores
es finito.

Ejemplos:

Si A 1,2,3,4 y B 2,3 la representacin de A B mediante una tabla,

sera

B A 1 2 3 4
2 1,2 2,2 3,2 4,2
3 1,3 2,3 3,3 4,3
La representacin equivalente mediante un sistema cartesiano, sera
 Matemtica Discreta

Relaciones
Relacin Binaria: Sean A y B dos conjuntos. Recibe el nombre de relacin
binaria de A a B , al subconjunto R de todos los pares a, b de A B tales
que verifiquen que aRb , es decir R a, b / a, b A B aRb .

El conjunto de todos los primeros elementos de los pares ordenados que

pertenecen a R se llama dominio de R y el conjunto de los segundos
elementos, imagen de R .

Relacin Inversa

Relacin inversa de R , es el subconjunto de B A , definido por

R 1 y, x / x, y R

Si B A se dice que R es una relacin en A , en este caso R A 2 .

Representaciones grficas de algunas relaciones

Ejemplo 1: R = sillas S i ocupadas por alumnos Ai

Ejemplo 2: y 0.04 x 2 2.2 x 2 5,10 10,20 20,30

 Matemtica Discreta

Ejemplo 3: Sean A 1,2,3 y B x, y y la relacin R 1, x , 1, y , 2, x , 3, y .

Representacin cartesiana de R sera la indicada en el diagrama

siguiente:

Una matriz booleanas de adyacencia de una relacin M R es una matriz

de elementos mij tales que

1 si ai , b j R
mij
0 si ai , b j R

Entonces, la matriz del ejemplo, sera

1 1
M R 1 0
0 1

Vamos a ampliar ahora la representacin grfica de relaciones mediante el

empleo de grafos dirigidos o digrafos.
 Matemtica Discreta

Ejemplo:

Sea A 1,2,3,4 y R la caracterstica de ser un divisor. Entonces ai Ra j

significar ai es divisor de a j . Se trata de una relacin sobre A y los pares
que la componen, pertenecientes a A A A 2 , sern:

R 1,1, 1,2 , 1,3, 1,4 , 2,2 , 2,4 , 3,3, 4,4

Figuran a continuacin las representaciones cartesiana, matricial y por medio

de un digrafo.

Cartesiana

1 1 1 1
0 1 0 1
MR
0 0 1 0

0 0 0 1
Matricial

1 2

4 3

Digrafo
 Matemtica Discreta

En el caso del digrafo, para cada elemento de A se dibuja un crculo que

recibe el nombre de nodo o vrtice. Cada vez que sucede a i Ra j se traza una
flecha orientada desde ai a a j , que recibe el nombre de lado o arista.

Obsrvese que pueden existir aristas como las ai a i , denominadas bucles.

Digrafos o grficas dirigidas

Un grafo dirigido G , o digrafo, consta de dos partes:

a. Un conjunto V cuyos elementos ordenados se denominan vrtices,

nodos o puntos.

b. Un conjunto E de pares ordenados u, v de vrtices que se denominan

arcos, aristas dirigidas, o simplemente aristas.

Cuando se desea recalcar las dos partes de G , se escribe G V , E . Tambin

se escribe V G y E G para denotar, respectivamente, el conjunto de vrtices
y el conjunto de aristas de un grafo G .

Suponga que e u , v es una arista en un grafo dirigido G . Entonces se usa la

siguiente terminologa:

a. u es el origen o punto inicial de e , y v es el destino o punto terminal de

e.

b. u es adyacente a v , y v es adyacente a u .

Si u v , entonces e se denomina lazo o bucle.

Caminos

Sea G un grafo dirigido.

Un camino (dirigido) P en G es una secuencia alterna de vrtices y aristas

dirigidas. Por ejemplo: P v0 , e1 , v1 , e2 , v 2 ,..., en , v n .

La longitud del camino P es n , su nmero de aristas.

Un camino simple es un camino con vrtices distintos. Un recorrido es un

camino con aristas distintas.

Un camino cerrado tiene los mismos vrtices inicial y final.

Un ciclo es un camino cerrado con vrtices distintos (excepto el primero y el

ltimo).
 Matemtica Discreta

Un semicamino es lo mismo que un camino, excepto que la arista ei puede

empezar en vi 1 o en vi y terminar en el otro vrtice.

Conectividad

En un grafo dirigido G hay tres tipos de conectividad:

G es fuertemente conexo o fuerte si para cualquier par de vrtices u y v

en G , hay un camino de u a v y un camino de v a u .

G es unilateralmente conexo o unilateral si para cualquier par de vrtices

u y v en G , hay un camino de u a v o un camino de v a u .

G es dbilmente conexo o dbil si entre cualquier par de vrtices u y v

en G , hay un semicamino.

Posibles propiedades de las relaciones definidas en un

conjunto A

R es reflexiva a : a A a, a R .
R es no reflexiva a / a A a, a R .
R es arreflexiva a : a A a, a R .
R es simtrica a, b A : a, b R b, a R .
R es no simtrica a, b A / a, b R b, a R .
R es asimtrica a, b A : a, b R b, a R .
R es transitiva a, b, c A : a, b R b, c R a, c R .
R es no transitiva a, b, c A : a, b R b, c R a, c R .
R es atransitiva a, b, c A : a, b R b, c R a, c R .
R es antisimtrica a, b A : a, b R b, a R a b .

Si se designa con D a la diagonal de A 2 , es decir:

D a, a / a A A 2 se tiene que:

R es reflexiva D R D .
R es no reflexiva D R D .
R es arreflexiva D R .

Relacin de Equivalencia

Una relacin definida en un conjunto se dice que es de equivalencia si es

reflexiva, simtrica y transitiva.
 Matemtica Discreta

Relacin de orden
Una relacin definida en un conjunto se dice que es de orden y queda
especificado con el trmino preceder. Decir a precede a b , en smbolos
a b , significa a, b R .

Lo esencial de toda relacin de orden es la transitividad, y segn se cumplan o

no otras propiedades se habla de orden amplio o de orden estricto.

R es de orden amplio (o parcial) en A si y slo si, R es reflexiva,

antisimtrica y transitiva, es decir:
a A a, a R ;
a, b R b, a R a b ;
a, b R b, c R a, c R

Los elementos a y b se dicen comparables si a, b R b, a R .

Si en particular R es de orden amplio y todo par de elementos de A son

comparables, se dice la relacin R es de orden total o de orden lineal. Se dice
A que est totalmente ordenado o que es una cadena.

Obsrvese que en este caso, en el conjunto A para la relacin de orden amplio

R , se tiene: a, b : a, b R b, a R .

R es de orden estricto en A si y slo si, R es arreflexiva, asimtrica y

transitiva, es decir:
a A a, a R ;
a, b R b, a R ;
a, b R b, c R a, c R

La relacin de orden estricto es total si todos los elementos de A son

comparables.

Elementos distinguidos en un conjunto A con una relacin de orden <.

a. Primer elemento: a A es el primer elemento x A a x .

b. ltimo elemento: b A es el ltimo elemento x A x b
Elementos consecutivos en un conjunto ordenado: b y a son consecutivos
aba xba xb x

Particin de un Conjunto

Sea S un conjunto no vaco. Se denomina particin de S toda distribucin de

S en subconjuntos no vacos Ai , disjuntos dos a dos, de forma que S sea su
unin. En otras palabras, la coleccin de los Ai , i I , siendo I un conjunto de
ndices, constituye una particin de S , si y slo si:
 Matemtica Discreta

Ai i I , Ai A j i j , A i S
iI

Relacin de Equivalencia y particiones

Si R es una relacin de equivalencia en A . Las clases de equivalencia de a

es el conjunto de elementos de A relacionados con a , es decir:
a x : a, x R.

Relacin Complementaria

Sea R una relacin de A a B . Recibe el nombre de relacin complementaria

R de R , la relacin de A a B tal que
a A, b B aR b a, b R

o lo que es igual, R estar formada por el conjunto

R A B R

En cuanto a la representacin matricial de R , su matriz ser la booleanas

complementaria de M R , es decir M R M R en la que

0 si mij 1
mij
1 si mij 0

Clausuras o cierres

Cerradura Reflexiva

Dada una relacin R sobre un conjunto A entonces R * es una clausura

reflexiva de R si R * es la relacin ms pequea que contiene a R y es
reflexiva (es R unida a la diagonal de A ).
Ejemplo: Sea R 1,1, 1,2 , 2,1, 3,2 en el conjunto A 1,2,3
R 1,1, 1,2, 2,1, 3,2 , 2,2, 3,3
*

R * se forma aadiendo todos los pares de la forma a, a con a A que no

estn en R .
 Matemtica Discreta

Cerradura Simtrica

Dada una relacin R sobre un conjunto A entonces R * es una clausura

simtrica de R si R * es la relacin ms pequea que contiene a R y es
simtrica (es R unida a la relacin inversa de R ).

Ejemplo: Sea R 1,1, 1,2 , 2,3, 3,1, 3,2 en el conjunto A 1,2,3

R 1,1, 1,2 , 1,3, 2,1, 2,3, 3,1, 3,2 .
*

R * se forma aadiendo todos los pares de la forma b, a con a, b R que no

estn en R .

Cerradura Transitiva

Dada una relacin R sobre un conjunto A entonces R * es una clausura

transitiva de R si R * es la relacin ms pequea que contiene a R y es
transitiva.

Ejemplo: Sea R 1,3, 1,4 , 2,1, 3,2 en el conjunto A 1,2,3,4

R 1,1, 1,2 , 1,3, 1,4 , 2,1, 2,2 , 2,3, 2,4 , 3,1, 3,2, 3,3, 3,4
*

R * se forma aadiendo todos los pares de la forma a, c tales que a, b y b, c

ya estn en R .