PROPIEDADES DE LAS RELACIONES BINARIAS HOMOGENEAS

Definamos el conjunto A y algunas relaciones definidas sobre ese mismo conjunto.

A = {1, 2, 3, 4}

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)}

I) PROPIEDAD REFLEXIVA:
Una relación   sobre un conjunto A es llamada reflexiva si (a, a)       a   A, es decir:
 es reflexiva     a (a   a)

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

Su contraposición sería NO REFLEXIVA o IRREFLEXIVA

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:
¿Cuáles de las relaciones descritas no son reflexivas?
RTA.:R4 y R6

Nota: Téngase en cuenta que debe cumplirse para todos los elementos del conjunto sin
excepción, si esta propiedad solo se da en algunos casos la relación no es reflexiva.
Ver que de las relaciones R1 y R2 podemos decir que no son reflexivas pero tampoco son
no reflexivas.

Por medio de tablas podemos mostrar este tipo de relaciones.

II) PROPIEDAD SIMÉTRICA:

Una relación   en un conjunto A es simétrica si   (a, b)     implica que (b, a)    , es
decir:
 es simétrica    a  b (a   b  b   a)

Nota: no existen los elementos a, b de A, que a este relacionado con b y b este

relacionado con a y a y b sean distintos.
¿Cuáles de las anteriores relaciones representan una relación simétrica?
RTA.:R2 y R3

Podemos decir que una relación se denomina ANTISIMÉTRICA cuando en una relación   
en un conjunto A se cumple que, si (a, b)     y (b, a)    , entonces a = b,   a, b   A.
 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 la anteriores relaciones son antisimétrica?

RTA.: R4, R5 y R6, ya que no hay pares de elementos a y b con a   b tales que (a, b) y
(b, a)    .

Veamos por medio de tablas:

Una relación ANTISIMÉTRICA la llamamos ASIMÉTRICA cuando si   (a, b)     ocurre

que (b, a)   

III) PROPIEDAD TRANSITIVA:

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?

RTA.: R4 y R5.

Nota: Analicemos la transitividad de la R4:

(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

RELACION BINARIA HOMOGENEA ES DE DEPENDENCIA SI ES REFLEXIVA Y

SIMÉTRICA.

RELACION BINARIA HOMOGENEA ES DE EQUIVALENCIA SI ES REFLEXIVA,

SIMÉTRICA Y TRANSITIVA.

RELACION BINARIA HOMOGENEA ES DE ORDEN SI ES REFLEXIVA, ANTISIMÉTRICA

Y TRANSITIVA.