scholarly journals Orthogonally Biadditive Operators

2021 ◽  
Vol 2021 ◽  
pp. 1-11
Author(s):  
Nonna Dzhusoeva ◽  
Ruslan Kulaev ◽  
Marat Pliev

In this article, we introduce and study a new class of operators defined on a Cartesian product of ideal spaces of measurable functions. We use the general approach of the theory of vector lattices. We say that an operator T : E × F ⟶ W defined on a Cartesian product of vector lattices E and F and taking values in a vector lattice W is orthogonally biadditive if all partial operators T y : E ⟶ W and T x : F ⟶ W are orthogonally additive. In the first part of the article, we prove that, under some mild conditions, a vector space of all regular orthogonally biadditive operators O B A r E , F ; W is a Dedekind complete vector lattice. We show that the set of all horizontally-to-order continuous regular orthogonally biadditive operators is a projection band in O B A r E , F ; W . In the last section of the paper, we investigate orthogonally biadditive operators on a Cartesian product of ideal spaces of measurable functions. We show that an integral Uryson operator which depends on two functional variables is orthogonally biadditive and obtain a criterion of the regularity of an orthogonally biadditive Uryson operator.

2020 ◽  
Vol 17 (5) ◽  
Author(s):  
Ralph Chill ◽  
Marat Pliev

Abstract In this paper, we introduce a new class of operators on vector lattices. We say that a linear or nonlinear operator T from a vector lattice E to a vector lattice F is atomic if there exists a Boolean homomorphism $$\Phi $$ Φ from the Boolean algebra $${\mathfrak {B}}(E)$$ B ( E ) of all order projections on E to $${\mathfrak {B}}(F)$$ B ( F ) such that $$T\pi =\Phi (\pi )T$$ T π = Φ ( π ) T for every order projection $$\pi \in {\mathfrak {B}}(E)$$ π ∈ B ( E ) . We show that the set of all atomic operators defined on a vector lattice E with the principal projection property and taking values in a Dedekind complete vector lattice F is a band in the vector lattice of all regular orthogonally additive operators from E to F. We give the formula for the order projection onto this band, and we obtain an analytic representation for atomic operators between spaces of measurable functions. Finally, we consider the procedure of the extension of an atomic map from a lateral ideal to the whole space.


Mathematics ◽  
2021 ◽  
Vol 9 (22) ◽  
pp. 2892
Author(s):  
Marat Pliev ◽  
Nonna Dzhusoeva ◽  
Ruslan Kulaev

In this article, we introduce a new class of operators on the Cartesian product of vector lattices. We say that a bilinear operator T:E×F→W defined on the Cartesian product of vector lattices E and F and taking values in a vector lattice W is narrow if the partial operators Tx and Ty are narrow for all x∈E,y∈F. We prove that, for order-continuous Köthe–Banach spaces E and F and a Banach space X, the classes of narrow and weakly function narrow bilinear operators from E×F to X are coincident. Then, we prove that every order-to-norm continuous C-compact bilinear regular operator T is narrow. Finally, we show that a regular bilinear operator T from the Cartesian product E×F of vector lattices E and F with the principal projection property to an order continuous Banach lattice G is narrow if and only if |T| is.


1968 ◽  
Vol 20 ◽  
pp. 1136-1149 ◽  
Author(s):  
Norman M. Rice

B. Z. Vulih has shown (13) how an essentially unique intrinsic multiplication can be defined in a Dedekind complete vector lattice L having a weak order unit. Since this work is available only in Russian, a brief outline is given in § 2 (cf. also the review by E. Hewitt (4), and for details, consult (13) or (11)).


2021 ◽  
Vol 15 (3) ◽  
Author(s):  
Yang Deng ◽  
Marcel de Jeu

