n)(a)<+∞(o∈△) (13.3) 对每一∈△,由性质(D)和x(())∈Dn知,如B(c) <(),则 0 于是有 ?)(u)<a"(u)≤(o) ≤A1(o)<如)≤))<…<m(u) (o∈△) 1.3.4 从而 0≡n)(D)<"(m)<…<() <o(t)(o∈△) 由D,=(1,2,…,n)只包含有限个元素及x()())∈D知, 对任一∈△,必有某i∈Dn使 r(m"(o)=i,对无穷个k成立 (136) 于是易知 x(·,)在10,n(m))中有无穷个i区间(1.3.7) 从而,由(13.3)和性质(D4)知△=.引理证毕 引理132.对任一∈9和t<(ω),我们有 lim u(Bim())=0 (.38) #→ 其中 B{"()=∪l(o),o))10,2)(1.3.9) 令 A(a)=(1:x(t,a)+∞,t<()(1310) BCo)m(t: x(t, oo) A(u)=∪Lx(),o?(m) B(")(u)=∪[a()(),B"(o)) (13.13) 于是引理13]易知