12._二维相互独立性

在多维随机变量中,各分量的取值有时会相互影响,但有时会毫无影响. 比如一个人的身高和体重会相互影响,但是与收入一般无影响. 当两个随机变量的取值相互不影响时,就称它们是相互独立的.

随机变量的相互独立性

(X,Y)(X, Y) 为二维随机变量,若对任意的 x,yRx, y \in R 都有F(x,y)=FX(x)FY(y)F(x, y)=F_X(x) F_Y(y) 成立,则称随机变量XXYY 相互独立.

定理 1

(X,Y)(X, Y) 为二维离散型随机变量,那么, XXYY 相互独立的充分必要条件是对任意的 i,j=1,2,i, j=1,2, \cdots, 都有 pij=pi×p.jp_{i j}=p_{i \cdot} \times p_{. j} 成立.

定理 2

(X,Y)(X, Y) 为二维连续型随机变量,那么, XXYY 相互独立的充分必要条件是在 f(x,y),fX(x)f(x, y), f_X(x)fY(y)f_Y(y) 的一切公共连续点上都有 f(x,y)=fX(x)fY(y)f(x, y)=f_X(x) f_Y(y)

设二维随机变量 (X,Y)(X, Y) 的联合分布律为

X,Y0100.40.410.10.1\begin{array}{|c|c|} \hline X,Y & 0 & 1 \\ \hline 0 & 0.4 & 0.4 \\ 1 & 0.1 & 0.1 \\ \hline \end{array}

(1)求 XX 的边缘与 YY 的边缘分布律; (2)XXYY 是否相互独立,为什么?

解:(1)由二维离散型随机变量边缘分布律定义得

P(X=0)=P(X=0,Y=0)+P(X=0,Y=1)=0.8P(X=1)=1P(X=0)=0.2P(Y=0)=P(X=0,Y=0)+P(X=1,Y=0)=0.5P(Y=1)=1P(Y=0)=0.5\begin{aligned} & P(X=0)=P(X=0, Y=0)+P(X=0, Y=1)=0.8 \\ & P(X=1)=1-P(X=0)=0.2 \\ & P(Y=0)=P(X=0, Y=0)+P(X=1, Y=0)=0.5 \\ & P(Y=1)=1-P(Y=0)=0.5 \end{aligned}

所以 XXYY 的边缘分布律分别为

(2)可以验证对任意的 i,j=1,2i, j=1,2 都有 pij=pitpitp_{i j}=p_{i t} p_{i t} ,所以 XXYY 相互独立。

XXYY 的联合概率分布为 图片

(1)求当 Y=0Y=0 时,XX 的条件概率分布,以及当 X=0X=0 时,YY 的条件概率分布; (2)判断 XXYY 是否相互独立. 解(1)P(Y=0)=0.2+0.05+0=0.25P(Y=0)=0.2+0.05+0=0.25 , 当 Y=0Y=0 时,XX 的条件概率分布为

P(X=0Y=0)=P(X=0,Y=0)P(Y=0)=0.20.25=0.8,P(X=1Y=0)=P(X=1,Y=0)P(Y=0)=0.050.25=0.2,P(X=2Y=0)=P(X=2,Y=0)P(Y=0)=00.25=0,\begin{gathered} P(X=0 \mid Y=0)=\frac{P(X=0, Y=0)}{P(Y=0)}=\frac{0.2}{0.25}=0.8, \\ P(X=1 \mid Y=0)=\frac{P(X=1, Y=0)}{P(Y=0)}=\frac{0.05}{0.25}=0.2, \\ P(X=2 \mid Y=0)=\frac{P(X=2, Y=0)}{P(Y=0)}=\frac{0}{0.25}=0, \end{gathered}

P(X=0)=0.1+0.2+0=0.3P(X=0)=0.1+0.2+0=0.3 ,故当 X=0X=0 时,YY 的条件概率分布为

P(Y=1X=0)=0.10.3=13,P(Y=0X=0)=0.20.3=23,P(Y=2X=0)=0.\begin{gathered} P(Y=-1 \mid X=0)=\frac{0.1}{0.3}=\frac{1}{3}, \\ P(Y=0 \mid X=0)=\frac{0.2}{0.3}=\frac{2}{3}, \\ P(Y=2 \mid X=0)=0 . \end{gathered}

