Álgebra Universitaria/Calculo Vectorial/Producto Escalar

En matemáticas, el producto escalar, también conocido como producto interno, producto interior o producto punto, es una aplicación cuyo dominio es V ² y su codominio es K, donde V es un espacio vectorial y K el conjunto de los escalares respectivo. Esta aplicación amplía la oportunidad de emplear los conceptos de la geometría euclídea tradicional: longitudes, ángulos, ortogonalidad en dos y tres dimensiones. El producto escalar puede definirse también en los espacios euclídeos de dimensión mayor a tres, y en general en los espacios vectoriales reales y complejos. Los espacios vectoriales dotados de producto escalar reciben el nombre de espacios prehilbertianos.

Definición general

El producto interior o producto escalar de dos vectores en un espacio vectorial es una forma bilineal, hermítica y definida positiva, por lo que se puede considerar una forma cuadrática definida positiva.

Un producto escalar se puede expresar como una expresión:

$\begin{array}{cccc}⟨\cdot ,\cdot ⟩:& V\times V& ⟶& 𝕂\\ & (x,y)& ⟶& a=⟨x,y⟩\end{array}$

donde $V$ es un espacio vectorial y $𝕂$ es el cuerpo sobre el que está definido $V$. La función $⟨\cdot ,\cdot ⟩$ (que toma como argumentos dos elementos de $V$, y devuelve un elemento del cuerpo $𝕂$) debe satisfacer las siguientes condiciones:

1. Linealidad por la izquierda: $⟨ax+by,z⟩=a⟨x,z⟩+b⟨y,z⟩$, y linealidad conjugada por la derecha: $⟨x,ay+bz⟩=\bar{a}⟨x,y⟩+\bar{b}⟨x,z⟩$
2. Hermiticidad: $⟨x,y⟩=\overline{⟨y,x⟩}$,
3. Definida positiva: $⟨x,x⟩\ge 0$, y $⟨x,x⟩=0$ si y sólo si x = 0,

donde $x,y,z\in V$ son vectores de V, $a,b\in 𝕂$ representan escalares del cuerpo $𝕂$ y $\bar{c}$ es el conjugado del complejo c.

Si el cuerpo tiene parte imaginaria nula (v.g., $ℝ$), 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:

$\begin{array}{cccc}\bullet :& V\times V& ⟶& 𝕂\\ & (x,y)& ⟶& a=x\bullet y\end{array}$

Un espacio vectorial sobre el cuerpo $ℝ$ o $ℂ$ 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. Si la dimensión es finita y el cuerpo es el de los números reales, se dirá que es un espacio euclídeo; si el cuerpo es el de los números complejos (y la dimensión es finita) se dirá que es un espacio unitario.

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

En tal caso, esta es una de las infinitas normas que pueden ser generadas a partir de un producto interior.

Definición geométrica del producto escalar en un espacio euclídeo real

A • B = |A| |B| cos(θ).
|A| cos(θ) es la proyección escalar de A en B.

El producto escalar de dos vectores en un espacio euclídeo se define como el producto de sus módulos por el coseno del ángulo $\theta$ que forman.

En los espacios euclídeos, la notación usual de producto escalar es $𝐮\cdot 𝐯$

Esta definición de carácter geométrico es independiente del sistema de coordenadas elegido y por lo tanto de la base del espacio vectorial escogida.

Proyección de un vector sobre otro

Puesto que |A| cos θ representa el módulo de la proyección del vector A sobre la dirección del vector B, esto es |A| cos θ = proy A_B, será Plantilla:Ecuación

de modo que el producto escalar de dos vectores también puede definirse como el producto del módulo de uno de ellos por la proyección del otro sobre él.

Ángulos entre dos vectores

La expresión geométrica del producto escalar permite calcular el coseno del ángulo existente entre los vectores, mediante la siguiente definición formal: que nos dice que la multiplicación de un escalar denominado K tiene que ser diferente de cero.

Vectores ortogonales

Dos vectores son ortogonales o perpendiculares cuando forman ángulo recto entre sí. Si el producto escalar de dos vectores es cero, ambos vectores son ortogonales

ya que el $\cos \frac{\pi }{2}=0$.

Vectores paralelos o en una misma dirección

Dos vectores son paralelos o llevan la misma dirección si el ángulo que forman es de 0 radianes (0 grados) o de π radianes (180 grados).

Cuando dos vectores forman un ángulo cero, el valor del coseno es la unidad, por lo tanto el producto de los módulos vale lo mismo que el producto escalar.

Propiedades del producto escalar

Sean A, B y C vectores en el plano o en el espacio y sea m un escalar:

