关于线性组合正态性推导二元正态分布逆命题的证明问询

嘿，这个问题戳中了正态分布里一个容易混淆的点——先给你明确结论：不一定，得分两种情况来看：

情况1：所有非平凡线性组合都服从正态分布 #

如果对于任意不全为0的常数a、b，线性组合Z = aX₁ + bX₂都服从正态分布，那根据二元正态分布的等价定义，(X₁,X₂)确实服从二元正态分布。这是二元正态分布的核心特征之一，反过来也成立。

情况2：仅某一个特定线性组合服从正态分布 #

如果只是存在某一组特定的a、b（比如a=1,b=0，也就是Z=X₁本身）使得Z服从正态分布，那完全不能推出(X₁,X₂)是二元正态分布，甚至X₂本身都可能不是正态分布。

举个直观的反例 #

设X₁服从标准正态分布N(0,1)，我们定义X₂如下：

• 当|X₁| ≤ 1时，X₂ = X₁
• 当|X₁| > 1时，X₂ = -X₁

现在看线性组合Z=X₁（也就是a=1,b=0的情况），它显然服从正态分布，但(X₁,X₂)的联合分布却不是二元正态：

• 它们的联合分布完全集中在两条直线y=x（|x|≤1）和y=-x（|x|>1）上，而二元正态分布（非退化）的支撑是整个二维平面，不可能局限在低维直线上。
• 甚至你可以验证，X₂的分布其实和X₁一样（因为X₁和-X₁同分布），但它们的联合分布依然不满足二元正态的条件。

再换个更极端的例子：X₁~N(0,1)，X₂是一个离散随机变量，比如P(X₂=1)=P(X₂=-1)=1/2，且X₂独立于X₁。这时候线性组合Z=X₁+0*X₂=X₁服从正态分布，但(X₁,X₂)的联合分布是连续+离散的混合分布，显然不是二元正态。

总结 #

• 只有当所有非平凡线性组合都服从正态分布时，才能推出(X₁,X₂)是二元正态分布；
• 仅单个线性组合服从正态分布的话，完全无法保证联合分布的正态性，反例一抓一大把。

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