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

%DE HAR MEGET SVÆRT VED OPGAVE 2, ELLER BRUGER LANG TID. DEN SKAL NOK RET LANGT NED. MP REGNER PÅ tAVLEN! eLLER TAGE DE SIDSTE TO SPØRGSMÅL UD. PARABEL OPGAVEN VED GEOGEBRA SKAL UD.

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: 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. %Hvis man vælger standard monomie-basen $(1,x,x^2)\,$, kan ethvert andengradspolynomium beskrives ved en koordinatvektor, hvor polynomiets koefficienter udgør vektorens koordinater. For eksempel har $P(x)=3x^2+4x-1$ koordinatvektoren $(-1,4,3)$ i forhold til monomie-basen. En afbildning $\,f:P_2(\reel)\rightarrow \reel\,$ er givet ved

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

Vi illustrerer med et par eksempler:

pmaerke.png

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.

Opg 3: 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\\\\3x_1-x_2+2x_3+4x_4\\\\2x_1+2x_2+6x_3+2x_4\end{matr}\,.$$
A

Vis ved hjælp af Hovedsætning 12.16 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 4: 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.

F

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\\\\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.

  1. 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\,$?

G

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å $\,\mv\,$).

H

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.

I

Download GeoGebra-arket LineærAfbildning4.

  1. Hvordan afbildes en parabel? Hvad sker der med billedet hvis du flytter parablen. Prøv evt. også med andre indstillinger af $\,\mathbf F\,$.

  2. Sammenfat iagttagelserne i en hypotese.

Opg 5: 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\\\\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!

  1. Afprøvning af diagonalmatricen
$$ \mathbf F=\,\begin{matr}{rr}k&0\\\\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!

  1. Andre diagonalmatricer: Beskriv det røde hus i forhold til det blå, når
$$ \mathbf F=\,\begin{matr}{rr}3&0\\\\0&2\end{matr}\,$$
  1. Sammenfat dine iagttagelser: Hvad er det særlige ved diagonale afbildningsmatricer? Hvordan påvirker de punktmængder i planen?


Opg 6: Dimensionssætningen

B

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\\\\2&4&0\\\\3&6&0\end{matr}\,.$$

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

C

%\begin{exercise}\label{tn8.opgDimension2} 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

projektion.png

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 7: 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 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\,$ en enhedsvektor lagt langs linjen $\,y=\frac 12\,x\,,$ om 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.

Spejl.png

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 8: Leg med afbildningsmatricer ved basisskifte

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\,.$