Producto escalar

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 general

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

donde es un espacio vectorial y el cuerpo sobre el que está definido.[7] 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.[8]

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 interior 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.[9] 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.[10]

Ejemplos de productos internos

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 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 se suele definir el producto interior 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

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.[11] 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[13]

El producto escalar usual en el espacio euclídeo real

Expresión analítica

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, éste 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.

Módulo de un vector

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.[14]

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.[15]

Ángulo entre dos vectores

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[16]

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.[17]

Definición geométrica

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

La expresión anterior para el coseno del ángulo entre los vectores se puede utilizar para dar una definición alternativa del producto escalar. 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. Sin embargo, es equivalente a la definición analítica expuesta anteriormente, dada en función de los componentes de dichos vectores.

El producto escalar de dos vectores en un espacio euclídeo, denotado usualmente como , se define geométricamente como el producto de sus módulos por el coseno del ángulo que forman.

Proyección de un vector sobre otro

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:[18]

.

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.


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 .

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.

Generalizaciones

Formas cuadráticas

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

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

Referencias

Notas

  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. Diccionario de matemáticas. ISBN 84-8055-355-3
  8. Meyer, 2000, p. 286.
  9. Lugovaia y Sherstniov, 2013, p. 35.
  10. Meyer, 2000, p. 288.
  11. Horn y Johnson, 2013, p. 316.
  12. Meyer, 2000, p. 287.
  13. Strang, 2009, p. 15-16.
  14. Strang, 2009, p. 12.
  15. Meyer, 2000, p. 270.
  16. Hernández, 1994, p. 156. La prueba se desarrolla para el caso de dos dimensiones.
  17. Strang, 2009, p. 14.
  18. Strang, 2009, p. 208.

Bibliografía

  • Ortega, Manuel R. (1989-2006). Lecciones de Física (4 volúmenes). Monytex. ISBN 84-404-4290-4, ISBN 84-398-9218-7, ISBN 84-398-9219-5, ISBN 84-604-4445-7 |isbn= incorrecto (ayuda).
  • Resnick,Robert & Krane, Kenneth S. (2001). Physics (en inglés). Nueva York: John Wiley & Sons. ISBN 0-471-32057-9.
  • Serway, Raymond A.; Jewett, John W. (2004). Physics for Scientists and Engineers (en inglés) (6.ª edición). Brooks/Cole. ISBN 0-534-40842-7.
  • Tipler, Paul A. (2000). Física para la ciencia y la tecnología (2 volúmenes). Barcelona: Ed. Reverté. ISBN 84-291-4382-3.
  • Navarro Camacho, Jorge y otros (julio de 2007). Cuerpo de Profesores de Enseñanza Secundaria ; Matemáticas (Volumen III). MAD. ISBN 84-665-7931-1.
  • Marsden, J.E.;Tromba, A.J. (2004). Cálculo vectorial (5.ª edición). Pearson educación, S.A. ISBN 84-7829-069-9.
  • Reinhardt, Fritz;Soeder,Heinrich (1984). Atlas de matemáticas 1.Fundamentos,álgebra y geometría (2 tomos) (en alemán). traducción:Vázquez Suárez,Juan Luis;Rodríguez Artalejo, Mario. Alianza universidad. ISBN 84-206-6998-9.
  • Hoffman, Kenneth;Kunze, Ray (2015). Linear Algebra (en inglés) (2ª edición). Pearson India. ISBN 978-9332550070.
  • Meyer, Carl D. (2000). Matrix Analysis and Applied Linear Algebra (en inglés). SIAM. ISBN 978-0898714548.
  • Lugovaia, G.D.; Sherstniov, A.N. (2013). Análisis funcional. Krasand. ISBN 978-5396005266.
  • Strang, Gilbert (2009). Introduction to Linear Algebra (en inglés) (4ª edición). Wellesley. ISBN 978-0980232714.
  • Horn, Roger A.; Johnson, Charles E. (2013). Matrix Analysis (en inglés) (2ª edición). Cambridge University Press. ISBN 978-0521548236.
  • Hernández, Eugenio (1994). Álgebra y geometría. Addison Wellesley. ISBN 0201625865.

Enlaces externos

  • Ver el portal sobre Matemática Portal:Matemática. Contenido relacionado con Matemática.
  • Ver el portal sobre Física Portal:Física. Contenido relacionado con Física.
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.