Producto escalar

operación algebraica que toma dos secuencias de números de igual longitud y retorna un único número.
(Redirigido desde «Producto interno»)

En matemáticas, el producto escalar,[1][2][3][4]​ también conocido como producto interno o producto punto, es una operación algebraica que toma dos vectores y retorna un escalar, y que satisface ciertas condiciones.

Representación del producto escalar en el espacio euclideo.

De entre todos los productos que se pueden definir en distintos espacios vectoriales, el más relevante es el denominado producto escalar (usual o estándar)[5]​ en el espacio euclideo . Dados dos vectores y , su producto escalar se define como

,

o sea, la suma de los productos componente por componente.[6]​ Esta expresión equivale al producto matricial de una matriz fila y de una matriz columna, por lo que también se puede escribir el producto escalar usual como

,

donde se sigue el convenio de escribir los vectores en columna y representa la transpuesta de .

El valor numérico del producto escalar es igual al producto de los módulos de los dos vectores y del coseno del ángulo entre ellos, lo que permite utilizar el producto escalar para estudiar conceptos típicos de la geometría euclídea en dos y tres dimensiones, como las longitudes, los ángulos y la ortogonalidad. 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, a los que pueden trasladarse estos mismos conceptos geométricos. Los espacios vectoriales dotados de producto interior reciben el nombre de espacios prehilbertianos.

El nombre del producto punto se deriva del símbolo que se utiliza para denotar esta operación (« · »). El nombre de producto escalar enfatiza el hecho de que el resultado es un escalar en lugar de un vector, a diferencia por ejemplo del producto vectorial. Ambas denominaciones se suelen reservar para el producto escalar usual, mientras que en el caso general es más frecuente el uso de la expresión producto interno.

Definición editar

Definición por coordenadas editar

Dados dos vectores   y   de  , de coordenadas   y   respectivamente, y donde las coordenadas vienen dadas respecto de una base ortonormal, el producto escalar   se define como

 

Usando matrices editar

Si se identifica los vectores   y   con las matrices columna de sus coordenadas, el producto escalar se puede ver como un producto matricial:

 

donde   denota la traspuesta de  , entendido como matriz.

Definición geométrica editar

Si se describen los vectores geométricamente, en términos de su módulo, dirección y sentido, es posible definir el producto escalar de forma que tenga una interpretación geométrica. En   o  , los vectores se pueden representar como flechas, cuya longitud es el módulo del vector y que apuntan en la dirección y sentido del vector. Si se representan los vectores como partiendo de un mismo punto, sus flechas formarán un ángulo.

Denotando el módulo de un vector   como  , el producto escalar de dos vectores   y   se define como

 

donde   es el ángulo que forman los dos vectores   y  .

Relación con las propiedades de los vectores editar

Módulo de un vector editar

El producto escalar de un vector consigo mismo equivale a la suma de los cuadrados de sus componentes:

 

Al tratarse de una suma de cuadrados, todos los sumandos son no-negativos, y solo es cero cuando todas las componentes son cero, es decir, cuando U es el vector nulo. En otro caso es un número real positivo que, por aplicación sucesiva del teorema de Pitágoras, equivale al cuadrado de la distancia entre el origen de coordenadas y el punto extremo del vector U. En resumen:

 

o dicho de otro modo, el módulo (o norma) del vector U es la raíz cuadrada del producto escalar de U consigo mismo.[7]

Un vector de módulo igual a la unidad se denomina vector unitario, y es usual denotarlo con un acento circunflejo, como  . Siempre es posible obtener un vector unitario en la dirección de cualquier vector no nulo v, multiplicándolo por el inverso de su norma. A este proceso se le denomina normalización del vector v.[8]

Ángulo entre dos vectores editar

 
Triángulo definido por dos vectores u y v.

Aplicando el teorema del coseno al triángulo definido por dos vectores u y v, se tiene que

 

que se puede reescribir como

 

El cuadrado de la norma de cada uno de estos vectores es:

 
 
 

Sustituyendo en la expresión anterior, y puesto que  , tras cancelar todos los sumandos de la forma   y   solo queda

 

de donde, si la norma de ambos vectores es distinta de cero, se puede despejar[9]

 

