Back to Range Space and Null Space

Exercise 21

Avg difficulty 3.0
  • Prove that for any linear map h ⁣:V→Wh\colon V\to W and any w⃗∈W\vec{w}\in W, the set h−1(w⃗)h^{-1}(\vec{w}) has the form

    h−1(w⃗)={v⃗+n⃗∣v⃗,n⃗∈V and n⃗∈N(h) and h(v⃗)=w⃗}h^{-1}(\vec{w})=\text{$\{\hskip 1.00006pt\vec{v}+\vec{n}\mid\text{$\vec{v},\vec{n}\in V$ and $\vec{n}\in\mathscr{N}(h)$ and $h(\vec{v})=\vec{w}$}\hskip 1.00006pt\}$}

    (if hh is not onto and w⃗\vec{w} is not in the range of hh then this set is empty since its third condition cannot be satisfied). Such a set is a coset of N(h)\mathscr{N}(h) and we denote it as v⃗+N(h)\vec{v}+\mathscr{N}(h).

  • Consider the map t ⁣:R2→R2t\colon\mathbb{R}^{2}\to\mathbb{R}^{2} given by

    (xy)⟼t(ax+bycx+dy)\begin{pmatrix}x\\ y\end{pmatrix}\stackrel{{\scriptstyle t}}{{\longmapsto}}\begin{pmatrix}ax+by\\ cx+dy\end{pmatrix}

    for some scalars aa, bb, cc, and dd. Prove that tt is linear.

  • Conclude from the prior two items that for any linear system of the form

    ax+by=ecx+dy=f\begin{array}{rcrcr}ax&+&by&=&e\\ cx&+&dy&=&f\end{array}

    we can write the solution set (the vectors are members of R2\mathbb{R}^{2})

    {p⃗+h⃗∣h⃗ satisfies the associated homogeneous system}\{\hskip 1.00006pt\vec{p}+\vec{h}\mid\text{$\vec{h}$ satisfies the associated homogeneous system}\hskip 1.00006pt\}

    where p⃗\vec{p} is a particular solution of that linear system (if there is no particular solution then the above set is empty).

  • Show that this map h ⁣:Rn→Rmh\colon\mathbb{R}^{n}\to\mathbb{R}^{m} is linear

    (x1⋮xn)↦(a1,1x1+⋯+a1,nxn⋮am,1x1+⋯+am,nxn)\begin{pmatrix}x_{1}\\ \vdots\\ x_{n}\end{pmatrix}\mapsto\begin{pmatrix}a_{1,1}x_{1}+\dots+a_{1,n}x_{n}\\ \vdots\\ a_{m,1}x_{1}+\dots+a_{m,n}x_{n}\end{pmatrix}

    for any scalars a1,1a_{1,1}, …, am,na_{m,n}. Extend the conclusion made in the prior item.

  • Show that the kk-th derivative map is a linear transformation of Pn\mathcal{P}_{n} for each kk. Prove that this map is a linear transformation of the space

    f↦dkdxkf+ck−1dk−1dxk−1f+⋯+c1ddxf+c0ff\mapsto\frac{d^{k}}{dx^{k}}f+c_{k-1}\frac{d^{k-1}}{dx^{k-1}}f+\dots+c_{1}\frac{d}{dx}f+c_{0}f

    for any scalars ckc_{k}, …, c0c_{0}. Draw a conclusion as above.

Hefferon, Linear Algebra, Maps Between Spaces, Range Space and Null Space, Exercise 21

AI Tutor

Adapted from Linear Algebra © 2016 Jim Hefferon. Licensed under CC BY-SA 3.0 US. Source: Linear Algebra. Imported at revision df2262e.