Retículo (orden)

Retículo (orden)
Diagrama de Hasse del retículo de particiones del conjunto {1,2,3,4}.

En matemática, un retículo es una determinada estructura algebraica con dos operaciones binarias, o bien un conjunto parcialmente ordenado con ciertas propiedades específicas (siendo equivalentes ambos enfoques). El término "retículo" viene de la forma de los diagramas de Hasse de tales órdenes.

Contenido

Definición como conjunto ordenado

En teoría de conjuntos, un retículo, red o lattice 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:

Existencia del supremo por pares
Para cualesquiera dos elementos a y b de L, el conjunto {a, b} tiene un supremo: a \lor b (también conocido como mínima cota superior, o join en idioma inglés).
Existencia del ínfimo por pares
Para cualesquiera dos elementos a y b de L, el conjunto {a, b} tiene un ínfimo: a \land b (también conocido como máxima cota inferior, o meet en idioma inglés).

El supremo y el ínfimo de a y b se denotan por a \lor b y a \land b, respectivamente, lo que define a  \lor y  \land como operaciones binarias. El primer axioma dice que L es un semiretículo superior; el segundo que L es un semiretículo inferior. Ambas operaciones son monótonas con respecto al orden: a1 ≤ a2 y b1 ≤ b2 implica que a1 \lor b1 ≤ a2 \lor b2 y a1 \land b1 ≤ a2 \land b2.

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.

Definición algebraica

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

a \vee b = b \vee a a \wedge b = b \wedge a las leyes de conmutatividad
a \vee (b \vee c) = (a \vee b) \vee c a \wedge (b \wedge c) = (a \wedge b) \wedge c las leyes de asociatividad
a \vee (a \wedge b) = a a \wedge (a \vee b) = a las leyes de absorción
condiciones de las que se derivan
a \vee a = a a \wedge a = a las leyes de idempotencia

Si las dos operaciones satisfacen estas reglas algebraicas, entonces a su vez definen un orden parcial ≤ en L por la regla siguiente: ab si y sólo si a \vee b = b, o, equivalentemente, a \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 \vee b para el supremo de {a, b} y a \wedge b para el ínfimo de {a, b}, entonces (L, \wedge ; \vee) satisface todos los axiomas de un retículo definido algebraicamente.

Por tanto L es un semiretí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.

Homomorfismos

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

f(a \wedge b) = f(a) \wedge f(b);
f(a \vee b) = f(a) \vee 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 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.

Retículos particulares

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

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

  • a\vee(b\wedge c) = (a\vee b)\wedge(a\vee c) para todo a,b,c\in L y
  • a\wedge(b\vee c) = (a\wedge b)\vee(a\wedge c) para todo a,b,c\in L.

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:

  • a\leq c \Longrightarrow a\vee(b\wedge c) = (a\vee b)\wedge c para todo a,b,c\in L.

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

  • L es modular.
  • a\geq c \Longrightarrow a\wedge(b\vee c) = (a\wedge b)\vee c para todo a,b,c\in L.
  • a\vee(b\wedge(a\vee c)) = (a\vee b)\wedge(a\vee c) para todo a,b,c\in L.
  • a\wedge(b\vee(a\wedge c)) = (a\wedge b)\vee(a\wedge c) para todo a,b,c\in L.

Todo retículo distributivo es modular, pero el juicio inverso no se cumple. Un retículo no modular siempre contiene al retículo N5 como subretículo.

En caso de que la operación \vee tenga un elemento neutro 0,

  • a \vee 0 = a,

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:

  • a \wedge 0 = 0  y  0 = \bigwedge V.

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

En caso de que la operación \wedge tenga un elemento neutro 1,

  • a \wedge 1 = a,

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:

  • a \vee 1 = 1  y
  • 1 = \bigvee V.

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

  • a \wedge b = 0  y
  • a \vee b = 1

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 suconjuntos infinitos) tiene un supremo y un ínfimo.

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

  • \bigwedge M = \bigvee \{ x \in L : (\forall\,y\in M: x \le y) \}.

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

  • a\leq\bigvee M

contiene un subconjunto finito E tal que

  • a\leq\bigvee E.

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

Propiedades

Todo retículo completo L es acotado, con

  • 0 = \bigwedge L = \bigvee \emptyset  y
  • 1 = \bigvee L = \bigwedge \emptyset.

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 \wedge 1 = b \wedge (a \veec) = (b \wedge a ) \vee (b \wedge c) = b \wedge c. Análogamente se muestra que c = b \wedge c, por lo que b = c.

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

  • ¬0 = 1, ¬1 = 0.

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

  • ¬(¬a) = a.

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

Ejemplos de retículos

  • 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 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.
  • 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 retículo 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 xy.

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 \vee (y \wedge (x \vee z)) = (x \vee y) \wedge (x \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 xz entonces para todo y tenemos la identidad x \vee (y \wedge z) = (x \vee y) \wedge z.

Un retículo se llama distributivo si \wedge distribuye a \vee, es decir, x \wedge (y \vee z) = (x \wedge y) \vee (x \wedge z). equivalentemente, \vee distribuye \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.

Nociones importantes de la teoría de retículos

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 sólo si

  • x = a \vee 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-irreducibilidad. A veces uno también utiliza los términos \vee-irreducibles y \wedge-irreducibles, respectivamente.

Un elemento x de L se llama supremo-primo si y sólo si

  • xa \vee b implica xa o xb,
  • 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 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.

Referencias

Bibliografía


Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Retículo — Saltar a navegación, búsqueda Retículo puede referirse a: Retículo endoplasmático, un orgánulo celular. En matemáticas, retículo (orden) es un conjunto parcialmente ordenado. Retículo (pieza) parte de un teodolito La segunda de las cuatro… …   Wikipedia Español

  • Retículo endoplasmático — Saltar a navegación, búsqueda El retículo endoplasmático es una red interconectada que forma cisternas, tubos aplanados y sáculos comunicados entre sí, que intervienen en funciones relacionadas con la síntesis proteica, metabolismo de lípidos y… …   Wikipedia Español

  • Orden total — En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relación binaria sobre X que es antisimétrica, transitiva, y total; esto es, si se denota una tal relación por ≤, lo siguiente vale para… …   Wikipedia Español

  • Anexo:Grupos finitos de orden bajo — Este artículo muestra una lista matemática de los grupos finitos de orden bajo (una cardinalidad de hasta 16 elementos) clasificados por isomorfismo de grupos. Con esta lista se puede determinar de qué grupo conocido es isomorfo un grupo finito G …   Wikipedia Español

  • Reticulado (orden) — 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 diagram …   Enciclopedia Universal

  • Célula — Saltar a navegación, búsqueda Para otros usos de este término, véase Célula (desambiguación) …   Wikipedia Español

  • Check Wikipedia — Wikiproyecto:Check Wikipedia Saltar a navegación, búsqueda Esta página contiene de forma consciente fallos ortográficos. Los bots no deben intentar corregirlos. Atajo PR:CWPR:CW …   Wikipedia Español

  • Función elíptica — En análisis complejo, una función elíptica es, hablando toscamente, una función definida sobre el plano complejo y periódica en ambas direcciones. Las funciones elípticas pueden ser vistas como generalizaciones de las funciones trigonométricas… …   Wikipedia Español

  • Grupo cíclico — Las seis raíces complejas 6 ésimas de la unidad forman un grupo cíclico bajo la multiplicación. z es un elemento generador de este grupo cíclico o elemento primitivo, pero z2 no lo es, porque las potencias impares de z no son representables como… …   Wikipedia Español

  • Lógica cuántica — En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas. Ejemplos de tales… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”