Reticulado (orden)
Keywords: Reticulado (orden), Anillo (matemáticas), Conjunto parcialmente ordenado, Diagrama de Hasse, Divisibilidad, Entero, Espacio topológico, Espacio vectorial, Filtro (matemáticas)
En matemáticas, un retículo, reticulado, red o lattice es un conjunto parcialmente ordenado en el cual todo subconjunto finito no vacío tiene un supremo y un ínfimo. El término "reticulado" viene de la forma de los diagramas de Hasse de tales órdenes.
| Tabla de contenidos |
Definición algebraica
Un reticulado se puede también definir algebraicamente como un conjunto L, junto con dos operaciones binarias 
. Tales que para cualesquiera a, b, c en L,
a  a = a |
a  a = a |
leyes de idempotencia |
| a b = b a | a b = b a | leyes de conmutatividad |
| a (b c) = (a b) c | a (b c) = (a b) c | leyes de asociatividad |
| a (a b) = a | a (a b) = a | leyes de absorción |
(las leyes del idempotencia se pueden deducir de los leyes de absorción y por lo tanto no tienen que ser establecidas por separado.)
Si las dos operaciones satisfacen estas reglas algebraicas entonces definen un orden parcial ≤ en L por la regla siguiente: a ≤ b sii a or; b = b, o, equivalentemente, a b = a.
L, junto con el orden parcial ≤ así definido, sería entonces un reticulado en el sentido orden-teórico antedicho.
Inversamente, si se da un reticulado orden-teórico (L, ≤), y escribimos a b para el supremo de {a, b) y a b para el ínfimo de {a, b), entonces (L, ) satisface todos los axiomas de un reticulado definido algebraicamente.
Homomorfismos
La clase de todos los reticulados forma una categoría si definimos un homomorfismo entre dos reticulados (L, ) y (N, ) como una función 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 también un homomorfismo, y se llama un isomorfismo de reticulados. Los dos reticulados implicados son entonces isomorfos; para todos los propósitos prácticos, son iguales y se diferencian solamente en la notación de sus elementos.
Cada homomorfismo es una función monótona entre los dos reticulados, pero no cada función monótona da un homomorfismo de reticulado: además necesitamos la compatibilidad con supremos e ínfimos finitos.
Propiedades de los reticulados, ejemplos
Un reticulado se dice acotado si tiene un elemento mayor y un elemento menor. El elemento más grande es denotado a menudo por 1 y el menor por 0. Si x es un elemento de un reticulado acotado entonces cualquier elemento y del reticulado que satisface x y = 0 y x y = 1 se llama un complemento de x. Un reticulado acotado en el cual cada elemento tiene un complemento (no necesariamente único) se llama un reticulado complementado.
Un reticulado en el cual cada subconjunto (incluyendo los infinitos) tiene un un supremo y un ínfimo se llama un reticulado completo. Los reticulados completos siempre son acotados. Muchos de los reticulados más importantes son completos. Los ejemplos incluyen:
- Los subconjuntos de un conjunto dado, ordenados por inclusión. El supremo está dado por la unión y el ínfimo por la intersección de subconjuntos.
- El intervalo unidad [0, 1] y la recta extendida de números reales, con el orden total familiar y los usuales supremo e ínfimo.
- Los enteros no negativos, ordenados por divisibilidad. El supremo viene dado por el mínimo común múltiplo y el ínfimo por el máximo común divisor.
- Los subgrupos de un grupo, ordenado por la inclusión. El supremo viene dado por el subgrupo generado por la unión de los grupos y el ínfimo viene dado por la intersección.
- Los submódulos de un módulo, ordenado por la inclusión. El supremo viene dado por de la suma de submódulos y el ínfimo por la intersección.
- Los ideales de un anillo, ordenado por la inclusión. El supremo viene dado por la suma de ideales y el ínfimo por la intersección.
- Los conjuntos abiertos de un espacio topológico, ordenados por la inclusión. El supremo viene dado por la unión de conjuntos abiertos y el ínfimo por el interior de la intersección.
- los subconjuntos convexos de un espacio vectorial real o complejo, ordenado por la inclusión. El ínfimo viene dado por la intersección de conjuntos convexos y el supremo por la clausura convexa de la unión.
- Las topologías en un conjunto, ordenadas por la inclusión. El ínfimo viene dado por la intersección de topologías, y el supremo por la topología generada por la unión de las topologías.
- El reticulado de todas las relaciones binarias transitivas en un conjunto.
- El reticulado de todas las relaciones de equivalencia en un conjunto; la relación de equivalencia ~ se considera ser más pequeño (o "más fino") que ≈ si x~y implica siempre x≈y.
El teorema de Knaster-Tarski establece que el conjunto de puntos fijos de una función monótona en un reticulado completo es asimismo un reticulado completo.
El reticulado de submódulos de un módulo y el reticulado de los subgrupos normales de un grupo tienen la propiedad especial que x (y (x z)) = (x y) (x z) para todo x, y y z en el reticulado. Un reticulado con esta propiedad se llama un reticulado modular. La condición de la modularidad puede también ser establecida como sigue: Si x ≤ z entonces para todo y tenemos la identidad x (y z) = (x y) z.
Un reticulado se llama distributivo si distribuye a , es decir, x (y z) = (x y) (x z). equivalentemente, distribuye . Todos los reticulados distributivos son modulares. Dos tipos importantes de reticulados distributivos son los conjuntos totalmente ordenados y las álgebras booleanas (como el reticulado de todos los subconjuntos de un conjunto dado). El reticulado de los números naturales, ordenados por divisibilidad, son también distributivos. Otros leyes comunes de distributividad (especialmente la ley de distributividad completa) se dan en el artículo sobre distributividad en teoría de la orden.
Nociones importantes reticulado-teóricas
En lo siguiente, sea L un reticulado. Definimos algunas nociones orden-teóricas que son de importancia particular en teoría de reticulados.
Un elemento x de L se llama supremo-irreducible sii
- x = a b implica x = a o x = b para cualquier a, b en L,
- si L tiene un 0, de x se requiere a veces ser diferente de 0.
Cuando la primera condición se generaliza a supremos arbitrarios Vai, x se llama totalmente supremo-irreducible. la noción dual se llama ínfimo-irreducabilidad. A veces uno también utiliza los términos -irreducibles y -irreducibles, respectivamente.
Un elemento x de L se llama supremo-primo sii
- x ≤ a b implica x ≤ a o x ≤ b,
- Si L tiene 0, de x se requiere a veces ser diferente de 0.
Una vez más esto se puede generalizar para obtener la noción totalmente supremo-primo y dualizar para ínfimo-primo. Cualquier elemento supremo-primo es también supremo-irreducible, y cualquier elemento ínfimo-primo es también ínfimo-irreducible. Si el reticulado es distributivo el inverso es también verdad.
Otras nociones importantes en teoría de reticulados son ideal y su noción dual filtro. Ambos términos describen subconjuntos especiales de un reticulado (o de cualquier conjunto parcialmente ordenado en general). Los detalles se pueden encontrar en los artículos respectivos.