Let $P\mathbb{R}$ be the space of probability measures on $\mathbb{R}$ (with its Borel sets). Is the function \begin{align*} P\mathbb{R} &\to \mathbb{N}^\infty\\ \mu &\mapsto \#\{ x \in \mathbb{R} \mid \mu\{x\} > 0 \} \end{align*}\begin{align*} P\mathbb{R} &\to \mathbb{N} \cup \{\infty\}\\ \mu &\mapsto \#\{ x \in \mathbb{R} \mid \mu\{x\} > 0 \} \end{align*} measurable?
Became Hot Network Question