El denominador de esta expresión es siempre positivo, con lo que el signo del producto escalar coincide con el del coseno del ángulo  . El producto escalar es positivo cuando este ángulo es menor que el ángulo recto, y es negativo cuando el ángulo es mayor.[10]

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

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 dirección editar

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.

 


Proyección de un vector sobre otro editar

 
Proyección

La proyección ortogonal de un vector u sobre (la dirección de) un vector v, distinto del vector nulo, se define como el vector paralelo a v que resulta de proyectar u sobre el subespacio generado por v. En otras palabras, es la sombra que proyecta un vector sobre el otro.

El módulo de la proyección del vector u sobre la dirección del vector v es  , con lo cual

 

esto es, 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.

En consecuencia, la proyección se puede calcular como el producto punto entre ambos vectores, dividido entre la magnitud del vector v al cuadrado, multiplicado por el vector v:[11]

 .

Por ejemplo, en el caso del espacio euclideo en dos dimensiones, la proyección del vector u=(4, 5) sobre el vector v= (5, -2) es el vector

 

En el caso particular de que se considere la dirección de un vector unitario e, la expresión para la proyección de un vector u sobre e toma la forma simplificada

 .

Las expresiones anteriores son utilizadas en el método de Gram-Schimdt para obtener una base ortonormal.


Definición general editar

En un espacio vectorial, un producto interno es una aplicación

 

donde   es un espacio vectorial y   el cuerpo ordenado sobre el que está definido,   o  .[12]​ La operación binaria   (que toma como argumentos dos elementos de  , y devuelve un elemento del cuerpo  ) debe satisfacer las siguientes condiciones:

  1. Linealidad por la izquierda:  , y linealidad conjugada por la derecha:  .
  2. Hermiticidad:  .
  3. Definida positiva:  , y   si y solo si x = 0,

donde   son vectores,   son escalares, y   es el conjugado del escalar complejo c.[13]

En consecuencia, un producto interno definido en un espacio vectorial es una forma sesquilineal, hermítica y definida positiva. Si el cuerpo subyacente   tiene parte imaginaria nula (p. ej.,  ), la propiedad de ser sesquilineal se convierte en ser bilineal y el ser hermítica se convierte en ser simétrica. Por tanto, en un espacio vectorial real, un producto interno es una forma bilineal simétrica definida positiva.

Alternativamente, se suele representar la operación mediante el símbolo del punto ( ), con lo que el producto de los vectores   y   se representa como  .

Un espacio vectorial sobre el cuerpo   o   dotado de un producto interno se denomina espacio prehilbert, espacio prehilbertiano o espacio unitario.[14]​ 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.

Todo producto interno induce una forma cuadrática, que es definida positiva, y viene dada por el producto de un vector consigo mismo. Así mismo, induce una norma vectorial de la siguiente manera:

 

es decir, la norma de un vector es la raíz cuadrada de la imagen de dicho vector bajo la forma cuadrática asociada.[15]

Ejemplos de productos internos editar

Citamos a continuación algunos productos estudiados generalmente en la teoría de los espacio prehilbertianos. Todos estos productos —llamados canónicos— son solo algunos de los infinitos productos internos que se pueden definir en sus respectivos espacios.

  • En el espacio vectorial   se suele definir el producto interno (llamado, en este caso en concreto, producto punto) por:
 .
  • En el espacio vectorial   se suele definir el producto interno por:
 .
donde   es el número complejo conjugado de  .
  • En el espacio vectorial de las matrices de m x n, con entradas reales
 
donde tr(M) es la traza de la matriz M y   es la matriz traspuesta de  .
  • En el espacio vectorial de las matrices de m x n , con entradas complejas
 
donde tr(M) es la traza de la matriz M y   es la matriz traspuesta conjugada de A.
  • En el espacio vectorial de las funciones complejas continuas en el intervalo acotado por a y b, denotado por  :
 .
  • En el espacio vectorial de los polinomios de grado menor o igual a n, dados n+1 números   tales que   :
 .

Propiedades del producto interno editar

Sean A, B y C vectores, y sean   y   escalares:

 

  • Es un forma hermitiana:

 

En un espacio vectorial real, esta condición se reduce a

 

