Mazur's lemma (weak limits and convex hulls)
[8/25%]Let be an NLS. A set is called weakly closed if for any sequence such that , it follows that . Prove that
every weakly closed set in is strongly closed;
the converse statement to statement (1) is false;
every subspace in is a weakly closed set;
every closed ball in is a weakly closed set.
Let be a Banach space, and let the system be weakly complete in it, i.e., for every vector there exists a sequence , weakly convergent to . Prove that then the system is complete in in the usual sense.
Let be a Banach space, and a convex set in it. Prove that is closed with respect to the norm if and only if is closed in the weak topology.
(S. Mazur, 1933). Let a sequence converge weakly to in a normed space . Prove that .
Let be a normed space and let be a sequence in such that weakly. Show that there is a sequence such that and .
Every weakly closed set is strongly closed, but the converse is not true. Nevertheless every subspace of a Hilbert space (i.e., every strongly closed linear manifold) is weakly closed.
The metric topology (or norm topology) of a Hilbert space is often called the strong topology. A base for the strong topology is the collection of open balls, i.e., sets of the form , where (the center) is a vector and (the radius) is a positive number.
A subbase (not a base) for the weak topology is the collection of all sets of the form . It follows that a base for the weak topology is the collection of all sets of the form , where is a positive integer, are vectors, and is a positive number.
A sequence, or a net, is weakly convergent to if and only if for each .
Prove that a subspace of a normed linear space is closed if and only if it is weakly closed.
Put . Prove that weakly in .
By Theorem 3.13, some sequence of convex combinations of the converges to 0 in the -norm. Find such a sequence. Show that will not do.