Given a normed vector space $X$, consider a subspace $Z$ of its continuous dual $X^{\ast}$. I want to show that if the annihilator of $Z$ is zero, then $Z$ is $weak^{\ast}ly$ dense in $X^{\ast}$. How should I prove this?
I'd like to use Hahn Banach, probably a version of it for locally convex topological space, since we are not considering the norm topology on $X^{\ast}$. Also, I should probably prove by contradiction.