判定二维离散型随机变量独立性的一种新方法.docVIP

判定二维离散型随机变量独立性的一种新方法 摘 要:本文借助线性代数中矩阵分解和秩,给出了二维离散型随机变量相互独立的一个必要条件和一个充分必要条件,无论在应用上,还是在理论上都是很有价值的。 关键词:矩阵分解 矩阵秩 随机变量 离散型 分布律 相互独立 中图分类号:o211.6 文献标识码:a 文章编号:1673-9795 2012 04 b -0098-01 随机变量的独立性是概率论中一个十分重要的概念,也是理论上的一个难点。随机变量独立性的判定,主要是依据定义。因此,给出随机变量相互独立的充分必要条件是很有价值的。 设为二维离散型随机变量,且联合分布律为: 。 边缘分布律: 已有的结果是:[1] 与相互独立的充分必要条件是 。 显然此结果对于判定取值较多的二维离散型随机变量的独立性是很不方便的。 本文利用线性代数中矩阵分解和秩的知识,给出了二维离散型随机变量相互独立的一个必要条件和一个充分必要条件。 1 预备知识 引理的充分必要条件是存在非零维行向量及非零维列向量使得。 其中是的转置,是矩阵的秩 证明:显然是非零矩阵。 必要性:由知的标准形为: 即存在阶可逆矩阵和阶可逆矩阵使: 或 令,则是非零维列向量，是非零维行向量，且。 充分性,因为与是都是非零向量,所以是非零矩阵,从而≥1。 又因为1≤≤ 所以。 注:由引理还可以看出,对于的矩阵有以下特征: 1 若和中均不含零元素,则中无零元素,反之亦然。 2 若或中含有零元素,则中必有整行或整列的零元素,反之亦然。 3 中去掉整行和整列的零元素,其子块必无零元素。 2 主要结果 为方便起见,称由分布律构成的矩阵 也可以是有无穷行或无穷列的矩阵 为分布律矩阵。因为是由分布律构成的矩阵,所以可以假定中既无完全为零的行,也无完全为零的列,否则把它们去掉,这并不影响问题的实质。 定理1 相互独立的必要条件 若与相互独立,则在中必无零元素。 证明:若中有元素因为无整行的零,也无整列的零,所以从而,故与不相互独立,这与题设矛盾。 定理1表明:若分布律矩阵中有零元素,则与必不相互独立。 定理2:二维离散型随机变量相互独立的充分必要条件是。 证明:仅就取有限个值的情况证明,当自然数中有无穷或都是无穷时,只需将下标和的取值范围做些相应的改变,并用数学归纳法即可。 必要性:设与相互独立,则应满足 。 的第行构成的向量为 。 可知的任意两行成比例。 又由于是非零矩阵,所以至少存在从而故的行向量组的秩为1,即。 同理,对于列的情况,仍有。 充分性:设。则由引理,可表示为: 所以与相互独立。 定理2表明:判定二维离散型随机变量与的相互独立性,只需考察其分布列矩阵的秩是否为1。 3 典型例题 略 参考文献 [1] 王福保,等.概率论及数理统计[m].上海:同济大学出版社出版,1988:99～100.