PROPIEDADES DE LAS RELACIONES BINARIAS

De entre las diversas propiedades que puede (o no) tener una relacin binaria en interesantes son las siguientes: 1. Reflexiva: si 2. Irreflexiva: si 3. Simtrica: si 4. Antisimtrica: si 5. Transitiva: si 6. Intransitiva: si , , , , , , . . . . . . , las ms

Hacemos notar que las propiedades anteriores son comprobables a partir de la matriz de la relacin , siempre (por supuesto) que el conjunto sea finito. Para ello, necesitamos previamente un poco ms de terminologa. As se denomina relacin diagonal en , y se denota por , a la relacin definida por Obviamente, la matriz asociada a la relacin diagonal es aqulla que tiene 1 en todas las posiciones de la diagonal y 0 en el resto, matriz que denominaremos identidad y representaremos por . De esta manera, se obtiene fcilmente el siguiente Teorema 4.1 Sea 1. de la diagonal. 2. 3. 4. de la diagonal 5. 6. posiciones de la diagonal. , es decir, si , es decir, si tiene 0 en todas las es simtrica. , es decir, si no existen fuera dos posiciones simtricas cuyos valores sean 1 simultneamente. . . y sea la matriz asociada a , es decir, si . Entonces: tiene 1 en todas las posiciones

PROPIEDADES DE LAS RELACIONES BINARIAS HOMOGNEA

Una relacin binaria puede tener ciertas propiedades, segn los pares ordenados que formen parte de dicha relacin o no formen parte de ella, veamos algunas: Propiedad reflexiva Una relacin tiene la propiedad reflexiva, si todo elemento esta relacionado consigo mismo, si no todos los elementos del conjunto estn relacionados consigo mismo se dice que la relacin no es reflexiva.

Para todo elemento a que pertenezca al conjunto A, el par ordenado (a,a) pertenece a la relacin binaria R. Tngase en cuenta que debe cumplirse para todos los elementos del conjunto sin excepcin, si esta propiedad solo se da en algunos casos la relacin no es reflexiva:

No existe ningn elemento a en A, para el que el par ordenado (a,a) no pertenezca a la relacin R. Puede verse que estas dos afirmaciones son iguales. Propiedad irreflexiva Una relacin binaria tiene la propiedad irreflexiva, tambin llamada: antirreflexiva o antirrefleja, si ningn elemento del conjunto esta relacionado consigo mismo:

Que tambin puede expresarse

No existe ningn elemento a en el conjunto A que cumpla que: (a,a) pertenezca a R. Propiedad simtrica Una relacin binaria tiene la propiedad simtrica, si se cumple que un par ordenado (a,b) pertenece a la relacin entonces el par (b,a) tambin pertenece a esa relacin:

Para todo par ordenado (a,b) que pertenezca a R, implica que el par (b,a) tambin pertenece a R, tngase en cuenta que si el par (a,b) no pertenece a la relacin el par (b,a) tampoco tiene que pertenecer a esa relacin:

No existe ningn par ordenado (a,b) que pertenezca a R y que el par (b,a) no pertenezca a R. Propiedad antisimtrica Una relacin binaria se dice que tiene la propiedad antisimtrica si los pares ordenado (a,b) y (b,a) pertenecen a la relacin entonces a = b:

Dicho de otra manera, no existen los elementos a, b distintos, y que a este relacionado con b y b este relacionado con a

Propiedad transitiva Una relacin binaria tiene la propiedad transitiva cuando, dado los elementos a, b, c del conjunto, si a esta relacionado con b y b esta relacionado con c, entonces a esta relacionado con c:

Propiedad total Una relacin binaria se dice que es total: si para todo elemento del conjunto: a, b; o a esta relacionado con b b esta relacionado con a, esto es el grafo de la relacin es conexo: