$\operatorname{Hom}_{K}(K \otimes_k U, K \otimes_k V) \cong K \otimes_k \operatorname{Hom}_{k}(U, V) $ Let $K$ be a field extension  of $k$, $U$ and $V$  finite dimensional (just in case) vector spaces over $k$. 
How do I construct an isomorphism like this? 
$\operatorname{Hom}_{K}(K \otimes_k U, K \otimes_k V) \cong K \otimes_k  \operatorname{Hom}_{k}(U, V) $ 
I have a lot of problems similar to this and I think it'll start to go easy as soon as I figure this one out. Normally I would try to check the universal property, but it  is an implicit way.
And also is this true for infinite dimensional case?  
 A: We are looking for an isomorphism
$$
\phi: \operatorname{Hom}_K(K \otimes_k U, K \otimes_k V) \to K \otimes \operatorname{Hom}_k(U,V).
$$
I find that a nice approach to these kinds of problems is to first figure out what should happen to the "nice" elements of the spaces in question.  For the tensor products, the nice elements are the pure tensors, and for the Hom spaces, the nice elements are the rank-1 elements.  Note that the rank-1 elements of $\operatorname{Hom}_k(U,V)$ are of the form $vf$, where $v \in V$ and $f \in U^*$.
So, in order to produce this $\phi$, we consider what should happen to elements of the form $\bar v \bar f$, with $\bar v \in K \otimes_k V$ and $\bar f \in (K \otimes_k U)^*$.  We'll go further and start with "nice" elements $\bar v, \bar f$, namely $a_V \otimes_k v$ and $a_U \otimes_k f$ with $a_U,a_V \in K$.  The most "obvious" way to rearrange these elements to produce and element of the codomain is to take
$$
\phi[(a_V \otimes_k v)(a_U \otimes_k f)] = (a_Va_U) \otimes_k (vf).
$$
Now, extending this map linearly uniquely defines $\phi$ to all of $\operatorname{Hom}_k(K \otimes_k U, K \otimes_k V)$.  To argue that this map has a unique linear extension, it suffices to use the universal property on the corresponding map $\bar \phi$ from $\operatorname{Hom}_K(K \otimes_k U,K \otimes_k V) \cong (K \otimes _k U)^* \otimes_K (K \otimes_k V)$.
Note also that if we fix basis of $K,U,V$, then we describe this map more concretely by saying what $\phi$ does to the coordinate vectors of elements of $\operatorname{Hom}_K(K \otimes_k U, K \otimes_k V)$ relative to the basis corresponding to the chosen bases of $K,U,V$.
With that, it now suffices to define $\phi^{-1}$ similarly and show that the compositions $\phi \circ \phi^{-1}$ and $\phi^{-1} \circ \phi$ yield the identity over the "nice" elements, and therefore over the whole space. 
Alternatively, it suffices to show that the map is bijective. To show that $\phi$ is surjective, note that the "nice" elements $a \otimes_k (vf)$ with $a \in K$, $v \in V,$ and $f \in U^*$ span the codomain, which means that it suffices to show that these elements lie in the image of $\phi$ (which is easy given the above construction).  Showing that the map is injective is a bit trickier; I suspect that there is a straightforward approach via the universal property. 

Actually, if you have established that $\operatorname{Hom}_k(U,V) \cong U^* \otimes_k V$ and $(K \otimes_k U) \otimes_K (K \otimes_k V)$ $\cong K \otimes (U \otimes_k V)$, then we have the following chain of isomorphisms:
$$
\operatorname{Hom}_K(K \otimes_k U, K \otimes_k V) \cong\\
(K \otimes_k U)^*\otimes_K (K \otimes_k V) \cong\\
(K \otimes_k U^*) \otimes_K (K \otimes_k V) \cong\\
K \otimes_k (U^* \otimes_k V) \cong\\
K \otimes_k \operatorname{Hom}_k(U,V).
$$
