Mazur theorem
= Mazur theorem
{c}
The weak closure and norm closure of a convex subset of a real or complex normed space coincide. If a point lies outside the norm closure, the <Hahn-Banach separation theorem> supplies a weakly continuous linear functional that separates it from the convex set.