浙大概率第四版，证明正态分布随机变量不相关等价于独立

证明命题：

对于任意满足正态分布的随机变量 $X,Y$，有$X,Y$不相关$\iff$ $X,Y$独立

1. 如果$X,Y$独立，则必有$X,Y$不相关
   因为$X,Y$独立，那么有$E(XY)=E(X)E(Y)$，则其协方差$Cov(X,Y)=E(XY)-E(X)E(Y)$等于$0$，相关系数$\rho =\frac{Cov(X,Y)}{\sqrt{D(X)}\sqrt{D(Y)}}$,所以其相关系数为$0$，所以不相关。

2. 接下来就要证明正态分布的$X，Y$不相关，则其独立
   由多维正态分布随机变量的联合分布概率密度函数公式：
   $$f(\mathbf{N})=\frac{1}{{(2\pi )}^{D/2}{\left|\mathbf{\Sigma }\right|}^{1/2}}\exp (-\frac{1}{2}{(\mathbf{N}-\mathbf{\mu })}^T{\mathbf{\Sigma }}^{-1}(\mathbf{N}-\mathbf{\mu }))$$
   其中
   $$\begin{array}{rl}& \mathbf{N}是多个随机变量组成的随机矢量,n行1列\\ & \mathbf{\Sigma }是随机矢量的协方差矩阵\\ & \mathbf{\mu }是\mathbf{N}的期望矢量，n行1列\end{array}$$
   在二维随机变量中，协方差矩阵是一个二维矩阵，不难计算它的逆。
   协方差矩阵的公式为:
   $$\mathbf{\Sigma }=E(\underline{(\mathbf{N}-E(\mathbf{N}))}(\mathbf{N}-E(\mathbf{N}){)}^T)$$其中
   $$\mathbf{N}=(\mathbf{X},\mathbf{Y}{)}^T$$
   可以按照公式$A^{-1}=\frac{A^{\ast }}{|A|}$进行求解（其中$A^{\ast }$是A的伴随矩阵，伴随矩阵是余因子矩阵的转置矩阵，余因子矩阵的每个元素是原矩阵$A$对应元素的代数余子式，某元素的代数余子式即去掉该元素所在行列之后得到的矩阵的行列式）。这一段话涉及了很多线性代数的概念。可以看着下面的公式去一步步推导。
   $$\begin{array}{rl}A& =\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\\ A^{-1}& =\frac{1}{ad-bc}\left[\begin{array}{cc}d& -b\\ -c& a\end{array}\right]\end{array}$$
   所以有，二维随机变量(也即2行1列的随机矢量)的概率密度函数$f(x,y)$为:
   $$f\left(x,y\right)=\frac{1}{2\pi {\sigma }_1{\sigma }_2\sqrt{1-{\rho }^2}}{e}^q$$
   其中:
   $$q=\frac{-1}{2\left(1-{\rho }^2\right)}\left[\frac{{\left(x-{\mu }_1\right)}^2}{{\sigma }_1^2}-2\rho \frac{\left(x-{\mu }_1\right)\left(y-{\mu }_2\right)}{{\sigma }_1{\sigma }_2}+\frac{{\left(y-{\mu }_2\right)}^2}{{\sigma }_2^2}\right]$$
   $$\rho =\frac{Cov\left(X,Y\right)}{{\sigma }_1{\sigma }_2}$$
   ${\sigma }_1，{\sigma }_2$分别是$X,Y$的标准差，${\mu }_1，{\mu }_2$分别是$X,Y$的期望

而:
$$f(x)=\frac{1}{\sqrt{2\pi }{\sigma }_1}exp(-\frac{{\left(x-{\mu }_1\right)}^2}{2{\sigma }_1^2})$$
$$f(y)=\frac{1}{\sqrt{2\pi }{\sigma }_2}exp(-\frac{{\left(y-{\mu }_2\right)}^2}{2{\sigma }_2^2})$$
$$f(x)f(y)=\frac{1}{2\pi {\sigma }_1{\sigma }_2}exp(\frac{(x-{\mu }_1{)}^2}{{\sigma }_1^2}+\frac{(y-{\mu }_2{)}^2}{{\sigma }_2^2})$$
可以看出，有$\rho =0\Rightarrow f(x,y)=f(x)f(y)$，即不相关可以推导出独立。
综上1,2，命题左边可以推出右边，右边也可以推出左边，所以命题成立。