RETICULOS Un retculo es una determinada estructura algebraica con dos operaciones binarias, con ciertas propiedades especficas (siendo

equivalentes ambos enfoques). El trmino "retculo" viene de la forma de los diagramas de Hasse.

Es un tipo especial de orden, en que cada conjunto finito no vaco tiene supremo e nfimo formalmente, es decir, que un retculo es un conjunto ordenado, (L; ) en el que cualquier conjunto finito tiene supremo e nfimo.

Un reticulo es un conjunto parcialmente ordenado por una relacin de orden, en el cual cada subconjunto {a, b} de este, que consta de dos elementos, tiene una mnima cota superior y una mxima cota inferior.

Se escribir la mnima cota superior del conjunto {a,b} como m.c.s({a, b}) y se denotar por "a + b". Similarmente se escribir la mxima cota inferior del conjunto {a, b} como M.C.I({a, b}) y se denotar por "a. b".

DIAGRAMA DE HASSE En matemticas, un diagrama de Hasse es una representacin grfica simplificada de un conjunto parcialmente ordenado finito. Esto se consigue eliminando informacin redundante. Para ello se dibuja una arista ascendente entre dos elementos solo si uno sigue a otro sin haber otros elementos intermedios.

PROPIEDADES DE RETICULOS Idempotente: a a = a aa=a Conmutativa: a b =b a a b =b a Asociativa: (a b ) c =a ( b c ) (a b ) c =a ( b c ) Absorcin: a ( b a )=a a ( b a)=a.

El

retculo

de

submdulos de y) un (x

de

un

mdulo la

el

retculo

de

los subgrupos normales que x (y (x z)) = (x

grupo

tienen

propiedad

especial

z) para todo x, y y z en el retculo. Un retculo

con esta propiedad se llama un retculo modular. La condicin de la modularidad puede tambin ser establecida como sigue: Si x z entonces para todo y tenemos la identidad x (y z) = (x y) z.

Un retculo se llama distributivo si (x y) (x z). Equivalentemente,

distribuye a , es decir, x

(y

z) =

distribuye . Todos los retculos distributivos

son modulares.

Dos tipos importantes de retculos distributivos son los conjuntos totalmente ordenados y las lgebras booleanas (como el retculo de todos los subconjuntos de un conjunto dado).

El retculo de los nmeros naturales, ordenados por divisibilidad, es tambin distributivo. Otras leyes comunes de distributividad (especialmente la ley

de distributividad completa) se dan en el artculo sobre distributividad en teora del orden.

RETCULO ACOTADO: Si posee mximo y mnimo. Se designa por1 al mximo y por 0 al mnimo Sea (A, ) un retculo acotado. Dado a A se dice que a A es complementario de a si a a=1 y a a=0.

RETCULO

COMPLEMENTARIO:

Si

todos

sus

elementos

poseen

complementario.

RETCULO DISTRIBUTIVO: si para cualesquiera a, b, c A se cumple que: a (b c)= (a b) (a c) a (b c)= (a b) (a c)Los retculos P(X) y Bn son complementarios y distributivos. En cuanto a Dn es acotado y distributivo, pero no es complementario para algunos valores de n (por ej., para n=12).

SUBRETCULOS Sea (L;) un retculo, y L contenido en L un subconjunto de L. Entonces L es un subretculo si para cualesquiera x,y L se verifica que XY L Y XY L. Tambin se puede decir que un subretculo es un conjunto cerrado bajo los operadores meet (operaciones de interseccin) y join (operaciones de unin) del conjunto original.

PROPIEDADES RETCULOS NO-DISTRIBUTIVOS: Ms simples son el "retculo diamante", M3, y el "retculo pentgono", N5. Un retculo es distributivo si y slo si ninguno

de sus subretculos es isomorfo a M3 o N5; un subretculo es un subconjunto cerrado bajo los operadores meet y join delretculo original.

RETCULO DISTRIBUTIVO: Es meet-primo o nfimo-primo si y slo si es meetirreducible o nfimo-irreducible, aunque esta ltima se considera en general una propiedad ms dbil. Por dualidad, lo mismo es cierto para los elementos join-primo (supremo-primo) y join-irreducibles (supremoirreducibles). Si un retculo es distributivo, su relacin de cobertura forma un grafo mediano.

HOMOMORFISMO DE RETICULO La clase de todos los retculos forma una categora si definimos un homomorfismo entre dos retculos (L, ) y (N, ) como una funcin f: L N tal que f(a b) = f(a) f(b); f(a b) = f(a) f(b);

Para todo a y b en L. Si es un homomorfismo biyectivo, entonces su inverso es tambin un homomorfismo, y se llama un isomorfismo de retculos. Los dos retculos implicados son entonces isomorfos; para todos los propsitos prcticos, son iguales y se diferencian solamente en la notacin de sus elementos.

Cada homomorfismo es una funcin montona entre los dos retculos, pero no cada funcin montona da un homomorfismo de retculo: adems necesitamos la compatibilidad con supremos e nfimos finitos. EJEMPLOS DE HOMOMORFISMOS Ejemplos de homomorfismos. El espacio [Hom(V,K)] es llamado espacio dual de [V], el cual es denotado por [V^{*}] .Este espacio es isomorfo a [V] , sin embargo

no se puede explicitar un isomorfismo entre ellos, pero si se puede explicitar un isomorfismo entre [V] y [(V^{*})^{*}].

EJEMPLOS DE RETICULOS

Los subconjuntos de un conjunto dado, ordenados por inclusin. El supremo est dado por la unin y el nfimo por la interseccin de subconjuntos.

Los enteros no negativos, ordenados por divisibilidad. El supremo viene dado por el mnimo comn mltiplo y el nfimo por el mximo comn divisor.

Los subgrupos de un grupo, ordenado por la inclusin. El supremo viene dado por el subgrupo generado por la unin de los grupos y el nfimo viene dado por la interseccin.

Los submdulos de un mdulo, ordenado por la inclusin. El supremo viene dado por de la suma de submdulos y el nfimo por la interseccin.

Los ideales de un anillo, ordenado por la inclusin. El supremo viene dado por la suma de ideales y el nfimo por la interseccin.

los subconjuntos convexos de un espacio vectorial real o complejo, ordenado por la inclusin. El nfimo viene dado por la interseccin de conjuntos convexos y el supremo por la clausura convexa de la unin.

El retculo de todas las relaciones binarias transitivas en un conjunto.

El conjunto parcialmente ordenado representado por el siguiente diagrama de Hasse no es un retculo.

No es un retculo porque el conjunto {f, g} no posee mnima cota superior, es decir f + g no existe. El conjunto parcialmente ordenado representado por el siguiente diagrama de Hasse no es un retculo.

No es un retculo porque no existen c + b y d.e. Esto a pesar de que los conjuntos {b, c} y {d, e} poseen respectivamente cotas superiores y cotas inferiores, pero no son comparables.

INTRODUCCIN

Diagramas de Hasse llevan el nombre de Helmut Hasse (1898-1979), de acuerdo a Birkhoff (1948), que son los llamados a causa de la utilizacin efectiva Hasse hizo de ellos. Los diagramas de Hasse fueron creados originalmente como una tcnica para hacer dibujos de conjuntos parcialmente ordenados a mano, que se han creado de forma automtica mediante tcnicas de dibujo y grficos.

De estos diagramas provienen los retculos que son conjunto parcialmente ordenado por una relacin de orden y tienen una determinada estructura algebraica con dos operaciones binarias.

CONCLUSIN

AL estudiar matemticas podemos notar cmo un diagrama de Hasse es una representacin de un conjunto parcialmente ordenado finito. La representacin se hace mediante un grafo, o sea un diagrama que consta de nodos y aristas. Tambin se dice que una retculo o red es un conjunto parcialmente ordenado por una relacin de orden, en el cual cada subconjunto {a, b} de este, consta de dos elementos, tiene una mnima cota superior y una mxima cota inferior.