Dense subspace of dual of reflexive Banach space

banach-spacesfunctional-analysisoperator-theoryreal-analysis

Let $X$ be a reflexive Banach space and $Y$ be a subspace of $X^*$ with the property that for all $x\in X$ with $x\neq 0$ there exists an $f\in Y$ such that $f(x) \neq 0$. Prove that $\overline{Y} = X^*$.

Attempt: Basically we need to prove that if $f \in X^*$ then there exists some $y\in Y$ such that $\lVert f-y\rVert_{X^*} < \varepsilon$. To do so we write
$$\lVert f – y \rVert_{X^*} = \max_{\lVert x^{**} \rVert = 1} |x^{**}(f-y)| = \max_{\lVert x \rVert = 1}|f(x) – y(x)|$$
From there I got stuck. Note that the first equality is a result of Hahn-Banach theorem while the second comes from the fact that $X$ is reflexive. Alternatively, I thought about proving that $(\overline{Y})^\circ \neq \emptyset$ which would imply that $\overline{Y}=X^*$.

Best Answer

If a subsapce of a normed linear space is not dense then there is a non-zero continuous linear functional which vanishes on the subspace. Hence if $Y$ is not dense in $X^{*}$ then there exists $F \in X^{**}\setminus \{0\}$ fuch that $F=0$ on $Y$. By reflexivity $F \in X$. Do you see a contradiction to the hypotheis now?