por lo que en este caso el producto interno es conmutativo (o simétrico).
  • Las dos propiedades anteriores combinadas siginifican que el producto interior es sesquilineal:

 

de nuevo, en el caso real, esta propiedad se reduce a la linealidad en el segundo operando.

 

 

  • Positividad: en espacios vectoriales reales o complejos, el producto interno de un vector consigo mismo es un número real no negativo:

 

En consecuencia, es posible definir una norma vectorial de valor  , que está definida para todos los vectores del espacio y cumple todos los axiomas requeridos.[16]​ Por tanto, todo espacio prehilbertiano es un espacio normado. En el producto escalar usual, la norma asociada equivale a la longitud del vector en el espacio euclídeo.

 

En consecuencia, para dos vectores no nulos A y B se tienen las desigualdades:

 

En el producto escalar usual, este cociente es igual al coseno del ángulo entre los dos vectores. Ello lleva a definir el concepto de ángulo en espacios vectoriales arbitrarios como el ángulo   tal que[18]

 

El producto escalar usual en el espacio euclídeo real editar

Expresión analítica editar

Sean los vectores   y   en el espacio euclideo tridimensional  . El producto escalar de   y   se define como el producto matricial:

 

Si se expresan los vectores mediante sus coordenadas respecto de cierta base  , por aplicación de las propiedades del producto escalar, este toma la forma

     
   

La expresión anterior puede condensarse en forma matricial como

 

donde A es la matriz de Gram del producto, cuyas entradas son los productos escalares de los vectores de la base:  . En el caso particular de que la base sea ortonormal, la matriz de Gram es la matriz identidad.

Las expresiones anteriores se pueden generalizar a espacios de n dimensiones. Si U y V son vectores en   entonces:

 

Análogamente, dadas las coordenadas de los vectores respecto de una base  , el producto viene dado por

 

donde la matriz de Gram A es de orden n x n.


Generalizaciones editar

Formas cuadráticas editar

Dada una forma bilineal simétrica   definida sobre un espacio vectorial   puede definirse un producto escalar diferente del producto escalar euclídeo mediante la fórmula:

 

Donde:

 
  es una base del espacio vectorial  

Puede comprobarse que la operación anterior   satisface todas las propiedades que debe satisfacer un producto escalar.

Tensores métricos editar

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  , tal que la restricción del tensor a un punto de la variedad de Riemann es una forma bilineal  .

Así, dados dos vectores campos vectoriales   y   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   de la siguiente manera:

 

Véase también editar

Referencias editar

Notas editar

  1. Burbano de Ercilla, Santiago; Burbano Garcia, Enrigue; Gracia Muñoz, Carlos (2003). «II-12». Física general (32 edición). Editorial Tébar, SL. p. 41. ISBN 978-84-9544-782-1. 
  2. Ríder Moyano, Alfonso; Raya Saro, Andrés; Rubio Ruiz, Rafael María (2007). «0.1». Álgebra y Geometría Cuadrática. Editorial: Netbiblo, SL. p. 13. ISBN 978-84-9745-171-0. 
  3. Ibáñez Mengual, José Antonio; Martín Rodríguez, Ernesto; Zamarron Minguell, José M. (1989). «1.4.3.1». Física (4 edición). Universidad de Murcia. p. 23. ISBN 84-7684-188-4. 
  4. Navarro Llinares, Juan Francisco (2009). «3.1». Álgebra lineal. Universidad de Alicant. p. 105. ISBN 978-84-9717-057-4. 
  5. Meyer, 2000, p. 271.
  6. Strang, 2009, p. 11.
  7. Strang, 2009, p. 12.
  8. Meyer, 2000, p. 270.
  9. Hernández, 1994, p. 156. La prueba se desarrolla para el caso de dos dimensiones.
  10. Strang, 2009, p. 14.
  11. Strang, 2009, p. 208.
  12. Diccionario de matemáticas. ISBN 84-8055-355-3
  13. Meyer, 2000, p. 286.
  14. Lugovaia y Sherstniov, 2013, p. 35.
  15. Meyer, 2000, p. 288.
  16. Horn y Johnson, 2013, p. 316.
  17. Meyer, 2000, p. 287.
  18. Strang, 2009, p. 15-16.

Bibliografía editar

Enlaces externos editar