Orthogonal hull of a strongly projectable lattice ordered group
Orthogonal polynomials represented by CW-spheres.
Orthogonality and complementation in the lattice of subspaces of a finite vector space
We investigate the lattice of subspaces of an -dimensional vector space over a finite field with a prime power together with the unary operation of orthogonality. It is well-known that this lattice is modular and that the orthogonality is an antitone involution. The lattice satisfies the chain condition and we determine the number of covers of its elements, especially the number of its atoms. We characterize when orthogonality is a complementation and hence when is orthomodular. For...
Orthogonality spaces and atomistic orthocomplemented lattices
Orthomodular lattices and closure operations in ordered vector spaces
On a non-trivial partially ordered real vector space (V,≤) the orthogonality relation is defined by incomparability and ζ(V,⊥) is a complete lattice of double orthoclosed sets. We say that A ⊆ V is an orthogonal set when for all a,b ∈ A with a ≠ b, we have a ⊥ b. In our earlier papers we defined an integrally open ordered vector space and two closure operations A → D(A) and . It was proved that V is integrally open iff for every orthogonal set A ⊆ V. In this paper we generalize this result. We...
Orthomodular lattices that are horizontal sums of Boolean algebras
The paper deals with orthomodular lattices which are so-called horizontal sums of Boolean algebras. It is elementary that every such orthomodular lattice is simple and its blocks are just these Boolean algebras. Hence, the commutativity relation plays a key role and enables us to classify these orthomodular lattices. Moreover, this relation is closely related to the binary commutator which is a term function. Using the class of horizontal sums of Boolean algebras, we establish an identity which...
Orthomodular lattices with almost orthogonal sets of atoms
The set of all atoms of an atomic orthomodular lattice is said to be almost orthogonal if the set is finite for every . It is said to be strongly almost orthogonal if, for every , any sequence of atoms such that contains at most finitely many distinct elements. We study the relation and consequences of these notions. We show among others that a complete atomic orthomodular lattice is a compact topological one if and only if the set of all its atoms is almost orthogonal.
Orthomodular lattices with fully nontrivial commutators
An orthomodular lattice is said to have fully nontrivial commutator if the commutator of any pair is different from zero. In this note we consider the class of all orthomodular lattices with fully nontrivial commutators. We show that this class forms a quasivariety, we describe it in terms of quasiidentities and situate important types of orthomodular lattices (free lattices, Hilbertian lattices, etc.) within this class. We also show that the quasivariety in question is not a variety answering...
Orthomodular lattices with state-separated noncompatible pairs
In the logico-algebraic foundation of quantum mechanics one often deals with the orthomodular lattices (OML) which enjoy state-separating properties of noncompatible pairs (see e.g. , and ). These properties usually guarantee reasonable “richness” of the state space—an assumption needed in developing the theory of quantum logics. In this note we consider these classes of OMLs from the universal algebra standpoint, showing, as the main result, that these classes form quasivarieties. We also illustrate...
Orthomodular ordered sets and orthogonal closure spaces
Orthomodular Posets Can Be Organized as Conditionally Residuated Structures
It is proved that orthomodular posets are in a natural one-to-one correspondence with certain residuated structures.
Orthorings
Certain ring-like structures, so-called orthorings, are introduced which are in a natural one-to-one correspondence with lattices with 0 every principal ideal of which is an ortholattice. This correspondence generalizes the well-known bijection between Boolean rings and Boolean algebras. It turns out that orthorings have nice congruence and ideal properties.
Orthosymmetric bilinear map on Riesz spaces
Let be a Riesz space, a Hausdorff topological vector space (t.v.s.). We prove, under a certain separation condition, that any orthosymmetric bilinear map is automatically symmetric. This generalizes in certain way an earlier result by F. Ben Amor [On orthosymmetric bilinear maps, Positivity 14 (2010), 123–134]. As an application, we show that under a certain separation condition, any orthogonally additive homogeneous polynomial is linearly represented. This fits in the type of results by...
Ortogonalita na množinách
Outer measure analysis of topological lattice properties.
Outer measure on boolean algebras
Outer measures and associated lattice properties.
Outer measures and weak regularity of measures.
Overtaker binary relations on complete completely distributive lattices related to the level sets of the L-Fuzzy sets.
The class of overtaker binary relations associated with the order in a lattice is defined and used to generalize the representations of L-fuzzy sets by means of level sets or fuzzy points.