$\mathbb{R}^d$上简单计数测度空间中随机变量的分布变换存在性问询

先从我们熟悉的基础场景切入，帮大家理解这个问题的背景：

设$X$是连续实值随机变量，$Q$是一个连续分布。是否存在函数$f$使得$f(X)\overset{D}{=}Q$（即$X$的变换服从分布$Q$）？
答案是肯定的——只要把$f$取成对应分布的分位数函数就行，这是单变量连续随机变量里的经典技巧。

现在问题拓展到了更复杂的空间：$\mathbb{R}^d$上的简单计数测度空间$G$（$G$上配备σ-代数$\mathcal{G}$）。这里我们有一个取值于$G$的随机变量$X$，还有另一个定义在$G$上的分布$Q$。核心疑问是：

是否存在函数$f:G\to G$，使得$f(X)\overset{D}{=}Q$？我们可以给$X$和$Q$加一些“良好”的性质（比如非平凡分布）来简化问题。

核心分析与结论 #

我从测度论的角度给大家拆解一下：

• 简单计数测度的结构：这类测度是形如$\sum_{i=1}^n k_i\delta_{x_i}$的测度，其中$x_i\in\mathbb{R}^d$，$k_i$是正整数，$n$是非负整数（$n=0$对应零测度）。
• 关键空间性质：$G$作为$\mathbb{R}^d$上的简单计数测度空间，是一个标准Borel空间（可以理解为能和某个完备可分度量空间的Borelσ-代数等价的空间）。
• 核心结论：
  • 如果只要求$f$是可测函数（不考虑连续性等额外正则性），那么一定存在这样的$f$。这是因为标准Borel空间上有一个基本结论：对于空间上的任意两个概率测度$\mu$（$X$的分布）和$Q$，总能找到可测函数$f$，使得$f$推送$\mu$得到$Q$（即$f(X)\overset{D}{=}Q$）。
  • 如果需要$f$具备更好的性质（比如连续、光滑），则需要额外条件：比如$X$的分布是满支撑的，$Q$的支撑是$G$的紧子集，或者两者的支撑存在包含关系等。

补充说明 #

如果对“推送测度”或者“标准Borel空间”的概念不熟悉，可以简单理解为：我们总能找到一种方式，把$X$取到的每个计数测度映射到另一个计数测度，使得映射后的整体分布恰好是$Q$——就像单变量场景的分位数函数，只是在更复杂的空间里，这个映射的形式不再是简单的一维逆函数，但存在性是有保障的。

备注：内容来源于stack exchange，提问作者Albert Paradek