让{hn|n∈ N} 是E中的任意序列,使得{khnk |N∈ N}几乎处处收敛于0,我们只需要证明| f(x+hn)-f(x)-f′(x)(hn)|khnk几乎处处收敛于0。由于f几乎处处连续地在x处可微分,因此存在ε∈ L++(F)使得F′(·):Bε(x):={y∈ E|ky- xk≤ ε} → E*cis几乎处处在x处连续。我们将在以下两种情况下继续。案例1。让每个HNNK≤ ε表示所有n∈ N.现在,fix N,sincex+thn=(1)- t) x+t(x+hn)∈ Bε(x),那么函数H:[0,1]→ L(F),由H(t)=F(x+thn)定义∈ [0,1]对于所有t,Riemann-der-ivable[0,1]和h′(t)=f′(x+thn)(hn)是吗∈ [0, 1]. 很容易看出H是凸的,即H(λt+(1)- λ) (t)≤ λH(t)+(1)- λ) H(t)代表所有t,t∈ [0,1]和λ∈ [0, 1].与实值凸函数类似(例如参见[AB06]),很容易验证H′(·)是单调的,f′(x)(hn)≤H(t)- H(t)t- T≤ f′(x+hn)(hn)表示所有t,t∈ [0,1]使得t6=t_|H(t)- H(t)| | t- t | | t,t∈ [0,1]a和t6=t≤f′(x)(hn)_f′(x+hn)(hn).因为(E,k·k)是Tε,λ-这两项工作都是完整的-完全且E具有可数连接性质,这已在[Guo10]中得到证明,我们可以使用24个铁心郭、张二新、吴明志、杨碧轩、袁乔治和小林ZENGLemma 5.12。然后,通过引理5.12,f(x+hn)- f(x)=Zf′(x+thn)(hn)dt,因此f(x+hn)- f(x)- f′(x)(hn)≤Zf′(x+thn)(hn)- f′(x)(hn)dt=Zf′(x+thn)(hn)- f′(x)(hn)dt≤ f′(x+hn)(hn)- f′(x)(hn)≤f′(x+hn)- f′(x)这表明f(x+hn)- f(x)- f′(x)(hn)KNK≤f′(x+hn)- f′(x),几乎所有地方都收敛到0,因为n趋于∞.案例2。让An=(khnk)≤ ε) 每n∈ N和definehn=~IAnhn+~IAcn·0每N∈ N.然后{khnk |N∈ N}几乎在所有地方都收敛到0,而khnk≤ ε每n∈ N