Ortho and causal closure operations in ordered vector spaces

DOI10.1007/S00012-008-2088-7MaRDI QIDQ998765zbMATH OpenOpenAlexFDO

Authors Jan Florek

Publication date 29 January 2009

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-008-2088-7

zbMATH Keywords

ordered vector spaceorthogonality spaceorthomodular lattice

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Complemented lattices, orthocomplemented lattices and posets (06C15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Review text

Let \(V\) be a partially ordered real vector space. The orthogonality relation \(\perp\) is defined by incomparability. Two closure operators on the subsets of~\(V\) are defined and studied: orthoclosure \(A\mapsto A^{\perp\perp}\) and causal closure \(A\mapsto D(A)= \{a\in V \mid \forall b\in V\), \(b>0 \Rightarrow \exists \omega\in\mathbb{R}\), \(a+\omega b\in A\}\). It is known that the double orthoclosed sets form a complete orthocomplemented poset. This poset is orthomodular if \(V\) is integrally open, i.e., the conjunction of \(b > 0\) and \(a < b\) implies \(\exists n \in N\), \(a + nb > 0\). The inclusion \(D(A)\subseteq A^{\perp\perp}\) always holds. The main result is that \(V\) is integrally open iff the two closure operators coincide on orthogonal sets.

Recommendations

• Orthomodular lattices and closure operations in ordered vector spaces
• Orthomodular lattices in ordered vector spaces
• Ortho and causal closure as a closure operations in the causal logic
• Lattices of subspaces of vector spaces with orthogonality
• scientific article; zbMATH DE number 605248

Cited in

(4)

• Orthomodular lattice in Lorentzian globally hyperbolic space-time
• Ortho and causal closure as a closure operations in the causal logic
• Orthomodular lattices and closure operations in ordered vector spaces
• Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence

This page was built for publication: Ortho and causal closure operations in ordered vector spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q998765)