Reticulado (orden)

En matemáticas, específicamente en álgebra y teoría del orden, un retículo es una estructura algebraica en un conjunto: ${displaystyle A,}$ con una relación binaria: ${displaystyle {mathcal {R}}}$ que es conjunto parcialmente ordenado y dos operaciones binarias, con la propiedad fundamental de que toda pareja ${displaystyle a,bin A}$ de elementos tiene un único supremo (o extremo superior) en ${displaystyle A,;sup(a,b)in A}$ y un único ínfimo (o extremo inferior) en ${displaystyle A,;inf(a,b)in A}$.^[1]​ ^[2]​ ^[3]​

El término «retículo» viene de la forma de los diagramas de Hasse de tales órdenes. ^[4]​ ^[5]​ ^[6]​

Un ejemplo de retículo es el conjunto de particiones de un conjunto finito, ordenado por la relación de inclusión.

En teoría de conjuntos, un retículo es un conjunto parcialmente ordenado en el cual, para cada par de elementos, existen un supremo y un ínfimo, esto es:

Un conjunto parcialmente ordenado (L, ≤) se denomina retículo si satisface las siguientes propiedades:

El supremo y el ínfimo de a y b se denotan por ${displaystyle alor b}$ y ${displaystyle aland b}$, respectivamente, lo que define a ${displaystyle lor }$ y ${displaystyle land }$ como operaciones binarias. El primer axioma dice que L es un semirretículo superior; el segundo que L es un semirretículo inferior. Ambas operaciones son monótonas con respecto al orden: a₁ ≤ a₂ y b₁ ≤ b₂ implica que a₁${displaystyle lor }$ b₁ ≤ a₂ ${displaystyle lor }$ b₂ y a₁${displaystyle land }$b₁ ≤ a₂${displaystyle land }$b₂.

Se sigue por inducción matemática que para todo subconjunto finito no vacío de un retículo existen un supremo y un ínfimo.

Nótese que aún en un conjunto parcialmente ordenado (L, ≤) arbitrario, la existencia de algún supremo (o ínfimo) z para un subconjunto finito no vacío S de L implica que este supremo (o ínfimo) z es único, puesto que de existir dos o más cotas superiores (o inferiores) de S que sean incomparables entre sí, el supremo (o ínfimo) por definición no existe.

En álgebra, en sentido inverso, un retículo es un conjunto L, provisto de dos operaciones binarias ${displaystyle wedge }$ y ${displaystyle vee }$, tales que para cualesquiera a, b, c en L se cumplen

Si las dos operaciones satisfacen estas reglas algebraicas, entonces a su vez definen un orden parcial ≤ en L por la regla siguiente: a ≤ b si y solo si a ${displaystyle vee }$ b = b, o, equivalentemente, a ${displaystyle wedge }$ b = a.

L, junto con el orden parcial ≤ así definido, sería entonces un retículo en el sentido antedicho de la teoría del orden.

Inversamente, si se da un retículo (L, ≤) en términos de la teoría del orden, y escribimos a ${displaystyle vee }$ b para el supremo de {a, b} y a ${displaystyle wedge }$ b para el ínfimo de {a, b}, entonces (L, ${displaystyle wedge ;vee }$) satisface todos los axiomas de un retículo definido algebraicamente.

Por tanto L es un semirretículo con respecto a cada operación por separado, es decir, un semigrupo conmutativo, con idempotencia de cada uno de sus elementos. Las operaciones interactúan a través de las leyes de absorción.

Al permutar las operaciones se obtiene el retículo dual de L.

La clase de todos los retículos forma una categoría si definimos un homomorfismo entre dos retículos (L, ${displaystyle wedge ;vee }$) y (N, ${displaystyle wedge ;vee }$) como una función f: L ${displaystyle ightarrow }$ N tal que:

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 retículos. Los dos retículos 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 retículos, pero no cada función monótona da un homomorfismo de retículo: además necesitamos la compatibilidad con supremos e ínfimos finitos.

En lo que sigue, por "retículo L" siempre nos referiremos a (L, ${displaystyle wedge }$, ${displaystyle vee }$).

Un retículo L se denomina distributivo, si sus operaciones son doblemente distributivas:

Como estos dos juicios son equivalentes entre sí, basta exigir el cumplimiento de una de las dos leyes distributivas.

Un retículo L se denomina modular, si se cumple que:

Para un retículo L a su vez son equivalentes:

Todo retículo distributivo es modular, pero el juicio inverso no se cumple. Un retículo no modular siempre contiene al retículo ${displaystyle N_{5}}$ como subretículo.

En caso de que la operación ${displaystyle vee }$ tenga un elemento neutro 0,

a este se lo denomina el 'elemento cero' del retículo, es único y es el elemento menor con respecto al orden natural del retículo:

El retículo se denomina entonces retículo con cota inferior.

