Академический Документы
Профессиональный Документы
Культура Документы
Retículo (matemáticas)
En matemáticas, específicamente en álgebra y teoría del orden, un retículo es
una estructura algebraica en un conjunto: con una relación binaria: que
es conjunto parcialmente ordenado y dos operaciones binarias, con la
propiedad fundamental de que toda pareja de elementos tiene un
único supremo (o extremo superior) en y un único ínfimo (o
extremo inferior) en .1 2 3
Índice
Definición como conjunto ordenado
Definición algebraica
Homomorfismos
Retículos particulares
Propiedades
Ejemplos de retículos
Distributividad
Nociones importantes de la teoría de retículos
Referencias
Bibliografía
Un conjunto parcialmente ordenado (L, ≤) se denomina retículo si satisface las siguientes propiedades:
https://es.wikipedia.org/wiki/Retículo_(matemáticas) 1/7
15/11/2019 Retículo (matemáticas) - Wikipedia, la enciclopedia libre
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 y , tales que para
cualesquiera a, b, c en L se cumplen
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 b para el supremo de {a, b} y
a b para el ínfimo de {a, b}, entonces (L, ) 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.
Homomorfismos
La clase de todos los retículos forma una categoría si definimos un homomorfismo entre dos retículos (L, ) y (N, )
como una función f: L N tal que:
;
;
https://es.wikipedia.org/wiki/Retículo_(matemáticas) 2/7
15/11/2019 Retículo (matemáticas) - Wikipedia, la enciclopedia libre
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, , ).
Retículo distributivo
Un retículo L se denomina distributivo, si sus operaciones son doblemente distributivas:
y
.
Como estos dos juicios son equivalentes entre sí, basta exigir el cumplimiento de una de las dos leyes distributivas.
Retículo modular
Un retículo L se denomina modular, si se cumple que:
L es modular.
.
.
.
Todo retículo distributivo es modular, pero el juicio inverso no se cumple. Un retículo no modular siempre contiene al
retículo como subretículo.
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 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:
https://es.wikipedia.org/wiki/Retículo_(matemáticas) 3/7
15/11/2019 Retículo (matemáticas) - Wikipedia, la enciclopedia libre
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.
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.
Retículo completo
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.
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
Propiedades
Todo retículo completo L es acotado, con
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.
Sin embargo, si el retículo no es distributivo, pueden existir diversos complementos; va un ejemplo más adelante.
¬0 = 1, ¬1 = 0.
https://es.wikipedia.org/wiki/Retículo_(matemáticas) 4/7
15/11/2019 Retículo (matemáticas) - Wikipedia, la enciclopedia libre
¬(¬a) = a.
Para otras propiedades de los retículos booleanos véase ese artículo.
Ejemplos de retículos
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 real extendida, 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 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 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 x≈y.
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 (y (x z)) = (x y) (x 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 (y z) = (x y) z.
Distributividad
Un retículo se llama distributivo si distribuye a , es decir, x (y z) = (x y) (x z). equivalentemente,
distribuye . 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.
https://es.wikipedia.org/wiki/Retículo_(matemáticas) 5/7
15/11/2019 Retículo (matemáticas) - Wikipedia, la enciclopedia libre
x≤a b implica x ≤ a o x ≤ b,
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
1. Ralph P. Grimaldi (1998). «7.20». Matemáticas discreta y combinatoria (3 edición). Pearson Educación. p. 379.
ISBN 978-968-444-324-2.
2. Hortalá González, María Teresa; Leach Albert, Javier; Rodríguez Artalejo, Mario (2001). «3.3». Matemática discreta y
lógica matemática (2 edición). Editorial Complutense. p. 185. ISBN 978-847-491-650-8.
3. García Rua, Joaquin (1977). «3». Matemática básica elemental (1 edición). Ministerio de Educación. p. 67. ISBN 978-
843-690-216-7.
4. Bernard Kolman; Robert C. Busby; Sharon Ross (1997). «7». Estructuras de matemáticas discretas para la
computación (Oscar Alfredo Palmas Velasco, trad.) (3 edición). Pearson Educación. p. 231. ISBN 978-968-880-799-6.
5. Ralph P. Grimaldi (1998). «7». Matemáticas discreta y combinatoria (3 edición). Pearson Educación. p. 373. ISBN 978-
968-444-324-2.
6. Villalpando Becerra, José Francisco; García Sandoval, Andrés (2014). «3.8». Matemáticas Discretas. Grupo Editorial
Patria. p. 76. ISBN 978-607-438-925-8.
https://es.wikipedia.org/wiki/Retículo_(matemáticas) 6/7
15/11/2019 Retículo (matemáticas) - Wikipedia, la enciclopedia libre
Bibliografía
1. Hortalá González, María Teresa; Leach Albert, Javier; Rodríguez Artalejo, Mario (2001). «3». Matemática discreta y
lógica matemática (2 edición). Editorial Complutense. p. 161. ISBN 978-847-491-650-8.
2. García Rua, Joaquin (1977). «IV 3». Matemática básica elemental. Ministerio de Educación y Ciencia. p. 67. ISBN 978-
843-690-216-7.
3. George Grätzer, 1978. General Lattice Theory. Birkhäuser. ISBN 9783764369965.
4. Robert P. Dilworth y Crawley, Peter, 1973. Algebraic Theory of Lattices. Prentice-Hall. ISBN 9780130222695.
5. Garrett Birkhoff, 1967. Lattice Theory, 3rd ed. Vol. 25 of AMS Colloquium Publications. American Mathematical
Society. ISBN 9780821810255
6. Hans Hermes, 1963. La Teoría de Retículos y Su Aplicación a la Lógica Matemática. Consejo Superior de
Investigaciones Científicas. ISBN 9788400031039
Obtenido de «https://es.wikipedia.org/w/index.php?title=Retículo_(matemáticas)&oldid=120646252»
Esta página se editó por última vez el 22 oct 2019 a las 16:20.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.
https://es.wikipedia.org/wiki/Retículo_(matemáticas) 7/7