Graph explorer

Conditional nonlinear expectations

Let $Ω$ be a Polish space with Borel $σ$-field $\mathcal{F}$ and countably generated sub $σ$-field $\mathcal{G}\subset\mathcal{F}$. Denote by $\mathcal{L}(\mathcal{F})$ the set of all bounded $\mathcal{F}$-upper semianalytic functions from $Ω$ to the reals and by $\mathcal{L}(\mathcal{G})$ the subset of $\mathcal{G}$-upper semianalytic functions. Let $\mathcal{E}(\cdot|\mathcal{G})\colon\mathcal{L}(\mathcal{F})\to\mathcal{L}(\mathcal{G})$ be a sublinear increasing functional which leaves $\mathcal{L}(\mathcal{G})$ invariant. It is shown that there exists a $\mathcal{G}$-analytic set-valued mapping $\mathcal{P}_{\mathcal{G}}$ from $Ω$ to the set of probabilities which are concentrated on atoms of $\mathcal{G}$ with compact convex values such that $\mathcal{E}(X|\mathcal{G})(ω)=$ $\sup_{P\in\mathcal{P}_{\mathcal{G}}(ω)} E_P[X]$ if and only if $\mathcal{E}(\cdot |\mathcal{G})$ is pointwise continuous from below and continuous from above on the continuous functions. Further, given another sublinear increasing functional $\mathcal{E}(\cdot)\colon\mathcal{L}(\mathcal{F})\to\mathbb{R}$ which leaves the constants invariant, the tower property $\mathcal{E}(\cdot)=\mathcal{E}(\mathcal{E}(\cd