2 协方差阵及其传播律
变量符号约定
- 常数
- 随机变量
- 常向量
- 随机向量
- 矩阵
- 随机变量 和 的协方差
- 随机向量 的自协方差阵
- 随机向量 和 的互协方差阵
回顾随机变量及其数字特征
数学期望
- , 为常数
- , 不必相互独立
- , 相互独立
方差
- , 为常数
- , 相互独立
- , 相互独立(此式可通过误差传播定律推出)
相关系数
回顾误差传播定律
我们在 测量学 / 测量误差及处理方法 - 误差传播公式 中提到过了误差传播定律的内容:
对于一般多元函数 ,有
即
其具有一些局限性,例如
- 要求 均为相互独立的原始观测量,如果不是,要化成原始观测量
- 对于每个函数 均需要单独列式计算,无法同时获得多个函数的方差及它们之间的协方差
因此我们引入线性代数的手段简化这一过程。
TIP
计算量是不会简化到哪里去的 —— 有多少东西要算,转化完还是那么多东西要算。简化的意义是避免繁琐冗杂的列式、便于机器自动化处理。
协方差阵
自协方差阵
我们将 个初始观测值 组成一个向量:定义观测向量 。该观测向量服从 维正态分布。
则有对应的数学期望向量 。
由此我们定义 方差 - 协方差阵(也称 自协方差阵
TIP
- 观测向量、期望向量、协方差阵都是有单位的,不是无量纲;
- 从一维拓展到 维时, 的形式通常会转化为 。我们后续还会再遇到。
自协方差阵的特点:
- 是对称阵:协方差具有对称性,
- 主对角元是方差: 行 列是随机变量 的方差
- 非主对角元是协方差: 行 列()是随机变量 和 的协方差
- 观测值相互独立时是对角阵:若 两两相互独立,则所有协方差为零,只剩主对角元,
- 等精度独立观测时是数量阵:在两两独立的基础上,若所有观测量等精度,则所有 均相等,
例 1
每公里观测中误差为 ,写出下列观测向量的方差协方差阵。
互协方差阵
前面的自协方差阵,是只有一个观测向量形成的协方差阵。除此之外还可以由两个不同的观测向量组成协方差阵。
对于两个观测向量 和 ,定义二者的互协方差阵 和 :
例子
例如对于 ,,则有
互协方差阵的特点:
- 一般不是方阵( 时是方阵)
- 矩阵元素均为协方差,没有方差
- 和 互为转置,即
- 若 或 为 ,则随机变量 互不相关
协方差阵的传播律
单函数传播
此前的误差传播定律提到对于 ,则有 。现在我们将其推广到 维。
对于随机向量的线性函数 ,有
证明
例 2
方向观测值 、、 相互独立,精度均为 ,求 、、。
故有
例 3
已知等精度观测三角形三内角 、、,精度均为 ,求 、、。
闭合差
平差值
误解:应用误差传播律:
发现平差后精度降低。原因: 与 不独立,误差传播率要求各量相互独立。
同理有
平差后精度提高。
对于非线性函数,与此前一维的处理类似,可以通过线性化近似的方法来解决:求函数值的全微分,用观测值计算偏导数值,得到线性近似表达式。
例 4
已知:
求:当 ,, 时的 。
求 的全微分:
因此令 ,有
因此有
故有 ,,。
多函数传播
单个观测向量的两个函数的互协方差
对于观测向量 ,有两个函数 和 ,则有 的互协方差阵:
两个观测向量各自函数的互协方差
对于观测向量 有函数 ,对于观测向量 有函数 ,则有 的互协方差阵:
对于非线性函数,也可以按前述方法转化为线性函数后再求解。
例 5
设有函数关系式
式中, 均为常数阵。已知 ,求:。
例 6
已知独立观测值 的中误差分别为 ,求下列函数的中误差:
由于 相互独立,协方差为零,因此观测值向量 的自协方差阵为