Producte escalar

En les matemàtiques, un producte escalar —també conegut com a producte interior o punt— és una operació algebraica entre dos vectors que resulta en un escalar. Aquesta operació permet treballar i estendre les nocions de la geometria euclidiana com ara la norma, l'angle o la distància en espais vectorials de dimensió més gran que tres o sobre el cos del complexos.

Definició del producte escalar

Sigui No s'ha pogut entendre (MathML amb SVG o PNG alternatiu (recomanat per a navegadors moderns i eines d'accessibilitat): Resposta invàlida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/ca.wikipedia.org/v1/»:): {\displaystyle E} un espai vectorial real. Un producte escalar a $E$ és una forma bilineal simètrica:

$<\,\ >:E\times E\longrightarrow \mathbb {R} \,$

definida positiva. És a dir, que compleix

$<u,u>\ \geq 0,\forall u\in \mathbb {E}$

$<u,u>\ =0\Leftrightarrow u={\vec {0}}$

Si $E$ és un espai vectorial complex, un producte escalar és una forma sesquilineal hermítica:

$<\,\ >:E\times E\longrightarrow \mathbb {C} \,$

definida positiva.

El conjunt format per un espai vectorial i un producte escalar determina una estructura algebraica anomenada espai euclidià. Cal notar que diferents productes escalars sobre un mateix espai vectorial determinen diferents espais euclidians i que conceptes com ara l'angle, la norma euclidiana o la distància depenen del producte escalar definit.

Definició del producte escalar usual o canònic a ℝⁿ

Un producte escalar especialment important pel seu ús a la Física i a la Geometria euclidiana és l'anomenat producte escalar usual o canònic sobre l'espai vectorial $R^{n}$.

θ és l'angle entre els dos vectors

El producte escalar de dos vectors ${\vec {A}}$ i ${\vec {B}}$ pertanyents a $R^{n}$ és un escalar en ℝ definit com:

${\vec {A}}\cdot {\vec {B}}=|{\vec {A}}||{\vec {B}}|\cos \theta$

On θ és l'angle no orientat entre els dos vectors i $|{\vec {A}}|$ i $|{\vec {B}}|$ són els mòduls dels vectors.

La notació habitual és el punt $\cdot$ per distingir-lo de l'aspa o el circumflex que s'usen per al producte vectorial de dos vectors.

En el cas que els vectors estiguin expressats com a coordenades en una base ortonormal això és, ortogonal i unitària (és a dir, base amb vectors de mòdul = 1 i que són perpendiculars entres si), el producte escalar també pot calcular-se a partir de dites coordenades com:

${\vec {A}}\cdot {\vec {B}}=[a_{1},a_{2},a_{3}]\cdot [b_{1},b_{2},b_{3}]=a_{1}b_{1}+a_{2}b_{2}+a_{3}b_{3}$

Per exemple, el producte escalar de dos vectors en $\mathbb {R} ^{3}$ [1, 4, -3] i [2, −1, -2] és:

${\begin{bmatrix}1&4&-3\end{bmatrix}}\cdot {\begin{bmatrix}2&-1&-2\end{bmatrix}}=(1)(2)+(4)(-1)+(-3)(-2)=4.$

Usant el producte matricial i tractant els vectors columna com matrius n×1, el producte escalar es pot escriure com:

$\mathbf {A} \cdot \mathbf {B} =\mathbf {A} ^{T}\mathbf {B} \,$

on A^T denota la transposada de la matriu A.

Usant l'exemple anterior, això resultaria en una matriu 1×3 (vector fila) multiplicat per un vector 3×1 (que com a multiplicació de matrius resultaria en una matriu 1×1, és a dir un escalar):

${\begin{bmatrix}1&4&-3\end{bmatrix}}{\begin{bmatrix}2\\-1\\-2\end{bmatrix}}={\begin{bmatrix}4\end{bmatrix}}.$

Més generalment, el producte escalar de dos vectors de $n$ dimensions $\mathbf {a} =[a_{1},a_{2},\cdots ,a_{n}]$ i $\mathbf {b} =[b_{1},b_{2},\cdots ,b_{n}]$, especificat en termes d'una base ortonormal, és definit com:

$$\mathbf {a} \cdot \mathbf {b} =\sum _{i=1}^{n}a_{i}b_{i}=a_{1}b_{1}+a_{2}b_{2}+\cdots +a_{n}b_{n}$$

on $\Sigma$ denotea el sumatori i $n$ és la dimensió de l'espai vectorial.

Interpretació geomètrica

|${\vec {A}}$|•cos(θ) és la projecció escalar de ${\vec {A}}$ sobre ${\vec {B}}$

A l'espai euclidià hi ha una forta relació entre el producte escalar, les longituds dels vectors i l'angle que formen.

De l'equació abans esmentada:

${\vec {A}}\cdot {\vec {B}}=|{\vec {A}}||{\vec {B}}|\cos \theta$

es deriva que l'angle entre els dos vectors és:

