UNIDAD II.

RELACIONES
 INTRODUCCIN

Hemos estudiado la relacin de subconjunto para conjuntos.

En lgebra y clculo son importantes las relaciones entre variables; en geometra lo

son las relaciones entre figuras.

Pero, Qu entendemos por relacin?

 Las relaciones son muy importantes en matemticas y sobretodo en computacin,
pues vienen a ser una herramienta fundamental en Bases de Datos, Programacin,
etc.; casi en cualquier tpico de una u otra forma se utiliza el concepto de relacin.

El trmino relacin es muy amplio y se puede conceptualizar en trminos muy

generales.

Una relacin es una asociacin entre elementos u objetos, generalmente de dos

conjuntos arbitrarios. Una manera de formalizar el concepto y al mismo tiempo
hacerlo prctico para usarse en computacin es considerar una relacin como un
conjunto de pares ordenados.
 DEFINICIN FORMAL

Una relacin R en un conjunto A es un subconjunto no vaco del

producto cartesiano A A. Para denotar que un elemento a est
relacionado con otro b por la relacin R escribimos (a, b) R o tambin
aRb (y su negacin a/b).
 DOMINIO E IMAGEN

Llamaremos dominio de una relacin R al conjunto formado por todos

los primeros elementos de los pares ordenados que pertenecen a R, e
imagen o rango al conjunto formado por los segundos elementos.

Es decir, si R es una relacin de A a B, entonces

() = { , (, ) }
() = { , (, ) }
 EJEMPLO:

Para los conjuntos = {1, 2, 3, 4, 5} , = {1, 2, 3} , = {2, 4, 5} ,

determinar:
a) = | |.
b) El dominio de R
c) El rango de R
d) 1 ( )
 SOLUCIN:

a) = 1, 2, 3 {2, 4, 5}
= 1,2 , 1,4 , 1,5
= 2,2 , 2,4 , 2,5
= 3,2 , 3,4 , (3,5)
 SOLUCIN

b) El dominio de R:
= 1,2,3

c) El rango de R:
= 2,4,5
 SOLUCIN:

d) = 2,4,5 {1,2,3}
= 2,1 , 2,2 , 2,3
= 4,1 , 4,2 , 4,3
= 5,1 , 5,2 , (5,3)
 REPRESENTACIN MATRICIAL

Una relacin entre dos conjuntos A y B puede ser representada por una matriz
binaria, que consiste en 0s y 1s.

Asociamos cada elemento del primer conjunto A con un rengln de la matriz y cada
elemento del segundo conjunto B con una columna de la matriz. Los elementos
deben estar ordenados.

En el correspondiente lugar del rengln y columna asociada a un par de elementos el

valor es 1 si el par ordenado est en la relacin y 0 si el par no est.
 EJEMPLO:

Si = {, , , } , = {1,2,3} y la relacin = {(, 2), (, 3), (, 1), (, 2)}

entonces la matriz es:

1 2 3
a 0 1 1
b 1 0 0
c 0 0 0
d 0 1 0
 REPRESENTACIN GRFICA

Representa la relacin = {(, ), (, ), (, )} definida en el conjunto =

{, , }.
 PROPIEDADES DE LAS RELACIONES

Las relaciones se pueden clasificar de acuerdo al tipo de asociacin que hay en sus
elementos como: uno-a-uno 11, uno-a-muchos 1-M, muchos-a-uno M-1 o muchos-
a-muchos M-M.

Una relacin R de A a B es: Muchos-a-uno, M-1 si existen dos pares con el mismo
segundo elemento, esto es existen (x,y), (z,y) distintas en la relacin.

Uno-a-muchos 1-M si existen dos pares con el mismo primer elemento, esto es
existen (x,y), (x,z) distintas en la relacin.
 Muchos-a-muchos M-M si es muchos-a-uno y uno-a-muchos. O sea que hay al
menos dos pares con el mismo primer elemento y tambin hay dos pares con el
mismo segundo elemento. O sea que cumple las dos definiciones anteriores.

Uno-a-uno 11 si no es muchos-a-uno ni uno-a-muchos, o sea que no hay dos pares

con el mismo primer elemento y no hay dos pares con el mismo segundo elemento.
 REFLEXIVIDAD

Una relacin binaria R sobre un conjunto A se dice que es reflexiva, cuando cada
elemento de A est relacionado consigo mismo. Es decir:

( )

Es irreflexiva si ninguno de los elementos

se relaciona consigo mismo.
 EJEMPLO:

Sea = {1, 2, 3, 4} y = {(1, 1), (1, 2), (2, 2), (3, 3), (3, 2), (4, 4)} una relacin
definida en A. Es reflexiva? Dibujar el digrafo y escribir la matriz de la relacin.

