Completeness of the dual space
ID: completeness-of-the-dual-space
The continuous dual of every normed space is Banach because an operator-norm Cauchy sequence converges pointwise to a bounded linear functional and then uniformly on the unit ball.
New to topics? Read the docs here!