Let *X* be a normed space and denote by *X\** the space of all bounded linear functionals on *X*. Take a linear subspace *G ≤ X\** which separates the elements of *X*, i.e., for each *x ∈ X*, there is an *f ∈ G* with *f(x) ≠ 0*. Denote by *B* the closed unit ball in *X*. Now consider a linear subspace *Y ≤ X*. The question is:


If *Y* is dense in *X* in the weak topology induced by *G*, is *Y ∩ B* necessarily dense in *X ∩ B* in that topology?


REMARKS, BACKGROUND AND MOTIVATION
----------------------------------


Without the assumption that *G* separates points, there exists a trivial counter-example.
Take *X* := ℝ2 with the supremum norm, i.e., ∥(*x*, *y*)∥ :=
max{|*x*|, |*y*|}. For *G*, take the linear span of the linear functional *f(x, y) := x + y*. Finally, take *Y* := {(*x*, 0) ; *x* ∈ ℝ}. Then *Y* is *G*-dense in *X* because (*x*, *y*) and (*x* + *y*, 0) are indistinguishable in the *G*-topology. However, the element (1, 1) ∈ *B* is not in the closure of *Y ∩ B* because *f*(1, 1) = 2
and *f(x, 0) ≤ 1* for each *x* with *(x, 0) ∈ B*.


An interesting example is to take the space *G := L∞(S)*, the space of all bounded measurable functions on a measurable space *S*, equipped with the supremum norm. Take *X := G\**, with the corresponding dual norm. The space *G* can be naturally considered as a subspace of *X\**. Clearly, it separates the points in *X*, and the *G*-topology is exactly the weak \*-topology.  

An important subspace of *X* is *Y := M(S)*, the space of all real measures on *S* (with finite total variation). If *S* is large enough, let's say, ℕ, then *Y* is a proper subspace of *X*. It is well-known that *Y* is weakly \*-dense in *X*, but it is also interesting that *Y* is weakly \*-complete by sequences (see Diestel: Sequences and Series in Banach spaces, Springer-Verlag, 1984).  

By the Banach-Alaoglu theorem, *B* is weakly \*-compact. One may wonder whether *X ∩ B* is also weakly \*-compact. The answer is no. However, the argument that *Y* is weakly \*-dense in *X* is insufficient; a sufficient argument is that that *Y ∩ B* is weakly \*-dense in *X ∩ B*. Though this is not difficult to prove in our particular case, it might by a non-trivial issue in more general cases. If the answer to my initial question is yes, it will be sufficient to only prove that *Y* is dense in *X*.


Many thanks in advance for any answer, reference or comment!



If *Y* is weakly dense in *X*, is the unit ball in *Y* necessarily dense in the unit ball in *X*?
If I understand the question correctly, then maybe you are after special cases, as well as a general comment. So, as one of your examples suggests, one special case is to let G be a Banach space, considered as sitting inside its own bidual, and let $X=G^\*$. Thus G induces the usual weak\*-topology on X.


So an example of a positive answer is furnished by the Kaplansky Density Theorem: here G would be the predual of a von Neumann algebra, X would be a von Neumann algebra, and we let Y be any self-adjoint subalgebra which is weak\*-dense. Then Kaplansky Density tells us that indeed the unit ball of Y is weak\*-dense in the unit ball of X. This is an incredibly useful tool in Operator Algebra theory.


This then suggests that the result is unlikely to be true in general. Indeed, I think rpotrie's counter-example works! But here's an easier variant. Let $G=c\_0$ and $X=\ell^1$, and let Y be the span of vectors $e\_n+ne\_{n+1}$. To see that this is weak\*-dense, suppose that $\sum\_k a\_k e\_k^\* \in c\_0$ annihilates all of Y. Then $a\_n + na\_{n+1}=0$ for all $n$, so $a\_1 + a\_2=0$ and $0 = a\_2+2a\_3 = 2a\_3 - a\_1$ and $0=a\_3+3a\_4 = (1/2)a\_1+3a\_4$, so $a\_1 = -a\_2 = a\_3/2 = -a\_4/3$ and an easy induction shows $a\_1 = (-1)^{n-1}a\_n/n$. Thus $|a\_n| = n|a\_1|$ for all $n$, but as $|a\_n|\rightarrow 0$, it
follows that $a\_1=0$, and so actually $a\_n=0$ for all $n$. Hence Y is weak\*-dense. However, $e\_1$ is in the closed unit ball of X, but it's pretty clear that we can't approximate it by norm one elements in Y (to do this without a tedious calculation defeats me right now).