Si es reflexiva, ya que todos los

elementos del conjunto se
relacionan consigo mismo.
 SIMETRA

Una relacin binaria R sobre un conjunto A es simtrica si cada vez que a est
relacionado con b se sigue que b est relacionado con a. Es decir:

, ( )
 EJEMPLO:

Sea = {1, 2, 3, 4} y = {(1, 1), (1, 2), (2, 1), (2, 3), (3, 2), (3, 3)} una relacin
definida en A. Es simtrica? Dibujar el digrafo y escribir la matriz de la relacin.

Si es simtrica ya que
para cada par ordenado
la relacin es mutua.
 ASIMETRA

Una relacin binaria R definida en un conjunto A se dice que es asimtrica si cada vez
que aRb se sigue que bR/a. Es decir:

, ( / )
 EJEMPLO:

Sea = {1, 2, 3, 4} y = {(1, 2), (1, 4), (2, 3), (2, 4), (3, 1), (4, 3)} una relacin
definida en A. Es asimtrica? Dibujar el digrafo y escribir la matriz de la relacin.

Es asimtrica, ya que para

cada par ordenado la
relacin no es mutua.
 ANTISIMTRICA

Una relacin binaria R sobre un conjunto A se dice antisimtrica si cuando (a, b) R

y (b, a) R, entonces a = b. Es decir:

, ( = )

Es aqulla en que las nicas parejas cuyas inversas tambin son parte de la relacin
son las parejas de elementos iguales.
 EJEMPLO:

Sea = {1, 2, 3, 4} y sea = {(1, 2), (2, 2), (3, 4), (4, 1)} una relacin definida en
A. Es antisimtrica? Dibujar el digrafo y escribir la matriz de R.

Si es antisimtrica, ya que la
nica relacin inversa es
entre un mismo elemento.
RELACIONES SIMTRICA, ASIMTRICA Y ANTISIMTRICA
 TRANSITIVIDAD

Se dice que una relacin R definida en un conjunto A es transitiva si cuando (a, b) R

y (b, c) R, entonces (a, c) R. Es decir,

, , ( )
 EJEMPLO:

Sea = {1, 2, 3, 4} y = {(1, 2), (1, 3), (1, 4), (2, 3)} una relacin definida sobre
A. Es transitiva? Dibujar el digrafo y escribir la matriz de la relacin.

Es transitiva ya que
podemos encontrar las
relaciones (1,2),(2,3) y (1,3)
RELACIN TRANSITIVA Y NO TRANSITIVA
 CARACTERSTICAS

Estas propiedades no son todas independientes.

Para empezar, por ejemplo, las propiedades reflexiva e irreflexiva son incompatibles,
al igual que las propiedades de simetra y antisimetra.
 TEOREMAS DE RELACIONES

Teorema 1: Una relacin R en un conjunto es reflexiva si y slo si la diagonal principal de la

matriz asociada a la relacin tiene nicamente unos. De la misma forma es antirreflexiva si
tiene solamente ceros.

Teorema 2 Una relacin R en un conjunto es simtrica si y slo si los elementos opuestos

con respecto a la diagonal principal son iguales.

Teorema 3 Una relacin R en un conjunto es antisimtrica si y slo si los elementos

opuestos con respecto a la diagonal principal no pueden ser iguales a 1; esto es, puede
aparecer 0 con 1 o pueden aparecer ceros.
 EJEMPLOS:

Reflexiva Simtrica Antisimtrica

 EJERCICIOS:

Sea el conjunto A = {a, b, c, d}. Estudiar las propiedades de las siguientes relaciones
definidas en l. En particular, describir sus dominios y contradominios y verificar si
son reflexivas, irreflexivas, simtricas, asimtricas, antisimtricas y/o transitivas.
a) 1 = {(, ), (, ), (, ), (, ), (, ), (, ), (, )}.
b) 2 = {(, ), (, ), (, )}.
c) 3 = {(, ), (, ), (, ), (, ), (, ), (, ), (, ), (, ), (, ), (, )}.
d) 4 = {(, ), (, ), (, ), (, ), (, ), (, )}.
 RELACIONES DE EQUIVALENCIA

La relacin de equivalencia, o simplemente equivalencia, es la herramienta matemtica

para hacer clasificaciones o particiones.

En matemticas y en computacin las relaciones de equivalencia juegan un papel muy

importante, en la mayora de las estructuras matemticas que manejamos la igualdad
es en realidad una equivalencia, como por ejemplo en fracciones.

