方差有两个相关的性质。
属性1:对于独立随机变量X美元$和Y美元$有限方差,$$\operatorname{Var}[X+Y]\overset{\text{ind}}{=}\operator名称{Var{[X]+\operatoriname{Var}[Y]$$
属性2:对于任何标量常量$c美元$和随机变量X美元$有限方差,$$\operatorname{Var}[cX]=c^2\operatorname{Var{X]$$
第一个属性导致身份$$\操作符名{Var}[X_1+X_2+\cdots+X_n]=\操作符名称{Var{[X_1]+\operatorname{Varneneneep[X_2]+\cdot+\operatorname{Var}[X_n]$$什么时候$X_1,\ldot,X_n$独立;当它们同样分布时,那么$$\operatorname{Var}[X_1]=\operator名称{Var{[X_2]=\cdots=\operator名称{Var}[X_n]=\Operator名称}[X]$$所以$$\operatorname{Var}[X_1+\cdots+X_n]\overset{\text{iid}}{=}n\operatorname{Var}[X]$$
然后,选择第二个属性$c=1/n美元$,$$\操作员名称{Var}\left[\frac{X_1+\cdots+X_n}{n}\right]=\ frac{1}{n^2}\操作员名称{Var}[X_1+\cdots+X_n]=\ frac{1}{n^2}(n\操作员名称{Var}[X])=\ frac{1}{n}\操作员名称{Var}[X]$$
根据期望方差和线性的定义,对每个属性进行了证明:
$$\运算符名称{Var}[X]=\运算符名称{E}[(X-\运算符名称{E}[X])^2]=\运算符名称{E}[X^2]-\运算符名称{E}[X]^2$$和$$\操作符名{E}[X+Y]=\操作符名称{E}[X]+\操作符姓名{E}[Y]$$和$$\operatorname{E}[cX]=c\operator名称{E}[X]$$
因此$$\开始{align}\运算符名{Var}[X+Y]&=\运算符名{E}[(X+Y-\运算符名}[X+Y])^2]\\&=\操作符名{E}[(X+Y)^2-2(X+Y)\操作符名称{E}[X+Y]+\操作符姓名{E}[X+Y]^2]\\&=\操作符名{E}[(X+Y)^2]-2\操作符名称{E}[(X+Y)\操作符姓名{E}[X+Y]]+\操作符名字{E}[CX+Y]^2\\&=\operatorname{E}[X^2+2XY+Y^2]-2\operator名称{E}[X+Y]^2+\ operatorname{E}[X+Y]^2\\&=\operatorname{E}[X^2]+2\operator名称{E}[XY]+\operatoriname{E{[Y^2]-\operatormame{E}[X+Y]^2\\&=\operatorname{E}[X^2]+2\operator name{E}[XY]+\operatoriname{E{[Y^2]-\operatormame{E}[X]^2-2\operatorname{E{X}[Y]-\operatorname{Eneneneep[Y]^2\\&=\operatorname{E}[X^2]-\operator name{E}[X]^2+\operatoriname{E{[Y^2]-\ operator名称{E}[Y]^2+2\ operatorname{E{[XY]-2\ operatormame{E}[CX]\operatoralname{E{Y}[Y]\\&=\operatorname{Var}[X]+\operator name{Var}[Y]+2(\operatoriname{E}[XY]-\operatoraname{E{X]\operatormame{E}[Y])。\结束{对齐}$$但如果X美元$和Y美元$是独立的,那么$\operatorname{E}[XY]\overset{\text{ind}}{=}\operator名称{E}[X]\operatormame{E}[Y]$,这使得括号中的项消失,这就完成了证明。
对于属性2,证明更简单:
$$\开始{align}\运算符名称{Var}[cX]&=\operatorname{E}[(cX-\operator名称{E}[cX])^2]\\&=\operatorname{E}[(cX-c\operator名称{E}[X])^2]\\&=\operatorname{E}[c^2(X-\operator名称{E}[X])^2]\\&=c^2\operatorname{E}[(X-\operatorname{E}[X])^2]\\&=c^2\operatorname{Var}[X]。\结束{对齐}$$