The lateral order on Riesz spaces and orthogonally additive operators

Abstract

Abstract The paper contains a systematic study of the lateral partial order $$\sqsubseteq $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mo>⊑</mml:mo> </mml:math> in a Riesz space (the relation $$x \sqsubseteq y$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>x</mml:mi> <mml:mo>⊑</mml:mo> <mml:mi>y</mml:mi> </mml:mrow> </mml:math> means that x is a fragment of y ) with applications to nonlinear analysis of Riesz spaces. We introduce and study lateral fields, lateral ideals, lateral bands and consistent subsets and show the importance of these notions to the theory of orthogonally additive operators, like ideals and bands are important for linear operators. We prove the existence of a lateral band projection, provide an elegant formula for it and prove some properties of this orthogonally additive operator. One of our main results (Theorem 7.5) asserts that, if D is a lateral field in a Riesz space E with the intersection property, X a vector space and $$T_0:D\rightarrow X$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>T</mml:mi> <mml:mn>0</mml:mn> </mml:msub> <mml:mo>:</mml:mo> <mml:mi>D</mml:mi> <mml:mo>→</mml:mo> <mml:mi>X</mml:mi> </mml:mrow> </mml:math> an orthogonally additive operator, then there exists an orthogonally additive extension $$T:E\rightarrow X$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>T</mml:mi> <mml:mo>:</mml:mo> <mml:mi>E</mml:mi> <mml:mo>→</mml:mo> <mml:mi>X</mml:mi> </mml:mrow> </mml:math> of $$T_0$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>T</mml:mi> <mml:mn>0</mml:mn> </mml:msub> </mml:math> . The intersection property of E means that every two-point subset of E has an infimum with respect to the lateral order. In particular, the principal projection property implies the intersection property.

Topics & Concepts