Skalärprodukt

I ett euklidiskt rum kan skalärprodukten ges den geometriska tolkningen som a:s projektion på b multiplicerad med längden av b.

Skalärprodukt, också kallad inre produkt, är inom vektoralgebran en operation på två vektorer a och b vars resultat är en skalär och som i ett euklidiskt rum kan definieras som

$𝐚\cdot 𝐛=\Vert 𝐚\Vert \Vert 𝐛\Vert \cos \theta$

där θ är vinkeln mellan vektorerna. Skalärprodukten kan tolkas som längden av a:s projektion på b multiplicerad med b:s längd.

Om vektorernas komponenter är kända i en ortonormerad bas kan skalärprodukten även ges en algebraisk definition

$𝐚\cdot 𝐛=\sum _{i=1}^n{a}_i{b}_i=a_1{b}_1+a_2{b}_2+\dots +a_n{b}_n$

Definition

En skalärprodukt kan definieras algebraiskt eller geometriskt. Den geometriska definitionen är grundad på begrepp som vinklar och avstånd (vektorlängd). Ekvivalensen mellan dessa två definitioner kräver ett kartesiskt koordinatsystem i det euklidiska rummet.

I moderna framställningar av euklidisk geometri, är punkterna i rummet kartesiska koordinater och det eukldiska rummet självt är vanligen identifierat med den reella koordinatrymden Rⁿ. I en sådan framställning, är begreppen längd och vinklar definierade med hjälp av skalärprodukten. En vektors längd är definierad som kvadratroten av skalärprodukten av en vektor med sig själv och cosinus av den icke orienterade vinkeln mellan två vektorer av längd 1, är definierad som deras skalärprodukt. Ekvivalensen av de två definitionerna av skalärprodukt är en del av ekvivalensen mellan den klassiska och de moderna framställningarna av euklidisk geometri.

Algebraisk definition

Skalärprodukten av två vektorer Mall:Nowrap och Mall:Nowrap är definierad som:

$𝐚\cdot 𝐛=\sum _{i=1}^n{a}_i{b}_i=a_1{b}_1+a_2{b}_2+\cdots +a_n{b}_n$

där Σ betecknar summation och n vektorrummets dimension. Till exempel, i ett tredimensionellt rum, är skalärprodukten av vektorerna Mall:Nowrap och Mall:Nowrap

$\begin{array}{cc}[1,3,-5]\cdot [4,-2,-1]& =(1\times 4)+(3\times -2)+(-5\times -1)\\ & =4-6+5\\ & =3\end{array}$

Om vektorerna identifieras med radmatriser, kan skalärprodukten även skrivas som matrisprodukten

$𝐚\cdot 𝐛=𝐚{𝐛}^{\mathrm{\top }},$

där ${𝐛}^{\mathrm{\top }}$ betecknar transponatet av $𝐛$.

Uttryckt på detta sätt, är en 1 × 3 matris (radvektor) multiplicerad med en 3 × 1 matris (kolumnvektor) en 1 × 1 matris

$\left[\begin{array}{ccc}1& 3& -5\end{array}\right]\left[\begin{array}{c}4\\ -2\\ -1\end{array}\right]=3$

Geometrisk definition

Skalärprodukten kan användas för att finna vinkeln mellan vektorer

I ett euklidiskt rum, är en euklidisk vektor ett geometriskt objekt som har både en storlek och en riktning. En vektor kan avbildas som en pil. Dess storlek är dess längd och dess riktning är riktningen i vilket pilen pekar. Magnituden av en vektor a betecknas som $\Vert 𝐚\Vert$. Skalärprodukten av två euklidiska vektorer a och b är definierad som

$𝐚\cdot 𝐛=\Vert 𝐚\Vert \Vert 𝐛\Vert \cos \theta ,$

där Mall:Mvar är vinkeln mellan Mall:Math och Mall:Math.

Om vektorerna Mall:Math och Mall:Math är ortogonala (deras mellanliggande vinkel är Mall:Math eller 90°) och då $\cos \frac{\pi }{2}=0$, vilket implicerar

$𝐚\cdot 𝐛=0$

Vid den andra ytterligheten, om de är motriktade, är vinkeln mellan dem 0

$𝐚\cdot 𝐛=\Vert 𝐚\Vert \Vert 𝐛\Vert$

Detta implicerar att skalärprodukten av en vektor a med sig själv är

$𝐚\cdot 𝐚={\Vert 𝐚\Vert }^2,$

som ger

$\Vert 𝐚\Vert =\sqrt{𝐚\cdot 𝐚},$

vilket är formeln för en vektors euklidiska längd.

Egenskaper

Om a, b och c är reella vektorer är skalärprodukten kommutativ

Distributiva lagen för skalärprodukt

$𝐚\cdot 𝐛=𝐛\cdot 𝐚$

Skalärprodukten är skalbar i båda variablerna, det vill säga, för varje skalär α:

$(\alpha 𝐚)\cdot 𝐛=\alpha (𝐚\cdot 𝐛)=𝐚\cdot (\alpha 𝐛)$

