Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hello :) i think the tensor product is very difficulty, and i have some questions (let $U$ be any $k$-vectorspace and $k$ a field)

  • How to construct a natural bijection (thus without choosing a basis) between bilinear maps $V\times W\rightarrow U$ and linear maps $V\otimes W\rightarrow U$?
  • How to construct a natural isomorphism $V^*\otimes W\rightarrow Hom(V,W)$ (with V finite dimensional and $V^*$ the dual space of $V$.

I don't see how to produce such bijections and isomorphims. I think thats not difficult but i can't imagine such a mapping. Someone who can help me? Thanks.

share|cite|improve this question
For the first one, given a bilinear map, and using the universal property of tensor products, don't you think there is an obvious candidate? – rschwieb Jan 17 '13 at 15:30
i thought that you make the following map $\psi(f(x\times y))=f(x\otimes y)$ – Lie-algebra Jan 17 '13 at 15:31

For the first one: given a bilinear map $B:V\times W\rightarrow U$, use the universal property of tensor products to produce a linear map from $\hat B: V\otimes W\rightarrow U$. Work to show that the assigment $B\mapsto \hat B$ is a bijection.

For the second one: First, given $(f,w)\in V^*\times W$, we try to produce an element of $Hom(V,W)$. The choice that "jumps out" is to try: $(f,w)(v):=f(v)\cdot w$. Notice this assigment is a bilinear map $V^*\times W\rightarrow Hom(V,W)$. Lift this with the universal property and work to show it's a natural isomorphism.

share|cite|improve this answer
For the first one: if you choose such a $B$ then you know from the universal property that there exists a bilinear map from $i:V\times W\rightarrow V\otimes W$. We get also a unique map $L:V\otimes W\rightarrow U$ such that $L\circ i=B$, but then $L$ is also linear or not? – Lie-algebra Jan 17 '13 at 15:46
sorry we can make the following map: $v\otimes w\mapsto B(v,w)$ – Lie-algebra Jan 17 '13 at 15:50
@Lie-algebra Yes, $L$ is linear: that is part of the universal property. – rschwieb Jan 17 '13 at 15:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.