K-拟加测度空间上Borel-Cantelli引理的局部推广
2017-09-21李艳红
李 艳 红
(辽东学院师范学院数学系,辽宁 丹东 118000)
K-拟加测度空间上Borel-Cantelli引理的局部推广
李 艳 红
(辽东学院师范学院数学系,辽宁 丹东 118000)
基于K-拟加运算证明了集函数关于一般集合列满足次可数可加性,进而给出了K-拟加级数收敛的一个必要条件.其次,在K-拟加测度空间上获得了概率论中Borel-Cantelli引理的第一个结论,并通过构造子集合列方法对Borel-Cantelli引理进行了局部推广.
诱导算子;拟加法;K-拟可加测度;K-拟加级数;Borel-Cantelli引理
0 引言
众所周知,概率与测度之间主要区别在于概率引入了条件概率和事件的独立性概念,并且概率是特殊的测度.Borel-Cantelli引理是概率论中一个重要结论,它阐述的主要思想是:若无穷多个事件的概率和为有限值,则这无穷多个事件同时发生的概率为零.近年来该结论在证明概率论中的一些重要结论时起到举足轻重的作用,众多学者对该引理自身条件的推广及应用进行了大量研究.[1-4]然而,由于Borel-Cantelli引理本身要求的条件比较苛刻,致使其应用范围还主要集中在概率论中.在国内,虽然早期就有文献[5]将Borel-Cantelli引理模糊化并给出类似结论及证明,但至今在超出概率空间以外的某些测度空间上的应用及推广研究十分少见.
1989年,日本学者Sugeno等[6]通过引入拟加算子首次提出拟加测度概念,并建立了拟加积分理论框架.1993年,文献[7]在拟加测度空间上定义并研究了Kt积分和tK积分,获得了一些类似于传统Lebesgue积分的结果.1998年,文献[8]通过统一两类算子建立了K-拟加测度空间和K-拟加积分模型.文献[9]讨论了K-拟加积分的收敛性及其自连续等问题.近些年来,李艳红[10-11]在上述工作基础上进一步讨论了K-拟加模糊积分和广义Sugeno模糊积分的若干扩展性质及收敛性.这些结果对传统积分或模糊积分理论来说是一种有效推广.
本文在K-拟可加测度空间上通过诱导算子和拟加运算的性质给出了K-拟加级数收敛的必要条件,并推广了Borel-Cantelli引理中的第一个结果.
1 K-拟可加测度空间
给定经典集合X,设R+是非负实数集,R表示X上若干子集构成的σ-代数.
定义1.1 设K:R+→R+为严格递增的凸函数,且在(0,+∞)上可导,并满足K(0)=0,K(1)=1,则称K为R+上一个诱导算子.
显然,K(x)=x2,K(x)=2x-1均为诱导算子,且K和K-1在[0,+∞)上都连续.
定义1.2 设K是给定的诱导算子.∀a,b∈R+,由K诱导a与b的拟加运算⨁定义为a⨁b=K-1(K(a)+K(b)),称此运算⨁为K-拟加运算或K-拟加算子.
按上述定义,∀a,b,c∈[0,+∞),易得以下运算性质:
(1) (a⨁b)⨁c=a⨁(b⨁c);
(2)a⨁b=b⨁a,a⨁0=a;
(3) 若a≤b,c≤d,则a⨁c≤b⨁d;
(4)K(a⨁b)=K(a)+K(b);
(5)K-1(a+b)=K-1(a)⨁K-1(b).
命题1.1 设K是诱导算子,则∀a,b∈R+,必有K(a)+K(b)≤K(a+b),且a⨁b≤a+b.
证明采用数学分析中Lagrange微分中值定理给予证明.
事实上,∀a,b∈R+,不妨设0 K(a)=K(a)-K(0)=K′(ξ1)a,K(a+b)-K(b)=K′(ξ2)a,