RELACIONES

DEFINICIÓN: Una relación es un conjunto de parejas ordenadas.

Si A y B son dos conjuntos cualesquiera, R es una relación de A en
B sí y sólo sí R es subconjunto de A x B.
Si R ⊂ A x A se dice que R es una relación de A en A o
simplemente una relación en A.
0 y A x B son relaciones de A en B, puesto que 0 ⊂ A x B y A x B ⊂
A x B.

Si (x,y) ∈ R se escribe x R y y se lee "x está en relación con y".

EJEMPLO:

Sean: A = {1, 3, 5}, B = {2, 4, 6, 8}.

R1 = {(3, 2), (1, 8), (5, 4)} es una relación de A en B.
R2 = {(3, 8)} es una relación de A en B.
R3 = {(x, y) / x ∈ A ∧ y ∈ B ∧ x > y} = {(3, 2),(5, 2),(5,
4)}.
R4 = {(x, y) / x ∈ A ∧ y ∈ B ∧ x + y ≤ 7}
     = {(1, 2), (1, 4), (1, 6), (3, 2), (3, 4), (5, 2)}.
R5 = {(1, 5), (3, 3)} es una relación de A en A.
R6 = {(2, 3), (6, 1)} es una relación de B en A.
R7 = {(3, 6), (1, 4), (5 ,8), (2, 1)} no es una relación de A
en B y tampoco de B en A.
R8 = {(x, y) / x ∈ A, y ∈ B, x - y = 0} = 0.

Representación gráfica de las relaciones

Los pares ordenados se pueden representar gráficamente
por medio de diagramas sagitales o por medio de puntos
en el plano cartesiano. Veamos el siguiente ejemplo.
Ejemplo:
Si A = {1, 2, 3, 4, 5} y B = {1, 3, 5, 7, 9} y R la relación
definida por la regla
R = {( x , y ) / y = 2 x + 1}, graficar R.
Solución
Los pares ordenados que pertenecen a la relación (que
cumplen con y = 2x + 1) son:
R = {(1, 3), (2, 5), (3, 7), (4,
9)}
Y la gráfica correspondiente es la siguiente:

DOMINIO DE UNA RELACIÓN

Definición. Sea R una relación. Se llama Dominio de R y se denota
por D(R) al conjunto formado por todas las primeras componentes
de las parejas ordenadas que pertenecen a R. Por lo tanto:

D(R) = {x / (∃ y) (x, y) ∈ R}

En consecuencia,
x ∈ D(R) ⇔ (∃ y) ((x, y) ∈ R).
x ∉ D(R) ⇔ (∀ y) ((x, y) ∉ R).
RANGO DE UNA RELACIÓN
Definición. Sea R una relación. Se llama Rango de R y se denota
por ϒ(R) al conjunto formado por todas las segundas componentes
de las parejas ordenadas que pertenecen a R. Por lo tanto:

ϒ (R) = {y / (∃ x) (x, y) ∈ R}

En consecuencia,
y ∈ ϒ (R) ⇔ (∃ x) ((x, y) ∈ R).
y ∉ ϒ (R) ⇔ (∀ x) ((x, y) ∉ R).
EJEMPLO:
D(R1) = {3, 1, 5} ϒ (R1) = {2, 8, 4} D(R4) = {3, 1,
D(R2) = {3} ϒ (R2) = {8} 5} ϒ (R4) = {2, 4, 6}
D(R3) = {3, 5} ϒ (R3) = {2, 4} D(R5) = {3, 1} ϒ (R5)
= {5, 3}
D(R6) = {2, 6} ϒ (R6)
= {3, 1}.

RELACIÓN REFLEXIVA EN UN CONJUNTO.

Definición. R es una relación reflexiva en un conjunto A sí y sólo sí
R es una relación en A y todo elemento de A está relacionado con
sigo mismo. Es decir, R es reflexiva en A si y sólo sí,
R ⊂ A x A ∧ (∀ x ∈ A) ((x, x) ∈ R).
R no es reflexiva en A si y sólo si,
R ⊄ A x B ∨ (∃ x ∈ A) ((x, x) ∉ R).
EJEMPLO
Sea A = {1, 3, 5}.
R1 = {(1, 3), (3, 5), (1, 1), (5, 1), (5, 5), (3, 1), (3, 3)} es reflexiva en
A.
R2 = {(1, 1), (5, 3), (5, 5), (3, 1)} no es reflexiva en A.
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

RELACIÓN SIMÉTRICA EN UN CONJUNTO.

Definición. R es una relación simétrica en A sí y sólo sí R es
relación en A y cualesquiera sean los elementos x,y de A se verifica
que si x R y entonces y R x. En consecuencia:
 R es simétrica en A ⇔ R ⊂ A x A ∧ (∀ x)(∀ y) ( x R y ⇒ y R x).
 R no es simétrica en A ⇔ R ⊄ A x A ∨ (∃ x)(∃ y) (x R y ∧ y 
x).

EJEMPLO

Las relaciones IA y A2 son simétricas en A cualquiera sea A.

EJEMPLO
Sea A = {3, 4, 2} entonces:
R = {(2, 3), (3, 4), (4, 3), (3, 2), (4, 4)} es simétrica en A.
S = {(3, 2), (4, 3), (2, 2), (3, 4)} no es simétrica en A.
EJEMPLO:
La relación T = {(x, y) / x ∈ N, y ∈ N∧x | y} donde la expresión "x | y"
significa x divide a y no es simétrica en N puesto que si x | y no
necesariamente y | x.
Una relación   en un conjunto A es llamada simétrica si   (a, b)     
implica que (b, a)    , es decir:
 es simétrica    a  b (a   b  b   a)
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)}

¿Cuáles de las anteriores relaciones representan una relación

simétrica? R2 y R3

RELACIÓN TRANSITIVA EN UN CONJUNTO.

Relación transitiva. R es una relación transitiva en A sí y sólo sí R
es una relación en A y cualesquiera sean x, y, z pertenecientes a A
se verifica que:
Sí x R y ∧ y R z, entonces x R z.
En consecuencia:
 R es transitiva en A equivale a decir:
R ⊂ A x A ∧ (∀ x) (∀ y) (∀ z) ( x R y ∧ y R z ⇒ x R z)
 R no es transitiva en A equivale a decir:
R ⊄ A x A ∨ (∃ x) (∃ y)(∃ z) ( x R y ∧ y R z ∧ x  z).
EJEMPLO
Sea = {2, 4, 6, 3} entonces:
R = {(2, 2), (2, 3), (4, 6), (6, 2), (4, 2), (4, 3), (6, 3)} es transitiva en
A.
S = {(2, 2), (4, 4), (4, 2), (2, 6), (6, 4), (6, 2)} no es transitiva en A.
EJEMPLO
La relación T = {(x, y) / x ∈ N, y ∈ N ∧ x | y} es transitiva en 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 gráfico 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
¿Cuáles de las anteriores relaciones representan una relación
transitiva? R4 y R5
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)}