4.3协方差与相关系数
阅读入口
协方差的定义
设 、 的二阶矩有限,记 、。称
为 与 的协方差。把乘积展开,得到等价的常用公式
协方差的符号说明偏离均值的方向:
- 取正值时,两个变量偏离均值的方向倾向于一致;
- 取负值时,偏离方向倾向于相反;
- 取零时称 与 不相关,这只表示没有这种线性关联,不排除其它形式的关系。
协方差带有计量单位,数值大小会随单位改变,不能直接用它的绝对值比较不同变量之间关联的强弱。例如两个长度变量都从米改成厘米,协方差会放大 倍,关联本身并没有变强。
本课程把 与 并排使用,4.4再把它们排进同一个协方差矩阵。
协方差的性质
对称性与方差
第一条由定义中两个因子的对称性直接得到;第二条中两个因子相同,就是方差的定义(见方差)。
仿射变换与双线性
证明
变换后的均值分别为 与 ,两个偏差分别为 与 ,相乘后把常数 提到期望外面即可。
协方差对两个位置分别具有线性性,因此对有限线性组合可以逐项展开:
特别地,。展开时两个位置都要分配,不能只乘到其中一边。
和与差的协方差
设 、 独立,且 。令 ,。由双线性并利用独立性,
所以 与 不相关。这里只能得到不相关,不能直接断言独立: 与 都由 、 决定。若额外已知 服从二维正态分布,则 也服从二维正态分布,此时才能由不相关推出独立。
不相关与独立
协方差与方差共用同一套期望记号,本课程把 当作两条公式之间的接口。
相关系数
当 、 时,定义
由柯西—施瓦茨不等式,
所以
证明
设 。对任意实数 ,
这是关于 的非负二次函数,判别式不大于零,即
也就是 。若 ,则 几乎必然是常数,协方差为零,不等式同样成立。
越接近 ,线性关联越强;越接近 ,线性关联越弱。 只说明不相关,不能据此排除曲线形式的关系。 当且仅当存在 与 ,使
即两个变量以概率一落在一条非水平直线上; 的符号决定 的符号。理由是不等式取等号时判别式为零,存在 使 ,于是 几乎必然是常数,移项即得线性关系;反过来把 代入相关系数的定义,也能直接算出 。
相关系数对平移和正数倍缩放不变,对负数倍缩放改变符号:
其中 是符号函数,取值为 、 或 。
若某个变量的方差为零,分母为零,相关系数没有定义,不能说它等于零。
相关不等于因果
相关系数只衡量线性关联的强弱。它不能说明因果关系,也不保证线性模型合适:两个变量可能同时受第三个变量影响,也可能存在明显的曲线关系而相关系数接近零。
学习安排
4.3紧接4.2:协方差是两个偏差乘积的期望,相关系数再用两个方差把协方差归一化。因此读这一节时要同时调用4.1的期望运算和4.2的方差,缺一项就算不出相关系数。4.4会把这里的 个变量的两两协方差排成协方差矩阵,这一节的双线性展开是那里的基础。
本节先定义协方差并说明符号含义,再列出性质,然后用柯西—施瓦茨不等式引出相关系数,最后集中讨论不相关与独立的区别。性质中的“和与差”例子可以用来检查条件是否写全。
课程约定
- 协方差记 ,相关系数记 ,方差继续用 。
- “不相关”定义为 ;只有在 、 时才进一步等价于 。
- 讨论相关系数前先确认两个方差都为正;方差为零时相关系数没有定义,不能写成 。
- 由不相关推出独立时,必须写明联合正态这一额外条件;只已知两个边缘为正态不够。
重点
- 协方差对两个位置分别线性,展开 时两个求和都要分配。
- 独立时 ,由此得到协方差为零;反向一般不成立。
- 等价于两个变量以概率一满足线性关系 , 的符号与 相同。
- 仿射变换下相关系数只可能改变符号:。
易错点
- 把“不相关”当成“独立”。、 是标准反例,协方差为零但两者明显不独立。
- 用协方差的数值直接比较不同变量的关联强弱。协方差带单位,换成厘米就会放大 倍,比较强弱应看相关系数。
- 认为方差为零时“相关系数等于零”。分母为零时相关系数没有定义,只能说该变量几乎必然是常数。
- 把相关当作因果,或者不检查线性关系就套用相关系数。
- 只看到 、 各自服从正态分布,就用“不相关即独立”;必须是 联合正态。
复习要点
判断“不相关能否推出独立”时,先看题目有没有给出联合正态,再看两个变量是否由同一个变量决定。计算协方差前先确认拿到的是联合分布;只给两个边缘分布时,除非已知独立,否则不能把 拆成 。