$\theta =\arccos \left({\frac {{\vec {A}}\cdot {\vec {B}}}{|{\vec {A}}|\cdot |{\vec {B}}|}}\right)$

Com cos 90° = 0, si els vectors són ortogonals, el seu producte escalar és nul.

El mòdul d'un vector es pot trobar com:

$|{\vec {A}}|={\sqrt {{\vec {A}}\cdot {\vec {A}}}}$

El mòdul correspon a la longitud del vector.

Com $|{\vec {A}}|\cos \theta$ és la projecció escalar del vector ${\vec {A}}$ sobre el vector ${\vec {B}}$, el producte escalar es pot entendre com el producte d'aquesta projecció per la longitud de ${\vec {B}}$.

Propietats del producte escalar

El producte escalar compleix les següents propietats si $\mathbf {a}$, $\mathbf {b}$, i $\mathbf {c}$ són vectors reals i $r$, $c_{1}$ i $c_{2}$ són escalars.

• Commutativa:

${\vec {A}}\cdot {\vec {B}}={\vec {B}}\cdot {\vec {A}}$

que és una conseqüència de la definició ($\theta$ és l'angle entre $\mathbf {a}$ i $\mathbf {b}$):

$\mathbf {a} \cdot \mathbf {b} =\left\|\mathbf {a} \right\|\left\|\mathbf {b} \right\|\cos \theta =\left\|\mathbf {b} \right\|\left\|\mathbf {a} \right\|\cos \theta =\mathbf {b} \cdot \mathbf {a} .$

• Distributiva:

${\vec {A}}\cdot ({\vec {B}}+{\vec {C}})={\vec {A}}\cdot {\vec {B}}+{\vec {A}}\cdot {\vec {C}}$

• Associativa:

La propietat associativa no té sentit pel producte escalar perquè l'operació $({\vec {A}}\cdot {\vec {B}})\cdot {\vec {C}}$ és indefinida, ja que $({\vec {A}}\cdot {\vec {B}})$ és un escalar.

Malgrat tot, el producte escalar té la següent propietat:

$m({\vec {A}}\cdot {\vec {B}})=(m{\vec {A}})\cdot {\vec {B}}={\vec {A}}\cdot (m{\vec {B}})$

on m és un escalar.

El producte escalar és invariant a rotacions dels vectors.

• Multiplicació escalar:

$(c_{1}\mathbf {a} )\cdot (c_{2}\mathbf {b} )=c_{1}c_{2}(\mathbf {a} \cdot \mathbf {b} ).$

Producte triple

Article principal: Producte mixt

Hi ha dues operacions ternàries que impliquen el producte escalar i el producte vectorial.

Es defineix el producte escalar triple (o producte mixt) de tres vectors com

$\mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} )=\mathbf {b} \cdot (\mathbf {c} \times \mathbf {a} )=\mathbf {c} \cdot (\mathbf {a} \times \mathbf {b} ).$

El seu valor és el determinant de la matriu les columnes de les quals són les coordenades cartesianes dels tres vectors. És el volum amb signe del paral·lelepípede definit pels tres vectors, i és isomòrfic al cas particular tridimensional del producte exterior dels tres vectors.

El producte vectorial triple és definit com

$\mathbf {a} \times (\mathbf {b} \times \mathbf {c} )=(\mathbf {a} \cdot \mathbf {c} )\,\mathbf {b} -(\mathbf {a} \cdot \mathbf {b} )\,\mathbf {c} .$

Aquesta identitat, també coneguda com la fórmula de Lagrange, es pot recordar com "ACB menys ABC", tenint en compte quins vectors es multipliquen primer. Aquesta fórmula té aplicacions en la simplificació de càlculs en física.

Generalitzacions

Vectors complexos

Per vectors amb entrades complexes, utilitzar la definició prèvia del producte escalar donaria lloc a propietats certament diferents. Per exemple, el producte escalar d'un vector amb ell mateix podria ser zero sense que el vector fos el vector zero (per exemple, això passaria amb el vector $\mathbf {a} =[1\ i]$). Això, alhora tindria conseqüències en les nocions de longitud o d'angle. Propietats com la norma definida positiva poden salvaguardar-se a canvi de perdre les propietats de simetria i bilinealitat del producte escalar, a partir de les definicions alternatives

$\mathbf {a} \cdot \mathbf {b} =\sum _{i}{{a_{i}}\,{\overline {b_{i}}}},$

on ${\overline {b_{i}}}$ és el complex conjugat de $b_{i}$. Quan es representen els vectors en format columna, es pot expressar el producte escalar com un producte matricial amb la transposada conjugada, denotada amb el superíndex H:

$\mathbf {a} \cdot \mathbf {b} =\mathbf {b} ^{\mathsf {H}}\mathbf {a} .$

En el cas ed vectors amb components reals, aquesta definició és la mateixa que en el cas real. El producte escalar de qualsevol vector amb ell mateix és un nombre real no negatiu, i és diferent a zero excepte pel vector zero. Tanmateix, el producte escalar complex és sesquilineal en lloc de bilineal, ja que és lineal conjugat i no lineal en $\mathbf {a}$. El producte escalar no és simètric, ja que

