En matemáticas , un producto es el resultado de una multiplicación o una expresión que identifica objetos (números o variables ) que se van a multiplicar, llamados factores . Por ejemplo, 21 es el producto de 3 y 7 (resultado de la multiplicación), y es el producto de y (lo que indica que los dos factores deben multiplicarse entre sí). Cuando un factor es un número entero , el producto se denomina múltiplo .
El orden en que se multiplican los números reales o complejos no tiene relación con el producto; esto se conoce como la ley conmutativa de la multiplicación. Cuando se multiplican matrices o miembros de otras álgebras asociativas , el producto suele depender del orden de los factores. La multiplicación de matrices , por ejemplo, no es conmutativa, y lo mismo ocurre con la multiplicación en otras álgebras en general.
Hay muchos tipos diferentes de productos en matemáticas: además de poder multiplicar simplemente números, polinomios o matrices, también se pueden definir productos sobre muchas estructuras algebraicas diferentes .
En su origen, un producto era y es todavía el resultado de la multiplicación de dos o más números . Por ejemplo, 15 es el producto de 3 por 5. El teorema fundamental de la aritmética establece que todo número compuesto es un producto de números primos , es decir, único hasta el orden de los factores.
Con la introducción de la notación matemática y las variables a finales del siglo XV, se hizo común considerar la multiplicación de números que no están especificados ( coeficientes y parámetros ) o que se deben encontrar ( incógnitas ). Estas multiplicaciones que no se pueden realizar de manera efectiva se denominan productos . Por ejemplo, en la ecuación lineal, el término denota el producto del coeficiente por la incógnita.
Más tarde, y sobre todo a partir del siglo XIX, se introdujeron nuevas operaciones binarias que no implican números y que se denominaron productos ; por ejemplo, el producto escalar . La mayor parte de este artículo está dedicada a estos productos no numéricos.
El operador de producto para el producto de una secuencia se denota con la letra griega mayúscula pi Π (en analogía con el uso de la letra Sigma mayúscula Σ como símbolo de suma ). [1] Por ejemplo, la expresión es otra forma de escribir . [2]
El producto de una secuencia que consta de un solo número es ese mismo número; el producto de ningún factor se conoce como producto vacío y es igual a 1.
Los anillos conmutativos tienen una operación producto.
Se pueden agregar clases de residuos en los anillos :
y multiplicado:
Dos funciones de los reales a sí mismo se pueden multiplicar de otra manera, llamada convolución .
Si
entonces la integral
Está bien definida y se llama convolución.
Bajo la transformada de Fourier , la convolución se convierte en una multiplicación de funciones punto por punto.
El producto de dos polinomios viene dado por la siguiente:
con
Existen muchos tipos diferentes de productos en álgebra lineal. Algunos de ellos tienen nombres confusamente similares ( producto externo , producto exterior ) con significados muy diferentes, mientras que otros tienen nombres muy diferentes (producto externo, producto tensorial, producto de Kronecker) y, sin embargo, transmiten esencialmente la misma idea. En las siguientes secciones se ofrece una breve descripción general de estos.
Por la propia definición de un espacio vectorial, se puede formar el producto de cualquier escalar con cualquier vector, dando una función .
Un producto escalar es un mapa bilineal:
con las siguientes condiciones, que para todos .
A partir del producto escalar, se puede definir una norma dejando .
El producto escalar también permite definir un ángulo entre dos vectores:
En el espacio euclidiano -dimensional, el producto escalar estándar (llamado producto escalar ) viene dado por:
El producto vectorial de dos vectores en tres dimensiones es un vector perpendicular a los dos factores, con una longitud igual al área del paralelogramo abarcado por los dos factores.
El producto vectorial también se puede expresar como el determinante formal [a] :
Una aplicación lineal se puede definir como una función f entre dos espacios vectoriales V y W con un campo subyacente F , que satisface [3]
Si sólo se consideran espacios vectoriales de dimensión finita, entonces
en donde b V y b W denotan las bases de V y W , y v i denota el componente de v en b V i , y se aplica la convención de suma de Einstein .
Ahora consideremos la composición de dos aplicaciones lineales entre espacios vectoriales de dimensión finita. Sea la aplicación lineal f la que asigna V a W y la aplicación lineal g la que asigna W a U. Entonces se puede obtener
O en forma matricial:
en el que el elemento de fila i, columna j de F , denotado por F ij , es f j i , y G ij =g j i .
La composición de más de dos aplicaciones lineales se puede representar de manera similar mediante una cadena de multiplicación de matrices.
Dadas dos matrices
Su producto viene dado por
Existe una relación entre la composición de funciones lineales y el producto de dos matrices. Para ver esto, sean r = dim(U), s = dim(V) y t = dim(W) las dimensiones (finitas) de los espacios vectoriales U, V y W. Sean una base de U, una base de V y una base de W. En términos de esta base, sean la matriz que representa f : U → V y la matriz que representa g : V → W. Entonces
es la matriz que representa .
En otras palabras: el producto matricial es la descripción en coordenadas de la composición de funciones lineales.
Dados dos espacios vectoriales de dimensión finita V y W , el producto tensorial de ellos se puede definir como un tensor (2,0) que satisface:
donde V * y W * denotan los espacios duales de V y W. [4 ]
Para espacios vectoriales de dimensión infinita, también se tiene:
El producto tensorial, el producto externo y el producto de Kronecker transmiten la misma idea general. Las diferencias entre ellos son que el producto de Kronecker es simplemente un producto tensorial de matrices, con respecto a una base previamente fijada, mientras que el producto tensorial suele darse en su definición intrínseca . El producto externo es simplemente el producto de Kronecker, limitado a vectores (en lugar de matrices).
En general, siempre que se tengan dos objetos matemáticos que se puedan combinar de una manera que se comporte como un producto tensorial de álgebra lineal, entonces esto puede entenderse de manera más general como el producto interno de una categoría monoidal . Es decir, la categoría monoidal captura precisamente el significado de un producto tensorial; captura exactamente la noción de por qué los productos tensoriales se comportan de la manera en que lo hacen. Más precisamente, una categoría monoidal es la clase de todas las cosas (de un tipo dado ) que tienen un producto tensorial.
Otros tipos de productos en álgebra lineal incluyen:
En teoría de conjuntos , un producto cartesiano es una operación matemática que devuelve un conjunto (o conjunto producto ) a partir de múltiples conjuntos. Es decir, para los conjuntos A y B , el producto cartesiano A × B es el conjunto de todos los pares ordenados (a, b) , donde a ∈ A y b ∈ B. [5]
La clase de todas las cosas (de un tipo determinado ) que tienen productos cartesianos se denomina categoría cartesiana . Muchas de ellas son categorías cartesianas cerradas . Los conjuntos son un ejemplo de tales objetos.
El producto vacío de números y la mayoría de las estructuras algebraicas tiene el valor 1 (el elemento identidad de la multiplicación), al igual que la suma vacía tiene el valor 0 (el elemento identidad de la adición). Sin embargo, el concepto de producto vacío es más general y requiere un tratamiento especial en lógica , teoría de conjuntos , programación informática y teoría de categorías .
Los productos sobre otros tipos de estructuras algebraicas incluyen:
Algunos de los productos anteriores son ejemplos de la noción general de un producto interno en una categoría monoidal ; el resto se pueden describir mediante la noción general de un producto en la teoría de categorías .
Todos los ejemplos anteriores son casos especiales o ejemplos de la noción general de producto. Para el tratamiento general del concepto de producto, véase producto (teoría de categorías) , que describe cómo combinar dos objetos de algún tipo para crear un objeto, posiblemente de un tipo diferente. Pero además, en la teoría de categorías, se tiene: