\\\\( \nonumber \newcommand{\bevisslut}{$\blacksquare$} \newenvironment{matr}[1]{\hspace{-.8mm}\begin{bmatrix}\hspace{-1mm}\begin{array}{#1}}{\end{array}\hspace{-1mm}\end{bmatrix}\hspace{-.8mm}} \newcommand{\transp}{\hspace{-.6mm}^{\top}} \newcommand{\maengde}[2]{\left\lbrace \hspace{-1mm} \begin{array}{c|c} #1 & #2 \end{array} \hspace{-1mm} \right\rbrace} \newenvironment{eqnalign}[1]{\begin{equation}\begin{array}{#1}}{\end{array}\end{equation}} \newcommand{\eqnl}{} \newcommand{\matind}[3]{{_\mathrm{#1}\mathbf{#2}_\mathrm{#3}}} \newcommand{\vekind}[2]{{_\mathrm{#1}\mathbf{#2}}} \newcommand{\jac}[2]{{\mathrm{Jacobi}_\mathbf{#1} (#2)}} \newcommand{\diver}[2]{{\mathrm{div}\mathbf{#1} (#2)}} \newcommand{\rot}[1]{{\mathbf{rot}\mathbf{(#1)}}} \newcommand{\am}{\mathrm{am}} \newcommand{\gm}{\mathrm{gm}} \newcommand{\E}{\mathrm{E}} \newcommand{\Span}{\mathrm{span}} \newcommand{\mU}{\mathbf{U}} \newcommand{\mA}{\mathbf{A}} \newcommand{\mB}{\mathbf{B}} \newcommand{\mC}{\mathbf{C}} \newcommand{\mD}{\mathbf{D}} \newcommand{\mE}{\mathbf{E}} \newcommand{\mF}{\mathbf{F}} \newcommand{\mK}{\mathbf{K}} \newcommand{\mI}{\mathbf{I}} \newcommand{\mM}{\mathbf{M}} \newcommand{\mN}{\mathbf{N}} \newcommand{\mQ}{\mathbf{Q}} \newcommand{\mT}{\mathbf{T}} \newcommand{\mV}{\mathbf{V}} \newcommand{\mW}{\mathbf{W}} \newcommand{\mX}{\mathbf{X}} \newcommand{\ma}{\mathbf{a}} \newcommand{\mb}{\mathbf{b}} \newcommand{\mc}{\mathbf{c}} \newcommand{\md}{\mathbf{d}} \newcommand{\me}{\mathbf{e}} \newcommand{\mn}{\mathbf{n}} \newcommand{\mr}{\mathbf{r}} \newcommand{\mv}{\mathbf{v}} \newcommand{\mw}{\mathbf{w}} \newcommand{\mx}{\mathbf{x}} \newcommand{\mxb}{\mathbf{x_{bet}}} \newcommand{\my}{\mathbf{y}} \newcommand{\mz}{\mathbf{z}} \newcommand{\reel}{\mathbb{R}} \newcommand{\mL}{\bm{\Lambda}} \newcommand{\mnul}{\mathbf{0}} \newcommand{\trap}[1]{\mathrm{trap}(#1)} \newcommand{\Det}{\operatorname{Det}} \newcommand{\adj}{\operatorname{adj}} \newcommand{\Ar}{\operatorname{Areal}} \newcommand{\Vol}{\operatorname{Vol}} \newcommand{\Rum}{\operatorname{Rum}} \newcommand{\diag}{\operatorname{\bf{diag}}} \newcommand{\bidiag}{\operatorname{\bf{bidiag}}} \newcommand{\spanVec}[1]{\mathrm{span}{#1}} \newcommand{\Div}{\operatorname{Div}} \newcommand{\Rot}{\operatorname{\mathbf{Rot}}} \newcommand{\Jac}{\operatorname{Jacobi}} \newcommand{\Tan}{\operatorname{Tan}} \newcommand{\Ort}{\operatorname{Ort}} \newcommand{\Flux}{\operatorname{Flux}} \newcommand{\Cmass}{\operatorname{Cm}} \newcommand{\Imom}{\operatorname{Im}} \newcommand{\Pmom}{\operatorname{Pm}} \newcommand{\IS}{\operatorname{I}} \newcommand{\IIS}{\operatorname{II}} \newcommand{\IIIS}{\operatorname{III}} \newcommand{\Le}{\operatorname{L}} \newcommand{\app}{\operatorname{app}} \newcommand{\M}{\operatorname{M}} \newcommand{\re}{\mathrm{Re}} \newcommand{\im}{\mathrm{Im}} \newcommand{\compl}{\mathbb{C}} \newcommand{\e}{\mathrm{e}} \\\\)

Exercise 1: The Two Linearity Requirements

Two maps $\,f\,$ and $\,g\,$ which have $\reel^2$ both as domain and codomain are given by:

$$\,f(x_1, x_2)=(x_1-x_2\,,-x_1+x_2)\,\,\,\mathrm{and}\,\,\,g(x_1,x_2)=(-x_2\,,x_1^{\,\,2})\,.$$
A

Show that only one of the two maps is linear.

B

Determine the kernel of the linear map you found above.

C

State the range of the linear map you found above.

Exercise 2: Investigation of a Linear Map

Let $f:\reel ^4\rightarrow \reel^3$ be given by the expression

$$ f(x_1,x_2,x_3,x_4)= \begin{matr}{r}x_1+x_2+3x_3+x_4\newline 3x_1-x_2+2x_3+4x_4\newline 2x_1+2x_2+6x_3+2x_4\end{matr}\,.$$
A

Show using Theorem 12.18, point 2, in eNote 12 that $f$ is linear, and state the mapping matrix $ \matind eFe$ for $f$ with respect to the standard bases in $\reel^4$ and $\reel^3$.

B

Compute the dimension of the image space and provide a basis for the image space.

C

Provide a basis for the kernel of the map.

D

Does $(1,2,3)$ belong to the image space of $f(\reel ^4)\,$?

E

Solve the vector equation $\,f(\mathbf x)=(2,2,4)\,$.

Exercise 3: Linear Maps in the Plane

In the following we will consider a standard coordinate system $\,(O, \mathbf i, \mathbf j)\,$ in the plane. All vectors are considered to be drawn from the origin. An arbitrary vector $\,\mathbf x\,$ is drawn in blue, while the image vector $\,\mathbf y\,$ is red. $\,\mathbf F\,$ constitutes the mapping matrix of $f\,$ with respect to the standard basis.

A

Download this GeoGebra sheet.

  1. Check by computation that $\,\mathbf y\,$ is correct, when $\,\mathbf x\,$ and the mapping matrix $\,\mathbf F\,$ is as shown.

  2. Change $\,\mathbf F\,$ to $\mathbf F=\,\begin{matr}{rr}3&1\newline 1&-1\end{matr}$ by moving the column vectors $\,\mathbf s_1\,$ and $\,\mathbf s_2\,$ using the cursor. Then find the image of $\,(1,2)\,$ by moving $\,\mathbf x\,$ to $\,(1,2)\,$ using the cursor.

  3. Find the image of the basis vector $\,\mathbf i\,$ by pulling $\,\mathbf x\,$ to $(1,0)\,$. Repeat for basis vector $\,\mathbf j\,$. Do the images of the basis vectors fit the numbers in $\,\mathbf F\,$?

B

Download this GeoGebra sheet.

  1. What happens to the image vectors when $\,\mathbf x\,$ is moved about?

  2. Compute $\mathrm{det}(\mathbf F)\,$ and determine the rank of $\,\mathbf F\,$. Provide a basis for the image space.

  3. What do we expect the dimension of the kernel to be? Determine an equation for the straight line that contains the kernel.

C

Download this GeoGebra sheet.

  1. The idea is that $\,\mathbf x\,$ is bound to the line segment shown. Move $\,\mathbf x\,$, and follow the image $\,\mathbf y\,$.

  2. Displace the line segment parallel to itself using the mouse and again move $\,\mathbf x\,.$ What happens to the image. Possibly try other settings for $\,\mathbf F\,$. Summarize your observations in a hypothesis.

D

Download this GeoGebra sheet.

  1. What is the image of a parabola? What happens to the image if you move the parabola? Also, possibly try other settings for $\,\mathbf F\,$.

  2. Summarize your observations in a hypothesis.

Exercise 4: Study of Diagonal Matrices

Download this GeoGebra sheet.

A
  1. Introductory exercise: How should $\,\mathbf F\,$ be changed so that the blue house is mapped onto the mirror image in the y-axis? Same question for the x-axis.

  2. Test of the diagonal matrix $\mathbf F=\,\begin{matr}{rr}1&0\newline 0&k\end{matr}$ Try different values for $k$, e.g. $\,-3,-2,-1,0,1,2,3\,$. Describe what happens!

  3. Test of the diagonal matrix $\mathbf F=\,\begin{matr}{rr}k&0\newline 0&1\end{matr}$ Try different values for $k$, e.g. $\,-3,-2,-1,0,1,2,3\,$. Describe what happens!

  4. Other diagonal matrices: Describe the red house in relation to the blue one, when $\mathbf F=\,\begin{matr}{rr}3&0\newline 0&2\end{matr}$

  5. Summarize your observations: What is special about diagonal mapping matrices? How do they affect sets of points in the plane?

Exercise 5: The Dimension Theorem

A

A linear map $f:\mathbb R^3\rightarrow \mathbb R^3$ has with respect to the standard basis for $\mathbb R^3$ the mapping matrix

$$\matind eFe =\begin{matr}{rrr}1&2&1\newline 2&4&0\newline 3&6&0\end{matr}\,.$$

It is now given that the kernel of $f$ has 1 dimension. Find immediately, by no other means than just mental work, a basis for $\,f(V)\,$.

B

In 3D space a standard coordinate system $\,(O,\mathbf i,\mathbf j,\mathbf k)$ is given. All vectors are imagined to be drawn from the origin. The map $\,p\,$ projects vectors down into the $(X,Y)$-plane in 3D space as shown on the figure.

Show that $\,p\,$ is linear, and state the mapping matrix $\matind ePe$ of $p$ with respect to the standard basis $e\,.$ Determine a basis for the kernel and for the image space of $\,p$. Check that the dimension theorem is satisfied.

Exercise 6: Mapping Matrices of Reflections

In the 2D plane a standard $\,(O,\mathbf i,\mathbf j)$-coordinate system is given, and all vectors are imagined as drawn from the origin. As mentioned in Exercise 12.3 in eNote 12 reflections in lines through the origin are linear.

Here we are considering mirror imaging of vectors in the line $\,y=x\,.$ This is a linear map, which we can call $s\,.$

A

Determine $s(\mathbf i)$ and $s(\mathbf j)$, state the mapping matrix $\matind eSe$ of $s\,$ and determine an expression of the mirror image of an arbitrary vector in the plane $\,\mathbf u\,$ with the $e$-coordinates $(u_1,u_2)\,$.

Let us now consider a new $\,(O,\mathbf v_1,\mathbf v_2)$-coordinate system in which all vectors are imagined as drawn from the origin. $\,\mv_1\,$ is a unit vector along the line $\,y=\frac 12\,x\,,$ as shown in the figure, and $\,\mv_2\,$ is the vector perpendicular to $\,\mv_1\,$ as shown.

We wish to determine the mapping matrix $\matind eRe$ of the linear map $\,r\,$ that mirrors vectors in the line $\,y=\frac 12\,x\,.$ We will do this in two steps.

B

Determine the mapping matrix $\matind vRv$ of $r\,$ with respect to the basis $\,v=(\mv_1,\mv_2)\,.$

C

Determine the mapping matrix $\matind eRe$ of $r\,$ with respect to the standard basis. Let $\,\mathbf u\,$ be an arbitrary vector in the plane with the $e$-coordinates $(u_1,u_2)\,.$ Determine an expression of the mirror image of $\,\mathbf u\,$ in the line $\,y=\frac 12\,x\,.$

Exercise 7: New Mapping Matrix by Change of Basis

We are given the vectors $\,\ma_1=(1,2)\,$ and $\,\ma_2=(3,7)\,$ in $\,\reel^2\,$ and $\,\mc_1=(1,2,2)\,,$ $\,\mc_2=(2,3,1)\,$ and $\,\mc_3=(1,2,1)\,$ in $\,\reel^3\,$. Let the linear map $\,f:\reel^2\rightarrow\reel^3\,$ be given by

$$f(\ma_1)=\mc_1+\mc_2-3\mc_3\quad\mathrm{and}\quad f(\ma_2)=\mc_1-\mc_2-2\mc_3\,.$$
A

Show that $\,\ma_1\,$ and $\,\ma_2\,$ constitute a basis for $\,\reel^2\,$ and that $\,\mc_1\,$, $\,\mc_2\,$ and $\,\mc_3\,$ constitute a basis for $\,\reel^3\,.$

B

Determine the mapping matrix of $\,f\,$ with respect to the basis $\,(\ma_1,\ma_2)\,$ for $\,\reel^2\,$ and the base $\,(\mc_1,\mc_2,\mc_3)\,$ for $\,\reel^3\,$.

C

State the mapping matrix of $\,f\,$ with respect to the basis $\,(\ma_1,\ma_2)\,$ in $\,\reel^2\,$ and the standard basis in $\,\reel^3\,.$

D

State the mapping matrix of $\,f\,$ with respect to the standard basis in $\,\reel^2\,$ and the base $\,(\mc_1,\mc_2,\mc_3)\,$ in $\,\reel^3\,.$

E

State the mapping matrix for $\,f\,$ with respect to the standard bases in $\,\reel^2\,$ and $\,\reel^3\,.$

Exercise 8: Polynomial Spaces

The set of second-degree polynomials $\,P_2(\reel)\,$ can be viewed as a 3-dimensional vector space. The real numbers $\,\reel\,$ is a 1-dimensional vector space. We will investigate a map from the former vector space to the latter, $\,f:P_2(\reel)\rightarrow \reel\,$. Such a map can be given by

$$\,f(P(x))=P\,'(1)\,.$$

Here is an illustration with a couple of examples:

A

Compute $\,f(x^2)\,$ and $\,f(-x^2+2x-2)\,.$ Formulate in your own words what the map $\,f\,$ does to its input. Does your result match your formulation in words, and does it match what you see in the figure?

B

Show that $f$ is linear.

C

One of the two polynomials in the figure belongs to the kernel of $\,f\,.$ Which? Provide a basis for $\,\ker (f)\,.$

D

Explain that the image space $\,f(P_2(\reel))\,$ of $\,f\,$ is equal to the codomain of $\,f\,.$

Another map $\,g:P_2(\reel)\rightarrow \reel\,$ is given by

$$\,g(P(x))=P\,'(0)+1\,.$$
E

Formulate in words what the map does to an input. Prove that $\,g\,$ is not linear.