06.08.2013 Views

Noter til Geometri - Aarhus Universitet

Noter til Geometri - Aarhus Universitet

Noter til Geometri - Aarhus Universitet

SHOW MORE
SHOW LESS

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 .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!