In: Advanced Math
Let Vand W be vector spaces over F, and let B( V, W) be the set of all bilinear forms f: V x W ~ F. Show that B( V, W) is a subspace of the vector space of functions 31'( V x W).
Prove that the dual space B( V, W)* satisfies the definition of tensor product, with respect to the bilinear mapping b: V x W -> B( V, W)* defined by b(v, w)(f) =f(v, w), f E B(V, W), V E V, W E W.