On the unit sphere of positive operators

Tingley's problems on uniform algebras

The Mazur–Ulam property in ℓ∞-sum and c0-sum of strictly convex Banach spaces

A characterization of isometries of complex Musielak-Orlicz spaces $L_Φ$ is given. If $L_Φ$ is not a Hilbert space and $U : L_Φ → L_Φ$ is a surjective isometry, then there exist a regular set isomorphism τ from (T,Σ,μ) onto itself and a measurable functio

A universal theorem for stability of ε-isometries of Banach spaces

A projection P0 on a complex Banach space is generalized 3- circular if its linear combination with two projections P1 and P2 having coefficients λ1 and λ2, respectively, is a surjective isometry, where λ1 and λ2 are distinct unit modulus complex numbers different from 1 and P0⊕P1⊕P2=I. Such projections are always contractive. In this paper, we prove structure theorems for generalized 3-circular projections acting on the spaces of all n×n symmetric and skew-symmetric matrices over C when these spaces are equipped with unitary congruence invariant norms.

In this paper, we study the extension of isometries between the unit spheres of normed space E and l p (p > 1). We arrive at a conclusion that any surjective isometry between the unit sphere of normed space l p (p > 1) and E can be extended to be a linear isometry on the whole space l p (p > 1) under some condition.

We consider a complex symmetric sequence space E that possesses the Fatou property and is different from l2. We prove that, for every surjective linear isometry V on E, there exist λ n ∈ ℂ with |λ n | = 1 and a bijective mapping π on the set ℕ of natural numbers such that $$V\left( {\left\{ {\xi _n } \right\}_{n \in \mathbb{N}} } \right) = \left\{ {\lambda _n \xi _{\pi (n)} } \right\}_{n \in \mathbb{N}}$$ for every {ξ n {n∈ℕ ∈ E.

Reflexivity of the Automorphism and Isometry Groups of the Suspension of [formula omitted]([formula omitted

Semilinear operators on a complex Hilbert space are studied in a part of a program that aims to develop the theories of additive operators on complex and quaternionic Hilbert spaces for application to problems in mathematical physics. The more notable among the new results proved on the eigenvalue problem for semilinear operators are the following: (i) if α is an eigenvalue of a semilinear operator then so also is any complex number which has the same modulus as α; (ii) if a normal semilinear operator has two eigenvectors belonging to different eigenvalues, then either the two eigenvectors are orthogonal or two eigenvalues have the same moduli; and (iii) a normal semilinear operator has a complete set of eigenvectors if and only if it is self-adjoint. Further, it is shown that there exists a norm-preserving semilinear isomorphism between the spaces of bounded linear and semilinear operators on a complex Hilbert space. Finally it is demonstrated how the theory of semilinear operators can be exploited to solve the problems of finding three involutive mutually anticommuting self-adjoint two-by-two matrices and four four-by-four matrices with the same properties: the unusual and remarkably easy solution of this old familiar exercise establishes the relevance of the theory being developed here to physics.

Hermitian operators and isometries on injective tensor products of uniform algebras and C⁎-algebras

As earlier conjectured by several authors and much later established by Solèr, from the lattice-theory point of view, Quantum Mechanics may be formulated in real, complex or quaternionic Hilbert spaces only. On the other hand, no quantum systems seem to exist that are naturally described in a real or quaternionic Hilbert space. In a previous paper [23], we showed that any quantum system which is elementary from the viewpoint of the Poincaré symmetry group and it is initially described in a real Hilbert space, it can also be described within the standard complex Hilbert space framework. This complex description is unique and more precise than the real one as, for instance, in the complex description, all self-adjoint operators represent observables defined by the symmetry group. The complex picture fulfils the thesis of Solér’s theorem and permits the standard formulation of the quantum Noether’s theorem. The present work is devoted to investigate the remaining case, namely, the possibility of a description of a relativistic elementary quantum system in a quaternionic Hilbert space. Everything is done exploiting recent results of the quaternionic spectral theory that were independently developed. In the initial part of this work, we extend some results of group representation theory and von Neumann algebra theory from the real and complex cases to the quaternionic Hilbert space case. We prove the double commutant theorem also for quaternionic von Neumann algebras (whose proof requires a different procedure with respect to the real and complex cases) and we extend to the quaternionic case a result established in the previous paper concerning the classification of irreducible von Neumann algebras into three categories. In the second part of the paper, we consider an elementary relativistic system within Wigner’s approach defined as a locally-faithful irreducible strongly-continuous unitary representation of the Poincaré group in a quaternionic Hilbert space. We prove that, if the squared-mass operator is non-negative, the system admits a natural, Poincaré invariant and unique up to sign, complex structure which commutes with the whole algebra of observables generated by the representation itself. This complex structure leads to a physically equivalent reformulation of the theory in a complex Hilbert space. Within this complex formulation, differently from what happens in the quaternionic one, all self-adjoint operators represent observables in agreement with Solèr’s thesis, the standard quantum version of Noether theorem may be formulated and the notion of composite system may be given in terms of tensor product of elementary systems. In the third part of the paper, we focus on the physical hypotheses adopted to define a quantum elementary relativistic system relaxing them on the one hand, and making our model physically more general on the other hand. We use a physically more accurate notion of irreducibility regarding the algebra of observables only, we describe the symmetries in terms of automorphisms of the restricted lattice of elementary propositions of the quantum system and we adopt a notion of continuity referred to the states viewed as probability measures on the elementary propositions. Also in this case, the final result proves that there exists a unique (up to sign) Poincaré invariant complex structure making the theory complex and completely fitting into Solèr’s picture. The overall conclusion is that relativistic elementary systems are naturally and better described in complex Hilbert spaces even if starting from a real or quaternionic Hilbert space formulation and this complex description is uniquely fixed by physics.

From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Sol\'er's theorem. The said lattice eventually coincides with the lattice of all orthogonal projectors on a separable Hilbert space over R, C, or over the algebra of quaternions H. Quantum states are $\sigma$-additive probability measures on that non-Boolean lattice. Gleason's theorem proves that, if the Hilbert space is separable with dimension >2 and the Hilbert space is either real or complex, then states are one-to-one with standard density matrices (self-adjoint, positive, unit-trace, trace-class operators). The extension of this result to quaternionic Hilbert spaces was obtained by Varadarajan in 1968. Unfortunately, even if the hard part of the proof is correct, the formulation of this extension is mathematically incorrect. This is due to some peculiarities of the notion of trace in quaternionic Hilbert spaces, e.g., basis dependence, making the theory of trace-class operators in quaternionic Hilbert spaces different from the standard theory in real and complex Hilbert spaces. A minor issue also affects Varadarajan's statement for real Hilbert space formulation. This paper is mainly devoted to present Gleason-Varadarajan's theorem into a technically correct form valid for the three types of Hilbert spaces. After having develped part of the general mathematical technology of trace-class operators in (generally non-separable) quaternionic Hilbert spaces, we prove that only the {\em real part} of the trace enters the formalism of quantum theories (also dealing with unbounded observables and symmetries) and it can be safely used to formulate and prove a common statement of Gleason's theorem.

Weakly closed, commutative, symmetric rings of operators on a Hilbert space are examined and their structure is ex ploited to characterize normal operators in terms of the rings they generate. In the first chapter, notation is established, and the less common theorems from Hilbert space theory not to be used in later sections are briefly reviewed. In Chapter II, the structure of weakly closed, commu tative, symmetric rings with a cyclic vector is specified. This theorem is then used in conjunction with a strucure called a canonical decomposition system to establish that every weakly closed, commutative, symmetric ring or opera tors acting on a separable space and containing the iden tity is spatially isomorphic to a "divect sum" of L rings of a certain type. In Chapter III, two sets of necessary and sufficient conditions are given for two normal operators on a separ able Hilbert space to be unitarily equivalent. The concept of a spectral class of a normal operator is introduced -a natural generalization of the concept of an eigen value. Each spectral class is assigned a multiplicity, and it is shown that two normal operators are unitarily equivalent iff they have the same spectral classes with the same respective multiplicities. A multiplicity is iv also defined for weakly continuous positive functionals o n the symmetric ring generated by a normal operator in the weak topology, and it is shown that this multiplicity function determines the operator. This multiplicity theory is compared w i t h a previous theory. v CHAPTER I INTRODUCTION We shall be concerned in this paper with rings of operators on a Hilbert space, in particular, weakly closed, commutative, symmetric rings. All Hilbert spaces to be considered will be complex Hilbert spaces. If H is a Hilbert space and x,y e H, then (x(y) will denote the inner product of x and y, and 1 Jxi| will denote the norm of x. We shall consider only bounded linear operators in this paper, and therefore we shall use the word "operator" solely to mean a bounded linear operator. The set of all operators on the Hilbert space H will be denoted by B(H). If A s B(H), then A* will denote the adjoint of A, We employ the usual concepts of isometric, unitary, hermitian, normal, and positive definite operators. Knowledge of the weak, strong, strongest, and norm topologies for B(H) is assumed. The norm topology is the strongest of the four; hence, any set of operators closed in one of the topologies is closed in the norm topology. By a ring of operators we shall mean a set of opera tors forming a ring in the usual algebraic sense which is also a vector space over the complex numbers. A ring R of operators is symmetric if A e R whenever A e R. from the theory of Banach algebras, we know that any norm closed, 1 we define an operator A a e BCLg) by A ftf = af* Note that two Ly,, functions which differ only on a set of measure zero give rise to the same operator. The ring of operators thus obtained is a maximal, commutative, symmetric ring. If E is a weakly closed, commutative, symmetric ring with maximal ideal space M, then the fact that E is closed under sups gives rise to some strong topological properties of M. In this case, M is totally disconnected, and the closure of every open set is open. Thus, M contains many sets which are both open and closed, and such sets we call clopen. It is easy to see that projections in E correspond v i a the Gelfand transform to the characteristic functions of clopen sets. If U is a clopen subset of M, then we will let pu denote the corresponding projection in E. pu (m) -JtjjCm) = the characteristic function of U. Throughout the remainder of this discussion, E will denote a weakly closed commutative, symmetric subring of B(H) with identity, and M will denote the maximal ideal space of E. Corresponding to each vector 5 e H, there is a measure u on M defined by The topological properties of M carry strong implications for the resulting measure space. If S = M is measurable, then there exists a clopen set U such that m (S\UUU\S) * 0. If ? is cyclic for E ' , then u is supported on all of M, in ( A $ 0 = J A (m)du(m)

On sets of elements in Rickart rings induced by partial orders

The set of bounded observables for a quantum system is represented by the set of bounded self-adjoint operators S(H) on a complex Hilbert space H, and the quantum effects for a physical system can be described by the set E(H) of positive contractive operators on a complex Hilbert space H. In this note, by the techniques of operator block and spectral, we give the simpler representation of A∧P and obtained the new necessary and sufficient conditions for A∨P, for A∊S(H) and P∊P(H), where P(H) is the set of all orthogonal projection operators on H. In particular, we get that if A∨P exists, then A∨P∊E(H) for A∊E(H) and P∊P(H). In addition, we consider the relations between the existence of A∨B, A−∨B−, and A+∨B+, where A+, B+, A−, and B− are the positive and negative parts of A,B∊S(H).