Las relaciones se pueden clasificar de acuerdo al tipo de asociación que hay en sus

elementos como: uno-a-uno 1–1, uno-a-mucho 1-M, muchos-a-uno M-1 o muchos-

a-muchos M-M.

Recordemos que una relación es un conjunto de pares ordenados. Ver sección 2.

Relaciones Introduccion.

‘Definición:’ Una relación 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 relación, con símbolos
(∃ x ∈ A)(∃ y ∈ B)(∃ z ∈ A) ((x,y) ∈ R ^ (z,y) ∈ R ^ x ≠ z)

Uno-a-muchos ‘1-M’ .

si existen dos pares con el mismo primer elemento, esto es

existen (x,y), (x,z) distintas en la relación, con símbolos
(∃ x ∈ A)(∃ y ∈ B)(∃ z ∈ B) ((x,y) ∈ R ^ (x,z) ∈ R ^ y ≠ z)

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 también hay dos pares con el mismo segundo elemento.\\ O sea que
cumple las dos definiciones anteriores.

Uno-a-uno ‘1–1′ .

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.

Esto significa que cumple las dos condiciones siguientes

(∀ x ∈ A)(∀ y ∈ B)(∀ z ∈ B)((x,y) ∈ R ^ (x,z) isin; R ⇒ y = z)
(∀ x ∈ A)(∀ y ∈ B)(∀ z ∈ A)((x,y) ∈ R ^ (z,y) ∈ R ⇒ x = z)
 Propiedad reflexiva

Sea R una relación binaria R en A, (A  ).

Definición:

Diremos que R es reflexiva si aA, a R a

Ejemplo:

1) En N la relación R definida por: “x R y  x divide a y”

es reflexiva ya que xN, x R x porque x divide a x
2) En N la relación R definida por:
“a R b  a es el doble de b”.
no es reflexiva ya que (1, 1) R puesto que 1 no es el doble de 1

Propiedad simétrica
Definición:

Diremos que R es simétrica si  a, b A: a R b  b R a

Ejemplo:

1) En Z la relación R definida por: “a R b  a – b es múltiplo de 2”.

es simétrica ya que si a R b  hay pZ tal que a – b = 2p
 b – a = 2(-p) con -p  Z  b R a

2) En N la relación R definida por: “x R y  x divide a y”

no es simétrica ya que 2 R 4 porque 2 divide a 4 pero 4 no divide a 2
por lo tanto (4,2) R

Propiedad simétrica

Representación Cartesiana

A
Si la relación R es simétrica
sobre A entonces los
pares relacionados se reflejan
respecto a la diagonal
principal.
A

Representación Sagital:

Si la relación R es simétrica entonces

todo par de elementos que tiene una flecha
A la tiene en las dos direcciones
 Propiedad antisimétrica
Definición:

Diremos que R es antisimétrica si  a, b A: [a R b  b R a]  a = b

Otra manera de expresarlo: Si ab  [ (a,b)  R  (b,a)  R ]

Ejemplo:

1) En N la relación R definida por: “x R y  x divide a y” es antisimétrica

Ya que si a R b y b R a entonces existen n, m N tales que:

b = an y a = bm. Combinándolas, a = bm = (a.n).m  n.m = 1 
n = m = 1  a = b.

2) En Z la relación R definida por: “a R b  a – b es múltiplo de 2”.

no es antisimétrica ya que 2R4 y 4R2, pero 24

Propiedad antisimétrica

Representación Cartesiana
A
Si la relación R es antisimétrica
pueden existir pares por encima o por
debajo de la diagonal pero ningún par
tiene reflejo respecto a la diagonal
principal excepto la diagonal misma. A

Representación Sagital:

La relación R es antisimétrica si para

cada par de elementos distintos
A relacionados la flecha está solo en un
sentido

Cuadro Resumen
Verifique:

Propiedad Se satisface sii No se satisface sii

R
Reflexiva aA a R a  aA (a,a)R

Simétrica  a, b A:  a, b A:

aRbbRa (a, b)  R  (b, a)  R
Antisimétrica  a, b A:  a, b A:
[a R b  b R a]  a = b (a, b)  R  (b, a)  R  a  b
Transitiva  a, b, c A:  a, b, c A:
[a R b  b R c]  a R c (a, b)  R  (b, c)  R  (a, c)  R
 Conteo de relaciones

