SlideShare una empresa de Scribd logo
1 de 7
RETÍCULOS
Autor:
Robert Milt
C.I: 21.323.613
RETICULOS
Un retículo (L,v,^) es distributivo si lo siguiente se cumple para todo x, y, z en L:
X ^ ( Y v Z) = (X ^ Y) v (X ^ Z)
Viendo los retículos como conjuntos parcialmente ordenados, se dice que el operador
MEET "preserva" un número finito y no vacío de operadores JOIN. Un resultado básico
de la teoría de retículos es que la condición de arriba es equivalente a su dual:
X v ( Y ^ Z) = (X v Y) ^ (X v Z)
Otra definición equivalente es decir que L es distributivo si y solo si lo siguiente se cumple
para cualesquiera elementos x, y, z en L:
(X ^ Y) v ( Y ^ Z) v (Z ^ X) = (X v Y) ^ ( Y v Z) ^ (Z v X)
Lo que a su vez es equivalente a decir
(X ^ Z =Y ^ Z) y (X v Z =Y v Z) implica X = Y
PROPIEDADES DE LOS RETICULOS
Todo retículo completo L es acotado, con
• 0=^L=vØ
• 1=vL=^Ø
Todo retículo finito, no vacío L es completo, por lo que también es acotado.
•

En un retículo distributivo y acotado, el complemento de un elemento a es único si
existe, lo que suele denotarse como ac (particularmente en el caso de retículos de
subconjuntos) o bien ¬a (particularmente en aplicaciones de lógica).

•

Demostración: Sean b y c complementos de a, queremos mostrar que b = c. Ahora se
cumple que b = b 1 = b (a c) = (b a) (b c) = b c. Análogamente se muestra que c = b c,
por lo que b = c.

En un retículo distributivo acotado se verifica
• ¬0 = 1, ¬1 = 0.
Si a tiene un complemento ¬a, entonces también ¬a tiene un complemento, que es:
• ¬ (¬a) = a.
EJEMPLOS CON LAS PROPIEDADES DE LOS
SUB-RETÍCULOS
Sub-retículos
Sea (L;≤) un retículo, y L’ contenido en L un subconjunto de L. Entonces L’ es
un sub-retículo si para cualesquiera x,y ∈ L’ se verifica que x˅y L’ y x˅y L’.
∈
∈
15

Ejemplos:
30

2

15

6

3

30
6

5
30

1
L2
6

1
3

3

L1
Diagramas de Hasse

10

2
L4

1

L3
Entonces L1 y L4 son sub-retículos de D (30), mientras que L2 y L3 no lo son.
L2 no es sub-retículo porque el supremo de 2 y 3 es 6, que no pertenece a
L2. L3 no es sub-retículo porque el ínfimo de 6 y 10 vale 2, que no pertenece
a L3. Nótese que L3, con el orden que hereda de D (30) es un retículo, pero
no es sub-retículo de L3.
Ejemplo 2:
Consideramos el conjunto ordenado {1,2}. Entonces el diagrama de Hasse
sería:
{1,2}

{1}

{2}

{0}
OPERACIONES REPRESENTATIVAS AL
HOMOFORMISMO DE LOS RETÍCULOS
Sean (L1, ∨1, ∧1) y (L2, ∨2, ∧2) álgebras de Boole. Una aplicación f:
L1˅
→L2 es un morfismo de álgebras de Boole si es un morfismo de
retículos que conserva los elementos cero, uno y los complementos. Si
además f es biyectiva diremos que f es un isomorfismo de álgebras de
Boole
Dado X = {x1, x2,..., xn} un conjunto con n elementos entonces f: (X)
˅
→2ntal que ∀A⊆X, f(A) = (a1, a2,...,an) donde ai= 1 si xi∈A y ai= 0 si
xi∉A, es un isomorfismo de álgebras de Boole
Reticulos

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Matematica discreta2011 unidad3_3ºparte_2011
Matematica discreta2011 unidad3_3ºparte_2011Matematica discreta2011 unidad3_3ºparte_2011
Matematica discreta2011 unidad3_3ºparte_2011
 
