1. 引言
设T为一无限连通树图,
是T中任意两个顶点。那么应该有从
到t的路径
,其中
是不相同的顶点,这里
与
表示两个相邻的顶点。记
为
到t的距离。我们给T中的顶点进行编号,首先一个顶点被选定作为根顶点(简称根),记为o。若一个顶点t在根顶点o到顶点
的路径上(且路径唯一),则记
。设
是T上两个相异的顶点,把离根顶点o最远的满足条件
和
的顶点记为
。
本文记任意局部有限无穷树为T。为了对树的概念加以解释,我们以Cayley树
为例,我们设每个顶点都有
个顶点相连(根顶点0除外),见图1。用t表示T中从根顶点o向上,从左向右依次数第t个顶点,记顶点t到根o的距离为
。假如
,则表示t位于第n层树上。同时把从根o到第n层所有顶点的子图记为
,另外第n层上顶点的集合我们用
表示,树图T上从m层到n层之间的所有顶点的集合用
表示。对于任意顶点t,我们把从o顶点到t的路径上离顶点t最近的顶点称为t的第一代父代,记为
,同时称t为
子代。同理,t的第二代父代记为
。以此类推,
表示t的第n代父代。设树图T的子图为B,记
,则称
为
的实现。从根顶点o到第n层的所有顶点的数目我们用
表示。
我们取
,记
。又设
。其中
为定义在T上并于S中取值的函数。F为
的所有有限维柱子集所产生的最小σ-代数。P为可测空间上的概率测度。设
是定义在测度空间
上的标准随机过程。即对于任意
我们定义
,
。 (1)
近三十年来,人们广泛且深入地研究了一般随机过程,如马氏链,独立随机序列,相依随机序列的强极限定理(参见 [1] [2] )。近几年来,随着概率论和信息论发展,树图随机场的强极限定理引起了学者们的广泛兴趣(参见 [3] )。而今,物理学界,概率与信息论学界对树图模型产生了浓厚兴趣。齐次树图上若干平稳随机场的熵率在文献 [4] 中被研究。齐次树指标的PPG不变随机场的遍历性与熵率被叶中行与Berger [5] 所
探讨。然而其结果只讨论了依概率收敛。杨和刘 [6] [7] 探究了所谓齐次树指标以及Cayley树指标马氏链场的几乎必然收敛的熵定理。刘和王 [8] 也曾经讨论了有关树指标任意随机场状态序偶的若干小偏差定理。又有一类针对齐次树指标马氏链场的渐近均匀分割性质也曾经被杨卫国 [9] 讨论。王康康,李芳近来讨论了在所谓有限状态空间当中,齐次树图上任意随机场相对熵密度关于齐次的马氏分布一类所谓小偏差定理(参见 [10] )。王康康之后又进一步研究了广义Bethe树指标任意随机场相对于马氏链场的若干偏差定理(参见 [11] )。我们都知道,二项分布是一种经典分布,其在概率论,统计学与经济学等诸多领域均有广泛的应用。刘文曾经在文献 [12] 中专门研究了任意随机序列相对于Poisson分布的若干小偏差定理。
本文目的在于,在树指标随机场上构建一个相容分布和非负上鞅,研究广义赌博系统中任意局部有限无穷树图上乘积二项分布相对于任意随机场的若干强偏差定理。作为推论得到了树上服从独立二项乘积分布的随机场以及任意随机场的若干强极限定理。证明中采用了一种研究局部有限树指标随机场上强极限定理的新方法。
定义1:设
是一个正实数序列,
,
。如果
(2)
则
称为树图T上服从二项乘积分布的随机场。
定义2:树上广义随机选择的概念如下定义,我们先定义一个非负实值函数列
,它们在区间
上取值。令
(y表示任意实数),
; (3)
其中代表从根顶点o到顶点t的边数,我们记
为广义随机选择函数列,
称为局部有限无穷树指标广义赌博系统。传统的链式赌博系统 [13]
在两点集
中取值。
为了表示任意随机场
与服从乘积二项分布的独立随机场之间的差异,我们引进如下定义:
定义3:设
是具有分布(1)的任意随机场,
是正数列,称
(4)
为
相对与乘积二项分布
(5)
的似然比。
2. 主要结果
定理1:设
是具有分布(1)的任意随机场,
是定义在S上的任意非负实值函数序列,
由(4)定义。又设
其为常数,令
为满足下列条件的样本点
的全体:
(6)
则
μ-a.s.
,(7)
μ-a.s.
。(8)
证明:取
为所考虑的概率空间,设
为常数,并设
。令
(9)
则有
(10)
因此,我们可知
是定义在
上的一族相容分布函数。又记
, (11)
由(9),我们可以把(11)整理为
(12)
由于
和
是两个概率测度,由Doob鞅收敛定理 [4] [14] [15] 很容易看出
是一个非负上鞅。于是有
μ-a.s.(13)
由(13)与(6)式的第一式,我们有
μ-a.s.
(14)
由(4)与(12),有
(15)
由(6)的第三式有
μ-a.s.
(16)
由(14),(15)与(16)有
μ-a.s.
(17)
取
,将(17)两边同除以
,得:
μ-a.s.
(18)
由(18)及上极限的性质:
有
μ-a.s.
(19)
由(19)与不等式
,
,
及(6)式的第二式,并注意到
,有
(20)
当
时,在(20)中令
,于是由(18)有
a.s. 于
(21)
即得当
时,(7)成立。当
时,取
,使
,则对一切i,由(20)有
a.s.
(22)
故由(22)知当
时,(7)也成立。
取
,将(17)两边同除以
,得:
a.s
(23)
由(23)与下极限的性质:
有
(24)
当
时,在(24)中令
,得
a.s.
(25)
故由(25)知当
时,(8)成立。仿照(22)的证明可知当
时,(8)也成立。
推论1:在定理(1)的假设下,有
a.s.
。 (26)
证明:在(7)与(8)中令
即可。
推论2:设
是服从参数为
的二项分布的独立随机场,则有
a.s. (27)
证明:在定理1中,令
,此时有
。当
时,(6)第三式显然成立。令
,则有
,又设
,则有
于是有
。因而由(26)便得(27)式。
推论3:在定理(1)的假设下,设
(28)
则有
a.s.
(29)
证明:在推论1中令
,则显然有
, (30)
所以当
时有
。于是有(29)成立。
推论4:在定理(1)的条件下,令
(31)
则
a.s.
(32)
证明:在(14)中令
,得
。
由(14)与(31)即得(32)成立。
定理2:在设
是具有联合分布(1)的任意随机场,
由(4)定义。又设
其为常数,令
为满足下列条件的样本点
的全体:
(33)
则有
μ-a.s.
, (34)
μ-a.s.
。 (35)
证明:在定理1中令
,则显然有
, (36)
于是有
。由(7),(8)有
μ-a.s.
, (37)
μ-a.s.
。 (38)
由(37),(38)可知(34),(35)成立。
基金项目
本文的工作被国家自然科学基金(11072107),江苏省高校自然科学基金(13KJB110006)以及江苏科技大学校管基金(633051203)支持。