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