Ortogonalitet

Frå Wikipedia – det frie oppslagsverket
(Omdirigert frå Vinkelrett)
AB og CD er ortogonale til kvarandre.

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.

Definisjonar[endre | endre wikiteksten]

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 | endre wikiteksten]

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 | endre wikiteksten]

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 | endre wikiteksten]

  • 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å

Kjelder[endre | endre wikiteksten]