Banach Synaptic Algebras

Foulis, David J.; Pulmannov, Sylvia

doi:10.1007/s10773-017-3641-y

Cited by 6 publications

(10 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Then there is a norm-dense subset F ⊆ C(X, R) and a synaptic isomorphism Ψ : A → F such that the restriction of Ψ to P is a Boolean isomorphism of P onto the set of all characteristic functions (indicator functions) of clopen (both closed and open) subsets of X. Moreover, if A is norm complete, then X is basically disconnected and F = C(X, R) [21].…”

Section: Synaptic Algebrasmentioning

confidence: 99%

“…Our purpose in this paper, as indicated by its title, is to study the spectral order on a so-called synaptic algebra (abbreviated SA) [7,12,13,14,15,16,17,18,19,20,21,22,40]. The formulation of a synaptic algebra [7] was motivated by an effort to define, by means of a few simple and physically plausible axioms, an algebraic structure suitable for the mathematical description of a quantum mechanical system.…”

Section: Introductionmentioning

confidence: 99%

“…Let A be a synaptic algebra, let E := {e ∈ A : 0 ≤ e ≤ 1} be the set of effects in A, and let P := {p ∈ A : p = p 2 } be the orthomodular lattice (OML) of projections in A. By [21,Theorem 5.3], A is Banach (i.e., norm complete) iff it is isomorphic to the self-adjoint part of a Rickart C * -algebra. If A is Banach, then under the spectral order, A is a Dedekind σ-complete lattice and E is a σ-complete lattice (Theorem 4.6 and Corollary 4.7 below); moreover (by a similar proof), if in addition P is a complete OML, then A is a Dedekind complete lattice and E is a complete lattice.…”

Section: Introductionmentioning

confidence: 99%

“…Theorem 5.3]; moreover the set of projections in a Banach SA is a σ-complete OML[21, Theorem 5.4]. Furthermore, if an SA is Banach, then it is isomorphic to the self-adjoint part of an AW * -algebra iff its set of projections is a complete OML[21, Theorem 8.5].The definitions and results in this section are versions for a Banach SA of corresponding definitions and results for von Neumann algebras in[32, §5] and[23].…”

mentioning

confidence: 99%

See 3 more Smart Citations

Spectral Order on a Synaptic Algebra

Foulis

Pulmannová

2018

Order

Self Cite

View full text Add to dashboard Cite

We define and study an alternative partial order, called the spectral order, on a synaptic algebra-a generalization of the self-adjoint part of a von Neumann algebra. We prove that if the synaptic algebra A is norm complete (a Banach synaptic algebra), then under the spectral order, A is Dedekind σ-complete lattice, and the corresponding effect algebra E is a σ-complete lattice. Moreover, E can be organized into a Brouwer-Zadeh algebra in both the usual (synaptic) and spectral ordering; and if A is Banach, then E is a Brouwer-Zadeh lattice in the spectral ordering. If A is of finite type, then De Morgan laws hold on E in both the synaptic and spectral ordering.An existing infimum (respectively, supremum) of a family (a γ ) γ∈Γ in P is written as γ∈Γ a γ (respectively, as γ∈Γ a γ ).We denote the von Neumann algebra of all bounded linear operators on a Hilbert space H by B(H) and we denote the self-adjoint part of B(H) by B sa (H). If ·, · is the inner product on H, then the usual order ≤ for Gudder [26], we shall refer to ≤ as the numerical order on B sa (H) and on subalgebras thereof. The "unit interval"and it is the prototype for the more general notion of an effect algebra [8].Let R be a von Neumann algebra and let R sa be the self-adjoint part of R with the numerical order. The system E(is an effect algebra that generalizes the standard effect algebra.By a well-known theorem of S. Sherman [43], R sa is a lattice iff R is commutative. Recall that R is a factor iff its center consists only of scalar multiples of the identity, and R sa is an antilattice iff, for all a, b ∈ R sa , the infimum a ∧ b exists in R sa iff a ≤ b or b ≤ a. By Kadison's antilattice theorem [31], R is a factor iff R sa is an antilattice. Thus, since B(H) is a factor, it follows that B sa (H) is an antilattice under the numerical order.Kadison's antilattice theorem has engendered considerable research on possible alternative orders for B sa (H) and related operator algebras that, optimally, would result in a lattice, or at least in a poset with some latticelike properties. Three (actually two) of these alternative orders are as follows:(1) Drazin's star order ≤ * [6], which was originally defined for so-called proper involution rings, makes sense for a von Neumann algebra R, and so does its restriction to the self-adjoint part R sa of R. The star order on R sa has various equivalent characterizations, one of which is as follows. For A, B ∈ R sa , A ≤ * B iff there exists C ∈ R sa such that AC = 0 and A + C = B. A number of authors, e.g., [3,5,41,45] have studied the star order for various operator algebras and related structures.(2) S.P. Gudder [26] has formulated a so-called logical order for B sa (H) as follows: If A ∈ B sa (H), F (R) is the σ-field of real Borel sets, and P(H) is the lattice under the numerical order of all projections P = P 2 ∈ B sa (H), denote the real observable corresponding to A by P A : F (R) → P(H). Then for A, B ∈ B sa (H), A B iff P A (∆) ≤ P B (∆) for all ∆ ∈ F (R) with 0 / ∈ ∆.

show abstract

Section: Synaptic Algebrasmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

mentioning

confidence: 99%

See 2 more Smart Citations

Spectral Order on a Synaptic Algebra

Foulis

Pulmannová

2018

Order

Self Cite

View full text Add to dashboard Cite

show abstract

“…A synaptic algebra [3,5,6,7,8,9,10,11,12,13,14,15,21] is a generalization of the self-adjoint part of several structures based on operator algebras. For instance, although a synaptic algebra A need not be norm complete (i.e., Banach), A is isomorphic to the self-adjoint part of a Rickart C * -algebra if and only if it is Banach [9,Theorem 5.3]. Also, A is isomorphic to the self-adjoint part of an AW * -algebra iff it is Banach and its projection lattice is complete [9,Theorem 8.5].…”

Section: Introductionmentioning

confidence: 99%