Faculteitssysteem

Het faculteitssysteem of faculteitsstelsel is een bijzonder talstelsel. Het is een positiestelsel, maar niet op de gebruikelijke wijze. In het faculteitssysteem vertegenwoordigt een positie niet een macht van een grondtal, maar de faculteit van de positie. Met oplopende positie kunnen dus steeds meer "cijfers" gebruikt worden. De bijdrage van het cijfer c op positie <math>k</math> is dus <math>c\cdot k!</math>. Om eenduidigheid te garanderen, mag op positie <math>k</math> maximaal het "cijfer" <math>k</math> gebruikt worden.

Het getal dcba in dit stelsel is dus het getal:

<math>d\cdot 4!+c\cdot 3! + b\cdot 2! + a \cdot 1!</math>,

waarin <math>d</math> maximaal 4, <math>c</math> maximaal 3, <math>b</math> maximaal 2 en <math>a</math> 0 of 1 kan zijn.

Definitie

In het faculteitssysteem wordt een getal voorgesteld door een rij "cijfers" <math>c_nc_{n-1}\ldots c_2c_1</math>, met <math>0 \le c_k \le k</math>, en de betekenis:

<math>c_nc_{n-1}\ldots c_2c_1 =\sum_{k=1}^n c_k k!</math>

Voorbeeld

Het getal 2210_! = 2·4! + 2·3! + 1·2! +0·1! = 62 (decimaal).

Eenduidigheid

Het faculteitssysteem is eenduidig, elk getal kan maar op één manier in het faculteitssysteem worden geschreven. Dit berust op de volgende betrekking:

<math>\sum_{k=1}^n {k\cdot k!} = (n+1)!-1</math>

Het bewijs volgt direct via volledige inductie, want

<math>\sum_{k=1}^1 {k\cdot k!} = 1\cdot 1!=(1+1)!-1</math>

en

<math>\sum_{k=0}^n {k\cdot k!} +(n+1)(n+1)!= (n+1)!-1 +(n+1)(n+1)!=(n+2)!-1</math>