$\mathbf {a} \cdot \mathbf {b} ={\overline {\mathbf {b} \cdot \mathbf {a} }}.$

L'angle entre dos vectors complexos ve donat per

$\cos \theta ={\frac {\operatorname {Re} (\mathbf {a} \cdot \mathbf {b} )}{\left\|\mathbf {a} \right\|\,\left\|\mathbf {b} \right\|}}.$

El producte escalar complex dona lloc a les nocions de forma hermítica i espais prehilbertians generals, que s'utilitzen àmplicament en les matemàtiques i la física.

El producte escalar propi d'un vector complex $\mathbf {a} \cdot \mathbf {a} =\mathbf {a} ^{\mathsf {H}}\mathbf {a}$, que inclou el transposat conjugat d'un vector fila, també rep el nom de norma al quadrat, $\mathbf {a} \cdot \mathbf {a} =\|\mathbf {a} \|^{2}$, usant la norma euclidiana; és una generalització vectorial del quadrat absolut d'un escalar complex

Espais prehilbertians

Article principal: Espai prehilbertià

El producte escalar es pot generalitzar a espais vectorials abstractes sobre el cos dels escalars, ja sigui el cos dels nombres reals $\mathbb {R}$ o el cos dels nombres complexes $\mathbb {C}$. Normalment es denotan utilitzant claudàtors angulars $\left\langle \mathbf {a} \,,\mathbf {b} \right\rangle$.

El producte escalar de dos vectors sobre el cos dels nombres complexos és, en general, un nombre complex, i és sesquilineal en lloc de bilineal. Un espai prehilbert és un espai vectorial normat, i el producte esclar d'un vector amb ell mateix és real i definit positiu.

Funcions

Es defineix el productes escalar per vectors que tenen un nombre finit d'entrades. Per tant, aquests vectors es poden considerar funcions discretes: un vector $u$ de longitud $n$ és, llavors, una funció amb domini $\{k\in \mathbb {N} :1\leq k\leq n\}$, i $u_{i}$ és una notació per a la imatge de $i$ de la funció/vector $u$.

Es pot generalitzar aquesta noció a funcions contínues: així com el producte escalar utilitza un sumatori en les components corresponents, el producte escalar en matrius es defineix com la integral en un cert interval [a, b]:

$\left\langle u,v\right\rangle =\int _{a}^{b}u(x)v(x)\,dx$

Generalitzant encara més a funcions complexes $\psi (x)$ i $\chi (x)$, en analogia amb el producte escalar definit més amunt, s'obté

$\left\langle \psi ,\chi \right\rangle =\int _{a}^{b}\psi (x){\overline {\chi (x)}}dx.$

Funció ponderada

Els productes escalars poden tenir una funció de pes (és a dir una funció que pondera cada terme del productes escalar amb un valor). Explícitament, el producte escalar de les funcions $u(x)$ i $v(x)$ respecte la funció de pes $r(x)>0$ és

$\left\langle u,v\right\rangle _{r}=\int _{a}^{b}r(x)u(x)v(x)\,dx.$

Diàdics i matrius

Un producte escalar doble per matrius és el producte escalar de Frobenius, que és anàleg al producte escalar en vectors. Es defineix com la suma dels productes de les components corresponents de les dues matrius $\mathbf {A}$ i $\mathbf {B}$ de mateixa mida:

$\mathbf {A} :\mathbf {B} =\sum _{i}\sum _{j}A_{ij}{\overline {B_{ij}}}=\operatorname {tr} (\mathbf {B} ^{\mathsf {H}}\mathbf {A} )=\operatorname {tr} (\mathbf {A} \mathbf {B} ^{\mathsf {H}}).$

I per matrius reals,

$\mathbf {A} :\mathbf {B} =\sum _{i}\sum _{j}A_{ij}B_{ij}=\operatorname {tr} (\mathbf {B} ^{\mathsf {T}}\mathbf {A} )=\operatorname {tr} (\mathbf {A} \mathbf {B} ^{\mathsf {T}})=\operatorname {tr} (\mathbf {A} ^{\mathsf {T}}\mathbf {B} )=\operatorname {tr} (\mathbf {B} \mathbf {A} ^{\mathsf {T}}).$

Si s'ecriu una matriu com a diàdic, es pot definir un producte escalar doble diferent, tanmateix no és un producte escalar com a tal.

Tensors

El producte escalar entre un tensor d'ordre $n$ i un tensor d'ordre $m$ és un tensor d'ordre $n+m-2$.

Vegeu també

• Espai vectorial
• Combinació lineal
• Sistema generador
• Independència lineal
• Matriu de Gram
• Base (àlgebra)
• Base Ortogonal
• Base Ortonormal
• Coordenades cartesianes
• Producte vectorial
• Producte mixt
• Producte tensorial

Enllaços externs

• «Dot product» (en anglès). http://mathworld.wolfram.com/.+[Consulta: 19 novembre 2013].