Álgebra de Heyting


Álgebra de Heyting

En matemáticas, las álgebras de Heyting (Su creador fue Arend Heyting) son conjuntos parcialmente ordenados especiales que constituyen una generalización de las álgebras de Boole. Las álgebras de Heyting se presentan como modelos de la lógica intuicionista, una lógica en la cual la ley del tercero excluido no vale, en general. Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos.

Contenido

Definiciones formales

Un álgebra de Heyting H es un reticulado acotado tal que para todo a y b en H hay un mayor elemento x de H tal que a ^ xb. Este elemento se llama el seudo-complemento relativo de a con respecto a b, y es denotado a=>b (o ab).

Una definición equivalente puede ser dada considerando las funciones fa: HH definidos por fa(x) = a^x, para algún a (fijo) en H. Un reticulado acotado H es un álgebra de Heyting si y sólo si todas las funciones fa son el adjunto inferior de una conexión de Galois monótona. En este caso los adjuntos superiores respectivos ga son dados por ga(x) = a=>x, donde => se define como arriba.

Un álgebra completa de Heyting es un álgebra de Heyting que es un reticulado completo.

En cualquier álgebra de Heyting, uno puede definir seudo-complemento ¬x de un cierto elemento x haciendo ¬x = x=>0, donde 0 es el menor elemento del álgebra de Heyting.

Un elemento x de un álgebra de Heyting se llama regular si x = ¬¬x.

Propiedades

Las álgebras de Heyting son siempre distributivas. Esto se establece a veces como axioma, pero de hecho se sigue de la existencia de seudo-complementos relativos. La razón es que siendo ^ el adjunto inferior de una conexión de Galois, preserva todos los supremos existentes. Distributividad es precisamente la preservación de los supremos binarios por ^.

Además, por un argumento similar, la ley distributiva infinita siguiente se sostiene en cualquier álgebra completa de Heyting:

x ^ VY = V{x ^ y : y en Y},

para cualquier elemento x en H y cualquier subconjunto Y de H.

No toda álgebra de Heyting satisface las dos leyes de De Morgan. Sin embargo, las proposiciones siguientes son equivalentes para todas las álgebras de Heyting H:

  1. H satisface ambas leyes de De Morgan.
  2. ¬(x ^ y) = ¬x v ¬y, para todo x, y en H.
  3. ¬x v ¬¬x = 1 para todo x en H.
  4. ¬¬(x v y) = ¬¬x v ¬¬y para todo x, y en H.

El seudocomplemento de un elemento x de H es el supremo del conjunto {y : y ^ x=0} y pertenece a este conjunto (es decir x ^ ¬x=0). Las álgebras booleanas son exactamente esas álgebras de Heyting en las cuales x = ¬¬x para todo x, o, equivalentemente, en el cual x v ¬x = 1 para todo x. En este caso, el elemento a = > b es igual al ¬a v b.

En cualquier álgebra de Heyting, el menor y mayor elementos 0 y 1 son regulares. Además, los elementos regulares de cualquier álgebra de Heyting constituyen un álgebra booleana.

Ejemplos

  • cada conjunto totalmente ordenado que es un reticulado acotado es también un álgebra completa de Heyting, donde ¬0 = 1 y ¬a = 0 para todo a con excepción de 0.
  • Cada topología proporciona un álgebra completa de Heyting en forma de su reticulado de abiertos. En este caso, el elemento A => B es el interior de la unión de Ac y B, donde Ac denota el complemento del conjunto abierto A. No todas las álgebras completas de Heyting son de esta forma. Estos temas se estudian en topología sin puntos, donde las álgebras completas de Heyting también se llaman marcos o locales.
  • El álgebra de Lindenbaum de la lógica intuicionista proposicional es un álgebra de Heyting. Se define como el conjunto de todas los fórmulas de la lógica proposicional, ordenado vía el condicional lógico: para cualesquiera dos fórmulas F y G tenemos FG si y sólo si F |= G. En esta etapa ≤ es simplemente un preorden que induce un orden parcial que es el álgebra deseada de Heyting.

Referencias

  • F. Borceux,Handbook of Categorical Algebra 3, In Encyclopedia of Mathematics and its Applications, Vol. 53, Cambridge University Press, 1994.
  • G. Gierz, K.H. Hoffmann, K. Keinel, J. D. Lawson, M. Mislove and D. S. Scott, Continuous Lattices and Domains, In Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press, 2003.

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Álgebra de Heyting — En matemáticas, las álgebras de Heyting son conjuntos parcialmente ordenados especiales que constituyen una generalización de las álgebras de Boole. Las álgebras de Heyting se presentan como modelos de la lógica intuicionista, una lógica en la… …   Enciclopedia Universal

  • Algebra (disambiguation) — Algebra is a branch of mathematics.Algebra may also mean: * elementary algebra * abstract algebra * linear algebra * universal algebra * computer algebraIn addition, many mathematical objects are known as algebras. * In logic: ** Boolean algebra… …   Wikipedia

  • Heyting-Algebra — In der Mathematik sind Heyting Algebren spezielle partielle Ordnungen; gleichzeitig ist der Begriff der Heyting Algebra eine Verallgemeinerung des Begriffs der Booleschen Algebra. Heyting Algebren entstehen als Modelle intuitionistischer Logik,… …   Deutsch Wikipedia

  • Heyting Algebra — In der Mathematik sind Heyting Algebren spezielle partielle Ordnungen; gleichzeitig ist der Begriff der Heyting Algebra eine Verallgemeinerung des Begriffs der Booleschen Algebra. Heyting Algebren entstehen als Modelle intuitionistischer Logik,… …   Deutsch Wikipedia

  • Heyting — Arend Heyting (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. Er war Schüler von L. E. J. Brouwer und befasste sich mit der intuitionistischen Logik, für die er 1930 das erste… …   Deutsch Wikipedia

  • Algebra (Begriffsklärung) — Algebra bezeichnet in der Mathematik: Algebra, ein Teilgebiet der Mathematik mit den weiteren Teilgebieten Elementare Algebra Abstrakte Algebra Lineare Algebra Kommutative Algebra Universelle Algebra Computeralgebra Außerdem bezeichnet man mit… …   Deutsch Wikipedia

  • Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… …   Wikipedia

  • Heyting arithmetic — In mathematical logic, Heyting arithmetic is an axiomatization of arithmetic in accordance with the philosophy of intuitionism. It is named after Arend Heyting, who first proposed it.Heyting arithmetic adopts the axioms of Peano arithmetic, but… …   Wikipedia

  • Algebra — This article is about the branch of mathematics. For other uses, see Algebra (disambiguation). Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from… …   Wikipedia

  • Aritmética de Heyting — Saltar a navegación, búsqueda En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista. El nombre proviene de Arend Heyting, quien fue el primero en… …   Wikipedia Español