|
此外,如果有必要,我们可以假设xn↑ x、 对于n≥ m足够大,我们有fn(xm)≤ Fn(xn)<F(x)- ε.取n→ ∞, 我们得到F(xm)≤ F(x)- ε. 取m→ ∞, 然后我们得到F(x)≤F(x)- ε,这是一个矛盾。最后,我们假设x=∞ 或x=-∞. 我们采用前者,因为另一个相似。如果需要,我们可以假设xn↑ ∞. 让n≥ mbe足够大。然后,Fn(xm)≤ Fn(xn)<1- ε.取n→ ∞, 我们得到F(xm)≤ 1.-ε. 让m→ ∞, 我们得出的矛盾是1≤ 1.- ε.由于这两种情况都会导致矛盾,(3.1)必须成立。以下是本文的主要技术引理。引理3.3假设'XTPOSS是s连续分布函数。然后,limε→0EFXεT(XεT)- F?XT(?XT)= 证明:注意有一个子序列ε* ε使得limε*→0EFXε*T(Xε*T)- F?XT(?XT)=limε→0EFXεT(XεT)- F?XT(?XT),它总是存在的。XεTL→\'\'XT表示Xε*TL公司→\'\'XT。此外,还有一个“Xε′tof Xε”序列*t几乎可以肯定会收敛到'XT。然后我们得到limε′→0EFXε′T(Xε′T)- F?XT(?XT)= limε*→0EFXε*T(Xε*T)- F?XT(?XT).因此,将问题转化为证明(3.2)limε′→0EFXε′T(Xε′T)- F?XT(?XT)= 0,给定Xε′Ta。s→\'\'XT。请注意FXε′T(Xε′T)- F?XT(?XT)≤FXε′T(Xε′T)- F’XT(Xε′T)+F’XT(Xε′T)- F?XT(?XT)≤ supx公司FXε′T(x)- F'XT(x)+F’XT(Xε′T)- F?XT(?XT)→ 0,其中la st阶跃遵循引理3.2,分布函数F'XT的连续性。
|