Parte de Julian

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 2

Relación de orden parcial

Una relación de orden parcial R sobre un conjunto A es una relación que satisface las
propiedades de reflexividad, antisimetría y transitividad
Una relación de orden parcial R sobre un conjunto A es una relación que satisface las
propiedades de reflexividad, antisimetría y transitividad Notación:
a ≤ b en lugar de (a, b) ∈ R
Este tipo de relación satisface reflexividad, antisimetría y transitividad; cuando se conforma
este tipo relación se la denota (A,R) o, también,  (A, <) .  Este tipo de relaciones puede
graficarse empleando los denominados Diagramas de Hasse, los cuales exponen un cierto
orden o secuencia entre elementos del conjunto originada por la relación.
Cuando se establece una relación de orden, algunos elementos del conjunto pueden asumir
ciertas funciones; a estos elementos se les conoce como elementos extremos del conjunto:
maximales de A, minimales de A, máximo de A, mínimo de A, cotas superiores de un
subconjunto de A, cotas inferiores de un subconjunto de A, mínima cota superior (m.c.s) de
un subconjunto de A, máxima cota inferior (M.C.I) de un subconjunto de A.
Relacion de equivalencia
La relación de equivalencia sirve para indicar que los elementos de un conjunto compartan
las mismas características o propiedades con otros elementos del mismo conjunto. Esto
ayuda a clasificar los elementos de una relación que está sujeto a ciertas propiedades
específicas.

Una relación binaria es una relación de equivalencia si y solo si es reflexiva, simétrica y


transitiva.
En otras palabras, si RR es una relación de equivalencia, debe cumplir las siguientes
propiedades:

Es reflexiva: ∀x∈A,(x,x)∈R

Es simétrica: (x,y)∈R→(y,x)∈R

Es transitiva: [(x,y)∈R∧(y,z)∈R]→(x,z)∈R.

Observe que las dos primeras no tiene el cuantificador “para todo” simbolizado por ∀∀, no
es una obligación que deba cumplirse para todo los elementos de AA, excepto la primera, la
relación reflexiva.
Por su reflexividad, implica que el dominio de RR es el mismo conjunto AA lo que implica
que la relación de equivalencia tenga como dominio al conjunto AA. Veamos unos
ejemplos:

Las flechas de color verde indica que la relación es reflexivo, es decir, se relaciona con


su reflejo, consigo mismo.

La flecha de color rosa indica que la relación es simétrico. Como esta imagen:

Icono cortesía de Flaticon y que tiene una geometría simétrica.

Y las flechas de color celeste indican que la relación es transitiva. Que le transfiere las


propiedades de una cosa a la otra.

También podría gustarte