Weakly null sequence (source code)

= Weakly null sequence

A sequence $(x_n)$ is weakly null when $f(x_n)\to0$ for every member $f$ of the <continuous dual space>. It may remain bounded away from zero in norm.