\\\\( \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}} \\\\)

Opg 1: De to linearitetsbetingelser

To afbildninger $\,f\,$ og $\,g\,$ som både har $\reel^2$ som definitions- og dispositionsrum, er givet ved:

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

Vis at netop én af de to afbildninger er lineær. Find hvilken ved at undersøge om de opfylder de to linearitetskrav.

B

Angiv kernen for den fundne lineære afbildning.

C

Angiv billedrummet for den fundne lineære afbildning.

Opg 2: Undersøgelse af lineær afbildning

Lad $f:\reel ^4\rightarrow \reel^3$ være givet ved forskriften

$$ 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

Vis ved hjælp af Hovedsætning 12.18 i eNote 12, punkt 2, at $f$ er lineær, og angiv afbildningsmatricen $ \matind eFe$ for $f$ med hensyn til standardbaserne i $\reel^4$ og $\reel^3$.

B

Find billedrummets dimension og angiv en basis for billedrummet.

C

Angiv en basis for afbildningens kerne.

D

Tilhører $(1,2,3)$ billedmængden $f(\reel ^4)\,$?

E

Løs vektorligningen $\,f(\mathbf x)=(2,2,4)\,$.

Opg 3: Lineære afbildninger i planen

Vi betragter i det følgende et sædvanligt koordinatsystem $\,(O, \mathbf i, \mathbf j)\,$ i planen. Alle vektorer tænkes afsat ud fra Origo. En vilkårlig vektor $\,\mathbf x\,$ er tegnet blå, mens billedvektoren $\,\mathbf y\,$ er rød. $\,\mathbf F\,$ angiver afbildningsmatricen for $f\,$ med hensyn til standardbasen.

A

Download GeoGebra-arket LineærAfbildning1.

$1\,.$ Tjek ved udregning at $\,\mathbf y\,$ er korrekt, når $\,\mathbf x\,$ og abildningsmatricen $\,\mathbf F\,$ er som vist.

$2\,.$ Indstil $\,\mathbf F\,$ til

$$ \mathbf F=\,\begin{matr}{rr}3&1\newline 1&-1\end{matr}$$

ved at flytte søjlevektorerne $\,\mathbf s_1\,$ og $\,\mathbf s_2\,$ med musen. Find derefter billedet af $\,(1,2)\,$ ved at flytte $\,\mathbf x\,$ hen til $\,(1,2)\,$ med musen.

$3\,.$ Find billedet af basisvektor $\,\mathbf i\,$ ved trække $\,\mathbf x\,$ hen til $(1,0)\,$. Gør det tilsvarende med basisvektor $\,\mathbf j\,$. Passer basisvektorernes billeder med tallene i $\,\mathbf F\,$?

B

Download GeoGebra-arket LineærAfbildning2.

$1\,.$ Hvad sker der med billedvektoren når der flyttes rundt på $\,\mathbf x\,$?

$2\,.$ Udregn det$\,(\mathbf F)\,$, og bestem rangen af $\,\mathbf F\,$. Bestem en basis for billedrummet.

$3\,.$ Hvilken forventning må vi have til kernens dimension? Bestem en ligning for den rette linje som indeholder kernen (vink: find først en vektor som afbildes i 0-vektoren ved at flytte på $\,\mx\,$).

C

Download GeoGebra-arket LineærAfbildning3.

$1\,.$ Ideen her er at $\,\mathbf x\,$ er bundet til det viste linjestykke. Flyt på $\,\mathbf x\,$, og følg sporet af $\,\mathbf y\,$.

$2\,.$ Parallelforskyd linjestykket med musen og flyt igen på $\,\mathbf x\,$ Hvad sker der med billedet. Afprøv evt. andre indstillinger af $\,\mathbf F\,$. Sammenfat iagttagelserne i en hypotese.

Opg 4: Studium af diagonalmatricer

Download GeoGebra-arket LineærAfbildning5.

A

$1\,.$ Indledende øvelse: Hvordan skal $\,\mathbf F\,$ indstilles så det blå hus bliver afbildet på dets spejling i y-aksen? Samme spørgsmål for x-aksen.

$2\,.$ Afprøvning af diagonalmatricen

$$ \mathbf F=\,\begin{matr}{rr}1&0\newline 0&k\end{matr}\,$$

Prøv med forskellige værdier af $k$, for eksempel $\,-3,-2,-1,0,1,2,3\,$. Beskriv hvad der sker!

$3\,.$ Afprøvning af diagonalmatricen

$$ \mathbf F=\,\begin{matr}{rr}k&0\newline 0&1\end{matr}$$

Prøv med forskellige værdier af $k$, for eksempel $\,-3,-2,-1,0,1,2,3\,$. Beskriv hvad der sker!

$4\,.$ Andre diagonalmatricer: Beskriv det røde hus i forhold til det blå, når

$$ \mathbf F=\,\begin{matr}{rr}3&0\newline 0&2\end{matr}\,$$

$5\,.$ Sammenfat dine iagttagelser: Hvad er det særlige ved diagonale afbildningsmatricer? Hvordan påvirker de punktmængder i planen?

Opg 5: Dimensionssætningen

A

En lineær afbildning $f:\mathbb R^3\rightarrow \mathbb R^3$ har med hensyn til standardbasen i $\mathbb R^3$ afbildningsmatricen

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

