Related papers: The operator of relative complementation
It is well-known that relatively pseudocomplemented lattices can serve as an algebraic semantics of intuitionistic logic. To extend the concept of relative pseudocomplementation to non-distributive lattices, the first author introduced…
Resolvent compositions were recently introduced as monotonicity-preserving operations that combine a set-valued monotone operator and a bounded linear operator. They generalize in particular the notion of a resolvent average. We analyze the…
Lattice theoretical generalizations of some classical linear algebra results are formulated. A vector space is replaced by its subspace lattice and a linear map is replaced by the induced lattice map. This map is a complete join…
Collective versions of order convergences and corresponding types of collectively qualified sets of operators in vector lattices are investigated. It is proved that collectively order to norm bounded sets are bounded in the operator norm…
An operator $T$ from vector lattice $E$ into vector topology $(F,\tau)$ is said to be order-to-topology continuous whenever $x_\alpha\xrightarrow{o}0$ implies $Tx_\alpha\xrightarrow{\tau}0$ for each $(x_\alpha)_\alpha\subset E$. The…
Extending the corresponding notion for matrices or bounded linear operators on a Hilbert space we define a generalized Schur complement for a non-negative linear operator mapping a linear space into its dual and derive some of its…
In this paper we provide the resolvent computation of the parallel composition of a maximally monotone operator by a linear operator under mild assumptions. Connections with a modification of the warped resolvent are provided. In the…
Different finite difference replacements for the derivative are analyzed in the context of the Heisenberg commutation relation. The type of the finite difference operator is shown to be tied to whether one can naturally consider $P$ and $X$…
In this paper we study the subdifferential set of an operator. We give possible relation of the subdifferential set of an operator to that of its value, at a point where the operator attains its norm.
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of propositional…
We introduce a real vector space composed of set-valued maps on an open set X and note it by S. It is a complete metric space and a complete lattice. The set of continuous functions on X is dense in S as in a metric space and as in a…
In operator algebra theory, a conditional expectation is usually assumed to be a projection map onto a sub-algebra. In the paper, a further type of conditional expectation and an extension of the Lueders - von Neumann measurement to…
For commuting linear operators $P_0,P_1,..., P_\ell$ we describe a range of conditions which are weaker than invertibility. When any of these conditions hold we may study the composition $P=P_0P_1... P_\ell$ in terms of the component…
This article defines a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement.
We study conditions under which a partial differential operator of arbitrary order $n$ in two variables or ordinary linear differential operator admits a factorization with a first-order factor on the left. The factorization process…
We investigate the join semilattice of modal operators on a Boolean algebra $B$. Furthermore, we consider pairs $(f,g)$ of modal operators whose supremum is the unary discriminator on $B$, and study the associated bi--modal algebras.
An averaging operator on an associative algebra $A$ is an algebraic abstraction of the time average operator on the space of real-valued functions defined in time-space. In this paper, we consider relative averaging operators on a bimodule…
The relationship between the operator approximation property and the strong operator approximation property has deep significance in the theory of operator algebras. The original definitions of Effros and Ruan, unlike the classical…
In this paper we study shorted operators relative to two different subspaces, for bounded operators on infinite dimensional Hilbert spaces. We define two notions of complementability in the sense of Ando for operators, and study the…
In the present work we characterized full operators and we showed some properties that have nonfull injectives operators. With the results developed for full operators, we affirmatively respond two questions formulated by Bravo and Feintuch…