\(\newcommand{\N}{\mathbb{N}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\P}{\mathcal P} \newcommand{\B}{\mathcal B} \newcommand{\F}{\mathbb F} \newcommand{\E}{\mathcal E} \newcommand{\brac}[1]{\left(#1\right)} \newcommand{\matrixx}[1]{\begin{bmatrix}#1\end{bmatrix}} \newcommand{\vmatrixx}[1]{\begin{vmatrix}#1\end{vmatrix}} \newcommand{\limn}{\lim_{n\to\infty}} \newcommand{\nul}{\mathop{\mathrm{Nul}}} \newcommand{\col}{\mathop{\mathrm{Col}}} \newcommand{\rank}{\mathop{\mathrm{Rank}}} \newcommand{\dis}{\displaystyle} \newcommand{\spann}{\mathop{\mathrm{span}}} \newcommand{\range}{\mathop{\mathrm{range}}} \newcommand{\inner}[1]{\langle #1 \rangle} \newcommand{\innerr}[1]{\left\langle #1 \right\rangle} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\qed}{\quad \blacksquare} \newcommand{\tr}{\mathop{\mathrm{tr}}} \) Math2121 Tutorial (Spring 12-13): Tutorial note 5

Thursday, March 21, 2013

Tutorial note 5

PDF version is available:

Some interesting application of dimension: We have mentioned that every linear transformation $T:\R^n\to \R^m$ with $n>m$ cannot be injective in tutorial note 3. With the concept of dimension, it is very simple!
 Fact. Let the linear transformation $S:V\to W$ be injective. If $\{v_1,v_2,\dots,v_n\}$ is linearly independent, so is $\{Sv_1,Sv_2,\dots,Sv_n\}$.

This is the key fact to explain why $T$ cannot be injective. Suppose $T$ is injective, let $\{e_1,\dots,e_n\}$ be a standard basis of $\R^n$, then \[
\{Te_1,\dots,Te_n\}\subseteq \R^m
\] is also linearly independent, hence \[
n=\dim (\spann \{Te_1,\dots,Te_n\})\leq \dim \R^m=m,
\]but $m<n$ by definition, a contradiction.

No comments:

Post a Comment