Retculos isomorfos
Definicin: Sea y dos retculos y una funcin biyectiva y es un isomorfo si:
Definicin: si dos retculos son isomorfos como conjuntos parcialmente ordenados son llamados retculos isomorfos. Ejemplos: Sea { } la retcula de los divisores de 6 con diagrama de hasse: 6
Y sea
donde
} {{ } { } { } }
{ }
{ }
D6 y P(s) son isomorfos como conjuntos parcialmente ordenados, pues sus diagramas de hasse son iguales. Luego, debido a que los retculos son isomorfos como conjuntos parcialmente ordenados, se tiene que son retculos isomorfos. Observacin: 1) Es cota superior de a y de b
2)
Es la menor cota superior de a y de b
1)
Es cota inferior de a y b
2)
Es la mayor cota inferior de a y b
Teorema 2: Si i. ii. iii. Demostracin: i. 1) En efecto: (Definicin de a y b) Por hiptesis: Luego es un reticulo entonces:
2) En efecto: Supongamos que
Adems se tiene que Luego:
(b es cota superior de a y b)
De la observacin se tiene que
Luego de a ii. 1. En efecto
se tiene que
(Definicin de nfimo de a y b) Por hiptesis:
2. En efecto: Supongamos que
Adems se tiene que Luego: De la observacin se tiene que
Luego de a iii. De ii. Se tiene que:
se concluye que
Ejemplo: Sea un conjunto linealmente ordenado (totalmente ordenado). Por definicin, si L es totalmente ordenado entonces:
Por el teorema 2 se tiene que L es una retcula, pues
es una retcula.
Es decir toda pareja de elementos tiene supremo e nfimo, en consecuencia, Les una retcula. Teorema 3 Sea L una retcula 1) (Idempotencia)
2)
(Conmutatividad)
3)
(Asociativa)
4)
(Absorcin)
Tipos especiales de retculos Retcula acotada Definicin: Una retcula L es acotada si tiene un elemento mximo I y un elemento mnimo O. Ejemplo:
Retcula
Ejemplo:
Es una retcula no acotada pues no tiene elemento mximo. Ejemplo: La retcula Observacin: Sea L una retcula acotada para todo se cumple: Es acotada pues su elemento mnimo y su elemento mximo es S.
Teorema 4.
Si
} es una retcula finita
Entonces L es acotada. Retcula distributiva: Definicin: Una retcula L es si para toda i. ii.
Ejemplo 1: La retcula es distributiva pues para todo se tiene que
Ejemplo 2:
La retcula
Definicin: Sea L una retcula acotada con elemento mximo I y elemento mnimo O el elemento si y es un complemento de
A I
B I
a c b a b
1) 1)
No es retcula distributiva 2)
No es distributiva debido que 1 y 2 son diferentes.
Teorema 5. Una retcula L es ni distributiva contiene una subretcula isomorfa a la retcula A o a la retcula B
Ejemplo: g
f Esta retcula no es distributiva pues contiene una subretcula isomorfa a la retcula B d
Ejemplo: F D
E Esta retcula no es distributiva, pues posee una retcula isomorfa a la retcula A O Definicin:
Sea
una retcula acotada con elemento mximo y elemento mnimo O. es un complemento de si:
El elemento
Nota: el complemento de
es
pues:
el complemento de
es
pues:
Ejemplo: La retcula es tal que cada elemento Su complemento es pues: tiene su complemento ya que
Ejemplo: Cada una de las retculas Retcula A I d Retcula B
a c b a b c
Tiene la propiedad de que todo elemento tiene complemento. En la (retcula A) C tiene dos complementos los, cuales son a y b pues:
En la (retcula B) C tiene dos complementos los cuales son a y b pues:
Ejemplo: { }
20 El elemento 10 no tiene complemento El elemento 2 no tiene complemento 2 5
10
Observacin: De los ejemplos anteriores se observa que una retcula puede tener elementos que no tiene complemento o tiene ms de un complemento. (Es decir, no hay unidad del complemento de un elemento.)
Teorema 6. Si L es una retcula distributiva acotada entonces si un elemento tiene complemento dicho complemento es nico. Demostracin: Supongamos que son complementos de entonces:
De
se tiene que
Por lo tanto el complemento es nico. Retculas complementadas Definicin: Una retcula L es complementada si es acotada y si cada elemento tiene un complemento. Ejemplo: La retcula nico. es un complementada del teorema 6 se tiene que cada elemento de tiene complemento
