Let $\mathcal{B}$ be the Borel $\sigma$-algebra of $[0,1]$, and let $\mathcal{M}$ be the set of probability measures on $([0,1],\mathcal{B})$, equipped with the evaluation $\sigma$-algebra $\ \sigma(\rho \mapsto \rho(A):A \in \mathcal{B})$.

Let $\mathcal{M}_2$ be the set of probability measures on $([0,1] \times [0,1], \mathcal{B} \otimes \mathcal{B})$, again equipped with the associated evaluation $\sigma$-algebra $\ \sigma(\mu \mapsto \mu(A):A \in \mathcal{B} \otimes \mathcal{B})$.

Given a sub-$\sigma$-algebra $\mathcal{G}$ of $\mathcal{B}$, for any $\mu \in \mathcal{M}_2$, define $\mathbb{E}_\mathcal{G}(\mu) \in \mathcal{M}_2$ to be the unique measure such that

- $\mathbb{E}_\mathcal{G}(\mu)$ agrees with $\mu$ on $\mathcal{G} \otimes \mathcal{B}$;
- there exists a $\mathcal{G}$-measurable function $\nu \colon [0,1] \to \mathcal{M}$ such that for all $A_1,A_2 \in \mathcal{B}$, $$ \mathbb{E}_\mathcal{G}(\mu)(A_1 \times A_2) \ = \ \int_{A_1 \times [0,1]} \nu(x)(A_2) \, \mu(d(x,y)). $$

Is the map $\mathbb{E}_\mathcal{G} \colon \mathcal{M}_2 \to \mathcal{M}_2$ a measurable function? Or at the least, is $\mathbb{E}_\mathcal{G}^{-1}(\mathcal{A})$ a universally measurable subset of $\mathcal{M}_2$ for every measurable set $\mathcal{A} \subset \mathcal{M}_2$?

*Remark:* The existence and uniqueness of the measure $\mathbb{E}_\mathcal{G}(\mu)$ follows from the disintegration theorem applied to the measure $\mu|_{\mathcal{G} \otimes \mathcal{B}}$.

**UPDATE:** A simple "counting" argument as in the comments below yields that there must exist $\mathcal{G}$ such that $\mathbb{E}_\mathcal{G}$ is not measurable with respect to the evaluation $\sigma$-algebra. **Nonetheless, the key question remains as to whether $\mathbb{E}_\mathcal{G}$ is necessarily universally measurable (in the sense that the pre-image of every member of the evaluation $\sigma$-algebra belongs to the universal completion of the evaluation $\sigma$-algebra).**

[For an *explicit* example showing that $\mathbb{E}_\mathcal{G}$ is not necessarily continuous: Let $\mathcal{G}$ be the countable-cocountable algebra. Let $\rho_n$ be a sequence of atomless probability measures on $[0,1]$ converging weakly to a non-trivial purely atomic measure $\rho$. Writing $D \colon x \mapsto (x,x)$, we have that $\mathbb{E}_\mathcal{G}(D_\ast\rho_n)=\rho_n \otimes \rho_n$ but $\mathbb{E}_\mathcal{G}(D_\ast\rho)=D_\ast\rho$.]

**A possible approach:** Fix $A_1$ and $A_2$. Given a finite or countable partition $\mathcal{H}$ of $[0,1]$ by members of $\mathcal{G}$, we can "approximate" $\mathbb{E}_\mathcal{G}(\mu)(A_1 \times A_2)$ by
$$ \mathbb{E}_\mathcal{G}(\mu)(A_1 \times A_2) \ \approx \ \mathbb{E}_{\sigma(\mathcal{H})}(\mu)(A_1 \times A_2) \ = \ \sum_{G \in \mathcal{H}} \mu(G \times A_2)\mu((G \cap A_1) \times [0,1]). $$
Given an increasing sequence of such partitions $\mathcal{H}_n$ such that $\mathcal{G} \subset \sigma(\mathcal{N}_{\pi^1_\ast\mu} \cup \bigcup_{n=1}^\infty \mathcal{H}_n)$, Levy's upward theorem yields that $\mathbb{E}_{\sigma(\mathcal{H}_n)}(\mu)(A_1 \times A_2) \to \mathbb{E}_\mathcal{G}(\mu)(A_1 \times A_2)$.