Det oplyses at kernen for $f$ har dimensionen 1. Find straks, alene ved hovedregning, en basis for $\,f(V)\,$.

B

I rummet er der givet et sædvanligt koordinatsystem $\,(O,\mathbf i,\mathbf j,\mathbf k)$. Alle vektorer tænkes afsat ud fra Origo. Afbildningen $\,p\,$ projicerer vektorer ned i $(X,Y)$-planen i rummet, se figuren

Vis at $\,p\,$ er lineær, og opstil afbildningsmatricen $\matind ePe$ for $p$ med hensyn til standardbasen $e\,.$ Bestem en basis for projektionens kerne og billedrum. Tjek at dimensionssætningen er opfyldt.

Opg 6: Afbildningsmatricer for spejlinger

I planen er der givet et sædvanligt $\,(O,\mathbf i,\mathbf j)$-koordinatsystem, og alle vektorer tænkes afsat ud fra Origo. Som nævnt i Opgave 12.3 i eNote 12 er spejlinger i linjer gennem Origo lineære.

Her betragter vi spejling af vektorer i linjen $\,y=x\,,$ lad os kalde denne lineære afbildning $s\,.$

A

Bestem $s(\mathbf i)$ og $s(\mathbf j)$, opstil afbildningsmatricen $\matind eSe$ for $s\,$ og bestem et udtryk for spejlingen af en vilkårlig plan vektor $\,\mathbf u\,$ med $e$-koordinaterne $(u_1,u_2)\,$.

Vi betragter et nyt $\,(O,\mathbf v_1,\mathbf v_2)$-koordinatsystem hvor alle vektorer tænkes afsat ud fra Origo. $\,\mv_1\,$ er en enhedsvektor lagt langs linjen $\,y=\frac 12\,x\,,$ som vist på figuren, og $\,\mv_2\,$ er tværvektoren for $\,\mv_1\,.$

Vi ønsker at finde afbildningsmatricen $\matind eRe$ for den lineære afbildning $\,r\,$ som spejler vektorer i linjen $\,y=\frac 12\,x\,.$ Vi gør det i to step.

B

Bestem afbildningsmatricen $\matind vRv$ for $r\,$ med hensyn til basen $\,v=(\mv_1,\mv_2)\,.$

C

Bestem afbildningsmatricen $\matind eRe$ for $r\,$ med hensyn til standardbasen. Lad $\,\mathbf u\,$ være en vilkårlig vektor i planen med $e$-koordinaterne $(u_1,u_2)\,.$ Bestem et udtryk for spejlingen af $\,\mathbf u\,$ i linjen $\,y=\frac 12\,x\,.$

Opg 7: Basisskifte-gymnastik med afbildningsmatricer

Givet vektorerne $\,\ma_1=(1,2)\,$ og $\,\ma_2=(3,7)\,$ i $\,\reel^2\,$ og $\,\mc_1=(1,2,2)\,,$ $\,\mc_2=(2,3,1)\,$ og $\,\mc_3=(1,2,1)\,$ i $\,\reel^3\,$. Lad den lineære afbildning $\,f:\reel^2\rightarrow\reel^3\,$ være givet ved

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

Vis, at $\,\ma_1\,$ og $\,\ma_2\,$ udgør en basis for $\,\reel^2\,$ og at $\,\mc_1\,$, $\,\mc_2\,$ og $\,\mc_3\,$ udgør en basis for $\,\reel^3\,.$

B

Angiv afbildningsmatricen for $\,f\,$ med hensyn til basen $\,(\ma_1,\ma_2)\,$ i $\,\reel^2\,$ og basen $\,(\mc_1,\mc_2,\mc_3)\,$ i $\,\reel^3\,$.

C

Angiv afbildningsmatricen for $\,f\,$ med hensyn til basen $\,(\ma_1,\ma_2)\,$ i $\,\reel^2\,$ og den sædvanlige basis i $\,\reel^3\,.$

D

Angiv afbildningsmatricen for $\,f\,$ med hensyn til den sædvanlige basis i $\,\reel^2\,$ og basen $\,(\mc_1,\mc_2,\mc_3)\,$ i $\,\reel^3\,.$

E

Angiv afbildningsmatricen for $\,f\,$ med hensyn til de sædvanlige baser i $\,\reel^2\,$ og $\,\reel^3\,.$

Opg 8: Polynomiumsrum

Mængden af andengradspolynomier $\,P_2(\reel)\,$ kan betragtes som et 3-dimensionalt vektorrum. De reelle tal $\,\reel\,$ er et 1-dimensionalt vektorrum. Vi undersøger afbildninger fra det førstnævnte vektorrum til det andet.

En afbildning $\,f:P_2(\reel)\rightarrow \reel\,$ er givet ved

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

Vi illustrerer med et par eksempler:

A

Bestem $\,f(x^2)\,$ og $\,f(-x^2+2x-2)\,,$ se figuren.

B

Vis at $f$ er lineær.

C

Ét af de to polynomier på figuren tilhører kernen for $\,f\,,$ hvilket? Bestem en basis for $\,\ker (f)\,.$

D

Vis at billedrummet $\,f(P_2(\reel))\,$ for $\,f\,$ er lig med dispositionsrummet for $\,f\,.$

En afbildning $\,g:P_2(\reel)\rightarrow \reel\,$ er givet ved

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

Vis at $\,g\,$ ikke er lineær.