Parte de Julian
Parte de Julian
Parte de Julian
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.
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:
La flecha de color rosa indica que la relación es simétrico. Como esta imagen: