Partíció beállítása

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2020. február 23-án felülvizsgált verziótól ; az ellenőrzéshez 1 szerkesztés szükséges .

Egy halmaz partíciója tetszőleges számú, páronként nem metsző, nem üres részhalmaz uniójaként  való reprezentációja .

Definíció

Legyen  tetszőleges halmaz . A nem üres halmazok családját , ahol  valamilyen indexhalmaz ( véges vagy végtelen ), partíciónak nevezzük, ha:

  1. minden olyan, hogy ;
  2. .

Ebben az esetben a halmazokat blokkoknak vagy egy adott halmaz partíciójának részeinek nevezzük .

Véges halmazok partíciói

A véges halmazok partíciói, valamint a bizonyos feltételeket kielégítő különböző partíciók számlálása különösen érdekes a kombinatorikában . Különösen bizonyos kombinatorikus függvények természetes módon keletkeznek ilyen vagy olyan partíciók számaként.

Például a második típusú Stirling-szám egy n elemű, m részre halmozott rendezetlen partíciók száma , míg a multinomiális együttható egy n elemű, m rögzített méretű részre halmozott rendezetlen partíciók számát fejezi ki . Egy n elemű halmaz összes rendezetlen partíciójának számát a Bell szám adja meg .

Példák

Lásd még