I talteorien er en sammensætning eller dekomponering af et naturligt tal en sådan repræsentation af det som en sum af naturlige tal, der tager hensyn til rækkefølgen af vilkårene. De udtryk, der indgår i sammensætningen, kaldes dele , og deres nummer er længden af sammensætningen.
At opdele et nummer, i modsætning til sammensætning, tager ikke hensyn til rækkefølgen af delene. Derfor overstiger antallet af partitioner af et nummer aldrig antallet af kompositioner.
Med en fast længde af kompositioner er termer lig med 0 nogle gange tilladt i dem.
Der er 16 kompositioner til nummer 5:
I det generelle tilfælde er der sammensætninger af antallet n , hvoraf nøjagtigt har længden k , hvor er den binomiale koefficient , eller antallet af kombinationer .
BevisFor at bevise denne påstand er det tilstrækkeligt at konstruere en bijektion mellem sammensætninger n af længden k og -elementdelmængder af en -elementmængde. Lad os forbinde sammensætningen med en delmængde af mængden bestående af delsummer: . Denne korrespondance har åbenbart det modsatte: ved undersæt , hvis elementer er ordnet i stigende rækkefølge, kan du gendanne den oprindelige sammensætning:
, ved og til sidst .Den konstruerede mapping er således bijektiv, og derfor er antallet af sammensætninger af antallet n af længden k lig med antallet af -element-delmængder af -elementmængden, det vil sige den binomiale koefficient .
For at beregne det samlede antal sammensætninger af tallet n er det tilstrækkeligt enten at summere disse binomiale koefficienter eller at bruge den samme afbildning til at konstruere en bijektion mellem alle sammensætninger af tallet n og alle delmængder af -elementmængden. ■
Hvis nul dele er tilladt i sammensætninger af antallet n af længden k , så vil antallet af sådanne sammensætninger være lig med , da tilføjelse af 1 til hver del giver en sammensætning af antallet n + k allerede uden nul dele. Hvis vi betragter sammensætninger af tallet n med mulige nuldele af absolut enhver længde, så vil antallet af sammensætninger generelt være uendeligt.