Results 1 to 4 of about 4 (4)
Invariant linear manifolds for CSL-algebras and nest algebras [PDF]
Proceedings of the American Mathematical Society, 2000 Every invariant linear manifold for a CSL-algebra, Alg L \operatorname {Alg} \mathcal {L} , is a closed subspace if, and only if, each non-zero projection in L \mathcal {L} is generated by finitely many atoms associated with the projection lattice. When
openaire +2 more sources
Towards Light‐Weight Probabilistic Model Checking
Journal of Applied Mathematics, Volume 2014, Issue 1, 2014., 2014 Model checking has been extensively used to verify various systems. However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages.
Savas Konur, Guiming Luo
wiley +1 more source
Spatiality of Derivations of Operator Algebras in Banach Spaces
Abstract and Applied Analysis, Volume 2011, Issue 1, 2011., 2011 Suppose that 𝒜 is a transitive subalgebra of B(X) and its norm closure 𝒜¯ contains a nonzero minimal left ideal ℐ. It is shown that if δ is a bounded reflexive transitive derivation from 𝒜 into B(X), then δ is spatial and implemented uniquely; that is, there exists T ∈ B(X) such that δ(A) = TA − AT for each A ∈ 𝒜, and the implementation T of δ is ...
Quanyuan Chen +2 more
wiley +1 more source
Compact solutions to an operator equation in nest and CSL algebras
, 2019 Given a nest algebra \(\text{Alg }N\) of operators in a Hilbert space \(H\), the authors characterize the pairs \(X\), \(Y\) of operators on \(H\) for which there exists a compact element \(A\) in \(\text{Alg }N\) which satisfies the equation \(AX= Y\). They solve the same interpolation problem for a system of equations \(Ax_ i= y_ i\) \((i= 1,\dots, n)
Power, S. C. +2 more
openaire +1 more source