Boolean Vector Spaces
نویسنده
چکیده
This article discusses the basic properties of finite-dimensional Boolean vector spaces and their linear transformations. We first introduce a natural Boolean-valued inner product and discuss orthonormal bases. We show that all bases are orthonormal and have the same cardinality. It is shown that the set of subspaces form an atomistic orthomodular poset. We then demonstrate that an operator that is diagonal relative to one basis is diagonal relative to all bases and that all projections are diagonal. It is proved that an operator is diagonal if and only if any basis consists of eigenvectors of the operator. We characterize extremal states and show that a state is extremal if and only if it is pure. Finally, we introduce tensor products and direct sums of Boolean vector spaces.
منابع مشابه
Flocks in Universal and Boolean Algebras
We propose the notion of flocks, which formerly were introduced only in based algebras, for any universal algebra. This generalization keeps the main properties we know from vector spaces, e.g. a closure system that extends the subalgebra one. It comes from the idempotent elementary functions, we call “interpolators”, that in case of vector spaces merely are linear functions with normalized coe...
متن کاملOmega-almost Boolean rings
In this paper the concept of an $Omega$- Almost Boolean ring is introduced and illistrated how a sheaf of algebras can be constructed from an $Omega$- Almost Boolean ring over a locally Boolean space.
متن کاملA Completeness Theorem for "Total Boolean Functions"
In [3], Christine Tasson introduces an algebraic notion of totality for a denotational model of linear logic. The notion of total boolean function is, in a way, quite intuitive. This note provides a positive answer to the question of completeness of the " boolean centroidal calculus " w.r.t. total boolean functions. 0. Introduction. Even though the question answered in this note has its roots i...
متن کاملBoolean Automorphisms of a Hypercube Coincide with the Linear Isometries
Boolean homomorphisms of a hypercube, which correspond to the morphisms in the category of finite Boolean algebras, coincide with the linear isometries of the category of finite binary metric vector spaces.
متن کاملBOUNDEDLY a-COMPLETE BOOLEAN ALGEBRAS AND APPLICATIONS TO OPERATOR THEORY
A systematic study is made of spectral measures in locally convex spaces which are countably additive for the topology of uniform convergence on bounded sets, briefly, the bounded convergence topology. Even though this topology is not compatible for the duality with respect to the pointwise convergence topology it turns out, somewhat surprisingly, that the corresponding L'-spaces for the spectr...
متن کامل