RELACIONES BINARIAS

Cuando un predicado abarca ms de un sujeto, se suele hablar de relaciones y se representa como Rxy xRy. As, por ejemplo, si tenemos: Juan es ms eficiente que Pedro, tendramos que x=Juan, y=Pedro y R=es ms eficiente que. Se puede tambin definir desde un punto conjuntos a una relacin como un subconjunto cartesiano del conjunto: R A x A Tipos de relaciones Reflexividad 1) 2) Una relacin R se dir reflexiva si (x)xRx. Una relacin R se dir areflexiva si (x)xRx o (x) xRx de vista de del producto

Simetra 3) 4) 5) Una relacin R se dir simtrica si (x)(y)[xRy ===> yRx]. Una relacin R se dir asimtrica si (x)(y)[xRy ===> yRx]. Una relacin R se dir antisimtrica si (x)(y)[xRy yRx ===> x=y].

Transitividad: 6) Una relacin R se dir transitiva si (x)(y)(z)[xRy yRz ===> xRz].

Circularidad: 7) Una relacin R se dir circular si (x)(y)(z)[xRy yRz ===> zRx]. anteriores se pueden definir

En base a las propiedades diversos tipos de relaciones: a.- Relacin de equivalencia

Una relacin se dice que es de equivalencia, si es: 1).- Reflexiva. 2).- Simtrica. 3).- Transitiva.

b.- Relacin de semejanza: Una relacin se dice que es de semejanza, si es: 1.- Reflexiva. 2.- Simtrica. c.- Relacin de orden dbil: Una relacin se dice que es de orden dbil, si es: 1.- Reflexiva. 2.- Antisimtrica. 3.- Transitiva. d.- Relacin de orden estricto: Una relacin se dice que es de orden estricto, si es: 1.- Areflexiva. 2.- Asimtrica. 3.- Transitiva. Representacin de las relaciones Existen varias maneras de representar las relaciones, entre las ms comunes tenemos: a.- Grafos Un grafo es un conjunto de puntos y lneas entre dichos puntos; cada elemento del conjunto estara representado por un punto y la relacin entre ellos por las lneas. Cuando la relacin no es simtrica dichas lneas son flechas. b.- Matrices Los elementos vienen representados por las filas y columnas de la matriz. La existencia o no de relaciones entre los elementos se indica con un uno (1) o un cero (0) en la respectiva casilla de la interseccin de las filas y columnas correspondientes. De esta manera una relacin reflexiva tendra en todos los elementos de la diagonal un uno, una relacin simtrica estara representado por una matriz simtrica.