From Book: Matemticas para la Computacin

Jos A. Jimenez Murillo

Ing. Mayenka Fernandez Chambi

CHAPTER 06: RELATIONS

INTRODUCCION
Establecer una correspondencia entre un
elemento del conjunto A con otro elemento del
conjunto B.
Se aplican:

de Datos Relacionales
Estructura de Datos
Redes
Autmatas
Lenguajes Formales

Las funciones son una clase especial de

Relacin.

Ing. Mayenka Fernandez Chambi

Base

ELEMENTOS DE UNA RELACION

Dos conjuntos no vacios A y B
Una relacin R es un conjunto de pares
ordenados, donde un elemento a de A est
relacionado con un elemento b de B, a travs de una
propiedad o caracterstica (condicin de unin).

R = {(a,b) | a A y b B}

Ing. Mayenka Fernandez Chambi

aRb;

PRODUCTO CARTESIANO
La relacin AxB, conjunto de todos los pares entre
todos los elementos del conjunto A con los elementos
del conjunto B.
Por lo tanto, una relacin R de A B, es un
subconjunto del producto cartesiano de ambos
conjuntos.

Ing. Mayenka Fernandez Chambi

REPRESENTACION DE UNA
RELACIN
Pares ordenados (por extensin)
Matriz
Grafo

Ing. Mayenka Fernandez Chambi

MATRIZ DE UNA RELACION

Ing. Mayenka Fernandez Chambi

Si A y B son dos conjuntos finitos con m y n

elementos respectivamente y R es un relacin de
A en B, entonces es posible representar a R
como una matriz.
MR = [mij]
Donde los elementos se definen como:

EJEMPLO: MATRIZ ADYACENTE DE

R

Ing. Mayenka Fernandez Chambi

GRAFO DE UNA RELACION

Uso grfico de nodos y flechas.
Los nodos son etiquetados con los elementos de los
conjuntos.
Las flechas representan la relacin existente.
El nodo que parte corresponde a los elementos del
conjunto A (dominio) y los nodos de llegada son los
elementos del conjunto B (codominio).

Ing. Mayenka Fernandez Chambi

EJEMPLO: GRAFO DIRIGIDO

Ing. Mayenka Fernandez Chambi

TIPOS DE RELACIONES
Medio de clasificacin, en el que la relacin
cumple condiciones.
Los elementos de ambos conjuntos tienen los
mismos elementos, A=B. (Por lo tanto la Matriz
de R es siempre cuadrada)
Tipos:

Irreflexiva
Simtrica

Asimtrica

Antisimtrica
Transitiva

Ing. Mayenka Fernandez Chambi

Reflexiva

RELACION REFLEXIVA
Una relacin es reflexiva si para todo elemento de
un conjunto A est relacionado consigo mismo, o
aRa.
La matriz de R contiene un 1 en toda su
diagonal, pudiendo existir otros pares ms dentro
de la relacin:

Ing. Mayenka Fernandez Chambi

RELACION IRREFLEXIVA
Una relacin es Irreflexiva cuando ningn
elemento del conjunto A est relacionado consigo
mismo, es decir (a,a) no pertenece a R.
La matriz de la Relacin contiene 0s en la
diagonal.

Ing. Mayenka Fernandez Chambi

RELACION SIMTRICA

** Una solucin es la conversin de la matriz

a su transpuesta y luego comprobar que
ambas matrices son iguales.

Ing. Mayenka Fernandez Chambi

Una relacin R:AB es simtrica cuando (a,b)

R y (b,a) R.

RELACION ASIMTRICA

Ing. Mayenka Fernandez Chambi

Una relacin R de A en B es asimtrica si

cuando (a,b) R entonces (b,a) no
pertenece a R (adems la diagonal de la
matriz solo debe contener ceros).