Skip to main content\(\newcommand{\R}{\mathbb R}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 6.2 The Kernel and range of \(T\)
Definitions of kernel and range.
Let \(T\) be a linear transformation from \(V\) to \(W\text{.}\)
-
Kernel of \(T:\)
\begin{equation*}
\operatorname{Ker}(T)=\{v\in V|T(v)=\mathbf{0}_W\}.
\end{equation*}
-
Range of \(T:\)
\begin{align*}
\operatorname{range}(T)=\amp\{T(v)|v\in V\} \\
=\amp\{w\in W|\exists v\in V\text{ such that } w=T(v)\}
\end{align*}
Theorem 6.2.1.
-
\(\operatorname{Ker}(T)\) is a subspace of
\(V\text{.}\)
-
\(\operatorname{Range}(T)\) is a subspace of
\(W\text{.}\)
For the rest of this section, we assume that \(T:\mathbb{R}^{n}\rightarrow \mathbb{R}^{m}.\) Recall that \(\forall v\in V\text{,}\)
\begin{equation*}
T(v)=Av\text{,}
\end{equation*}
where \(A=\Big[T(\mathbf{e}_1)\, T(\mathbf{e}_2)\,\ldots\, T(\mathbf{e}_n)\Big]\text{.}\)
Theorem 6.2.2.
Let A be the standard matrix of the linear transformation \(T\text{.}\)
-
\(\displaystyle \operatorname{Ker}(T)=\operatorname{Nullspace}(A).\)
-
\(\displaystyle \operatorname{Range}(T)=\operatorname{col}(A).\)
Proof.
-
\(\forall v\in \operatorname{Ker}(T), T(v)=\mathbf{0}.\) It follows from
\(T(v)=Av\) that
\(Av=\mathbf{0}.\) Thus
\(v\in \operatorname{Nullspace}(A).\) Therefore
\(\operatorname{Ker}(T)\subseteq \operatorname{Nullspace}(A).\)
\(\forall v\in \operatorname{Nullspace}(A), \) \(Av=\mathbf{0}\) it follows from
\(T(v)=Av\) that
\(T(v)=\mathbf{0}.\) Thus
\(v\in \operatorname{Ker}(T).\) Therefore
\(\operatorname{Nullspace}(A)\subseteq \operatorname{Ker}(T).\)
Therefore,
\(\operatorname{Ker}(T)=\operatorname{Nullspace}(A).\)
It follows from
TheoremΒ 6.2.2 that the kernel and range of
\(T\) is related closely with the standard matrix
\(A\text{.}\)