ACTIVIDAD DE ORIENTACIN AL

APRENDIZAJE
Relaciones de orden: Diagrama de Hasse y
elementos notables de un conjunto ordenado

Bosco de la Rica Garcia - 79115922-Q

Algebra - ADE+ITI - 1

NDICE
1--- ndice y bibliografa
2--- Relaciones de orden
3--- Predecesor y sucesor inmediato, diagrama de hasse
4--- Diagrama de hasse
5--- Elementos notables de un conjunto ordenado
6---Elementos notables de un conjunto ordenado
7---Elementos notables de un conjunto ordenado
8--BIBLIOGRAFA
www.passitedu.es

Introduccin al lgebra - Jos Daz

matematicasdiscretasatualcance.blogspot.com

1. Relaciones de orden.
Definicin: Una relacin binaria R AxA es una relacin de orden si y slo si
R verifica las propiedades reflexiva, antisimtrica y transitiva
Que se cumpla la propiedad reflexiva significa que se cumple que todo elemento
x del conjunto A est relacionado consigo mismo.
Adems de esto, tiene que cumplirse la propiedad antisimtrica, es decir, que si
x e y son elementos distintos y x est relacionado con y , entonces
y no est relacionado con x .
Y por ltimo se tiene que cumplir la propiedad transitiva, que viene a decir: si
x est relacionado con y , e y lo est con z , entonces x tambin se
relaciona con z

2.

Predecesor y sucesor inmediato

Definicin: Dado un conjunto ordenado (A, ) y dos elementos comparables

x , y A, se dice que x precede inmediatamente a y , o que y sucede
inmediatamente a x , si y slo si x precede estrictamente a y , pero no
existe ningn elemento z de A comprendido entre x e y .

3.

Diagrama de Hasse

El diagrama de Hasse es un diagrama utilizado para representar relaciones de

orden en conjuntos finitos de una manera sencilla y as simplificar la multitud de
lneas que aparecen en la representacin sagital. Es una simplificacin ya que
se eliminan todos sus bucles y tambin se eliminan todas las aristas que pueden
deducirse a travs de la definicin, ya que al ser un diagrama de Hasse
sabemos que se trata de una relacin de orden y entonces sabemos que se
cumple la propiedad reflexiva y transitiva.

Comparacin entre representacin sagital y diagrama de hasse

A continuacin vamos a explicar, paso por paso, como se construye el diagrama

de Hasse:

4.

Elementos notables de un conjunto ordenado

Primer elemento y ltimo elemento

Definicin: Sea un conjunto ordenado( A , ):

 Un elemento a A es primer elemento del conjunto A si y slo si

precede a todo elemento x A
Un elemento a A es ltimo elemento del conjunto A si y slo si
sucede a todo elemento x A
Si tenemos el diagrama de Hasse de la relacin de orden es muy fcil ver quin
es el primer elemento y quien es el ltimo. El primer elemento es el que est en
la parte ms baja del diagrama y el ltimo elemento es el que est en la parte
ms alta.
Por el teorema de la unicidad sabemos que el primer y el ltimo elemento son
nicos.

Optimales
Definicin: Sea un conjunto ordenado( A , ):
Un elemento a A se llama elemento minimal del conjunto A si y
slo si ningn elemento x A le precede estrictamente
Un elemento a A se llama elemento maximal del conjunto A si y
slo si ningn elemento x A le sucede estrictamente
Una vez hemos hecho el diagrama de Hasse, vuelve a ser sencillo ver de
manera grfica los elementos minimales y maximales. Los minimales son
aquellos que no tienen ningn elemento debajo, y los maximales a aquellos que
no tienen ningun elemento por encima de ellos. A diferencia del primer y ltimo
elemento estos si pueden ser varios.

Cotas
Definicin: Sea un conjunto ordenado( A , ), y un subconjunto B A:
Un elemento c A se llama cota inferior del conjunto B, denotado
minor B, si y slo si precede a todos los elementos x B
Un elemento c A se llama cota superior del conjunto B,
denotado mayor B, si y slo si sucede a todos los elementos x B
Un conjunto puede estar acotado inferiormente, superiormente o por ambos
lados al mismo tiempo.
Consideraremos que un conjunto est acotado superiormente cuando posea
nicamente cota superior. Lo consideraremos acotado inferiormente cuando
posea nicamente cota inferior. Y lo consideraremos acotado cuando posea
tanto cota superior como inferior.

Extremos
Definicin: Sea un conjunto ordenado( A , ), y un subconjunto B A:
Un elemento c A se llama extremo inferior del conjunto B,
denotado inf B, si y slo si es cota inferior de B y sucede a todas las cotas
inferiores de B
Un elemento c A se llama extremo superior del conjunto B,
denotado sup B, si y slo si es cota superior de B y precede a todas las
cotas superiores de B

Optimos
Definicin: Sea un conjunto ordenado( A , ), y un subconjunto B A:

 Un elemento m B se llama mnimo del conjunto B, denotado min

B, si y slo si precede a todos los elementos x B
Un elemento m B se llama mximo del conjunto B, denotado
max B, si y slo si sucede a todos los elementos x B