Abstract
Canonical extensions of Boolean algebras with operators were introduced in the seminal paper of Jónsson and Tarski. The two defining properties of canonical extensions are the density and compactness axioms. While the density axiom can be extended to the setting of vector lattices of continuous real-valued functions, the compactness axiom requires appropriate weakening. This provides a motivation for defining the concept of canonical extension in the category \(\varvec{ bav }\) of bounded archimedean vector lattices. We prove existence and uniqueness theorems for canonical extensions in \(\varvec{ bav }\). We show that the underlying vector lattice of the canonical extension of \(A\in \varvec{ bav }\) is isomorphic to the vector lattice of all bounded real-valued functions on the Yosida space of A, and give an intrinsic characterization of those \(B \in \varvec{ bav }\) that arise as the canonical extension of some \(A \in \varvec{ bav }\).
Similar content being viewed by others
References
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. Repr. Theory Appl. Categ. 17, 1–507 (2006)
Bezhanishvili, G., Morandi, P.J., Olberding, B.: Bounded Archimedean \(\ell \)-algebras and Gelfand-Neumark-Stone duality. Theory Appl. Categ. 28(16), 435–475 (2013)
Bezhanishvili, G., Morandi, P.J., Olberding, B.: Dedekind completions of bounded Archimedean \(\ell \)-algebras. J. Algebra Appl. 12(1), 1250139 (2013)
Bezhanishvili, G., Morandi, P.J., Olberding, B.: A functional approach to Dedekind completions and the representation of vector lattices and \(\ell \)-algebras by normal functions. Theory Appl. Categ. 31(37), 1095–1133 (2016)
Birkhoff, G.: Lattice theory, American Mathematical Society Colloquium Publications, vol. 25, 3rd edn. American Mathematical Society, Providence (1979)
Dilworth, R.P.: The normal completion of the lattice of continuous functions. Trans. Amer. Math. Soc. 68, 427–438 (1950)
Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345–371 (2001)
Gehrke, M., Jansana, R., Palmigiano, A.: \(\Delta _1\)-completions of a poset. Order 30(1), 39–64 (2013)
Gehrke, M., Jónsson, B.: Bounded distributive lattices with operators. Math. Japn. 40(2), 207–215 (1994)
Gehrke, M., Jónsson, B.: Bounded distributive lattice expansions. Math. Scand. 94(1), 13–45 (2004)
Gehrke, M., Priestley, H.A.: Canonical extensions and completions of posets and lattices. Rep. Math. Logic 43, 133–152 (2008)
Gillman, L., Jerison, M.: Rings of continuous functions. The University Series in Higher Mathematics. D. Van Nostrand Co., Inc., Princeton, (1960)
Jónsson, B., Tarski, A.: Boolean algebras with operators. I. Amer. J. Math. 73, 891–939 (1951)
Lam, T.Y.: A first course in noncommutative rings, graduate texts in mathematics, vol. 131, 2nd edn. Springer, New York (2001)
Luxemburg, W.A.J., Zaanen, A.C.: Riesz Spaces, vol. I. North-Holland Publishing Co., Amsterdam (1971). (North-Holland Mathematical Library)
Yosida, K.: On vector lattice with a unit. Proc. Imp. Acad. Tokyo 17, 121–124 (1941)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Bjarni Jónsson.
Presented by J. B. Nation.
This article is part of the topical collection “In memory of Bjarni Jónsson” edited by J. B. Nation.
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Morandi, P.J. & Olberding, B. Canonical extensions of bounded archimedean vector lattices. Algebra Univers. 79, 12 (2018). https://doi.org/10.1007/s00012-018-0495-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-018-0495-y
Keywords
- Vector lattice
- Canonical extension
- Compact Hausdorff space
- Continuous real-valued function
- Functional representation