Den är också distributiv:

$𝐚\cdot (𝐛+𝐜)=𝐚\cdot 𝐛+𝐚\cdot 𝐜$

vilket kan sammanfattas som att den skalära produkten är en bilinjär form. Den är dessutom positivt definit, vilket innebär att $𝐚\cdot 𝐚$ aldrig är negativ och är noll om och endast om $𝐚=\mathrm{𝟎}$, nollvektorn.

De algebraiska och geometriska definitionerna är ekvivalenta

Om e₁, ..., e_n är standardbasvektorer i Rⁿ, kan vi skriva

$\begin{array}{cc}𝐚& =[a_1,\dots ,a_n]=\sum _i{a}_i{𝐞}_i\\ 𝐛& =[b_1,\dots ,b_n]=\sum _i{b}_i{𝐞}_i.\end{array}$

Vektorerna e_i är en ortonormal bas, vilket innebär att de är av enhetslängd och är inbördes vinkelräta mot varandra. Således, då dessa vektorer är av enhetslängd

${𝐞}_i\cdot {𝐞}_i=1$

och är rätvinkliga mot varandra och om Mall:Nowrap, är

${𝐞}_i\cdot {𝐞}_j=0$

Således gäller i allmänhet

${𝐞}_i\cdot {𝐞}_j={\delta }_{ij}.$

där δ _ij är Kroneckerdeltat.

Dessutom, i enlighet med den geometriska definitionen, för varje vektor e_i och en vektor a gäller

$𝐚\cdot {𝐞}_i=\Vert 𝐚\Vert \Vert {𝐞}_i\Vert \cos \theta =\Vert 𝐚\Vert \cos \theta =a_i,$

där a_i är komponenten av vektorn a i riktningen e_i.

Applicera distributiviten på den geometriska versionen av skalärprodukten:

$𝐚\cdot 𝐛=𝐚\cdot \sum _i{b}_i{𝐞}_i=\sum _i{b}_i(𝐚\cdot {𝐞}_i)=\sum _i{b}_i{a}_i=\sum _i{a}_i{b}_i,$

vilket är den algebraiska definitionen av skalärprodukten. Alltså är den geometriska skalärprodukten ekvivalent med den algebraiska skalärprodukten.

Exempel

Tillämpning på cosinussatsen

Givet två vektorer a och b åtskilda av en vinkel θ, som bildar en triangel med en tredje sida Mall:Nowrap. Skalärprodukten av c med sig själv är

$\begin{array}{cc}𝐜\cdot 𝐜& =(𝐚-𝐛)\cdot (𝐚-𝐛)\\ & =𝐚\cdot 𝐚-𝐚\cdot 𝐛-𝐛\cdot 𝐚+𝐛\cdot 𝐛\\ & =a^2-𝐚\cdot 𝐛-𝐚\cdot 𝐛+b^2\\ & =a^2-2𝐚\cdot 𝐛+b^2\\ c^2& =a^2+b^2-2ab\cos \theta \\ \end{array}$

vilket är cosinussatsen.

Inom fysiken

Förskjutningsvektor

Inom fysiken är vektorlängderna en skalär i fysikalisk mening, det vill säga, en fysikalisk storhet som är oberoende av koordinatsystemet, uttryckt som en produkt av ett numeriskt värde och en fysikalisk enhet, inte bara som ett tal. Skalärprodukten är också en skalär i denna mening, den är oberoende av koordinatsystemet. Exempel är:

• Mekaniskt arbete är skalärprodukten av kraft och förskjutningvektor
• Effekt är skalärprodukten av kraft och hastighet

Komplexa vektorer

För vektorer med komplexa tal som komponenter, leder den gängse definitionen av skalärprodukten till avvikande egenskaper. Till exempel, skalärprodukten av en vektor med sig själv är ett godtyckligt komplext tal och kan vara noll utan att vektorn är nollvektorn, vilket i sin tur har konsekvenser för begrepp som längder och vinklar. Egenskaper som den positiva-definita normen kan offras till priset av att ge upp de symmetriska och bilinjära egenskaperna hos skalärprodukten genom den alternativa definitionen

$𝐚\cdot 𝐛=\sum a_i\overline{b_i},$

där b_i är komplexkonjugatet av b_i. Då är skalärprodukten av en vektor med sig själv ett icke-negativt reellt tal och är nollskilt med undantag för nollvektorn. Emellertid är denna skalärprodukt sesquilinjär snarare än bilinjär: den är linjär i sin konjugerade form och icke-linjär i a och inte symmetrisk eftersom

$𝐚\cdot 𝐛=\overline{𝐛\cdot 𝐚}$

Vinkeln mellan två komplexa vektorer ges då av

$\cos \theta =\frac{\mathrm{Re}(𝐚\cdot 𝐛)}{\Vert 𝐚\Vert \Vert 𝐛\Vert }$

Denna typ av skalärprodukt är inte desto mindre användbar och leder bland annat till generella definitioner av inre produktrum.

Se även

• Inre produktrum

Externa länkar

• Mall:Commonscat

Mall:Linjär-algebra