User:Slawekb/Grothendieck completeness theorem

In functional analysis, a branch of mathematics, Grothendieck's completeness theorem is a construction of the completion of the continuous dual space to a topological vector space. It was introduced by Alexander Grothendieck in 1950.