Relaciones reflexivas
Contemos la cantidad de relaciones reflexivas en A, con A=n
Tenemos n pares de la forma (ai,ai); como AxA=n2, nos quedan n2-n pares
con componentes distintas. Tenemos la opción de incluirlos o no......por lo tanto
hay 2
2n  n relaciones reflexivas en A

Relaciones simétricas

2

Tenemos n  n subconjuntos de la forma (a i , a j ), (a j , ai ), j  i, ai , a j  A 
2
y n subconjuntos de la forma (a i , ai ), ai  A

Tenemos la opción de
2
incluirlos o no......por lo tanto hay
n n
2n2 2 relaciones simétricas en A y....
n2 n
2 2 relaciones reflexivas y simétricas en A.

Tipos de relaciones

Relación de orden

Diremos que una relación binaria R sobre A, es una relación de orden total
si es una relación de orden parcial y además se satisface que:

 a, b A: [a R b  b R a]
En este caso diremos que el conjunto A está totalmente ordenado

Ejercicio:

1) En las relaciones anteriores decida cuáles son de orden parcial o de

orden total
2) Para pensar: Considere la relación en R2, definida por por:
(x,y) R (a,b)  xa yb.
¿Qué tipo de relación es?

Relación de equivalencia
Sea K un conjunto dado no vacío y R una relación binaria definida sobre K. Se dice que
R es una relación de equivalencia si cumple las siguientes propiedades:

 Reflexividad: Todo elemento de K está relacionado consigo mismo. Es decir,

 Simetría: Si un elemento de K está relacionado con otro, entonces ese otro

elemento también se relaciona con el primero. Es decir,

 Transitividad: Si un elemento de K está relacionado con otro, y ese otro a su vez

se relaciona con un tercero, entonces el primero estará relacionado también con
este último. Es decir,

Una relación de equivalencia R sobre un conjunto K puede denotarse con el par

ordenado .

Relaciones de orden

En primer lugar damos la definición de relación de orden.

Definición 6.1   Una relación es de orden si es reflexiva, antisimétrica y transitiva.
Ejemplos típicos de relaciones de orden, de entre los ya estudiados anteriormente en
esta asignatura o en cursos precedentes, podemos citar la implicación lógica entre clases
de equivalencia de proposiciones lógicas, la contención entre conjuntos, la desigualdad
entre números, la relación de divisibilidad entre números naturales, o la comparación de
cardinales entre clases de conjuntos equipotentes (con el mismo cardinal). Las
relaciones de orden se suelen llamar también de orden parcial, en contraposición a lo
que se llama orden total, que definimos a continuación.
Definición 6.2   Una relación de orden se llama orden total si

De todos los ejemplos citados anteriormente, solamente las desigualdades entre

números y la comparación de cardinales son órdenes totales, el resto son sólo
órdenes parciales. Otro ejemplo típico de orden total es el llamado `` orden léxico-
gráfico'', entre cadenas de caracteres, vectores de números, o entre monomios, y
que funciona análogamente al orden en que están ordenadas la palabras en un
diccionario (o los nombres en una guía de teléfonos), es decir, se comparan los
primeros símbolos, si son iguales se comparan los segundos, y así sucesivamente
hasta encontrar el primer símbolo en que ambas palabras difieran, y si esto no es
posible es que ambas palabras son igual

Relaciones de equivalencia

En primer lugar damos la definición de lo que es una relación de equivalencia.

Definición 5.1   Una relación es de equivalencia si es reflexiva, simétrica y transitiva.
Ejemplos típicos de relaciones de equivalencia, de entre los estudiados anteriormente en
esta asignatura, podemos citar la equivalencia lógica, la igualdad de conjuntos, o la
relación entre conjuntos de tener la misma cardinalidad. El aspecto más interesante de
las relaciones de equivalencia es su correspondencia con las particiones de un conjunto.
En primer lugar, si es una relación de equivalencia, se llama clase de equivalencia de

con respecto a al conjunto

Se puede así enunciar (sin demostración) el siguiente

Teorema 5.2   El conjunto cociente

define una partición del conjunto . Recíprocamente, si es una

partición, entonces la relación definida por

tal que
es una relación de equivalencia cuyo conjunto cociente define la partición de partida.

es.