Fundamentos de la Matemática/Propiedades 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

Una relaciones binarias homogéneas, puede cumplir o no una determinada propiedad de la relación binaria homogénea según estas propiedades se determina una determinada estructura en el conjunto respecto a la relación binaria definida.

Dada la definición de relación binaria homogénea de un conjunto A y una propiedad P como el conjunto de pares ordenado R de A que cumple la propiedad P, ha de tenerse en cuenta que la relación binaria es ese conjunto de pares ordenados, que además puede cumplir otras propiedades, reflexiva, simétrica, transitiva, etc, normalmente se dice relación reflexiva, relación simétrica, etc.

Aquí diferenciaremos la relación de sus propiedades, y llamaremos relación al conjunto de pares ordenados de forma general o a sus subtipos, y llamaremos como propiedades a las que una relación puede o no cumplir, por lo tanto diremos: propiedad reflexiva, propiedad simétrica, propiedad transitiva, etc. Ayudando a diferenciar de este modo lo que una relación y sus subtipos de lo que son propiedades de una relación

Reflexividad[editar]

Propiedad reflexiva 0.svg

En una relación binaria homogénea la reflexividad determina la posible relación de un elemento con sigo mismo, en todos los casos, nunca o a veces.

Propiedad reflexiva[editar]

Propiedad reflexiva 1.svg

Una relación es reflexiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que esta relación binaria homogénea es relación reflexiva, si cumple:

  • Relación reflexiva: la relación R es reflexiva si todo elemento a de A está relacionado con sigo mismo.

Para todo a de A se cumple que (a,a) pertenece a R

Propiedad no reflexiva[editar]

Propiedad reflexiva 2.svg

Una relación es no reflexiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que esta relación binaria homogénea es relación no reflexiva, si cumple:

  • Relación no reflexiva: la relación R es no reflexiva si existen elementos a de A que no está relacionados con sigo mismo.

Existe a de A que cumple que (a,a) no pertenece a R

Propiedad irreflexiva[editar]

Propiedad reflexiva 3.svg

Una relación es irreflexiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que esta relación binaria homogénea es relación irreflexiva, si cumple:

  • Relación irreflexiva: la relación R es irreflexiva si ningún elemento a de A está relacionado con sigo mismo.

Para todo a de A se cumple que (a,a) no pertenece a R

Propiedad no irreflexiva[editar]

Propiedad reflexiva 4.svg

Una relación es no irreflexiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que esta relación binaria homogénea es relación no irreflexiva, si cumple:

  • Relación no irreflexiva: la relación R es no irreflexiva si existen elementos a de A que están relacionados con sigo mismo.

Existen elementos a de A que cumplen que (a,a) pertenece a R

Propiedad arreflexiva[editar]

Propiedad reflexiva 5.svg

Una relación es arreflexiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que esta relación binaria homogénea es relación arreflexiva, si cumple:

  • Relación arreflexiva: la relación R es arreflexiva si existen elementos a de A que están relacionados con sigo mismo y existen elementos b de A que no están relacionados con sigo mismo.

Existen elementos a de A que cumplen que (a,a) pertenece a R y existen elementos b de A que cumplen que (b,b) no pertenece a R

Simetría[editar]

Propiedad simétrica 0.svg

En una relación binaria homogénea la simetría determina la posible de que si un elemento a esta relacionado con otro b el b este relacionado con el a, en todos los casos, nunca o a veces.

Propiedad simétrica[editar]

Propiedad simétrica 1.svg

Una relación es simétrica si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación simética, si cumple:

  • Relación simétrica: la relación R es simétrica si el elemento a esta relacionado con b, entonces b esta relacionado con a.

Para todo a, b de A si cumple que (a,b) pertenece a R, entonces (b,a) también pertenece a R.

Propiedad no simétrica[editar]

Propiedad simétrica 2.svg

