Analogues de la factorielle : Mathématique

D	L	M	M	J	V	S
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30

« Mathématiques discrètes | Page d'accueil | Corps (mathématiques) »

01/12/2010

Analogues de la factorielle

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, de nombreuses fonctions analogues à la fonction factorielle ont été définies ; cette page recense les variantes les plus fréquemment rencontrées.

Sommaire

[masquer]

Primorielle [modifier]

La fonction primorielle est similaire à la fonction factorielle, mais ne prend en compte que le produit des nombres premiers.

Multifactorielles [modifier]

Afin d'alléger l'écriture, une notation courante est d'utiliser plusieurs points d'exclamation pour noter une fonction multifactorielle, le produit d'un facteur sur deux (n!!), sur trois (n!!!) ou plus.

n!!, la double factorielle de n, est définie de façon récurrente par :

$n!!= left{ begin{matrix} 1,qquadquad &&mbox{si }n=0mbox{ ou }n=1; \ n((n-2)!!)&&mbox{si }nge2.qquadqquad end{matrix} right.$

Par exemple :

$3!! = 3 times 1 = 3$
$4!! = 4 times 2 = 8$
$5!! = 5 times 3 times 1 = 15$
$6!! = 6 times 4 times 2 = 48$
$7!! = 7 times 5 times 3 times 1 = 105$
$n!! = n times (n-2) times (n-4) times cdots$

Certaines identités découlent de la définition :

$n!=n!!(n-1)!! ,$

$(2n)!!=2^nn! ,$

$(2n+1)!!={(2n+1)!over(2n)!!}={(2n+1)!over2^nn!}$

$Gammaleft(n+{1over2}right)=sqrtpi{(2n-1)!!over2^n}$

Il faut faire attention de ne pas interpréter n!! comme la factorielle de n!, qui serait écrite (n!)! et est un nombre largement plus grand. Certains mathématiciens ont suggéré la notation alternative n!₂ pour la double factorielle et d'une façon similaire n!_n pour les autres multifactorielles, mais cet usage ne s'est pas répandu.

La double factorielle est la variante la plus commune, mais il est possible de définir de façon similaire la triple factorielle, etc. De façon générale, la k^e factorielle, notée n!^(k), est définie de façon récurrente par :

$n!^{(k)}= left{ begin{matrix} 1,qquadqquad &&mbox{si }0le n<k; \ n(n-k)!^{(k)},&&mbox{si }nge k.quad , end{matrix} right.$

Hyperfactorielle [modifier]

L'hyperfactorielle de n, notée H(n), est définie par :

$H(n) =prod_{k=1}^n k^k =1^1cdot2^2cdot3^3cdots(n-1)^{n-1}cdot n^n.$

Pour n = 1, 2, 3, 4,... les valeurs de H(n) sont 1, 4, 108, 27 648,... (suite A002109 de l’OEIS).

La fonction hyperfactorielle est similaire à la fonction factorielle, mais produit de plus grands nombres. Sa croissance est en revanche comparable.

Superfactorielle [modifier]

Neil Sloane et Simon Plouffe ont défini la superfactorielle en 1995 comme le produit des n premières factorielles :

$mathrm{sf}(n) =prod_{k=1}^n k! =prod_{k=1}^n k^{n-k+1} =1^ncdot2^{n-1}cdot3^{n-2}cdots(n-1)^2cdot n^1.$

Par exemple, la superfactorielle de 4 est :

$mathrm{sf}(4)=1! times 2! times 3! times 4!=288 ,$

La suite des superfactorielles débute (depuis n = 0) par :

1, 1, 2, 12, 288, 34560, 24883200, ... voir (suite A000178 de l’OEIS)

L'idée fut étendue en 2000 par Henry Bottomley à la superduperfactorielle, produit des n premières superfactorielles, débutant (depuis n = 0) par :

1, 1, 2, 24, 6912, 238878720, 5944066965504000, ... voir (suite A055462 de l’OEIS)

puis, par récurrence, à n'importe quelle factorielle de niveau supérieur, où la factorielle de niveau m de n est le produit des n premières factorielles de niveau m-1, c’est-à-dire, en notant $f (n, m)$ la factorielle de n de niveau m :

$mathrm{f}(n,m) = mathrm{f}(n-1,m)mathrm{f}(n,m-1) =prod_{k=1}^n k^{n-k+m-1 choose n-k}$

où $f(n,0) = n$ pour $n > 0$ et $f(0, m) = 1$ .

Superfactorielle (définition alternative) [modifier]

Clifford Pickover, dans son livre Keys to Infinity (1995), définit la superfactorielle de n, notée n$ ($ étant un signe factoriel ! portant un S superposé), comme :

$n$equiv begin{matrix} underbrace{ n!^{{n!}^{{cdot}^{{cdot}^{{cdot}^{n!}}}}}} \ n! end{matrix}$ ,

ou, en utilisant la notation de Knuth :

$n$=(n!)uparrowuparrow(n!) ,$ .

Les premiers éléments de la suite des superfactorielles sont :

$1$=1$

$2$=2^2=4$

$3$=6uparrowuparrow6=6^{6^{6^{6^{6^6}}}} !=8.02times 10^{6050}$

Sous-factorielle [modifier]

La fonction sous-factorielle, notée !n, sert à calculer le nombre de permutations possible de n objets distincts de manière à ce qu'aucun objet ne se trouve à sa place.

Par exemple, il existe !n façon de glisser n lettres dans n enveloppes affranchies et adressées de manière à ce qu'aucune des lettres ne soit dans la bonne enveloppe.

Il existe différentes façons de calculer la sous-factorielle

$!n = n! sum_{k=0}^n frac {(-1)^k}{k!}$