Bourbaki marks this one as harder than the rest.
令E为实数的序列x=(xn)的完整范数空间,使得limn→∞xn=0由∥x∥=supn∣xn∣范数。对于每个整数n≥0,令en为序列,其中每个项为零,除了项和指标n,其等于1; 空间E是en和en+1生成的维数2的子空间Vn的直和,以及ek生成的闭子空间Wn 指标与n 和n+1 不同。令fn为E上的连续Lipschitz函数,E中的值,在每个等价类模Wn上恒定,等于连接en到en+1的直线上的en+1−en,并且在 Vn 和球 ∥x∥≤41 的交上等于 0。另一方面,对于每个整数n>0,令φn是一个在区间[n+11,n1]上定义且连续的实数函数,在该区间的端点处等于0,并且使得∫1/(n+1)1/nφn(t)dt=1。设I为R中的区间[0,1];考虑I×E函数f和E中的值,定义如下:每x∈E有f(0,x)=0;对于n+11≤t≤n1,设f(t,x)=φn(t)fn(x)。证明 f 在 I×E 上是连续且局部 Lipschitz,但存在方程 x′=f(t,x) 的积分 u,在 [0,1] 上定义并有界,对于 t=1/n 等于 en,因此没有极限与 t趋于0。