Tensor Product, proof of isomorphism

60 Views Asked by At

Let V and W be two vector spaces and

$$\Phi: Hom_K(\land^rV,W)\rightarrow Alt_K^r(V,W)\\ f \mapsto [(v_1,....,v_r)\mapsto f(v_1\land \cdot \cdot \cdot \land v_r)]$$

I need to show that $\Phi$ is an isomorphism.

I know we can define two bilinear maps but how would we show that they this map is isomorphic?