Consider the set of all linear maps from $V$ to $W$ with dimension $n$ and $m$ respectively. This forms a vector space under the addition and scalar multiplication defined by $(T + S)(v) = T(v) + S(v)$ and $(\alpha T)(v)=\alpha T(v)$. Now it is said that the dimension of this vector space is $mn$.

Now for $n=3, m=2$ I see that the following two maps $T_1$ and $T_2$ satisfy the basis constraints :

$$ T_1(e_1) = f_1, T_1(e_2) = f_1, T_1(e_3) = f_2 $$ $$ T_2(e_1) = f_2, T_2(e_2) = f_2, T_2(e_3) = f_1 $$

To show that any linear map can be written as a linear combination of this two maps, Let T be any such linear map.

Now, $$T(e_1)=\alpha_1 f_1 + \alpha_2 f_2 =\alpha_1 T_1(e_1) + \alpha_2 T_2(e_1) =(\alpha_1 T_1)(e_1) + (\alpha_2 T_2)(e_1) =(\alpha_1 T_1 + \alpha_2 T_2)(e_1)$$

Similar thing holds for $T(e_2)$ and $T(e_3)$ also.

And, regarding the linearly independence let $$(\alpha T_1 + \beta T_2)(e_1) = 0 => \alpha T_1(e_1) + \beta T_2(e_1) =0 => \alpha f_1 + \beta f_2 =0 => \alpha=0 \beta=0 $$

where $e_i$s and $f_i$s are basis vectors of $V$ and $W$ respectively. Where am I going wrong ?

  • $\begingroup$ Why would that be wrong? $\endgroup$ – Tobias Kildetoft Aug 19 '13 at 12:46
  • 1
    $\begingroup$ Write the linear map in the form of matrix and you'll find where the mistake is. $\endgroup$ – Willard Zhan Aug 19 '13 at 12:48
  • $\begingroup$ @WildChan where what mistake is? I am still not understanding what the question is here. $\endgroup$ – Tobias Kildetoft Aug 19 '13 at 12:50
  • $\begingroup$ @Tobias, the dimension is 6, while OP is finding a basis with 2 elements. $\endgroup$ – Gerry Myerson Aug 19 '13 at 12:51
  • $\begingroup$ @GerryMyerson Ohh. I didn't read anything that indicated he believed those to form a basis, but I do see that would make sense. But now, reading it again, I realize it says basis constraints rather than basic constraints. $\endgroup$ – Tobias Kildetoft Aug 19 '13 at 12:52

The set you've constructed is linearly independent, but not a basis for $L(V,W)$. Indeed, the mapping $$T_{2,1}:\begin{cases}e_1\mapsto 0\\e_2\mapsto f_1\\e_3\mapsto 0\end{cases}$$ is missing from their span.

What would a full basis for $L(V,W)$ be, then?

Edit: A full basis would be $\{T_{i,j}\mid 1\leq i\leq\dim V, 1\leq j\leq\dim W\}$ where $T_{i,j}(e_i)=f_j$ and for all $m\neq i$ $T_{i,j}(e_m)=0$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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