A dense subset in $B(X)$ under the weak operator topology

Let $X$ be a Banach space and consider $B(X)$, the set of all bounded linear maps on $X$. By the W-topology on $B(X)$ we mean the topology induced by the semi-norms $$B(X)\to [0,\infty): T\to |\langle Tx,x^*\rangle|$$ where $x\in X$ and $x^*\in X^*$.

The algebraic tensor product $X\otimes X^*$ may be considered as a subspace of $B(X)$. Does the following hold?

Under the W-topology, $B(X)$ is the closure of $X\otimes X^*$.

• Just to clarify: your W-topology is just the weak operator topology, right? – Yemon Choi Nov 19 '17 at 15:01
• Yes, in the literature it is called the weak operator topology. In Hilbert space case the answer is a beautifully yes, but what about in Banach spaces! – Ali Bagheri Nov 19 '17 at 16:41

I think yes, for the following general reason: If $E$ is a real vector space and $F$ a linear space of linear forms of $E$, then a linear subspace $V$ of $E$ is $\sigma(E,F)$-dense in $E$ if and only if no $f\in F\setminus\{0\}$ vanishes identically on $V$. (Equivalently, any proper $\sigma(E,F)$-closed linear subspace of $E$ is included in $\ker f$ for some $f\in F\setminus\{0\}$. This follows from the Hahn-Banach theorem, and from the fact that the $\sigma(E,F)$-continuous linear forms on $E$ are precisely the elements of $F$).
In your situation, $E:=B(X)$, $F:=X\otimes_{alg} X^*$, seen as a linear space of linear forms on $B(X)$ (that is, $f=\sum_{i=1}^m x_i\otimes x^*_i$ corresponds to the linear form $T\mapsto\langle T,f\rangle:= \sum_{i=1}^m \langle Tx_i, x^*_i\rangle$ on $B(X)$), and $V:=X\otimes_{alg} X^*$, seen as the subset of $B(X)$ of finite rank operators (that is, $T=\sum_{j=1}^m y_j\otimes y^*_j$ corresponds to the finite rank operator $u\mapsto Tu:=\sum_{j=1}^m y_j\langle u,y^*_j \rangle$ on $X$).
Thanks to the above general fact, to prove that $V$ is $\sigma(E,F)$-dense in $E$ it is sufficient to prove: for any $f\in F\setminus\{0\}$ there exists $T\in V$ such that $\langle T, f\rangle\neq 0$.
Indeed, let $f\in F$ be a non-zero linear form. Let $f=\sum_{i=1}^m x_i\otimes x^*_i$ be a representation of $f$ with minimum $m$. This implies that $x_1,\dots,x_m$ are linearly independent elements of $X$ and $x_1^*,\dots,x_m^*$ are linearly independent elements of $X^*$. Then there are $y_1^*,\dots,y_m^*$ in $X^*$ such that $\langle x_i,y^*_j\rangle=\delta_{ij}$, and there are $y_1,\dots,y_m$ in $X$ such that $\langle y_i,x^*_j\rangle=\delta_{ij}$. Then the operator $T=\sum_{j=1}^m y_j\otimes y^*_j$ is such that $\langle T,f\rangle:=\sum_{i=1}^m \langle Tx_i, x^*_i\rangle=\sum_{ij}\langle y_j,x^*_i \rangle\langle x_i,y^*_j \rangle=\sum_{ij}\delta_{ij}=m>0$, that is, no non-zero element of $F$ vanishes identically on $V$.