Ortogonalitet

(Omdirigert frå Vinkelrett)

I matematikk er to vektorar ortogonale om dei står vinkelrett på kvarandre. Dei dannar altså ein rett vinkel. Ordet kjem frå gresk ὀρθός (orthos), som tyder «rett» og γωνία (gonia), som tyder «vinkel». Til dømes vil ein undergrunnsbane og gata over vere ortogonale om dei kryssar kvarandre med ein rett vinkel, sjølv om dei ikkje fysisk kryssar kvarandre.

AB og CD er ortogonale til kvarandre.

Definisjonar

endre

Definisjon. To vektorar   og   i eit indre produktrom   er ortogonale om det indre produktet deira   er lik null. Denne situasjonen vert skrive som  .

Definisjon. To vektor-delrom   og   i eit indre produktrom   vert kalla ortogonale delrom om kvar vektor i   er ortogonal til kvar vektor i  . Det største delrommet som er ortogonalt til eit visst delrom er den ortogonale komplementen.

Definisjon. Ein lineær transformasjon   vert kalla ein ortogonal lineær transformasjon dersom det indre produktet er bevart. Altså for alle vektorpar   og   i det indre produktrommet   er,

 

Dette tyder at   bevarer vinkelen mellom   og  , og at lengdene   og   er like.

Fleire vektorar er kalla parvise ortogonale om to av dei er ortogonale, og eit sett av slike vektorar vert kalla eit ortogonalt sett. Parvise ortogonale vektorar som er ulike null er alltid lineært sjølvstendige.

Merk at ofte vert ordet normal nytta i staden for ortogonal, altså at ein vektor står normalt på ein annan vektor. Normal vert òg nytta om einingsvektorane. Eit ortogonalt sett vert kalla ortonormalt om alle vektorane er einingsvektorar.

I euklidske vektorrom

endre

I to- og tredimensjonale euklidske rom er to vektorar ortogonale om prikkproduktet deira er null. Det vil sei at vinkelen mellom dei er 90° eller π/2 radianar. Derfor er ortogonaliteten til vektorar ei generalisering av omgrepet vinkelrett. I eit euklidsk delrom er den ortogonale komplementen til ei linje planet som er vinkelrett på linja og omvendt. Merk at dette ikkje samsvarar med omsyn til vinkelrette plan, sidan vektorar i delrom startar frå origo.

I eit firedimensjonalt euklidsk rom er den ortogonale komplementen til ei linje eit hyperplan og omvendt.

Ortogonale funksjonar

endre

Det er vanleg å nytte det følgjande indre produktet for to funksjonar f og g:

 

Her introduserer vi ein ikkje-negativ vektfunksjon   i definisjonen av dette indre produktet.

Vi seier at funksjonar er ortogonale om det indre produktet deira er null:

 

Vi skriv normene med omsyn til dette indre produktet og vektfunksjonen som

 

Medlemmer av ei følgje { fi : i = 1, 2, 3, ... } er:

  • ortogonale visst
 
  • ortonormale visst
 

der

 

er Kroneckerdeltaet. Med andre ord er kvart par ortogonale og norma til kvar av dei er 1 når ein har ei ortonormal følgje.

Døme

endre
  • Vektorane (1, 3, 2), (3, −1, 0), (1/3, 1, −5/3) er ortogonale til kvarandre, sidan (1)(3) + (3)(−1) + (2)(0) = 0, (3)(1/3) + (−1)(1) + (0)(−5/3) = 0, (1)(1/3) + (3)(1) − (2)(5/3) = 0. Merk òg at prikkproduktet til vektorane med seg sjølv er normene til desse vektorane, så for å sjekke om dei er ortogonale, treng ein berre sjekke prikkproduktet mot dei andre vektorane.
  • Vektorane (1, 0, 1, 0, ...)T og (0, 1, 0, 1, ...)T er ortogonale til kvarandre. Det er tydeleg at prikkproduktet mellom desse er 0. Vi kan då generalisere dette ved å sjå på vektorar i Z2n:
 
for positive tal a, og for 1 ≤ ka − 1, er desse vektorane ortogonale, til dømes er (1, 0, 0, 1, 0, 0, 1, 0)T, (0, 1, 0, 0, 1, 0, 0, 1)T, (0, 0, 1, 0, 0, 1, 0, 0)T ortogonale.
  • Ta to kvadratfunksjonar 2t + 3 og 5t2 + t − 17/9. Desse funksjonane er ortogonale med omsyn til ein einingsvektfunksjon på intervallet frå −1 til 1. Produktet av desse to funksjonane er 10t3 + 17t2 − 7/9 t − 17/3, og då
 
 
 
  • Ortogonalitet mellom cosinus og sinus
 
cos og sin.

For å syna at cosinus og sinus er ortogonale funksjonar integrerer vi produktet av cosinus og sinus over ein periode (frå 0 til   rad):

 .

Vi splittar opp integralet i fire integral, kvar over ein kvart periode:

 
 
 
 

  og  .
Q.E.D.

Kjelder

endre