(2)因 P(X=0)=0.1+0.2+0=0.3,P(Y=1)=0.1+0.3+0.15=0.55P(X=0)=0.1+0.2+0=0.3, P(Y=-1)=0.1+0.3+0.15=0.55 ,而 P(X=0,Y=1)=P(X=0, Y=-1)= 0.1 ,即 P(X=0,Y=1)P(X=0)P(Y=1)P(X=0, Y=-1) \neq P(X=0) P(Y=-1) ,所以,XXYY 不独立.

(X,Y)(X, Y) 服从单位圆上的均匀分布

f(x,y)={1π,x2+y210, 其他 f(x, y)= \begin{cases}\frac{1}{\pi}, & x^2+y^2 \leqslant 1 \\ 0, & \text { 其他 }\end{cases}

XXYY 是否相互独立?

(X,Y)(X, Y) 的联合分布密度为

f(x,y)={1π,x2+y210, 其他 f(x, y)= \begin{cases}\frac{1}{\pi}, & x^2+y^2 \leqslant 1 \\ 0, & \text { 其他 }\end{cases}

由此可得

fX(x)=+f(x,y)dy={2π1x2,1x10, 其他 ,fY(y)=+f(x,y)dx={2π1y2,1y1,0, 其他 \begin{aligned} & f_X(x)=\int_{-\infty}^{+\infty} f(x, y) d y=\left\{\begin{array}{ll} \frac{2}{\pi} \sqrt{1-x^2}, & -1 \leqslant x \leqslant 1 \\ 0, & \text { 其他 } \end{array},\right. \\ & f_Y(y)=\int_{-\infty}^{+\infty} f(x, y) d x= \begin{cases}\frac{2}{\pi} \sqrt{1-y^2}, & -1 \leqslant y \leqslant 1, \\ 0, & \text { 其他 }\end{cases} \end{aligned}

可见在单位圆 x2+y21x^2+y^2 \leqslant 1 上,f(x,y)fX(x)fY(y)f(x, y) \neq f_X(x) \cdot f_Y(y) ,故 XXYY 不相互独立.

证明 (X,Y)N(μ1,μ2,σ12,σ22,ρ)(X, Y) \sim N\left(\mu_1, \mu_2, \sigma_1^2, \sigma_2^2, \rho\right) ,那么 XXYY 相互独立的充分必要条件是 ρ=0\rho=0 证明 充分条件 当 ρ=0\rho=0 时 所以,对任意 x,yRx, y \in R , 都有 f(x,y)=fX(x)fY(y)f(x, y)=f_X(x) f_Y(y) 因此 XXYY 相互独立. 必要条件 当 XXYY 相互独立时,对任意的 x,yRx, y \in R 都有

f(x,y)=fX(x)fY(y)f(x, y)=f_X(x) f_Y(y)

特别地,当 x=μ1,y=μ2x=\mu_1, y=\mu_2 时 该等式也成立, 所以

f(μ1,μ2)=12πσ1σ21ρ2=fX(μ1)fY(μ2)=12πσ112πσ2=12πσ1σ211ρ2=1ρ=0\begin{aligned} & f\left(\mu_1, \mu_2\right)=\frac{1}{2 \pi \sigma_1 \sigma_2 \sqrt{1-\rho^2}}=f_X\left(\mu_1\right) \cdot f_Y\left(\mu_2\right)=\frac{1}{\sqrt{2 \pi} \sigma_1} \cdot \frac{1}{\sqrt{2 \pi} \sigma_2}=\frac{1}{2 \pi \sigma_1 \sigma_2} \\ & \frac{1}{\sqrt{1-\rho^2}}=1 \Rightarrow \rho=0 \\ & \end{aligned}

n维独立性定义

(X1,X2,,Xn)\left(X_1, X_2, \cdots, X_n\right)nn 维随机变量,若对任意的 (x1,x2,,xn)Rn\left(x_1, x_2, \cdots, x_n\right) \in R^n 都有 F(x1,,xn)=i=1nFXi(xi),<x1,,xn<F\left(x_1, \ldots, x_n\right)=\prod_{i=1}^n F_{X_i}\left(x_i\right),-\infty<x_1, \ldots, x_n<\infty 那么就称随机变量 (X1,X2,,Xn)\left(X_1, X_2, \cdots, X_n\right) 相互独立。连续型随机变量有 f(x1,,xn)=i=1nfXi(xi)f\left(x_1, \ldots, x_n\right)=\prod_{i=1}^n f_{X_i}\left(x_i\right), 在 f(x1,,xn),fX1(x1),,fXn(xn)f\left(x_1, \cdots, x_n\right), f_{X_1}\left(x_1\right), \cdots, f_{X_n}\left(x_n\right) 的一切公共连续点上成立。 当 (X1,X2,,Xn)\left(X_1, X_2, \cdots, X_n\right) 为离散型随机变量 时,随机变量 X1,X2,,XnX_1, X_2, \cdots, X_n 相互独立的充要条件是对任意的 xiΩXii=1,2,,n1x_i \in \Omega_{X_i} i=1,2, \cdots, n_1, 都有 P(X1=x1,,Xn=xn)=i=1nP(Xi=xi)P\left(X_1=x_1, \cdots, X_n=x_n\right)=\prod_{i=1}^n P\left(X_i=x_i\right) 成立.

(X1,X2,,Xn\left(X_1, X_2, \cdots, X_n\right. 为连续型随机变量 时,随机变量 X1,X2,,XnX_1, X_2, \cdots, X_n 相互独立的充要条件是在 f(x1,x2,,xn),fX1(x1),fX2(x2),,fXn(xn)f\left(x_1, x_2, \cdots, x_n\right), f_{X_1}\left(x_1\right), f_{X_2}\left(x_2\right), \cdots, f_{X_n}\left(x_n\right) 的一切公共连续点处都有 f(x1,x2,,xn)=i=1nfXi(xi)f\left(x_1, x_2, \cdots, x_n\right)=\prod_{i=1}^n f_{X_i}\left(x_i\right)

设二维随机变量 (X,Y)(X, Y) 的联合概率密度函数为

f(x,y)={1+xy4,x<1,y<10, 其他 f(x, y)= \begin{cases}\frac{1+x y}{4}, & |x|<1,|y|<1 \\ 0, & \text { 其他 }\end{cases}

证明 XXYY 不独立,但 X2X^2Y2Y^2 独立. 证 对 X,YX, Y 而言:

fX(x)={12,x<10, 其他 fY(y)={12,y<10, 其他 f_X(x)=\left\{\begin{array}{ll} \frac{1}{2}, & |x|<1 \\ 0, & \text { 其他 } \end{array} \quad f_Y(y)= \begin{cases}\frac{1}{2}, & |y|<1 \\ 0, & \text { 其他 }\end{cases}\right.

因为 f(x,y)fX(x)fY(y)f(x, y) \neq f_X(x) f_Y(y) ,所以 X,YX, Y 不独立.

FU(u)=P{X2u}={0,u<0u,0u<11,u1FV(v)=P{Y2v}={0,v<0v,0v<11,v1\begin{aligned} & F_U(u)=P\left\{X^2 \leqslant u\right\}= \begin{cases}0, & u<0 \\ \sqrt{u}, & 0 \leqslant u<1 \\ 1, & u \geqslant 1\end{cases} \\ & F_V(v)=P\left\{Y^2 \leqslant v\right\}= \begin{cases}0, & v<0 \\ \sqrt{v}, & 0 \leqslant v<1 \\ 1, & v \geqslant 1\end{cases} \end{aligned}

U=X2,V=Y2U=X^2, V=Y^2 的联合分布函数为

F˙(u,v)=P{X2u,Y2v}={0,u<0 或 v<0uv,0u<1,0v<1u,0u<1,1vv,1u,0v<11,1u,1v 可见,对 U=X2,V=Y2 而言,有 F(u,v)=FU(u)FV(v) 即 X2 和 Y2 相互独立.\begin{aligned} &\dot{F}(u, v)=P\left\{X^2 \leqslant u, Y^2 \leqslant v\right\}= \begin{cases}0, & u<0 \text { 或 } v<0 \\ \sqrt{u v}, & 0 \leqslant u<1,0 \leqslant v<1 \\ \sqrt{u}, & 0 \leqslant u<1,1 \leqslant v \\ \sqrt{v}, & 1 \leqslant u, 0 \leqslant v<1 \\ 1, & 1 \leqslant u, 1 \leqslant v\end{cases}\\ &\text { 可见,对 } U=X^2, V=Y^2 \text { 而言,有 } F(u, v)=F_U(u) F_V(v) \text { 即 } X^2 \text { 和 } Y^2 \text { 相互独立.} \end{aligned}