AbstractFor vector lattices E and F, where F is Dedekind complete and supplied with a locally solid topology, we introduce the corresponding locally solid absolute strong operator topology on the order bounded operators $${\mathscr{L}}_{\mathrm{ob}}(E,F)$$ L ob ( E , F ) from E into F. Using this, it follows that $${\mathscr{L}}_{\mathrm{ob}}(E,F)$$ L ob ( E , F ) admits a Hausdorff uo-Lebesgue topology whenever F does. For each of order convergence, unbounded order convergence, and—when applicable—convergence in the Hausdorff uo-Lebesgue topology, there are both a uniform and a strong convergence structure on $${\mathscr{L}}_{\mathrm{ob}}(E,F)$$ L ob ( E , F ) . Of the six conceivable inclusions within these three pairs, only one is generally valid. On the orthomorphisms of a Dedekind complete vector lattice, however, five are generally valid, and the sixth is valid for order bounded nets. The latter condition is redundant in the case of sequences of orthomorphisms, as a consequence of a uniform order boundedness principle for orthomorphisms that we establish. We furthermore show that, in contrast to general order bounded operators, orthomorphisms preserve not only order convergence of nets, but unbounded order convergence and—when applicable—convergence in the Hausdorff uo-Lebesgue topology as well.


1971 ◽  
Vol 12 (1) ◽  
pp. 69-74 ◽  
Author(s):  
T. P. Speed ◽  
E. Strzelecki

Let G be a commutative lattice ordered group. Theorem 1 gives necessary and sufficient conditions under which a⊥ with a∈G is a maximal l-ideal. A wide family of, l-groups G having the property that the orthogonal complement of each atom is a maximal l-ideal is described. Conditionally σ-complete and hence conditionally complete vector lattices belong to the family.It follows immediately that if a is an atom in a conditionally complete vector lattice then a⊥ is a maximal vector lattice ideal. This theorem has been proved in [7] by Yamamuro. Theorem 2 generalizes another result contained in [7]. Namely we prove that if M is a closed maximal l-ideal of an archimedean l-group G then there exists an atom a ∈ G such that M = a⊥.


Author(s):  
Thomas W. Reiland

Interval-Lipschitz mappings between topological vector spaces are defined and compared with other Lipschitz-type operators. A theory of generalized gradients is presented when both spaces are locally convex and the range space is an order complete vector lattice. Sample applications to the theory of nonsmooth optimization are given.


Author(s):  
Richard N. Ball ◽  
Anthony W. Hager

AbstractIn the category W of archimedean l–groups with distinguished weak order unit, with unitpreserving l–homorphism, let B be the class of W-objects of the form D(X), with X basically disconnected, or, what is the same thing (we show), the W-objects of the M/N, where M is a vector lattice of measurable functions and N is an abstract ideal of null functions. In earlier work, we have characterized the epimorphisms in W, and shown that an object G is epicomplete (that is, has no proper epic extension) if and only if G ∈ B. This describes the epicompletetions of a give G (that is, epicomplete objects epically containing G). First, we note that an epicompletion of G is just a “B-completion”, that is, a minimal extension of G by a B–object, that is, by a vector lattice of measurable functions modulo null functions. (C[0, 1] has 2c non-eqivalent such extensions.) Then (we show) the B–completions, or epicompletions, of G are exactly the quotients of the l–group B(Y(G)) of real-valued Baire functions on the Yosida space Y(G) of G, by σ-ideals I for which G embeds naturally in B(Y(G))/I. There is a smallest I, called N(G), and over the embedding G ≦ B(Y(G))/N(G) lifts any homorphism from G to a B–object. (The existence, though not the nature, of such a “reflective” epicompletion was first shown by Madden and Vermeer, using locales, then verified by us using properties of the class B.) There is a unique maximal (not maximum) such I, called M(Y(G)), and B(Y(G))/M(Y(G)) is the unique essentialBcompletion. There is an intermediate σ -ideal, called Z(Y(G)), and the embedding G ≦ B(y(G))/Z(Y(G)) is a σ-embedding, and functorial for σ -homomorphisms. The sistuation stands in strong analogy to the theory in Boolean algebras of free σ -algebras and σ -extensions, though there are crucial differences.


Sign in / Sign up

Export Citation Format

Share Document