1. Conmutativa: Plantilla:Ecuación

2. Distributiva respecto a la suma vectorial: Plantilla:Ecuación

3. Asociatividad respecto al producto por un escalar m: Plantilla:Ecuación

Expresión analítica del producto escalar

Si los vectores A y B se expresan en función de sus componentes cartesianas rectangulares, tomando la base canónica en ${ℝ}^3$ formada por los vectores unitarios i , j , k tenemos: Plantilla:Ecuación Plantilla:Ecuación

El producto escalar se realiza como un producto matricial de la siguiente forma:

Así, generalizando para un espacio de n dimensiones

si A y B son vectores o puntos en un espacio ${ℝ}^n$ entonces:

el producto escalar se realizaría como un producto matricial de la siguiente forma:

Norma o Módulo de un vector

Se define como la longitud del segmento orientado (vector) en el espacio métrico considerado.

Se calcula a través del producto interno del vector consigo mismo.

Efectuado el producto escalar, tenemos:

de modo que

Por componentes, tomando la base canónica en ${ℝ}^3$ formada por los vectores unitarios {i, j, k}

de modo que

Productos interiores definidos en espacios vectoriales usuales

Citamos a continuación algunos productos estudiados generalmente en Teoría de Espacios Normados. Todos estos productos -llamados canónicos- son sólo algunos de los infinitos productos interiores que se pueden definir en sus respectivos espacios.

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

$𝐀\cdot 𝐁=(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=\sum a_i\cdot b_i$

• En el espacio vectorial ${ℂ}^n$ se suele definir el producto interior por:

$𝐀\cdot 𝐁=(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\cdot \overline{b_n}=\sum a_i\cdot \overline{b_i}$

Siendo $\overline{b_n}$ el número complejo conjugado de $b_n$

• En el espacio vectorial de las matrices de m x n , con elementos reales

$𝐀\cdot 𝐁=\mathrm{tr}(A^T\cdot B)$

donde tr(A) es la traza de la matriz A y $A^T$ es la matriz traspuesta de A.

• En el espacio vectorial de las matrices de m x n , con elementos complejos

$𝐀\cdot 𝐁=\mathrm{tr}(A^{*}\cdot B)$

donde tr(A) es la traza de la matriz A y $A^{*}$ es la matriz traspuesta conjugada de A.

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

$𝐟\cdot 𝐠=\underset{a}{\overset{b}{\int }}f(x)\overline{g(x)}\mathrm{d}x$

• En el espacio vectorial de los polinomios de grado menor o igual a n:

Dado $[x_1,x_2,x_3,...,x_n,x_{n+1}]\subseteq ℝ$ tal que $x_1<x_2<x_3<...<x_n<x_{n+1}$ :

$𝐩\cdot 𝐪=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)=\sum p(x_i)\cdot q(x_i)$

Generalizaciones

Formas cuadráticas

Dada una forma bilineal simétrica $B(\cdot ,\cdot )$ definida sobre un espacio vectorial $V={ℝ}^n$ puede definirse un producto escalar diferente del producto escalar euclídeo mediante la fórmula: Plantilla:Ecuación Donde:

$B_{ij}:=B({𝐞}_i,{𝐞}_j)$

$\{{𝐞}_1,\dots ,{𝐞}_n\}$ es una base del espacio vectorial $V$

Puede comprobarse que la operación anterior $(\cdot ,\cdot {)}_B:V\times V\to ℝ$ satisface todas las propiedades que debe satisfacer un producto escalar.

Tensores métricos

Se pueden definir y manejar espacio no-euclídeos o más exactamente variedades de Riemann, es decir, espacios no-planos con un tensor de curvatura diferente de cero, en los que también podemos definir longitudes, ángulos y volúmenes. En estos espacios más generales se adopta el concepto de geodésica en lugar del de segmento para definir las distancias más cortas en entre puntos y, también, se modifica ligeramente la definición operativa del producto escalar habitual introduciendo un tensor métrico $g:ℳ\times Tℳ\times Tℳ\to ℝ$, tal que la restricción del tensor a un punto de la variedad de Riemann es una forma bilineal $g_x(\cdot ,\cdot )=g(x;\cdot ,\cdot )$.

Así, dados dos vectores campos vectoriales $𝐮$ y $𝐯$ del espacio tangente a la variedad de Riemann se define su producto interno o escalar como: Plantilla:Ecuación La longitud de una curva rectificable C entre dos puntos A y B se puede definir a partir de su vector tangente $𝐓$ de la siguiente manera: Plantilla:Ecuación

Referencias

Bibliografía

• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro
• Plantilla:Cita libro