# Thread: Hom and vector spaces...

1. ## Hom and vector spaces...

Prove that if U,W,V are vector spaces above field F, then:

Hom(U,VxW) ~= Hom(U,V) x Hom(U,W)

("~=" - almost equals )

Thank you!

2. Originally Posted by Also sprach Zarathustra
Prove that if U,W,V are vector spaces above field F, then:

Hom(U,VxW) ~= Hom(U,V) x Hom(U,W)

("~=" - almost equals )

Thank you!
first of all "~=" doesn't mean "almost equals"! it's $\cong,$ which means "isomorphic as vector spaces". anyway, let $\pi_1: V \times W \longrightarrow V, \ \pi_2 : V \times W \longrightarrow W$ be the projection maps, i.e.

$\pi_1(v,w)=v$ and $\pi_2(v,w)=w,$ for all $v \in V, \ w \in W.$ now define $\varphi: \text{Hom}(U, V \times W) \longrightarrow \text{Hom}(U,V) \times \text{Hom}(U,W)$ by $\varphi(f)=(\pi_1f, \pi_2f)$ and show that $\varphi$ is an isomorphism.

3. Can you please write the exact prove, I mean, prove the isomorphism thing?

I will appreciate this! :-)

5. Originally Posted by Also sprach Zarathustra
you're not doing anything but yelling for more help! by giving you the map $\varphi$ i've already done most of the work for you. the rest is easy. show that $\varphi$ is well-defined, linear, one-to-one and onto.

can't you do any of these? if you want me to write all details for you, that is not going to happen. sorry!