- Producto vacío
-
Producto vacío
En matemáticas, un producto vacío es el resultado de multiplicar entre sí ningún número. Su valor numérico es 1, el elemento neutro del producto, de la misma manera que la suma vacía, que es el resultado de sumar entre sí ningún número, vale cero, el elemento neutro de la suma.[1] [2] [3]
El producto vacío se utiliza en matemáticas discretas, álgebra, el estudio de series de potencias y en la programación.
Contenido
Producto aritmético de cero factores
Ejemplos
Dos ejemplos frecuentes de producto vacío son a0 = 1 (cualquier número elevado a la potencia cero vale uno) y 0! = 1 (el factorial de cero vale uno).
También se puede hablar de producto vacío en el caso en que el índice inferior de un productorio es mayor que el índice superior, por ejemplo,
Como no existe ningún índice que satisfaga ambas condiciones, es decir, el intervalo [2,1] es vacío, el productorio no consta de ningún factor y por tanto vale uno.
Se pueden encontrar más ejemplos de producto vacío en los siguientes artículos: demostración de que e es irracional, factorial, factor primo, número de Stirling, operador diferencia, paradoja del cumpleaños, símbolo de Pochhammer, teorema binomial, teorema de König, teorema fundamental de la aritmética.
Justificación intuitiva
Imagine una calculadora que sólo puede multiplicar. Dispone, además de los botones correspondientes a las cifras del 0 al 9, de otros dos botones: "INTRO" y "BORRAR". Se pretende que, si introduce la secuencia "BORRAR - 7 - INTRO - 3 - INTRO - 4 - INTRO", el resultado leído en pantalla sea "84", porque 7×3×4=84. En general, se pretende que:
- la calculadora muestre un número justo después de que el usuario pulse la tecla "BORRAR".
- si hay un número en pantalla y el usuario introduce otro número, se muestre el producto.
- cuando se pulse la tecla "BORRAR" y después se introduzca una secuencia de números, la calculadora muestre su producto.
Entonces, el valor inicial tras pulsar la tecla "BORRAR" debe ser "1". Por tanto, el producto de cero factores vale 1.
Logaritmos
La definición de un producto vacío se puede derivar de la de la suma vacía:
La suma de dos logaritmos es igual al logaritmo del producto de sus operandos, es decir, para cualquier base b>0 se tiene:
y
y de forma más general
es decir, que el producto de todos los elementos de un conjunto es b elevado a la suma de los logaritmos de los elementos de ese conjunto.
Usando esta propiedad como definición y extendiéndola al producto vacío, el miembro derecho de esta ecuación vale b0 para el conjunto vacío, porque la suma vacía vale 0 por definición, y por tanto el producto vacío debe valer 1.
00
En teoría de conjuntos y combinatoria, el número cardinal nm es el tamaño del conjunto de funciones que va de un conjunto de tamaño m a un conjunto de tamaño n. Si m es positivo y n es cero, entonces no hay tales funciones porque no existen elementos del segundo conjunto que correspondan a elementos del primer conjunto. Entonces, 0m = 0 cuando m es positivo. Sin embargo, si los dos conjuntos son vacíos (su cardinal es 0), entonces hay una única función, la función vacía, que cumple la condición. Por este motivo, en estos campos de la matemática es frecuente definir 00 como 1 cuando representa un producto vacío.
Intersección nularia
Por motivos similares, la intersección de un conjunto vacío de subconjuntos de un conjunto X es por convención igual a X.
Producto cartesiano nulario
Considérese la definición general del producto cartesiano:
Si I es vacío, la única f que satisface la condición es la función vacía:
Por tanto, el cardinal del producto cartesiano de ningún conjunto es 1.
Según la interpretación más típica en n-uplas,
es decir, el conjunto unitario que contiene únicamente la dupla vacía. Nótese que en ambas representaciones el producto vacío tiene cardinal 1.
Referencias
- ↑ Jaroslav Nešetřil, Jiří Matoušek (1998). Invitation to Discrete Mathematics. Oxford University Press, pp. 12. ISBN 0-19-850207-9.
- ↑ A.E. Ingham and R C Vaughan (1990). The Distribution of Prime Numbers. Cambridge University Press, pp. 1. ISBN 0-521-39789-8.
- ↑ Serge Lang (2002). Algebra. Springer-Verlag, pp. 9. ISBN 0-387-95385-X.
Categoría: Aritmética elemental
Wikimedia foundation. 2010.