Fundamentos de la Matemática/Tipos de las relaciones binarias homogéneas

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda
RelaRef 03.svg

Una relación binaria homogéneas puede cumplir o no una serie de propiedades:

reflexiva
simétrica o antisimétrica
transitiva
acotada
total

Esto da lugar a que se pueda clasificar por tipos según las propiedades que cumpla. Normalmente desde un punto de vista matemático se estudian unos tipos de relaciones binarias homogéneas muy concretas que podemos ver en el esquema.

Relación binaria 101.svg

Relaciones binarias homogéneas[editar]

Relación homogénia 012.svg

Dado un conjunto A y una relación R entre los elementos de ese conjunto, dado que el conjunto inicial y final de esa relación es el mismo conjunto, esta relación se dice homogénea, a diferencia de la correspondencia (o relación binaria heterogenia) en las que los conjuntos inicial y final son diferentes o los consideramos como diferentes.

Partiendo de este tipo de relación matemática podemos considerar los siguientes casos:

Relación reflexiva[editar]

Relación homogénia 010.svg

Una relación binaria homogénea, que cumple la propiedad reflexiva, se dice relación reflexiva.

Dado un conjunto A en el que se ha definido una relación binaria R, si se cumple que:

Para todo elemento x de A, se cumple que el par ordenado (x,x) pertenece a la relación, esta relación es reflexiva.

En el ejemplo, representado en el diagrama sagital de la derecha, tenemos el conjunto:

Y la relación:

Su representación cartesiana seria:

Donde puede verse la relación R, entre los elementos del conjunto A, en el eje horizontal el conjunto A como conjunto inicial (de donde salen las flechas) y en el eje vertical el conjunto A como conjunto final (donde llegan las flechas). Representando con una estrella si esa relación se cumple y con un punto si no se cumple, puede verse que la diagonal todo son estrellas, lo que indica que la relación es reflexiva, cada elemento está relacionado consigo mismo.

Relación no reflexiva[editar]

Relación homogénia 011.svg

Una relación binaria homogénea, que no cumple la propiedad reflexiva, se dice relación no reflexiva.

No para todo elemento x del conjunto A, se cumple que el par ordenado (x,x) pertenece a la relación R.

Lo que es lo mismo que: Dado un conjunto A en el que se ha definido una relación binaria R, si se cumple que:

Si existe x de A, y se cumple que el par ordenado (x,x) no pertenece a la relación, esta relación es no reflexiva.

Dado el conjunto:

Y la relación representada en el diagrama de la derecha:

Su representación cartesiana seria:

Se puede ver que el elemento c no está relacionado con sigo mismo, y por tanto no se cumple la propiedad reflexiva. Es suficiente con que un único elemento del conjunto no cumpla la propiedad reflexiva para que la relación sea no reflexiva.


Relación homogénia 012.svg

La relación representada en el diagrama de la derecha:

Su representación cartesiana seria:

Los elementos a y c no cumplen la relación reflexiva.


Relación homogénia 013.svg

La relación representada en el diagrama de la derecha:

Su representación cartesiana seria:

Los elementos a, c y d no cumplen la relación reflexiva.


Relación homogénia 014.svg

La relación representada en el diagrama de la derecha:

Su representación cartesiana seria:

Los elementos a, b, c y d no cumplen la relación reflexiva. que son todos los elementos del conjunto A.

Dado un conjunto A en el que se ha definido una relación binaria R, se cumple que:

Para todo elemento x del conjunto A, se cumple que el par ordenado (x,x) no pertenece a R. Esto es la relación R definida en A cumple la propiedad irreflexiva, que es un caso particular de las relaciones no reflexivas en la que ningún elemento del conjunto está relacionado con sigo mismo.

Las relaciones que son no reflexivas y no irreflexivas simultáneamente se dicen arreflexivas.

Referencias[editar]