Producto escalar

En matemáticas el producto escalar, también conocido como producto interno, interior o punto, es una operación definida sobre un espacio vectorial cuyo resultado es una magnitud escalar.

Un espacio prehilbertiano es un espacio vectorial sobre el que se ha definido un producto escalar. Si el espacio es de dimensión finita se trata de un espacio euclídeo.

Definición simplificada para espacios euclídeos reales

El producto escalar habitual en ejl caso particular de d:)os vectores en el plano, o en un espacio euclídeo N:):):)ath>\theta</math> es siempre menor o igual que 180°. El resultado es siempre una magnitud escalar. Se representa por un punto, para distinguirlo del producto vectorial que se representa por un aspa:

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

El producto escalar habitual también puede calcularse a partir de las coordenadas cartesianas de ambos vectores, en una base ortonormal (ortogonal y unitaria, es decir, con vectores de tamaño igual a la unidad y que forman ángulos rectos entre sí):

${\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}$

Propiedades del producto escalar en un espacio euclídeo real

Conmutativa:

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

Asociativa:

$m({\vec {A}}\cdot {\vec {B}})=(m{\vec {A}})\cdot {\vec {B}}={\vec {A}}\cdot (m{\vec {B}})$ siendo m un escalar.

Distributiva:

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

Si los vectores son ortogonales, su producto escalar es nulo (cos 90º = 0), y viceversa.

Productos interiores definidos en espacios vectoriales

En el espacio vectorial $\mathbb {R} ^{n}$ se suele definir el producto interior (llamado, en este caso en concreto, producto punto) por:

${\vec {A}}\cdot {\vec {B}}=(a_{1},a_{2},a_{3},...,a_{n})\cdot (b_{1},b_{2},b_{3},...,b_{n})=a_{1}b_{1}+a_{2}b_{2}+...a_{n}b_{n}$

En el espacio vectorial $\mathbb {C} ^{n}$ se suele definir el producto interior por:

${\vec {A}}\cdot {\vec {B}}=(a_{1},a_{2},a_{3},...,a_{n})\cdot (b_{1},b_{2},b_{3},...,b_{n})=a_{1}{\overline {b_{1}}}+a_{2}{\overline {b_{2}}}+...a_{n}{\overline {b_{n}}}$

En el espacio vectorial de las matrices de mxn elementos

${\vec {A}}\cdot {\vec {B}}=tr(AB^{t})$

donde tr es la traza de la matriz.

En el espacio vectorial de las funciones continuas sobre el intervalo acotado por a y b (C[a, b])

${\vec {f}}\cdot {\vec {g}}=\int _{a}^{b}f(x)g(x)dx$

Dado $[x_{1},x_{2},x_{3},...,x_{n},x_{n}+1]$ ⊆  $\mathbb {R}$ tal que $x_{1}<x_{2}<x_{3}<...<x_{n}<x_{n}+1]$, en el espacio vectorial de los polinomios de grado menor o igual a $n$

${\vec {p}}\cdot {\vec {q}}=p(x_{1})q(x_{1})+p(x_{2})q(x_{2})+...+p(x_{n})q(x_{n})+p(x_{n}+1)q(x_{n}+1)$

De manera similar a como se definen los productos interiores anteriores, se puede definir cualquier otro con la condición de que únicamente debe satisfacer la definición de un producto interior.

Definición general

El producto interior o producto escalar de dos vectores en un espacio vectorial es una forma sesquilineal, hermítica y definida positiva, por lo que se puede considerar una forma cuadrática definida positiva, i.e., una operación $<\cdot ,\cdot >:V\times V\longrightarrow K$ donde $V$ es el espacio vectorial y $K$ es el cuerpo sobre el que está definido, que tiene que cumplir:

1. $<ax+by,z>=a<x,z>+b<y,z>\,$ (lineal en el primer componente),
2. $<x,y>={\overline {<y,x>}}$ (hermítica),
3. $<x,x>\geq 0\,$, y $<x,x>=0\,$ si y sólo si $x=0\,$ (definida positiva),

donde $x,y,z\,$ son vectores arbitrarios, $a,b\,$ representan escalares cualesquiera y ${\overline {c}}$ es el conjugado del complejo $c\,$.

Si el cuerpo tiene parte imaginaria nula (v.g., $\mathbb {R}$), la propiedad de ser sesquilineal se convierte en ser bilineal y el ser hermítica se convierte en ser simétrica.

También suele representarse por $(\cdot |\cdot )$ o por $\bullet$.

Un espacio vectorial sobre el cuerpo $\mathbb {R}$ o $\mathbb {C}$ dotado de un producto escalar se denomina espacio prehilbert o espacio prehilbertiano. Si además es completo, se dice que es un espacio de hilbert, y si la dimensión es finita, se dirá que es un espacio euclídeo.

Todo producto escalar induce una norma sobre el espacio en el que está definido, de la siguiente manera:

$\|x\|:={\sqrt {<x,x>}}$.

Véase también

• Portal:Matemática. Contenido relacionado con Matemática.
• Espacio vectorial
• Combinación lineal
• Sistema generador
• Independencia lineal
• Matriz de Gram
• Base (álgebra)
• Base Ortogonal
• Base Ortonormal
• Coordenadas cartesianas
• Producto vectorial
• Producto mixto
• Producto tensorial