Representation and duality for Hilbert algebras (Q1040223): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Sergio Arturo Celani / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Dumitru Buşneag / rank | |||
Normal rank |
Revision as of 15:03, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Representation and duality for Hilbert algebras |
scientific article |
Statements
Representation and duality for Hilbert algebras (English)
0 references
24 November 2009
0 references
A Hilbert algebra is an algebra \(A=(A,\to ,1)\) of type \((2,0)\) such that the following axioms hold in \(A:\) \(a\to (b\to a)=1\), \((a\to (b\to c))\to ((a\to b)\to (a\to c))=1,a\to b=b\to a=1\) imply \(a=b\). In this paper, the authors prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations mentioned above. They restrict this result to give a duality for the category of Hilbert algebras with homomorphisms and apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. Also, they explore how this duality is related to the duality given by \textit{S. Celani} and \textit{L. Cabrer} in [Discrete Math. 305, No. 1--3, 74--99 (2005; Zbl 1084.03050)] for finite Hilbert algebras, and with the topological duality developed by \textit{I. Chajda, R. Halaš} and \textit{J. Zedník} in [Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 37, 41--45 (1998; Zbl 0967.03059)] for Tarski algebras.
0 references
Hilbert algebra
0 references
representation theorem
0 references
topological duality
0 references
deductive system
0 references
category
0 references
Hilbert space
0 references