Producto escalar

En matemtica, el producto escalar, tambin conocido como producto interno, producto

interior o producto punto, es una operacin binaria definida sobre dos vectoresde un
mismo espacio eucldeo. El resultado de esta operacin es un nmero o escalar. Esta
operacin permite explotar los conceptos de la geometra eucldea tradicional: longitudes,
ngulos, ortogonalidad en dos y tres dimensiones. El producto escalar puede definirse
tambin en los espacios eucldeos de dimensin 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.
ndice
[ocultar]

1 Definicin general

2 Definicin geomtrica del producto escalar en un espacio eucldeo real

o

2.1 Proyeccin de un vector sobre otro

2.2 ngulos entre dos vectores

2.3 Vectores ortogonales

2.4 Vectores paralelos o en una misma direccin

3 Propiedades del producto escalar

4 Expresin analtica del producto escalar

5 Norma o Mdulo de un vector

6 Productos interiores definidos en espacios vectoriales usuales

7 Generalizaciones
o

7.1 Formas cuadrticas

7.2 Tensores mtricos

8 Vase tambin

9 Referencias
9.1 Bibliografa

10 Enlaces externos

Definicin general[editar]
El producto interior o producto escalar de dos vectores en un espacio vectorial es
una forma bilineal, hermtica y definida positiva, por lo que se puede considerar una forma
cuadrtica definida positiva.
Un producto escalar se puede expresar como una expresin:

donde

es un espacio vectorial y

es el cuerpo sobre el que est definido

funcin

(que toma como argumentos dos elementos de

del cuerpo

) debe satisfacer las siguientes condiciones:

. La

, y devuelve un elemento

1. Linealidad por la izquierda:

, y linealidad

conjugada por la derecha:

2. Hermiticidad:

3. Definida positiva:
donde
y

,y

son vectores de V,

si y slo si x = 0,
representan escalares del cuerpo

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 hermtica se convierte en ser simtrica.

Tambin suele representarse por:

Un espacio vectorial sobre el cuerpo

dotado de un producto escalar se

denomina espacio prehilbert o espacio prehilbertiano. Si adems es completo, se dice

que es unespacio de Hilbert. Si la dimensin es finita y el cuerpo es el de los nmeros
reales, se dir que es un espacio eucldeo; si el cuerpo es el de los nmeros
complejos (y la dimensin 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:

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

Definicin geomtrica del producto escalar en un espacio eucldeo

real[editar]

A B = |A| |B| cos().

|A| cos() es la proyeccin escalar de A en B.

El producto escalar de dos vectores en un espacio eucldeo se define como el

producto de sus mdulos por el coseno del ngulo

que forman.

En los espacios eucldeos, la notacin usual de producto escalar es

Esta definicin de carcter geomtrico es independiente del sistema de coordenadas
elegido y por lo tanto de la base del espacio vectorial escogida.

Proyeccin de un vector sobre otro[editar]

Puesto que |A| cos representa el mdulo de la proyeccin del vector A sobre la
direccin del vector B, esto es |A| cos = proy AB, ser

de modo que el producto escalar de dos vectores tambin puede definirse como el
producto del mdulo de uno de ellos por la proyeccin del otro sobre l.

ngulos entre dos vectores[editar]

La expresin geomtrica del producto escalar permite calcular el coseno del ngulo
existente entre los vectores, mediante la siguiente definicin formal: que nos dice que
la multiplicacin de un escalar denominado K tiene que ser diferente de cero.

Vectores ortogonales[editar]
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

Vectores paralelos o en una misma direccin [editar]

Dos vectores son paralelos o llevan la misma direccin 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 mdulos vale lo mismo que el producto escalar.

Propiedades del producto escalar[editar]

1. Conmutativa:

2. Distributiva respecto a la suma vectorial:

3. Asociatividad respecto al producto por un escalar m:

Expresin analtica del producto escalar[editar]

Si los vectores A y B se expresan en funcin de sus componentes cartesianas
rectangulares, tomando la base cannica en

formada por los vectores unitarios {i ,

j , k} tenemos:

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

Norma o Mdulo de un vector[editar]

Se define como la longitud del segmento orientado (vector) en el espacio
mtrico considerado.
Se calcula a travs del producto interno del vector consigo mismo.

Efectuado el producto escalar, tenemos:

de modo que

Por componentes, tomando la base cannica en

formada por los vectores

unitarios {i, j, k}

de modo que

Productos interiores definidos en espacios vectoriales usuales[editar]

Citamos a continuacin algunos productos estudiados generalmente en Teora de
Espacios Normados. Todos estos productos -llamados cannicos- son slo algunos de
los infinitos productos interiores que se pueden definir en sus respectivos espacios.

En el espacio vectorial

se suele definir el producto interior (llamado, en este

caso en concreto, producto punto) por:

En el espacio vectorial

Siendo

se suele definir el producto interior por:

el nmero complejo conjugado de

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

donde tr(A) es la traza de la matriz A y

es la matriz traspuesta de A.

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

complejos

donde tr(A) es la traza de la matriz B y

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:

En el espacio vectorial de los polinomios de grado menor o

igual a n:

Dado

tal

que

Generalizaciones[editar]

Formas cuadrticas[editar]
Dada una forma bilineal simtrica
vectorial

definida sobre un espacio

puede definirse un producto escalar diferente del

producto escalar eucldeo mediante la frmula:

Donde:

es una base del espacio vectorial

Puede comprobarse que la operacin
anterior

satisface todas las propiedades

que debe satisfacer un producto escalar.

Tensores mtricos[editar]
Se pueden definir y manejar espacio no-eucldeos o ms
exactamente variedades de Riemann, es decir, espacios
no-planos con un tensor de curvatura diferente de cero,
en los que tambin podemos definir longitudes, ngulos y
volmenes. En estos espacios ms generales se adopta
el concepto de geodsica en lugar del de segmento para
definir las distancias ms cortas en entre puntos y,
tambin, se modifica ligeramente la definicin operativa
del producto escalar habitual introduciendo un tensor
mtrico

, tal que la restriccin del

tensor a un punto de la variedad de Riemann es una

forma bilineal

As, dados dos vectores campos vectoriales

del

espacio tangente a la variedad de Riemann se define su

producto interno o escalar como:

La longitud de una curva rectificable C entre dos puntos A

y B se puede definir a partir de su vector tangente
la siguiente manera:

de