Topological Vector Spaces, V, p. 62
Let E be a Hilbert space, (xn) a sequence of points of E which converges weakly to a point a. For every y∈E, put
d(y)=n→∞liminf∥xn−y∥etD(y)=n→∞limsup∥xn−y∥. Now prove that one has
d(y)2=d(a)2+∥y−a∥2 and
D(y)2=D(a)2+∥y−a∥2. If
α and
β are two real numbers such that
0≤α≤β, give examples where
d(a)=α and
D(a)=β.