Relaciones
RelacionesRelaciones
Relaciones
 
Reticulos
ReticulosReticulos
Reticulos
 
Reticulados22
Reticulados22Reticulados22
Reticulados22
 
Propiedades de las relaciones
Propiedades de las relacionesPropiedades de las relaciones
Propiedades de las relaciones
 
Relaciones
RelacionesRelaciones
Relaciones
 
Relaciones Binarias
Relaciones BinariasRelaciones Binarias
Relaciones Binarias
 
Propiedades De Las Relaciones
Propiedades De Las RelacionesPropiedades De Las Relaciones
Propiedades De Las Relaciones
 
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
TEORIA DE CONJUNTOS ( II Bimestre Abril Agosto 2011)
 
Relaciones y funciones
Relaciones y funcionesRelaciones y funciones
Relaciones y funciones
 
Algebra 1 - Relaciones
Algebra 1 - Relaciones Algebra 1 - Relaciones
Algebra 1 - Relaciones
 
Reglas y leyes lógica
Reglas y leyes lógicaReglas y leyes lógica
Reglas y leyes lógica
 
05 conjuntos
05 conjuntos05 conjuntos
05 conjuntos
 
Regla de la cadena
Regla de la cadenaRegla de la cadena
Regla de la cadena
 
Transitividad .. mayra benitez
Transitividad .. mayra benitezTransitividad .. mayra benitez
Transitividad .. mayra benitez
 
Calculo de Predicados
Calculo de PredicadosCalculo de Predicados
Calculo de Predicados
 
Logica de predicados
Logica de predicadosLogica de predicados
Logica de predicados
 
Polinomio
PolinomioPolinomio
Polinomio
 
1 3 teoriadegrupos
1 3 teoriadegrupos1 3 teoriadegrupos
1 3 teoriadegrupos
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 

Similar a Reticulos

Similar a Reticulos (20)

Gd jesus
Gd jesusGd jesus
Gd jesus
 
Transformaciones Lineales
Transformaciones LinealesTransformaciones Lineales
Transformaciones Lineales
 
Transformaciones lineales
Transformaciones lineales Transformaciones lineales
Transformaciones lineales
 
Algebra borel.
Algebra borel.Algebra borel.
Algebra borel.
 
Espacios y vectores propios
Espacios y vectores propiosEspacios y vectores propios
Espacios y vectores propios
 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones lineales
 
Espacios vectoriales
Espacios vectoriales Espacios vectoriales
Espacios vectoriales
 
Presentacion de teorema de tales 2
Presentacion de teorema de tales 2Presentacion de teorema de tales 2
Presentacion de teorema de tales 2
 
Topología relativa y conjuntos conexos pdf
Topología relativa y conjuntos conexos pdfTopología relativa y conjuntos conexos pdf
Topología relativa y conjuntos conexos pdf
 
Presentacion algebra
Presentacion algebraPresentacion algebra
Presentacion algebra
 
Tales power point
Tales power pointTales power point
Tales power point
 
LÍMITES Y CONTINUIDAD.pdf
LÍMITES Y CONTINUIDAD.pdfLÍMITES Y CONTINUIDAD.pdf
LÍMITES Y CONTINUIDAD.pdf
 
Ecuaciones Integrodiferenciales
Ecuaciones IntegrodiferencialesEcuaciones Integrodiferenciales
Ecuaciones Integrodiferenciales
 
Teorema de thales1240219369196
Teorema de thales1240219369196Teorema de thales1240219369196
Teorema de thales1240219369196
 
Espacios vectoriales Conceptos
Espacios vectoriales ConceptosEspacios vectoriales Conceptos
Espacios vectoriales Conceptos
 
Metodo de cholesky
Metodo de choleskyMetodo de cholesky
Metodo de cholesky
 
1
11
1
 
