MATEMATICAS

DISCRETAS
RELACION
ES
6.1 Introduccin.
6.2 Elementos de una relacin.
INTRODUCCI
N
Una relacin es una correspondencia entre dos elementos de
dos conjuntos con ciertas propiedades.
En computacin las relaciones se utilizan en base de datos,
estructura de datos, redes y lenguajes.
ELEMENTOS DE UNA
RELACION
Definicin: Dados dos conjuntos no vacos A y B una relacin (R) es
un conjunto de pares ordenados en donde el primer elemento a esta
relacionado con el segundo elemento b por medio de ciertas
propiedades o caractersticas. La relacin se indica como A (R) B:
= *(, )| +
Una relacin es una tabla que muestra la correspondencia de unos
elementos con respecto a otros.
Por ejemplo la relacin entre maestros y las materias que imparte
cada uno, cumple con las caractersticas de relacin por lo que se
puede representar de la siguiente manera:
MAESTR
O
MATERIA
Jorge Sistemas digitales.
Domingo Lenguajes algortmicos.
Ignacio Estructuras de datos.
Jorge Graficacin.
Raymund
o
Programacin II.
Manuel Sistemas operativos.
Ezequiel Sistemas Digitales.
En este caso se tiene que:

A={x|x es una maestro}
B={y|y es una materia de la carrera
de Ing. Sistemas computacionales}
R={(Jorge, Sistemas digitales), (Jorge, Graficacin), (Domingo,
Lenguajes algortmicos), (Ignacio, Estructura de datos),
(Raymundo, Programacin II), (Manuel, Sistemas operativos),
(Ezequiel, Sistemas digitales)}
En trminos generales se dice que Jorge esta relacionado con
Sistemas digitales y Graficacin, y que Ignacio esta relacionado
con Estructuras de datos. Se nota claramente cuales son los
elementos de cada uno de los conjuntos que conforman la
relacin.
La relaciones se forman si se cumple cierta proposicin, esa
proposicin puede ser textual, como en el caso anterior, pero
tambin pueden ser planteada en lenguaje matemtico.
Sean los conjuntos
= Z; 10 < a < 30 = *|
+
; 20+

Regla: sea R una relacin de A y B, en donde el elemento a A
es divisible entre 13 y b B es primo.

Otra forma de representar este conjunto es :
R={(a, b)|a Z, b
+
; a es divisible entre 13;10 < a < 30; b es
primo; b 20}

A={13, 26} B={2, 3, 5, 7, 11, 13, 17, 19}

Como resultado se obtiene la siguiente Relacin:
R={(13,2), (13,3), (13,5), (13,7), (13,11), (13,13), (13,17), (13,19),
(26,2), (26,3), (26,5), (26,7), (26,11), (26,13), (26,17), (26,19)}
Si los elementos de los conjuntos se pueden relacionar se dice que
los conjuntos que integran la relacin estn ordenados y la relacin
se llama Relacin de orden en el conjunto.
Producto cartesiano
El producto cartesiano de los conjuntos A y B, que se denota como
AxB, es la combinacin de todos los elementos del conjunto A con
todos los elementos del conjunto B. en teora de conjuntos equivale
al conjunto universo.

Una relacin R de A en B (R: A B) es un subconjunto del producto
cartesiano AxB. Si R AxB y (a, b) R, entonces a su vez el
producto cartesiano tambin es una relacin.
Ejemplo:

Sean los conjuntos
A={1, 2, 3} y B={a, b}
1

2

3

a



b
A B
A x B = {(1,a), (1,b), (2,a), (2,b), (3,a),
(3,b)
Diagrama sagital
Diagrama cartesiano
b
1 2
3
a
B
A
(1,a) (2,a) (3,a)
(1,b) (2,b) (3,b)
A x B = {(1,a), (1,b), (2,a), (2,b), (3,a),
(3,b)
Relacin binaria
No siempre los elementos de la relacin son pares ordenados, ya
que pueden tener mas de dos elementos como en el caso
siguiente:
A={a,b,c} B={1,2,3} C={ , }
R={(a,1, ), (a,2, ), (b,1, ), (c,3, ), (c,2, )}
Aqu la relacin esta formada por tercias de elementos, en este
caso se trata de una relacin terciaria ya que los elementos no son
pares ordenados si no tercias.

* Una de las relaciones mas importantes de la computacin es la
relacin binaria ya que se puede representar por medio de una
matriz, tabla o grafica. Se llama relacin binaria por que sus
elementos son pares ordenados que se forman a partir de dos
conjuntos.
En toda relacin de pares ordenados no vaca se tienen dos
conjuntos el Dominio de R (Dom(R)) que es el subconjunto del
conjunto A (() ) y el Codominio de R ((Cod(R)) que es el
subconjunto del conjunto B (() )

Considrese que aRb si y solo si b es divisible entre a. Por lo tanto,
los elementos de la relacin son:

R={(2,2), (2,4), (2,6), (2,8), (2,10), (4,4), (4,8), (5,5), (5,10), (6,6),
(7,7)}

Dom(R)={2, 4, 5, 6, 7}
Cod(R)={2, 4, 5, 6, 7,8, 10}
Ejemplo:
Sean los conjuntos
A={2, 4, 5, 6, 7, 11} y B={b|b Z; 1 b 10}
Matriz de una relacin
Si A y B son dos conjuntos finitos con m y n elementos,
respectivamente y R es una relacin de A en B, entonces es posible
representar a R como una matriz

= ,

- cuyos elementos se
definen como:

1 si (a, b) R
0 si (a, b) R
Ejemplo:
Sean los conjuntos A={1, 2, 3,4,5} y B={1, 2, 3, 4, 5, 6, 7}
Y sea la relacin

R: A tal que
R={(1,2), (1,3), (2,2), (2,5), (3,2), (3,7), (4,2), (4,5), (5,6)}
1 2 3 4 5 6 7
1 0 1 1 0 0 0 0
2 0 1 0 0 1 0 0
3 0 1 0 0 0 0 1
4 0 1 0 0 1 0 0
5 0 0 0 0 0 1 0
R={(1,2), (1,3), (2,2), (2,5), (3,2), (3,7), (4,2), (4,5), (5,6)}

Los elementos del conjunto A se representan como filas y los del
conjunto B como columnas, se coloca un 1 si el par ordenado se
encuentra en la relacin y un 0 en caso contrario.

1 si (a, b) R
0 si (a, b) R
Grafo de una relacin
A un grafo se le puede conocer como un sistema matemtico abstracto.
Un grafo dirigido o dgrafo es un par ordenado D = (A, R) donde A es un conjunto finito y
R es una
relacin binaria definida sobre A. Al conjunto A lo llamaremos conjunto de nodos o vrtices
de D. A
los elementos de R los llamaremos arcos o aristas del dgrafo D.
La relacin que existe entre los elementos se indica por medio de una flecha que va del
elemento del conjunto A, al elemento del conjunto B con el que est relacionado.

Sean los conjuntos A={a,b,c} , B={x,y} R:A B R={(a,x),(a,y),(b,y),(c,x)}


TIPOS DE GRAFOS
En este tipo de grafos no existe
una direccin en particular.
Por medio del grafo no dirigido
Es posible representar una red
Carretera, una red telefnica,
Una red de computadoras, una red de redes
La relacin es en ambos sentidos.
MULTGRAFOS
Llamaremos de esta forma a los grafos en los que haya pares de
vertices unidos por ms de una arista.