In matematica una partizione di un insieme X è una divisione di X in sottoinsiemi, detti parti, classi o blocchi della partizione, che "coprono" X senza sovrapporsi.

Più formalmente, una partizione di X è una collezione P di sottoinsiemi di X tali che:

1. i sottoinsiemi non sono vuoti;
2. l'unione di tutti i sottoinsiemi sia l'insieme X stesso (P è un ricoprimento di X);
3. dati due sottoinsiemi (distinti) qualsiasi di X, questi sono disgiunti.

Una partizione in due parti si dice bipartizione, una in tre parti tripartizione; con significato simile talora si usano termini come tetrapartizione o più in generale k-partizione.

• Per un qualsiasi insieme X, la partizione banale P={X}.
• Per un qualunque X, la partizione formata da tutti i singoletti degli elementi di X.
• Dato un sottoinsieme A di X, la partizione formata da A e dal suo complementare in X.
• Nell'insieme dei numeri naturali, la partizione formata dai numeri pari e dai numeri dispari.
• Nell'insieme dei numeri interi, la partizione formata dalle classi di resto modulo un qualsiasi numero n.

Ad ogni partizione P di un insieme X si può associare, in modo naturale, una relazione di equivalenza ρ sullo stesso X: due elementi sono in relazione secondo ρ se e solo se appartengono allo stesso elemento della partizione P. Viceversa, ad ogni equivalenza si può associare naturalmente una partizione, quella costituita dalle relative classi di equivalenza.

Questo rapporto è importante perché definisce una funzione biunivoca tra l'insieme delle partizioni e quello delle relazioni di equivalenza; inoltre "tornando indietro" si ritorna all'inizio, ovvero, data una relazione ρ e la partizione R ad essa associata, la relazione associata alla partizione non è altro che ρ.

Per queste situazioni si usano termini quali equivalenza canonica di una partizione e partizione associata canonicamente ad una equivalenza.

Data una partizione P, si può costruire una funzione suriettiva ${\displaystyle \pi :X\to P}$ che associa ad ogni elemento ${\displaystyle x\in X}$ il sottoinsieme ${\displaystyle \pi (x)\in P}$ tale che ${\displaystyle x\in \pi (x)}$. Questa funzione è detta proiezione canonica.

Questa funzione è sfruttata ad esempio nel costruire, a partire da una qualsiasi funzione, una funzione biunivoca. Data ${\displaystyle f:X\to Y}$, si costruisce in X una partizione tale che due elementi di uno stesso sottoinsieme hanno la stessa immagine secondo f; la funzione definita dalla partizione all'immagine di X sarà quindi una funzione biunivoca. Questo processo è detto decomposizione di un'applicazione.

Ad esempio, la funzione parte intera definita sull'insieme ${\displaystyle \mathbb {R} ^{+}}$ dei reali non negativi ha come partizione canonica associata la partizione costituita dagli intervalli chiusi a sinistra e aperti a destra ${\displaystyle [n,n+1)}$ per diversi n interi non negativi; secondo l'equivalenza canonicamente associata a questa partizione, ovvero canonicamente associata alla funzione parte intera, sono equivalenti due reali positivi che presentano la stessa parte intera. Restringendo poi il codominio della funzione all'insieme dei numeri naturali si ottiene una funzione biunivoca da P a ${\displaystyle \mathbb {N} }$.

Tra le partizioni di un insieme si definisce un importante ordine parziale stabilendo che una partizione ${\displaystyle A}$ è più fine di una seconda ${\displaystyle B}$ se ogni parte di ${\displaystyle A}$ è contenuta in una (sola) parte di B. Munita di questo ordinamento, la collezione delle partizioni di un insieme costituisce un reticolo detto reticolo delle partizioni di un insieme, molto importante ad esempio nella combinatoria e anche nella meccanica statistica.

Ad ogni partizione di un insieme finito si associa canonicamente anche una partizione dell'intero fornito dalla sua cardinalità.

La nozione di partizione viene sfruttata anche per il calcolo dell'integrale.

Il numero di partizioni di un insieme di ${\displaystyle n}$ elementi è il numero di Bell ${\displaystyle B_{n}}$. I primi numeri di Bell sono: ${\displaystyle B_{0}=1,B_{1}=1B_{2}=2,B_{3}=5,B_{4}=15,B_{5}=52,B_{6}=203}$^[1]. I numeri di Bell soddisfano la ricorsione:

${\displaystyle B_{n+1}=\sum _{k=0}^{n}{n \choose k}B_{k}}$

e hanno funzione generatrice esponenziale

${\displaystyle \sum _{n=0}^{\infty }{\frac {B_{n}}{n!}}z^{n}=e^{e^{z}-1}.}$

I numeri di Bell possono essere calcolati usando il triangolo di Bell in cui il primo valore in ogni riga coincide con l'ultimo della riga precedente e i valori successivi sono calcolati sommando due numeri: il numero a sinistra e il numero in alto a sinistra rispetto alla posizione considerata. I numeri di Bell sono riportati lungo entrambi i lati di questo triangolo. In generale il numero ${\displaystyle A_{n,k}}$ della riga ${\displaystyle n}$ e colonna ${\displaystyle k}$ del triangolo conta il numero di partizioni di un insieme con ${\displaystyle n+1}$ elementi in cui è presente il singoletto ${\displaystyle \{k+1\}}$ e tutti i singoletti presenti nella partizione contengono elementi minori di ${\displaystyle k+1}$. Ad esempio ${\displaystyle A_{3,2}=3}$ conta le partizioni dell'insieme ${\displaystyle \{1,2,3,4\}}$ che hanno il singoletto ${\displaystyle \{3\}}$ ma non il singoletto ${\displaystyle \{4\}}$, che sono:

{1}, {2, 4}, {3}

{1, 4}, {2}, {3}

{1, 2, 4}, {3}.

Il numero di partizioni di un insieme di ${\displaystyle n}$ elementi in esattamente ${\displaystyle k}$ parti non vuote è il numero di Stirling di seconda specie ${\displaystyle S(n,k).}$

• Relazione di equivalenza
• Partizione di un intervallo
• Proprietà di tricotomia
• Numeri di Bell
• Dicotomia

• Wikizionario contiene il lemma di dizionario «partizione»
• Wikimedia Commons contiene immagini o altri file sulla partizione

• (EN) partition, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Partizione, su MathWorld, Wolfram Research.

Portale Matematica: accedi alle voci di Teknopedia che trattano di matematica