FACTORIAL

MATEMTICO
Definicin
La funcin factorial es formalmente definida mediante el producto
.
La multiplicacin anterior se puede simbolizar tambin utilizando el operador
productorio:

.
Tambin es posible definirlo mediante la relacin de recurrencia

En esta segunda definicin el dominio de la funcin es el conjunto de los enteros no

negativos 0 y el codominio es el conjunto de los enteros positivos +.1 En este caso
hay una sucesin recurrente, el clculo sucesivo de sus elementos se llama proceso
recurrente y la igualdad n! = (n - 1)!n se nombra ecuacin recurrente.2
Todas las definiciones anteriores incorporan la premisa de que

Cero factorial
La definicin indicada de factorial es vlida para nmeros positivos. Es posible extender
la definicin a otros contextos introduciendo conceptos ms sofisticados, en especial es
posible definirla para cualquier nmero real excepto para los nmeros enteros negativos
y para cualquier nmero complejo exceptuando de nuevo los nmeros enteros
negativos.
Una extensin comn, sin embargo, es la definicin de factorial de cero. De acuerdo
con la convencin matemtica de producto vaco, el valor de 0! debe definirse como:

Es posible, sin embargo, dar un argumento intuitivo para justificar la eleccin, como
sigue:

Para cada nmero entero positivo n mayor que 1, es posible determinar el valor
del factorial anterior mediante el uso de la siguiente identidad:

vlida para todo nmero mayor o igual que 1.

As, si se conoce que 5! es 120, entonces 4! es 24 porque

y por tanto 3! debe ser necesariamente 6 puesto que

El mismo proceso justifica el valor de 2! = 2 y 1!=1 ya que:

Si aplicamos la misma regla para el caso extremo en que n!=1 tendramos que 0!
corresponde a:

Aunque el argumento puede resultar convincente, es importante tener en cuenta que no

es ms que un argumento informal y que la razn real por la cual se toma la convencin
de 0! = 1 es por ser un caso especial de la convencin de producto vaco usada en
muchas otras ramas de las matemticas.