Productorio

notación matemática que representa una multiplicación de una cantidad arbitraria
(Redirigido desde «Productoria»)

El productorio o productoria, también conocido como multiplicatorio, multiplicatoria, producto o infrecuentemente pitatoria o pitatorio (por denotarse como una letra pi mayúscula), es una notación matemática que representa una multiplicación de una cantidad arbitraria (finita o infinita).

Letra pi mayúscula, notación del productorio.

Notación

editar

La notación se expresa con la letra griega pi mayúscula Π de la siguiente manera:

Para todos los valores m < n

 

Si m = n tenemos que:

 

En el caso de que m sea mayor que n, m > n, se le asigna el valor del elemento neutro de la multiplicación, el uno:

 

Se puede definir por inducción como sigue.

1. Se define

 

2. Supuesta definida para un n ≥ 1 fijo, se define

 

Ejemplo

editar

Se puede usar el productorio para definir otras igualdades importantes. Así, tomando n=1 y aplicando la segunda igualdad se obtiene:

 .

Definida para n=2, se puede aplicar otra vez la segunda igualdad con n=2 para luego obtener

 .

Así, usando la propiedad asociativa de la multiplicación, el producto   es el mismo que   y, por lo tanto, podemos prescindir del uso de paréntesis sin peligro de confusión y usar simplemente

 .

Se puede entonces, usar este razonamiento para cualquier   sin que haya peligro de confusión.

Otro ejemplo de productorio muy conocido es el que se utiliza para definir n! (n factorial) como sigue:

 

Se define  

Propiedades

editar

Se puede usar el método de inducción matemática para demostrar algunas propiedades. Para ello, nos basaremos en la definición formal por inducción descrita anteriormente.

Propiedad Multiplicativa

editar
 

Demostración por Inducción i) Tomemos n=1 y veamos si se cumple la igualdad

 

y la igualdad es cierta para n=1

ii) Supongámosla cierta para n y analicémosla para n+1

 
 

(Definición por inducción)

 

(Asociatividad en IR) Luego,

 

Propiedad Telescópica

editar
 

Demostración por Inducción

i) Analicemos para n=1

 

ii) Supongámosla cierta para n y analicémosla para n+1

  (Definición por inducción)

Luego,

 

que es lo que queríamos demostrar.

Nótese que nuestra exigencia era que para cada  ,  . En particular, para  ,  . Luego la simplificación es posible y

 .

Véase también

editar

Enlaces externos

editar