Una relación es no simétrica si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación no simética, si cumple:

  • Relación no simétrica: la relación R es no simétrica si existe el elemento a que esta relacionado con b y b no esta relacionado con a.

Existen a, b de A que cumple que (a,b) pertenece a R y (b,a) no pertenece a R.

Propiedad antisimétrica[editar]

Propiedad simétrica 3.svg

Una relación es antisimétrica si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación antisimética, si cumple:

  • Relación antesimétrica: la relación R es antisimetrica si el elemento a esta relacionado con b, entonces b no esta relacionado con a.

Para todo a, b de A si cumple que (a,b) pertenece a R, entonces (b,a) no pertenece a R.

Propiedad no antisimétrica[editar]

Propiedad simétrica 4.svg

Una relación es no antisimétrica si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación no antisimética, si cumple:

  • Relación no antesimétrica: la relación R es no antisimetrica si existe el elemento a esta relacionado con b y b esta relacionado con a.

Existe a, b de A que cumple que (a,b) pertenece a R y (b,a) pertenece a R.

Propiedad asimétrica[editar]

Propiedad simétrica 5.svg

Una relación es asimétrica si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación asimética, si cumple:

  • Relación asimétrica: la relación R es asimetrica si existe el elemento a que esta relacionado con b y b esta relacionado con a y existe el elemento c que esta relacionado con d y d no esta relacionado con c.

Existe a, b de A que cumple que (a,b) pertenece a R y (b,a) pertenece a R y existe c, d de A que cumple que (c,d) pertenece a R y (d,c) no pertenece a R.

Transitividad[editar]

Propiedad transitiva 0.svg

En una relación binaria homogénea, la transitividad, determina la posible relación de un elemento con un segundo, la de este segundo con un tercero y la del primero con el tercero, en todos los casos, nunca o a veces.

Propiedad transitiva[editar]

Propiedad transitiva 1.svg

Una relación es transitiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación transitiva, si cumple:

  • Relación transitiva: la relación R es transitiva si el elemento a esta relacionado con b y b esta relacionad con c, entonces a esta relacionado con c.

Para todo a, b, c de A si se cumple que (a,b) pertenece a R y (b,c) pertecece a R, entonces (a,c) pertenece a R.

Propiedad no transitiva[editar]

Propiedad transitiva 2.svg

Una relación es no transitiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación no transitiva, si cumple:

  • Relación no transitiva: la relación R es no transitiva si existen los elementos a que esta relacionado con b y b que esta relacionad con c y a no esta relacionado con c.

Existen a, b, c de A que cumple que (a,b) pertenece a R y (b,c) pertecece a R y (a,c) no pertenece a R.

Propiedad intransitiva[editar]

Propiedad transitiva 3.svg

Una relación es intransitiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación intransitiva, si cumple:

  • Relación intransitiva: la relación R es intransitiva si el elemento a esta relacionado con b y b esta relacionad con c, entonces a no esta relacionado con c.

Para todo a, b, c de A si se cumple que (a,b) pertenece a R y (b,c) pertecece a R, entonces (a,c) no pertenece a R.

Propiedad no intransitiva[editar]

Propiedad transitiva 4.svg

Una relación es no intransitiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación no intransitiva, si cumple:

  • Relación no intransitiva: la relación R es no intransitiva si existen los elementos a que esta relacionado con b y b que esta relacionad con c y a esta relacionado con c.

Existen a, b, c de A que cumple que (a,b) pertenece a R y (b,c) pertecece a R y (a,c) pertenece a R.

Propiedad atransitiva[editar]

Propiedad transitiva 5.svg

Una relación es atransitiva si:

Dado un conjunto A, y una relación binaria homogénea: R entre sus elementos

Se dice que una relación binaria homogénea es relación atransitiva, si cumple:

  • Relación atransitiva: la relación R es atransitiva si existen los elementos: a que esta relacionado con b y b que esta relacionado con c y a esta relacionado con c, y existen los elementos d que esta relacionado con e y e esta relacionado con f y d no esta relacionado con f.

