Noter til Geometri - Aarhus Universitet
Noter til Geometri - Aarhus Universitet
Noter til Geometri - Aarhus Universitet
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
B.2. Indre produkt O<br />
B.2 Indre produkt<br />
Et 2-dimensionalt underrum V ⊆ R 3 arver et indre produkt 〈 , 〉 fra dot-produktet<br />
i R 3 . For v ∈ V og w ∈ V sættes<br />
〈v, w〉 = v1w1 + v2w2 + v3w3<br />
(B.7)<br />
hvor v = (v1, v2, v3) og w = (w1, w2, w3). Dette er et indre produkt på V , se F.<br />
Beauregard side 230–235 og side 326–357. Specielt gælder Cauchy-Schwartz uligheden<br />
|〈v, w〉| ≤ vw, (B.8)<br />
hvor v er længden af v givet ved v2 = 〈v, v〉. Vinklen 0 ≤ θ ≤ π mellem v og w<br />
defineres ved ligningen<br />
〈v, w〉<br />
cosθ = . (B.9)<br />
vw<br />
En ortonormal basis for (V, 〈 , 〉) består af vektorer e1, e2 ∈ V således at<br />
〈e1, e2〉 = 1, 〈e1, e2〉 = 0, 〈e2, e2〉 = 1. (B.10)<br />
En lineær afbildning f : V → V kaldes selvadjungeret hvis der gælder<br />
〈f(v), w〉 = 〈v, f(w)〉 (B.11)<br />
for ethvert par af vektorer v, w ∈ V . Vi udregner matricen for f med hensyn <strong>til</strong> en<br />
ortonormal basis {e1, e2}:<br />
Det følger fra (B.10), at<br />
f(e1) = λ11e1 + λ21e2, f(e2) = λ12e1 + λ22e2.<br />
〈f(e1), e2〉 = λ21, 〈e1, f(e2)〉 = λ12,<br />
således at f er selvadjungeret hvis og kun hvis matricen for f mht. en ortonormal<br />
basis er symmetrisk (λ12 = λ21). Det understreges, at matricen for en selvadjungeret<br />
matrix ikke behøver at være symmetrisk med mindre basen er ortonormal.<br />
Sætning B.1. Vektorrummet V har en ortonormal basis.<br />
Bevis. Vælg en vektor e1 ∈ V med e1 = 1. Lad L = {v ∈ V | 〈v, e1〉 = 0} være<br />
det ortogonale komplement. Dette er et underrum af V . Da V er 2-dimensionalt<br />
findes et b2 ∈ V så at {e1, b2} er en basis for V . Så er<br />
e ′ 2 = b2 − 〈b2, e1〉e1 ∈ L.<br />
Dette er ikke nulvektoren, da e1 og b2 er lineært uafhængige, og vi kan derfor definere<br />
e2 = 1<br />
e ′ 2 e′ 2 .<br />
Så er {e1, e2} en ortonormal basis for V .