http://9relaciones.blogspot.mx/2014/11/unidad-5-relaciones.

html

RELACIONES
DEFINICIÓN
Las relaciones generalizan el concepto de funciones. La presencia del par ordenado (a, b) en una
relación se interpreta como que existe una relación de a a b. El modelo de base de datos relacional
que ayuda a los usuarios a tener acceso a la información de una base de datos (una colección de
registros manejados por una computadora) se basa en el concepto de relación.

CONCEPTOS BASICOS PAREJA ORDENADA.

Relaciones binarias Llamamos relación binaria a la relación R existente entre dos elementos a y b,
de dos conjuntos A y B respectivamente. Indicando que el elemento a está relacionado con b.
Esta relación se puede denotar de diversas formas:

1- Como pares ordenados (a, b).

2- Indicando que aRb.
3- Como una mezcla entra los dos anteriores R(a,b).

Al conjunto de todos los elementos relacionados mediante la relación R en un conjunto lo

denotamos como R(M)
Está relación dependiendo del conjunto puede referirse a cualquier concepto referido con el
conjunto.
Ejemplo: Sea el conjunto A={el conjunto de los números naturales}, una relación binaria del
conjunto de A sobre sí mismo puede ser, R= ser múltiplo de.
De tal forma que, por ejemplo 4 está relacionado con 2 (es decir, 4 es un múltiplo de 2), por tanto
escribimos 4R2 o (4,2). En el caso de no estar relacionados escribiremos a no está relacionado con
b tachando la R. Un ejemplo de dos elementos que no están relacionados con esta relación son 3 y
5.
Observación: El conjunto R(AxB) de todos los elementos que están relacionados es un
subconjunto del producto cartesiano AxB.
http://9relaciones.blogspot.mx/2014/11/unidad-5-relaciones.html

PRODUCTO CARTESIANO
Es la relación entre los elementos de un conjunto con los otros elementos de otro conjunto. Como
los polinomios.
Ejemplo:
A = {a, b}, B= {1, 2, 3}

A•B= {(a, 1); (a, 3);(b, 2); (b, 3)}

RELACIÓN BINARIA
Una relación binaria R se define generalmente como una terna ordenada donde X e Y son
conjuntos arbitrarios, y G es un subconjunto del producto cartesiano X Y. Los conjuntos X e Y son
llamados el dominio y codominio, respectivamente, de la relación, y G se llama su gráfica.
El estado de cuenta? R se lee "x está relacionado con R y", y se representa por xRy o R. La última
anotación corresponde a la visualización de R como la función característica de "X" x "Y" para el
conjunto de pares de G. El orden de los elementos en cada par de G es importante: si un? b,
entonces aRb y el sujetador puede ser verdadera o falsa, independientemente uno de otro.
Una relación tal como se define por el triple se refiere a veces como una correspondencia en su
lugar. En este caso la relación de X a Y es el subconjunto G XY, y "de X a Y" siempre debe ser
especificado o implícito en el contexto cuando se hace referencia a la relación. En la práctica, la
correspondencia y las relaciones tienden a ser utilizados indistintamente.

REPRESENTACION DE RELACIONES
Matrices
Un método para el estudio de las relaciones de manera algorítmica es utilizando matrices
compuestas de ceros y unos. Definición:
Sean A y B conjuntos finitos de la forma:

Si R es una relación de A en B. La relación R puede ser representada por la matriz

, donde .La matriz se denomina matriz de R. En

otras palabras la matriz, de ceros y unos, de R tiene un 1 en la posición cuando está

relacionado con , y un 1 en esta posición si no está relacionado con . Obsérvese en la

definición anterior que los elementos de A y B han sido escritos en un orden particular pero
arbitrario.
Por lo tanto, la matriz que representa una relación depende de los órdenes usados para A y B.
Cuando A = B usamos el mismo orden para A y B. Ejemplo:

Sean . Consideremos la siguiente relación de:

