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](https://vaughnclimenhaga.wordpress.com/2015/10/22/lebesgue-probability-spaces-part-i/), 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!*



Is "conditioning to a sub-$\sigma$-algebra" a measurable operation?
Okay, I think I've worked out that the answer is **no**, i.e. there exists a sub-$\sigma$-algebra $\mathcal{G}$ of $\mathcal{B}$ such that $\mathbb{E}\_\mathcal{G}$ is not universally measurable.


(We will write $\lambda$ for the Lebesgue measure on $([0,1],\mathcal{B})$.)


It is well-known that the evaluation $\sigma$-algebra is precisely the Borel $\sigma$-algebra of the topology of weak convergence, which is a Polish topology. So then, to show that (for some given $\mathcal{G}$) $\mathbb{E}\_\mathcal{G}$ is not universally measurable, it is sufficient (by Lusin's theorem) to find a probability measure $Q$ on $\mathcal{M}\_2$ such that for every measurable set $E \subset \mathcal{M}\_2$ with $Q(E)>0$, the restriction of $\mathbb{E}\_\mathcal{G}$ to $E$ is not a continuous function (with respect to the topology of weak convergence).


Let $A \subset [0,1]$ be a set such that $A$ and $[0,1] \setminus A$ intersect every Lebesgue-positive measure set. (Assuming the axiom of choice, such a set $A$ exists, as shown [here](https://math.stackexchange.com/questions/2181942/is-there-a-set-a-subset-0-1-such-that-both-a-and-0-1-setminus-a-inte).) Let $\mathcal{G}$ be the $\sigma$-algebra consisting of all countable subsets of $A$ and their complements.


Let $Q$ be the image measure of $\lambda \otimes \lambda$ under the map $D : (x,y) \mapsto \frac{1}{2}(\delta\_{x,x}+\delta\_{y,y})$. Let $E \subset \mathcal{M}\_2$ be any measurable set with $Q(E)>0$, and let $F=D^{-1}(E)$. (So $\lambda \otimes \lambda(F)>0$.) Let $F'=\{x \in [0,1] : \lambda(y:(x,y)\in F)>0\}$. Obviously $\lambda(F')>0$, so fix a point $x \in F' \setminus A$. For any $y \in [0,1]$, we have that
$$ \mathbb{E}\_\mathcal{G}(D(x,y)) \ = \ \left\{ \begin{array}{c l} \frac{1}{2}(\delta\_{x,x}+\delta\_{y,y}) & y \in A \\ \frac{1}{4}(\delta\_{x,x} + \delta\_{x,y} + \delta\_{y,x} + \delta\_{y,y}) & y \not\in A. \end{array} \right. $$
So since $Y:=\{y \in [0,1] : (x,y) \in F\}$ has positive Lebesgue measure, it is clear that $\mathbb{E}\_\mathcal{G}(D(x,\cdot))$ is not continuous on $Y$, so $\mathbb{E}\_\mathcal{G} \circ D$ is not continuous on $F$, so (since $D$ is obviously continuous) $\mathbb{E}\_\mathcal{G}$ is not continuous on $E$.


