随机变量可交换性蕴含对称性：X-Y对称性证明逻辑验证请求

嘿，你的直觉很准——原来的推导确实存在逻辑跳步，看起来像循环论证，但本质是没把可交换性的核心应用逻辑明确出来。咱们来把整个推导链补全，让它严谨起来：

先明确核心定义 #

两个随机变量X和Y可交换，当且仅当它们的联合分布满足：
$$\left(X,Y\right)\mathrel{\overset d =} \left(Y,X\right)$$
这个定义的等价表述是：对于任意的二维Borel集合A，都有
$$P((X,Y) \in A) = P((Y,X) \in A)$$
这是咱们推导的核心依据，不能省略。

原来推导的问题所在 #

你之前的步骤里，直接从$P(X \leq Y+z)$跳到$P(Y \leq X+z)$，这一步其实已经用到了可交换性，但没把这个应用过程写清楚，导致看起来像是“默认了要证的结论”，产生了循环论证的错觉。

正确的严谨推导 #

我们的目标是证明$X-Y \mathrel{\overset d =} Y-X$（即X-Y的分布关于0对称），也就是对任意实数z，都有$P(X-Y \leq z) = P(Y-X \leq z)$，具体步骤如下：

1. 事件的联合分布转化
   • 事件$X-Y \leq z$可以等价表述为：$(X,Y)$落在集合$A = {(u,v) \in \mathbb{R}^2 \mid u - v \leq z}$中，即$P(X-Y \leq z) = P((X,Y) \in A)$
   • 事件$Y-X \leq z$可以等价表述为：$(Y,X)$落在集合A中，即$P(Y-X \leq z) = P((Y,X) \in A)$
2. 利用可交换性定义
   因为X和Y可交换，根据定义，对于集合A有：
   $$P((X,Y) \in A) = P((Y,X) \in A)$$
3. 结论推导
   把第一步的两个等式代入上式，直接得到：
   $$P(X-Y \leq z) = P(Y-X \leq z)$$
   由于z是任意实数，这就证明了$X-Y \mathrel{\overset d =} Y-X$，即X-Y的分布关于0对称。

内容的提问来源于stack exchange，提问作者user516379