Unidad ii material complementario vectores
Unidad ii material complementario vectoresUnidad ii material complementario vectores
Unidad ii material complementario vectores
 
Espacios vectoriales
Espacios vectorialesEspacios vectoriales
Espacios vectoriales
 
Semana 11 intervalos
Semana 11 intervalos Semana 11 intervalos
Semana 11 intervalos
 

Reticulos

  • 2. RETICULOS Un retículo (L,v,^) es distributivo si lo siguiente se cumple para todo x, y, z en L: X ^ ( Y v Z) = (X ^ Y) v (X ^ Z) Viendo los retículos como conjuntos parcialmente ordenados, se dice que el operador MEET "preserva" un número finito y no vacío de operadores JOIN. Un resultado básico de la teoría de retículos es que la condición de arriba es equivalente a su dual: X v ( Y ^ Z) = (X v Y) ^ (X v Z) Otra definición equivalente es decir que L es distributivo si y solo si lo siguiente se cumple para cualesquiera elementos x, y, z en L: (X ^ Y) v ( Y ^ Z) v (Z ^ X) = (X v Y) ^ ( Y v Z) ^ (Z v X) Lo que a su vez es equivalente a decir (X ^ Z =Y ^ Z) y (X v Z =Y v Z) implica X = Y
  • 3. PROPIEDADES DE LOS RETICULOS Todo retículo completo L es acotado, con • 0=^L=vØ • 1=vL=^Ø Todo retículo finito, no vacío L es completo, por lo que también es acotado. • En un retículo distributivo y acotado, el complemento de un elemento a es único si existe, lo que suele denotarse como ac (particularmente en el caso de retículos de subconjuntos) o bien ¬a (particularmente en aplicaciones de lógica). • Demostración: Sean b y c complementos de a, queremos mostrar que b = c. Ahora se cumple que b = b 1 = b (a c) = (b a) (b c) = b c. Análogamente se muestra que c = b c, por lo que b = c. En un retículo distributivo acotado se verifica • ¬0 = 1, ¬1 = 0. Si a tiene un complemento ¬a, entonces también ¬a tiene un complemento, que es: • ¬ (¬a) = a.
  • 4. EJEMPLOS CON LAS PROPIEDADES DE LOS SUB-RETÍCULOS Sub-retículos Sea (L;≤) un retículo, y L’ contenido en L un subconjunto de L. Entonces L’ es un sub-retículo si para cualesquiera x,y ∈ L’ se verifica que x˅y L’ y x˅y L’. ∈ ∈ 15 Ejemplos: 30 2 15 6 3 30 6 5 30 1 L2 6 1 3 3 L1 Diagramas de Hasse 10 2 L4 1 L3
  • 5. Entonces L1 y L4 son sub-retículos de D (30), mientras que L2 y L3 no lo son. L2 no es sub-retículo porque el supremo de 2 y 3 es 6, que no pertenece a L2. L3 no es sub-retículo porque el ínfimo de 6 y 10 vale 2, que no pertenece a L3. Nótese que L3, con el orden que hereda de D (30) es un retículo, pero no es sub-retículo de L3. Ejemplo 2: Consideramos el conjunto ordenado {1,2}. Entonces el diagrama de Hasse sería: {1,2} {1} {2} {0}
  • 6. OPERACIONES REPRESENTATIVAS AL HOMOFORMISMO DE LOS RETÍCULOS Sean (L1, ∨1, ∧1) y (L2, ∨2, ∧2) álgebras de Boole. Una aplicación f: L1˅ →L2 es un morfismo de álgebras de Boole si es un morfismo de retículos que conserva los elementos cero, uno y los complementos. Si además f es biyectiva diremos que f es un isomorfismo de álgebras de Boole Dado X = {x1, x2,..., xn} un conjunto con n elementos entonces f: (X) ˅ →2ntal que ∀A⊆X, f(A) = (a1, a2,...,an) donde ai= 1 si xi∈A y ai= 0 si xi∉A, es un isomorfismo de álgebras de Boole