在概率论的度量理论形式化中,将随机变量定义为可测量函数概率空间中的X(Ω,F,P)到一个可测量的空间(X,A)。给定{ω∈Ω∣X(ω)∈A}形式的事件的概率。满足Kolmogorov的概率公理,X的概率分布为X的前推量度X * P,它是满足<math>X_*\mathbb{P} = \mathbb{P}X^{-1}</math>的概率量度 | 在概率论的度量理论形式化中,将随机变量定义为可测量函数概率空间中的X(Ω,F,P)到一个可测量的空间(X,A)。给定{ω∈Ω∣X(ω)∈A}形式的事件的概率。满足Kolmogorov的概率公理,X的概率分布为X的前推量度X * P,它是满足<math>X_*\mathbb{P} = \mathbb{P}X^{-1}</math>的概率量度 |