Suppose $L:\Bbb{V} \to \Bbb{W}$ is an invertible linear mapping, and $\Bbb{V}$, $\Bbb{W}$ are finite dimensional vector spaces. How would you prove that $\dim\Bbb{V} = \dim\Bbb{W}$?
My attempt for this proof relies on proving that $\Bbb{V}$ and $\Bbb{W}$ are isomorphic. I have proved that $L$ is an isomorphism from $\Bbb{V}$ to $\Bbb{W}$. Is this correct?
${}$
The rank-nullity theorem says that $$ \dim\operatorname{im}L+\dim\ker L=\dim V $$ Since $L$ is invertible, you also have $$ \dim\operatorname{im}L^{-1}+\dim\ker L^{-1}=\dim W $$ On the other hand $\ker L=\{0\}$ and $\ker L^{-1}=\{0\}$, so we have $$ \dim V=\dim\operatorname{im}L\le\dim W=\dim\operatorname{im}L^{-1}\le\dim V $$