Man kan tolka determinanten av en matrisavbildning som en area.
Sätt nämligen och
och antag att
T har matrisen M. Då är
Anmärkning Två vektorer och
som inte är parallella definierar en parallellogram. I sats 1 kan det emellertid inträffa att
och
är parallella. Dessa vektorer definerar då egentligen inte en parallellogram i vanlig mening utan en parallellogram som har kolapsat. Man brukar tala om en urartad parallellogram. En sådan ges arean . Med denna konvention är satsen korrekt oavsett om bilderna av
och
är parallella eller inte.
Exempel A
Rotation vinkeln (med origo som rotationscentrum), alltså avbildningen
, har matrisen
Exempel B
Spegling i den linje genom origo som bildar vinkeln
mot högra halvan av x-axeln har determinanten
Exempel C
Ortogonal projektion på den linje genom origo som bildar vinkeln
mot högra halvan av x-axeln har matrisen
Exempel D
Låt T vara skevavbildningen med matrisen
Vad är arean av bilden av rektangeln med hörn i origo och punktenra (2,0), (2,3) och (0,3)?
ösning
Bilden av rektangeln är den parallellogram som bestäms av vektorerna
Exempel G
Exempel H
Rotation kring origo med vinkeln , alltså avbildningen
, är inverterbar. Varje vektor
är bild av precis en vektor
och man kan finna vektorn
genom att rotera
vinkeln
. Man har alltså att om
så är
. Rotation med vinkeln
är alltså inverterbar med inversen
Spegling i en linje (genom origo) är också en inverterbar avbildning av på sig själv. Om nämligen
så är
.
Det innebär att
Ortogonal projektion i en linje är inte inverterbar. Om vi antar att linjen är ax+by=0 så kommer varje vektor som är parallell med normalen (a,b) att avbildas på (0,0), så avbildningen är inte injektiv.
Exempel J
Antag att T har matrisen
Exempel K
Låt T vara matrisavbildningen med matris
Bevis(av produktformeln för determinanter)
Låt oss sätta
Vidare är
Multiplicerar man nu ihop termerna i det högra ledet ser man att vissa termer tar ut varandra. Det gäller produkterna a1a2c1b2 och b1c2d1d2. Därför förenklas det högra ledet till
Jämför man nu högra ledet med formeln ovan för så ser man att de är lika. Detta visar
satsen.
Bevis(av satsen om inversen till en matrisavbildning)
Sätt där T är den matrisavbildning vars matris är M. Det innebär att
Låt nu S vara den matrisavbildning vars matris är
Detta visar att för alla vektorer
i
. På liknande sätt ser man att
för alla
. Det följer att varje vektor
är bild av precis en vektor
. För det första är
bilden av
eftersom
. För det andra kan inte
vara bild av två olika
. Om nämligen
så är
. Detta visar att T är inverterbar och att inversen är S, dvs den avbildning vars matris ges i satsen.