形式陈述
固定整数 。若随机向量 的每个坐标都在 上服从均匀分布理路均匀分布Uniform distribution在有限集合或有限正测度区域上按计数或体积等比例分配概率的分布。,则其联合分布理路联合分布Joint distribution · 联合概率分布多个随机元素组成的向量所推出的概率测度,完整记录边缘与依赖结构。的CDF
称为一个 维Copula。坐标各自均匀不表示坐标相互独立;独立情形只是其中的 。
设实随机向量 的联合CDF为 ,各坐标分布函数理路分布函数Cumulative distribution function · CDF实值分布在每个阈值左侧累积的概率,是非降右连续且端点极限为零和一的函数。为 。Sklar定理断言存在Copula ,使
若每个 连续,则 唯一。一般情况下,表示(1)只唯一确定 在 及其闭包上的值,网格之外可能有多种延拓。
反过来,给定任意Copula 和任意一维CDF ,式(1)确实定义一个具有这些边缘的联合分布。这个方向允许边缘有原子、平坦区间或奇异连续部分。
实际检验一个候选函数 时,可以使用以下等价条件:
- 某个坐标为零时 ;除第 个坐标为 外,其余坐标为一时,。
- 每个盒子 ,,都有非负的盒增量
二维时就是 。盒质量允许为零;把条件写成严格大于零会错误排除奇异Copula。上述条件还自动给出连续性与
直觉
先用各自的CDF把一个观测改写成“在本坐标的总体中处于什么累计位置”,再研究这些位置怎样共同出现。连续边缘时,这个位置在零到一之间均匀分布,边缘的计量单位被去掉,剩下的联合规律就是Copula。
有原子时,许多观测值会挤到同一个累计位置。例如公平0/1变量的CDF在观测值上只取 和一,不会自动变成均匀变量。需要在每个CDF跳跃区间内额外随机化,才能补满均匀边缘。这种补法会影响未被原数据区分的局部依赖,因此离散边缘一般不产生唯一的完整Copula。
式(2)是概率非负性的真正高维约束。只检查函数对每个坐标单调,还不足以保证所有盒子都有非负质量;Fréchet–Hoeffding界理路Fréchet–Hoeffding 界Fréchet–Hoeffding bounds · Fréchet界固定各坐标边缘后,对联合阈值概率给出逐点紧界,区分二维可同时取等与高维下界函数不再是CDF。中的三维反例会直接展示这个差别。
例子与边界
均匀边缘可以配出完全不同的联合规律
取 。 的Copula为
而 的Copula为
再取两个独立均匀变量,得到 。在 ,三者分别为 ;边缘都相同,同时落在下半区的概率却不同。
的全部质量在对角线, 的全部质量在反对角线,都没有二维普通密度。连续边缘下的唯一性仍成立,因为唯一性要求的是边缘CDF连续,不要求联合分布有密度。
同一个离散四格,有两种不同的延拓
设 是独立公平0/1变量。取 为与 独立的两个独立均匀变量,令
独立均匀,Copula为 。如果改为共用一个均匀变量 ,仍与 独立,令
每个边缘仍均匀;但
不再是 。两种构造在 上却给出完全相同的CDF值:以 切回0/1后,都恢复四格各 的原联合分布。额外随机化没有改变可观察表,但改变了网格内部的连续依赖。
中图在整个正方形上均匀填充,右图则把每格质量放在一条斜线段上。半区网格仍相同,蓝色小方块的质量分别为 与 ;线段长度不能直接当成二维面积。
单调变换有方向条件
若边缘连续,对每个坐标使用严格递增变换,Copula保持不变。因为新CDF在变换后的观测处仍等于原CDF值,累计位置没有改变。改变长度单位或对正变量取对数都属于这个方向。
若对一个坐标作严格递减变换,依赖方向会反转。例如从 改为 ,Copula由 变成 ,不能再宣称不变。非严格变换还可能合并不同取值、产生原子,须重新检查唯一性。
推论与应用
广义逆和随机化分布变换
对任意实CDF ,定义
端点极限保证 有限;右连续性保证 。于是对每个实数 ,
这也证明 在 均匀时具有CDF ,不需要 严格递增。
现在让 的CDF为 ,并取与 独立的均匀变量理路均匀分布Uniform distribution在有限集合或有限正测度区域上按计数或体积等比例分配概率的分布。 。定义
下面证明 均匀,且 几乎必然。固定 ,设 、、,则 。
- 在 上,,这部分概率为 。
- 在 上,若 , 均匀填充 ,落在 以下的无条件概率为 。若 ,该事件概率为零,并且 。
- 在 上,,所以不会贡献 。
因此即使不预先处理平坦区间上的等号事件,仍严格得到
再令 且 。事件 递减到 ,故左侧不等式给出 。与右侧合并,便有 。这一步同时排除了人为引入原子的可能,没有假定CDF的平坦段为空。
由 和式(5),有 几乎必然。而 与 同分布。两个同分布变量若前者总不大于后者,就必几乎必然相等:对每个有理数 ,
任何严格不等式 中间都夹着一个有理数。因此 几乎必然,完成恢复证明。
Sklar的两个方向与唯一性
如有需要,在原空间上取与 独立的均匀向量;这是与均匀概率空间取乘积测度理路乘积测度Product measure在乘积 σ-代数上把可测矩形的测度规定为边测度乘积的测度。的构造。对各坐标执行式(6),得到 均匀及 几乎必然。令 为 的联合CDF,由式(5),
对所有对所有反方向从具有Copula 的均匀边缘向量 出发,令 ,使用同一个等价关系就得到指定边缘和式(1)。坐标分位变换保持了原来的共同随机性,没有把坐标重新独立抽样。
若两个Copula都满足式(1),它们在边缘值域乘积上显然相等。每个Copula都满足式(3):改变一个阈值,联合事件之差包含在该坐标的窄带中,概率至多为阈值差;逐坐标改变后求和即可。
当 连续时,其端点极限和介值性质保证每个 都能写成 ,故两个Copula在整个开立方体相等;式(3)再把相等扩到边界。一般情况下,同一个连续性论证只能扩到边缘值域乘积的闭包。
盒增量检验为什么充分
对真实联合CDF,式(2)就是盒事件的概率,边界条件来自均匀边缘。反过来,设候选函数满足所列边界和非负盒增量。在每个二进网格上,把相邻格子的式(2)当成概率。所有格子质量非负,求和逐项抵消后总和为 ;一个格子的子格质量之和也等于父格质量。
这些相容的有限格子选择可由Kolmogorov扩张定理理路Kolmogorov 扩张定理Kolmogorov extension theorem · Daniell–Kolmogorov theorem · Kolmogorov consistency theorem从一族彼此相容的有限维分布构造乘积空间上唯一的概率测度与坐标随机过程。实现成无限嵌套格子序列。每层取所选格子的右上角向量 ;嵌套闭包直径趋零,确定一个极限向量 ,并有逐坐标 。
非负盒增量还给出式(3)。例如只提高一个坐标时,新增的内盒条带质量非负,且不超过在其他坐标放宽到整个 后的条带质量,后者由边缘条件等于该坐标的阈值差;有限盒分割把这个比较写成非负增量之和。于是候选 本身连续。
在网格点处的累计质量由求和抵消恰好给出候选 ;在一般阈值处则是向下取网格端点后的 。由 , 的CDF夹在两个相邻网格值之间,连续性使二者趋向 。所以 的联合CDF正是候选函数,边缘也均匀。这说明二维或高维构造时,只要真正验证全部盒质量和边缘,就得到合法概率模型。
后续二维阿基米德构造理路二维阿基米德 CopulaBivariate Archimedean copula · 阿基米德联结函数从递减生成元和伪逆构造二维均匀边缘联合分布,证明凸性充要条件,区分严格光滑密度、奇异边界和条件逆采样。会将盒质量非负化为生成元的凸性;尾依赖系数理路尾依赖系数Tail dependence coefficient · 上尾与下尾依赖用同分位阈值下的条件事件极限衡量共同极端,计算上下尾例子,并展示零尾依赖、零相关和极限不存在的不同边界。则在已经确定的Copula上研究角落附近的条件事件。离散边缘的不同延拓不能在这一步被悄悄当作同一个可识别对象。
参考资料