[Here, $\mathcal{N}_{\pi^1_\ast\mu}$ is the set of $\pi^1_\ast\mu$-null sets, where $\pi^1_\ast\mu(A):=\mu(A \times [0,1])$.]

Now such a sequence $\mathcal{H}_n$ always exists---based on the proof of the equivalence between "separable" and "countably generated mod 0" given here, I think the following construction works: Letting $\mathcal{U}$ be a countable algebra generating $\mathcal{B}$, let $\{G_i\}_{i=1}^\infty \subset \mathcal{G}$ be a countable set such that for every $U \in \mathcal{U}$ and $r \in \mathbb{N}$, if $\mathcal{G}_{U,r}:=\{G \in \mathcal{G} : \mu(G \triangle U) < \frac{1}{r} \}$ is non-empty then $\exists \, i$ s.t. $G_i \in \mathcal{G}_{U,r}$. Then take $\mathcal{H}_n$ to be the partition generated by $\{G_1,\ldots,G_n\}$.

So then, to prove the desired result, it is sufficient to show that there is a sequence of "partition-valued" functions $$ \mathcal{H}_n \colon \mathcal{M}_2 \to \ \{\textrm{finite or countable partitions contained in } \mathcal{G}\} $$ such that $\mu \mapsto \sum_{G \in \mathcal{H}_n(\mu)} \mu(G \times A_2)\mu((G \cap A_1) \times [0,1])$ is universally measurable for each $n$, and $\mathcal{G} \subset \sigma(\mathcal{N}_{\pi^1_\ast\mu} \cup \bigcup_{n=1}^\infty \mathcal{H}_n(\mu))$ for every $\mu$.

[*Remark:* One might hope that it could even be possible to take $\mathcal{H}_n$ to be independent of $\mu$. However, this is not possible in general. This follows from the answer to https://math.stackexchange.com/questions/2156998/is-every-sub-sigma-algebra-of-mathcalb-mathbbr-universally-countabl; but also, if it were possible to take $\mathcal{H}_n$ to be independent of $\mu$, then $\mathbb{E}_\mathcal{G}$ would be measurable with respect to the evaluation $\sigma$-algebra, which we have established not always to be the case.]

**Another characterisation of $\mathbb{E}_\mathcal{G}(\mu)(A_1 \times A_2)$:**

In the above discussion *"A possible approach"*, I gave a sort-of-explicit construction of $\mathbb{E}_\mathcal{G}(\mu)(A_1 \times A_2)$, but the difficulty is that it relies on "making a choice" - which could then lead to measurability issues when we allow $\mu$ to vary.

Now one of the comments suggested looking directly at the proof of the disintegration theorem and hoping that the desired measurability might become more clear from there. Disintegration relies fundamentally on the Radon-Nikodym theorem; on the basis of the proof of the Radon-Nikodym theorem, $\mathbb{E}_\mathcal{G}(\mu)(A_1 \times A_2)$ can be characterised as follows:

Let $\mathcal{C}$ be the set of $(\mathcal{G},\mathcal{B})$-measurable functions $g \colon [0,1] \to [0,1]$ such that for every $G \in \mathcal{G}$, $$ \int_{G \times [0,1]} g(x) \, \mu(d(x,y)) \ \leq \ \mu(G \times A_2) \, ; $$ then $$ \mathbb{E}_\mathcal{G}(\mu)(A_1 \times A_2) \ = \ \sup_{g \in \mathcal{C}} \int_{A_1 \times [0,1]} g(x) \, \mu(d(x,y)). $$

Again, it is difficult to see any measurability from this.

*Increasingly I am starting to suspect that (assuming the axiom of choice) there exists a sub-$\sigma$-algebra $\mathcal{G}$ of $\mathcal{B}$ such that $\mathbb{E}_\mathcal{G}$ is not universally measurable!*

13more comments