En caso de que la operación ${displaystyle wedge }$ tenga un elemento neutro 1,

a este se lo denomina el 'elemento uno' del retículo. Es único y es el elemento mayor con respecto al orden natural del retículo:

El retículo se denomina entonces retículo con cota superior.

El elemento neutral de una de las operaciones es entonces un elemento absorbente de la otra. Un retículo se denomina acotado si tiene cota superior e inferior, es decir, si ambas operaciones tienen elemento neutro.

Para un elemento dado a de un retículo acotado, al elemento b con la propiedad

se lo denomina complemento de a. Un retículo acotado, en el que cada uno sus elementos tiene complemento, se denomina complementado.

Un retículo distributivo complementado se denomina álgebra de Boole o retículo de Boole; cuando en lugar del complemento solamente existe un así llamado pseudocomplemento relativo, se habla de una álgebra de Heyting.

Un retículo L se denomina completo si todo subconjunto (inclusive los subconjuntos vacío o posiblemente subconjuntos infinitos) tiene un supremo y un ínfimo.

Para cada subconjunto M basta exigir la existencia del supremo, ya que

Un elemento a de un retículo completo L se denomina compacto (según una propiedad similar en topología), si todo subconjunto M de L con

contiene un subconjunto finito E tal que

Un retículo L se denomina algebraico, si es completo y si todo elemento de L es un supremo de elementos compactos.

Todo retículo completo L es acotado, con

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 a^c (particularmente en el caso de retículos de subconjuntos) o bien ¬a (particularmente en aplicaciones de lógica).

Sin embargo, si el retículo no es distributivo, pueden existir diversos complementos; va un ejemplo más adelante.

En un retículo distributivo acotado se verifica

Si a tiene un complemento ¬a, entonces también ¬a tiene un complemento, que es:

Para otras propiedades de los retículos booleanos véase ese artículo.

El teorema de Knaster-Tarski establece que el conjunto de puntos fijos de una función monótona en un retículo completo es asimismo un retículo completo.

El retículo de submódulos de un módulo y el retículo de los subgrupos normales de un grupo tienen la propiedad especial que x ${displaystyle vee }$ (y ${displaystyle wedge }$ (x ${displaystyle vee }$ z)) = (x ${displaystyle vee }$ y) ${displaystyle wedge }$ (x ${displaystyle vee }$ z) para todo x, y y z en el retículo. Un retículo con esta propiedad se llama un retículo 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 ${displaystyle vee }$ (y ${displaystyle wedge }$ z) = (x ${displaystyle vee }$ y) ${displaystyle wedge }$ z.

Un retículo se llama distributivo si ${displaystyle wedge }$ distribuye a ${displaystyle vee }$, es decir, x ${displaystyle wedge }$ (y ${displaystyle vee }$ z) = (x ${displaystyle wedge }$ y) ${displaystyle vee }$ (x ${displaystyle wedge }$ z). equivalentemente, ${displaystyle vee }$ distribuye ${displaystyle wedge }$. Todos los retículos distributivos son modulares. Dos tipos importantes de retículos distributivos son los conjuntos totalmente ordenados y las álgebras booleanas (como el retículo de todos los subconjuntos de un conjunto dado). El retículo de los números naturales, ordenados por divisibilidad, es también distributivo. Otras leyes comunes de distributividad (especialmente la ley de distributividad completa) se dan en el artículo sobre distributividad en teoría del orden.

Dos ejemplos fundamentales de retículos no distributivos son el pentágono, ${displaystyle N_{5}}$ y ${displaystyle M_{3}}$ que se obtiene de agregarle un elemento mínimo y un máximo a la anticadena de tres elementos. Obviamente si hacemos esto con una anticadena de n elementos, obtendremos el retículo ${displaystyle M_{n}}$ que tampoco es distributivo. Los anteriores ejemplos son fundamentales en la medida en que cualquier retículo no distributivo está caracterizado por contener como subretículo a una copia de ${displaystyle M_{3}}$ o de ${displaystyle N_{5}}$.

En lo siguiente, sea L un retículo. Definimos algunas nociones de la teoría del orden que son de importancia particular en teoría de retículos.

Un elemento x de L se llama supremo-irreducible si y solo si

Cuando la primera condición se generaliza a supremos arbitrarios Va_i, x se llama totalmente supremo-irreducible. la noción dual se llama ínfimo-irreducibilidad. A veces uno también utiliza los términos ${displaystyle vee }$-irreducibles y ${displaystyle wedge }$-irreducibles, respectivamente.

Un elemento x de L se llama supremo-primo si y solo si

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 retículo es distributivo el inverso es también verdad.

Otras nociones importantes en teoría de retículos son ideal y su noción dual filtro. Ambos términos describen subconjuntos especiales de un retículo (o de cualquier conjunto parcialmente ordenado en general). Los detalles se pueden encontrar en los artículos respectivos.

---