En matemáticas, el subfactorial de un número natural n, a veces escrito como !n, es el número de posibles desarreglos (permutación donde ninguno de sus elementos aparece en la posición original) de un conjunto con n elementos. En términos concretos, el subfactorial cuenta el número de formas diferentes en que n personas podrían cambiar por ejemplo: regalos, donde cada persona da un regalo a otra persona, y cada uno recibe exactamente otro regalo. El subfactorial es una función del conjunto de números naturales que devuelve un valor también natural.
La función subfactorial define la secuencia A000166 en OEIS.
El nombre “subfactorial” viene de la función factorial (usualmente escrita n!), la cual cuenta el número total de permutaciones de un elemento n de un conjunto. El valor del subfactorial es siempre menor o igual que el factorial correspondiente a mismo n:
![{\displaystyle !n\,\leq \,n!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37fe6782351ba9517fa08f095b7bd87ca8b8c325)
Computando los valores de la función Subfactorial
|
|
0 |
1
|
1 |
0
|
2 |
1
|
3 |
2
|
4 |
9
|
5 |
44
|
6 |
265
|
7 |
1.854
|
8 |
14.833
|
9 |
133.496
|
10 |
1.334.961
|
11 |
14.684.570
|
12 |
176.214.841
|
13 |
2.290.792.932
|
14 |
32.071.101.049
|
15 |
481.066.515.734
|
16 |
7.697.064.251.745
|
17 |
130.850.092.279.664
|
18 |
2.355.301.661.033.953
|
19 |
44.750.731.559.645.106
|
20 |
895.014.631.192.902.121
|
21 |
18.795.307.255.050.944.540
|
22 |
413.496.759.611.120.779.881
|
23 |
9.510.425.471.055.777.937.262
|
Los subfactoriales pueden ser calculados usando el principio de inclusión-exclusión.
![{\displaystyle !n=n!\sum _{k=0}^{n}{\frac {(-1)^{k}}{k!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e220e5aaaf5a6e76184fd241c554e074f69610ed)
También pueden ser calculados de las siguientes formas:
![{\displaystyle !n=\int _{0}^{\infty }(x-1)^{n}e^{-x}dx={\frac {\Gamma (n+1,-1)}{e}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9297b9c83ae5adb7e1fe3eb4b1a709ad75eb9ab7)
donde
denota la función gamma incompleta, y e es la constante de Euler; o
![{\displaystyle !n=\left[{\frac {n!}{e}}\right]\qquad {\mbox{ para }}n\geq 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea18a58d2a6aa10a27bf84f494dbceaeb18eb852)
donde
denota la función parte entera más cercana.
![{\displaystyle !n=!(n-1)\;n+(-1)^{n}\qquad {\mbox{ para }}n\geq 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4203b90c7e011434d695a8d5fc8cbb2e27f4636b)
![{\textstyle !n=(n-1)\;(!(n-1)+!(n-2))\qquad {\mbox{ para }}n\geq 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a10bb744b37720354d76e440836e2b2d7b575b5)
![{\displaystyle !n=(n-1)\;a_{n-2}\qquad {\mbox{ para }}n\geq 2,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/824161dab1f755b20bdb8f770eaf473c978b6ce9)
donde la secuencia
está dada por
y
; esta es la secuencia OEIS:A000255
Los subfactoriales también pueden ser calculados recursivamente:
![{\displaystyle !n=n!-\sum _{k=1}^{n}{n \choose k}(!(n-k))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ebde49665df0ebc4ea6de17ec37aed094f41815)
Intuitivamente, la expresión anterior puede deducirse a partir de las siguientes observaciones:
- Para
objetos existen un total de
permutaciones (primer término de la derecha).
- De los
objetos escogemos un número
objetos que mantendremos fijos (sumatorio en
).
- Existen un total de
formas posibles de fijar
objetos de una muestra de
.
- Asimismo, los
objetos no fijados pueden permutarse de
formas diferentes (término dentro del sumatorio).
Recursivamente, el factorial de un número puede calcularse partiendo de que
y
como
Miscelánea
La notación !n no es universalmente aceptada. Da ambigüedad a la notación de la función factorial si hay algún valor que precede al subfactorial, lo cual hace que usualmente se necesite un inusual ordenamiento de los factores (véase por ejemplo las fórmulas arriba), o paréntesis rodeando el subfactorial. Sin embargo, existen otras notaciones que carecen de esta ambigüedad, como Dn, dn, o n¡ (que usa el signo de exclamación invertido).[1]
El número 148349 es el único número que es igual a la suma de los subfactoriales de sus dígitos:
![{\displaystyle 148349=!1+!4+!8+!3+!4+!9}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9609098a2b8f2a526cb8aa2b15ae37b1b0acd75e)
El uso de subfactoriales a veces es permitido en el juego matemático llamado Cuatro cuatros, donde el hecho que !4 sea 9 es útil.
Referencias
- ↑ Ronald L. Graham, Donald E. Knuth, Oren Patashnik, Concrete Mathematics (1994), Addison–Wesley, Reading MA. ISBN 0-201-55802-5
- David Wells, The Penguin Dictionary of Curious and Interesting Numbers (2nd ed 1997) ISBN 0 14 026149 4, p.104