Isomorphism of the Endomorphism and the Tensor Product of a Vector Space

Problems and solutions in Linear Algebra

Problem 80

Let $V$ be a finite dimensional vector space over a field $K$ and let $\End (V)$ be the vector space of linear transformations from $V$ to $V$.
Let $\mathbf{v}_1, \mathbf{v}_2, \dots, \mathbf{v}_n$ be a basis for $V$.
Show that the map $\phi:\End (V) \to V^{\oplus n}$ defined by $f\mapsto (f(\mathbf{v}_1), \dots, f(\mathbf{v}_n))$ is an isomorphism.
Here $V^{\oplus n}=V\oplus \dots \oplus V$, the direct sum of $n$ copies of $V$.
LoadingAdd to solve later


Show that

  1. $\phi$ is a homomorphism
  2. $\phi$ is injective.
  3. $\phi$ is surjective.

You may want to consider the matrix representation of a linear transformation $f$ with respect to the given basis $\mathbf{v}_1, \dots, \mathbf{v}_n$.


We first show that $\phi$ is a linear transformation.

Let $f, g\in \End(V)$. Then
\phi(f+g)&=((f+g)(\mathbf{v}_1), \dots, (f+g)(\mathbf{v}_n))\\
&=(f(\mathbf{v}_1)+g(\mathbf{v}_1), \dots, f(\mathbf{v}_n)+g(\mathbf{v}_n))\\
&=(f(\mathbf{v}_1), \dots, f(\mathbf{v}_n))+(g(\mathbf{v}_1), \dots, g(\mathbf{v}_n))\\
For $f\in \End(V)$, $c\in K$, we have
\phi(cf)&= (cf(\mathbf{v}_1), \dots, cf(\mathbf{v}_n))\\
&=c(f(\mathbf{v}_1), \dots, f(\mathbf{v}_n))\\
Therefore, $\phi$ is a linear transformation.

We prove that $\phi$ is bijection.

To prove $\phi$ is injection,

suppose that $\phi(f)=\mathbf{0}$ for $f \in \End(V)$. That is, we have $f(\mathbf{v}_1)=\dots=f(\mathbf{v}
For any vector $\mathbf{v}\in V$, we have a linear combination
\[\mathbf{v}=c_1\mathbf{v}_1+\cdots+c_n \mathbf{v}_n\] for $c_1,\dots, c_n \in K$. Then
f(\mathbf{v})&=f(c_1\mathbf{v}_1+\cdots+c_n \mathbf{v}_n)\\
&=c_1f(\mathbf{v}_1)+\cdots+c_n f(\mathbf{v}_n)\\
&=c_1 0+\dots +c_n 0=0.
Thus $f(\mathbf{v})=0$ for any $\mathbf{v} \in V$, hence $f=0$ and $\phi$ is injective.

To show that $\phi$ is surjective,

let $(\mathbf{u}_1, \dots, \mathbf{u}_n)\in V^{\oplus n}$ be an arbitrary vector in $ V^{\oplus n}$.
Using the basis $\mathbf{v}_1, \dots, \mathbf{v}_n$, we have linear combinations
\[\mathbf{u}_i=c_{1i}\mathbf{v}_1+\cdots+c_{ni} \mathbf{v}_n\] for some $c_{1i}, \dots, c_{ni} \in K$ for $1\leq i \leq n$.
Let $f \in \End(V)$ be a linear transformation whose matrix representation with respect to the basis $B:=\{\mathbf{v}_1, \dots, \mathbf{v}_n\}$ is given by
c_{11} & c_{12} & \dots & c_{1n} \\
c_{21} &c_{22} & \dots & c_{2n} \\
\vdots & \vdots & \vdots & \vdots \\
c_{n1} & c_{n2} & \dots & c_{nn}
\end{bmatrix}.\] Since $[f]_B=[\,[f(\mathbf{v}_1)]_B \dots, [f(\mathbf{v}_n)]_B\,]$, we have
c_{1i} \\
c_{2i} \\
\vdots \\
\end{bmatrix}.\] Namely, we have
\[f(\mathbf{v}_i)=c_{1i}\mathbf{v}_1+\cdots+c_{ni} \mathbf{v}_n=\mathbf{u}_i.\] Therefore $\phi(f)= (\mathbf{u}_1, \dots, \mathbf{u}_n)\in V^{\oplus n}$ and $\phi$ is surjective.

In conclusion, $\phi$ is a bijective homomorphism from $\End(V)$ to $V^{\oplus n}$. Thus $\End(V)$ and $V^{\oplus n}$ are isomorphic.

LoadingAdd to solve later

More from my site

You may also like...

Leave a Reply

Your email address will not be published. Required fields are marked *

More in Linear Algebra
Problems and solutions in Linear Algebra
The Vector Space Consisting of All Traceless Diagonal Matrices

Let $V$ be the set of all $n \times n$ diagonal matrices whose traces are zero. That is, \begin{equation*} V:=\left\{...