Existen a, b, c de A que cumplen que (a,b) pertenece a R y (b,c) pertenece a R y (a,c) pertenece a R y existen d, e , f de A que cumplen que (d,e) pertenece a R y (e,f) pertenece a R y (d,f) no pertenece a R.

Relación parcial o total[editar]

Una relación binaria R en el conjunto A es una relación parcial cuando se cumple que existen al menos dos elementos a, b que no estan relacionado:

Existen a, b de A que cumplen que a no esta relacionada con b y b no esta relacionada con a.

Una relación binaria R en un conjunto A es una relación total (o relación conexa) cuando se cumple que para cada dos elementos a y b de A, o a está relacionado con b o b está relacionado con a, esto es:

Para todo a, b de A, se cumple que a esta relacionado con b o b esta relacionado con a.

Tenga en cuenta que esto implica una relación reflexiva.

Dos elementos a, b del conjunto A, que estan relacionados a con b o b con a, se dicen comparables.
Dos elementos a, b del conjunto A, que no estan relacionados ni a con b ni b con a se dicen no comparables.

Conjunto parcialmente ordenado y acotado[editar]

Dado un conjunto A y una relación binaria definida entre el conjunto A, que expresaremos y la relación se representa:

que se lee: siendo x e y elementos de A, x antecede a y.

La no relación se representa:

que se lee: siendo x e y elementos de A, x no antecede a y

Es necesario que cumpla las propiedades: reflexiva, antisimétrica y transitiva, por lo tanto un conjunto parcialmente ordenado, para que el conjunto pueda estar acotado.

Si se cumple que:

el elemento x antecede a y o y antecede a x, se dice que x y y son elementos comparables.

Si se cumple que:

el elemento x no antecede a y e y no antecede a x, se dice que x e y son no comparables.

Propiedad acotado 0.svg

Diremos que el conjunto A está acotado superiormente respecto a si:

se cumple que existe un y de A tal que x antecede a y para todo x de A.

Del mismo modo diremos que el conjunto A está acotado inferiormente respecto a si:

se cumple que existe un z de A tal que z antecede a x para todo x de A.

Diremos que un conjunto está acotado, si está acotado superior e inferiormente.

Elemento maximal y minimal[editar]

Acotado A067.svg

Dado el conjunto A formado por los elementos:

en el que se ha definido una relación binaria representada en la figura, siendo un conjunto parcialmente ordenado, los elementos y de A que cumplen:

y de A es maximal si para todo x de A que cumple que y anteceda a x entonces y es igual a x.

Los elementos y de A se denominan maximales y definen una cuota superior en A, los elementos maximales no tiene porque ser únicos, en el ejemplo a, c y g son maximales de A.

Del mismo modo los elementos z de A que cumplen:

z de A es minimal si para todo x de A que cumpla que x anteceda a z entonces z es igual a x.

se denominan minimales y definen una cuota inferior en A, los elementos minimales no tiene porque ser únicos, en el ejemplo d, g y h son minimales de A.

Se puede ver que el elemento g es maximal y minimal en A. Un elemento que es maximal y minimal al mismo tiempo se un elemento aislado.

Elemento máximo y mínimo[editar]

Acotado A027.svg

Dado el conjunto A formado por los elementos:

en el que se ha definido una relación binaria representada en la figura, siendo un conjunto parcialmente ordenado.

El elemento y de A que cumple:

se denomina máximo y define una cuota superior en A, el elemento máximo es único, en el ejemplo c es el máximo de A. El elemento máximo de un conjunto es el maximal unico en ese conjunto.

Del mismo modo el elemento z de A que cumple:

se denomina mínimo y define una cuota inferior en A, el elemento mínimo es único, en el ejemplo g es mínimo de A. El elemento mínimo de un conjunto es el minimal unico en ese conjunto.

Referencias[editar]