If is locally convex, from the Hahn–Banach theorem it follows that is injective and open (that is, for each neighbourhood of zero U in there is a neighbourhood of zero in \left(X^{\prime}_b\right)^{\prime}_{b} such that J(U) \supseteq V \cap J(X)).
