Nonstandard extension of not-everywhere-defined positive operators

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Ordered topological linear spaces, vector lattices (46A40) Ultraproducts in functional analysis (46M07) Nonstandard functional analysis (46S20) Positive linear operators and order-bounded operators (47B65) Nonstandard operator theory (47S20)

Review text

Let \(X\) and \(Z\) be ordered vector spaces (OVS) and let \(U\) be a general extended operator from \(X\) into \(Z\), i.e., a positive linear operator from \(X\) into \(Z\cup\{\pm\infty\}\). A classical example of a general extended operator is presented by the Lebesgue integral defined on the space \(S\), of all measurable functions on an interval, or on \(L^\infty(\mathbb{R})\). Actually, the notion of extended operator is interesting only for directed OVSs (recall that directedness of \(X\) means \(X=X^0\), where \(X^0=X^+-X^+\)). It is convenient to assume \(U:X^+\to Z^+\cup\{\infty\}\) for such OVSs. Denote the set of all general extended operators from \(X\) into \(Z\) by \(\Gamma(X,Z)\). We raise the question whether it is possible to extend \(Z\) to some OVS \(Z_*\) so that, for every \(U\in\Gamma(X,Z)\), there is a conventional positive linear operator \(U_*:X\to Z_*\) such that \(U_*(x)=U(x)\) for \(U(x)<\infty\) and \(U_*(x)\) is, in some sense, an ``infinite element of \(Z_*\) if \(U(x)=\infty\). Moreover, if \(X\) and \(Z\) are vector lattices (VL) then it is natural to require additionally that \(Z_*\) be a VL too. The present article provides a positive answer to the stated question under rather general assumptions. Moreover, we take as \(Z_*\) a suitable ultrapower of the space \(Z\).

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Nonstandard extension of not-everywhere-defined positive operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1920786)