Definicin: Una relacin es una equivalencia si es reflexiva, simtrica y transitiva.

 EJEMPLO:

Una equivalencia en el conjunto = {, , , } . Aparecen tres clases de

equivalencia: {, }, {}, {}.
 PARTICIN

El principal resultado de la teora de equivalencias, como se ha dicho, es que las clases de

equivalencia constituyen una clasificacin de los elementos del conjunto. Es decir, todo
elemento est en una clase de equivalencia y slo en una.

Definicin: Una particin de un conjunto A es una familia de subconjuntos de A, { } ,

donde I es un conjunto de ndices, tal que la unin de todos los subconjuntos es el conjunto
A y la interseccin de dos diferentes cualesquiera es vaca.

Es decir, una particin de un conjunto est formada por subconjuntos disjuntos ningn
elemento aparece en dos conjuntos tal que la unin es igual al conjunto original.
 EJEMPLO:

Dado el conjunto
= {1, 2, 3, 4, 5, 6},
Y las familias:
1 = 1, 2 , 3, 4, 5 , 6
2 = {, }
3 = 1, 2, 3, 4 , 4, 5, 6
4 = {{1, 2}, {6}}

Cual de ellas es particin de A?

 CERRADURA REFLEXIVA, SIMTRICA Y TRANSITIVA

Si alguna de las propiedades Reflexiva, Simtrica o Transitiva no se cumplen, podemos

hacerlas cumplir agregando las relaciones necesarias para ello.

A esto se le conocer como cerradura para las propiedades Reflexiva, Simtrica o

Transitiva.
 EJEMPLO CERRADURA REFLEXIVA:

Sea = 1,1 , 2,3 , 1,3 , 1,4 , 3,3 , 4,4 , encontrar su cerradura reflexiva:

Primero identificamos los elementos del dominio = 1,2,3,4

Hay que identificar que cada elemento del dominio est relacionado consigo mismo.
Estn 1,1 , 3,3 , 4,4 , nos falta (2,2) , para tener la cerradura mnima reflexiva.

La cerradura sera = 1,1 , 2,3 , 1,3 , 1,4 , 3,3 , 4,4 , (, )

Si una relacin es reflexiva desde un inicio, la cerradura es ella misma.

 EJEMPLO CERRADURA SIMTRICA:

Sea = 1,1 , 2,3 , 2,4 , 4,2 , encontrar su cerradura simtrica:

Primero identificamos que cada pareja de la relacin tenga a su pareja inversa.

Estn 1,1 , 2,3 , 2,4 , 4,2 , nos falta 3,2 , para tener la cerradura mnima
simtrica.

La cerradura sera = 1,1 , 2,3 , 2,4 , 4,2 , (, )

Si una relacin es simtrica desde un inicio, la cerradura es ella misma.

 EJEMPLO CERRADURA TRANSITIVA:

Sea = 2,3 , 1,4 , 3,2 , 4,3 , encontrar su cerradura transitiva:

Tomamos cada pareja de la relacin, y a partir de su segundo elemento buscamos todas las parejas que
inician con ese elemento.
Tenemos (2,3) y tenemos (3,2), para cumplir con la transitiva nos falta 2,2 , para tener la cerradura
mnima simtrica.
Tenemos (1,4) y tenemos (4,3), para cumplir con la transitiva nos falta 1,3 , para tener la cerradura
mnima simtrica.
Tenemos (3,2) y tenemos (2,3), para cumplir con la transitiva nos falta 3,3 , para tener la cerradura
mnima simtrica.
Tenemos (4,3) y tenemos (3,2), para cumplir con la transitiva nos falta 4,2 , para tener la cerradura
mnima simtrica.
 EJEMPLO CERRADURA TRANSITIVA:

Agregando estas parejas nos queda

= 2,3 , 1,4 , 3,2 , 4,3 , , , , , , , , ,

Una vez agregadas las parejas, hay que verificar que se siga cumpliendo la regla, hasta
que ya no se afecte la relacin
Faltara agregar (1,2)

La cerradura transitiva final sera:

= 2,3 , 1,4 , 3,2 , 4,3 , , , , , , , , , (, )

Si una relacin es transitiva desde un inicio, la cerradura es ella misma.

 EJERCICIOS:

Sea = {1, 2, 3, 4} y sean sus relaciones las siguientes:

1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)}
2 = {(1, 1), (1, 2), (2, 1)}
3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)}
4 = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}
5 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}
6 = {(3, 4)}

Verificar las propiedades que cumple cada relacin a partir de sus grafos y matrices, adems verificar si
son equivalencias, y encontrar para cada una las cerraduras reflexiva, simtrica y transitiva.