Weak limit (source code)

= Weak limit
{title2=$u_j\rightharpoonup u$}

The weak limit of a sequence in a <normed vector space> is an element at which every continuous <linear functional> has the limit of its values along the sequence. Thus the definition is precisely <weak convergence> to that element.