6
$\begingroup$

Let $X$ be a function space as $C(K)$ or $L^p$, with its usual norm and order, that is $f \le g$ if and only if $f(x) \le g(x)$ for a.e. $x$. If $M$ is a subspace of $X$ and $L:M \to \bf R$ is a positive functional, that is $Lf \ge 0$ if $0 \le f \in M$ (note that this condition can be void if $M$ does not contain non-trivial positive functions) , there are conditions under which $L$ can be extended as a positive functional defined on $X$. These results go back to Bauer, Namioka, Kantorovich and can be found in the book of H. Schaefer, Topological vector spaces. Counteraxmples are easily constructed by choosing positive functionals discontinuous on $M$; they cannot be extended to positive functionals on $X$, since positivity on the whole space implies continuity. An example is integration against $1/x$ wich is a positive functional on bounded functions in $(0,1)$, with support far from the origin, but cannot extended to $L^p(0,1)$.

The question I have is the following: I do not know examples of positive and continuous functionals on subspaces which cannot be extended as positive functionals on $X$. I recall that I am using the natural order. They should exist, and I hope that somebody knows.

$\endgroup$
2
  • 7
    $\begingroup$ Just take $f\mapsto -f(0)$ on the subspace $M$ of $C[0,1]$ of all functions with zero integral (so that the positivity condition on $M$ is void). The only possible extension would be $f\mapsto -f(0)+C\int_0^1 f$ but that one is not positive for any $C$. $\endgroup$
    – fedja
    Commented Aug 23, 2020 at 21:05
  • $\begingroup$ @fedja Thank you very much. The example is very nice and simple...but it did not come to mind! $\endgroup$ Commented Aug 23, 2020 at 22:20

0

You must log in to answer this question.

Browse other questions tagged .