2
$\begingroup$

Let $(E,\mathscr E)$ be a measurable space and denote by $\mathrm b\mathscr E$ the space of all Borel measurable bounded functions $f:E\to\mathbb R$. On this space the partial order is given by $ f\leq g \quad \Leftrightarrow \quad f(x)\leq g(x)\text{ for all }x\in E $ and let us use the notation $\mathrm b\mathscr E_{\geq f} = \{g\in \mathrm b\mathscr E:g\geq f\}$. Let $A$ be the monotone operator on the space$\mathrm b\mathscr E$, which is not necessarily linear, and let $\mathrm{fix}(A)$ be the set of fixpoints of the operator $A$: $ \mathrm{fix}(A) = \{g\in \mathrm b\mathscr E:g = Ag\}. $ Let $f_0\in \mathrm b\mathscr E$ be such that $f_0\leq Af_0$ and construct the sequence $f_{n} = A^n f_0$. This sequence converges point-wise non-decreasingly to a measurable function $f:E\to\mathbb R$. One can prove that whenever $f\in \mathrm{fix}(A)$ it holds that $f = \min\left\{\mathrm{fix}(A)\cap \mathrm b\mathscr E_{\geq f_0}\right\}$.

I guess that it is already known, and maybe a consequence of a more general result. I am looking for the classical reference to this fact.

  • 0
    @JonasMeyer yes, that's the way it is proved. The result is quite useful and I read it in the literature in our field always formulated for each particular case, so I decided to generalize it. However I expect the fact to be known, but don't know where to look for it. E.g. The Banach space structure seems to be unnecessary here, and maybe it can be just formulated for posets2012-06-02

0 Answers 0