http://9relaciones.blogspot.mx/2014/11/unidad-5-relaciones.html

Entonces la matriz de R es
Recíprocamente, dando los conjuntos A y B con m y n elementos respectivamente, una matriz de
m x n formada de ceros y unos determina una relación de A en B, como se ilustra en el siguiente
ejemplo. Ejemplo:

Determinemos las parejas ordenadas que están en la relación R representada por la matriz Puesto
que R consiste de aquellas parejas ordenadas, con , se sigue que

Representación de relaciones usando conjuntos. Un conjunto es una colección de objetos

considerada como un objeto en sí. Los objetos de la colección pueden ser cualquier cosa:
personas, números, colores, letras, figuras, etc. Cada uno de los objetos en la colección es un
elemento o miembro del conjunto.
Por ejemplo, el conjunto de los colores del arcoíris es: AI = {Rojo, Naranja, Amarillo, Verde, Azul,
Añil, Violeta}
Un conjunto suele definirse mediante una propiedad que todos sus elementos comparten.
Por ejemplo, para los números naturales, si consideramos la propiedad de ser un número primo, el
conjunto de los número primos es:
P = {2, 3, 5, 7, 11, 13, …}

Un conjunto queda definido únicamente por sus miembros y por nada más. En particular el orden
en el que se representen estos es irrelevante. Además, cada elemento puede aparecer de manera
idéntica una sola vez, esto es, no puede haber elementos totalmente idénticos repetidos.
Por ejemplo: S = {Lunes, Martes, Miércoles, Jueves, Viernes} = {Martes, Viernes, Jueves, Lunes,
Miércoles} AI = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta} = {Rojo, Naranja, Amarillo,
Verde, Azul, Añil, Violeta, Naranja} Los conjuntos pueden ser finitos o infinitos.
El conjunto de los número naturales es infinito, pero el conjunto de los planetas en el sistema solar
es finito (tiene ocho elementos). Además, con los conjuntos pueden combinarse mediante
operaciones, de manera similar a las operaciones con números. Los conjuntos son un concepto
básico, en el sentido de que no es posible definirlos en términos de nociones más elementales, por
lo que su estudio puede realizarse de manera informal, apelando a la intuición y a la lógica.
Por otro lado, son el concepto fundamental de la matemática: mediante ellos puede formularse el
resto de objetos matemáticos, como los números y las funciones, entre otros. Su estudio detallado
requiere pues la introducción de axiomas y conduce a la teoría de conjunto Representación de
relaciones usando grafos.
Un grafo es el principal objeto de estudio de la teoría de grafos. Informalmente, un grafo es un
conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que
permiten representar relaciones binarias entre elementos de un conjunto. Típicamente, un grafo se
representa gráficamente como un conjunto de puntos (vértices o nodos) unidos por líneas (aristas).
Un grafo G es un par ordenado G = (V,E), donde:
• V es un conjunto de vértices o nodos, y
•E es un conjunto de aristas o arcos, que relacionan estos nodos.
Normalmente V suele ser finito. Muchos resultados importantes sobre grafos no son aplicables
para grafos infinitos. Se llama orden del grafo G a su número de vértices, | V | . El grado de un
vértice o nodo V es igual al número de arcos E que se encuentran en él. Un bucle es una arista
que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y el nodo final coinciden.
EJEMPLO:
• V:={1,2,3,4,5,6} • E:={{1,2},{1,5},{2,3},{2,5},{3,4},{4,5},{4,6}}

El hecho que el vértice 1 sea adyacente con el vértice 2 puede ser denotado como 1 ~ 2. • En la
teorías de las categorías una categoría puede ser considerada como un multigrafo dirigido, con los
http://9relaciones.blogspot.mx/2014/11/unidad-5-relaciones.html

