Propiedades de Las Relaciones Binarias
Propiedades de Las Relaciones Binarias
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
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:
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: