Wie gewohnt lassen[ n ] = { 1 , 2 , … , n }
, und lassS= [ n ] ∪ { 0 }
. LassenF
sei die Menge der Funktionen ausS
Zu[ n ]
. WennF∈ F
, lassen
k ( f) = min { k ∈ S: ∃ ℓ < k( F( k ) = f( ℓ ) },
und lassK( F) = { f( ℓ ) : ℓ = 0 , … , k − 1 }
; beachten Sie, dass| K( F) | = k ( f)
.
Fürk ∈ S
lassenFk= { f∈ F: k ( f) = k }
. Für eine FunktionF∈Fk
es gibt(Nk)
Möglichkeiten, das Set zu wählenK( F)
Undk !
Bijektionen aus{ 0 , … , k − 1 }
ZuK( F)
, und da sindNn - k
Wege zu wählenF( ℓ )
fürℓ = k + 1 , … , n
. Endlich gibt esk
Wahlmöglichkeiten fürF( k )
, da es einer der sein mussk
Mitglieder vonK( F)
. Daher,
|Fk| =kk!Nn - k(Nk),
Und
| F| =∑kk k !Nn - k(Nk).
Andererseits ist das klar| F| =Nn + 1
, So
∑kk k !Nn - k(Nk) =Nn + 1,
und die gewünschte Identität erhält man nun durch Division durch durchNN
.
Benutzer139708