objetos como vértices y los morfismos como aristas dirigidas. • En ciencias de la computación los
grafos dirigidos son usados para representar máquinas de estado finito y algunas otras estructuras
discretas.
Una relación binaria R en un conjunto X es un grafo dirigido simple. Dos vértices a, b en X están
conectados por una arista dirigida ab si aRb.
Representación de relaciones usando diagramas de flechas.
Una forma de representar el producto cartesiano es el diagrama de flechas. Escriba los elementos
de a y los elementos de b en dos discos disyuntos, y luego dibuje una flecha de ” a e a “ en ” b e b”
cada vez que a este relacionado con b.

PROPIEDADES DE RELACIONES

Definición:
Una relación sobre un conjunto A es llamada reflexiva si (a, a) a A, es decir:
es reflexiva a (a a)
Primeramente definamos algunas relaciones que nos serán utiles a lo largo de este tema.
Sea A = {1, 2, 3, 4} y sean

R1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)}
R2 = {(1, 1), (1, 2), (2, 1)}
R3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}
R4 = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}
R5 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}
R6 = {(3, 4)}

Ejemplo:
¿Cuáles relaciones son reflexivas? R3 y R5

Definición:
Una relación R sobre un conjunto A es llamada no reflexiva (o irreflexiva) si el par ordenado
(a, a) , a A, es decir:
es no reflexiva a (a a)

Ejemplo:
¿Cuales de las relaciones descritas no son reflexivas? R4 y R6

Mientras que R1 y R2 no relaciones que no son ni reflexiva ni no reflexivas.

Por medio de tablas podemos mostrar este tipo de relaciones.

Definición:
Una relación en un conjunto A es llamada simétrica si (a, b) implica que (b, a) , es
decir:
http://9relaciones.blogspot.mx/2014/11/unidad-5-relaciones.html

es simétrica a b (a b b a)
¿Cuáles de las anteriores relaciones representan una relación simétrica? R2 y R3
Definición:
Una relación en un conjunto A es llamada antisimétrica si (a, b) y (b, a) ,
entonces a = b, a, b A, es decir:

es antisimétrica a b (a b b a a = b)

Otra forma de expresarlo es diciendo que cuando a b se tiene que, a b ó b a.

¿Cuáles de las anteriores relaciones son antisimétrica? R4, R5 y R6, ya que no hay pares de
elementos a y b con a b tales que (a, b) y (b, a) .
Por medio de tablas podemos mostrar este tipo de relaciones.

Definición:
Una relación en un conjunto A es llamada transitiva si a, b, c A, (a, b) y
(b, c) entonces (a, c) , esto es:

es transitiva a b c (a b b c a c)

¿Cuáles de las anteriores relaciones representan una relación transitiva? R4 y R5.

Por medio de una tabla seria:

Ya que se tiene que:

(3, 2) y (2, 1) (3, 1)
(4, 2) y (2, 1) (4, 1)
(4, 3) y (3, 1) (4, 1)
(4, 3) y (3, 2) (4, 2)

Un grafo dirigido de una relación transitiva tiene la propiedad que si existen aristas dirigidas de x a y y
de y a z, también existe una arista dirigida de x a z. Como lo muestra el siguiente grafo
http://9relaciones.blogspot.mx/2014/11/unidad-5-relaciones.html

Definición:
Sea una relación Binaria sobre A. La extensión transitiva de , denotada por , es una relación
Binaria sobre A tal que contiene a y además si (a, b) y (b, c) entonces (a, c) .

Ejemplo:
Sean A = {a, b, c, d} y = {(a, b), (b, c), (c, b), (c, d)}, entonces
= {(a, b), (a, c), (b, b), (b, c), (b, d), (c, b), (c, c), (c, d)}

Si es una Relación transitiva entonces es igual a

Si denota la extensión transitiva de , y en general denota la extensión transitiva de i,
definimos la cerradura transitiva de , denotada por , como el conjunto unión de , , , ... ,
entonces
= {(a, b), (a, c), (a, d), (b, b), (b, c), (b, d), (c, b), ( c, c), (c, d)}
Lo que por medio de digrafos se puede representar como: