Insieme delle parti

Questa voce o sezione sugli argomenti matematica e informatica non cita le fonti necessarie o quelle presenti sono insufficienti.

In matematica, dato un insieme ${\displaystyle S}$, l'insieme delle parti di ${\displaystyle S}$, scritto ${\displaystyle {\mathcal {P}}(S)}$, è l'insieme di tutti i possibili sottoinsiemi di ${\displaystyle S}$. Questa collezione di insiemi viene anche detta insieme potenza di ${\displaystyle S}$ o booleano di ${\displaystyle S}$.

Per esempio, se ${\displaystyle S}$ è l'insieme ${\displaystyle \{a,b,c\}}$, allora la lista completa dei suoi sottoinsiemi risulta:

• ${\displaystyle \varnothing }$ (l'insieme vuoto)
• ${\displaystyle \{a\}}$
• ${\displaystyle \{b\}}$
• ${\displaystyle \{c\}}$
• ${\displaystyle \{a,b\}}$
• ${\displaystyle \{a,c\}}$
• ${\displaystyle \{b,c\}}$
• ${\displaystyle \{a,b,c\}}$ che coincide con l'insieme stesso ${\displaystyle {S}}$

e quindi l'insieme delle parti di ${\displaystyle S}$ è

${\displaystyle {\mathcal {P}}(S)=\{S'|S'\subseteq S\}=\{\varnothing ,\{a\},\{b\},\{c\},\{a,b\},\{a,c\},\{b,c\},S\}}$

L'insieme delle parti di ${\displaystyle S}$ è alternativamente indicato in vari modi, come ${\displaystyle \mathbb {P} (S)}$, ${\displaystyle \wp (S)}$, o ${\displaystyle 2^{S}}$.

Cardinalità dell'insieme delle parti

L'argomento diagonale di Cantor mostra che l'insieme delle parti di un insieme (infinito o no^[1]) ha sempre cardinalità strettamente più alta di quella dell'insieme stesso.

Insiemi finiti

Se ${\displaystyle S}$ è un insieme finito con ${\displaystyle |S|=n}$ elementi, allora l'insieme delle parti di ${\displaystyle S}$ contiene ${\displaystyle |{\mathcal {P}}(S)|=2^{n}}$ sottoinsiemi.

Dimostrazione

Dimostrazione che ${\displaystyle |{\mathcal {P}}(S)|=2^{n}}$, con ${\displaystyle S}$ insieme finito e di ordine ${\displaystyle n}$: (dimostrazione per induzione su ${\displaystyle n}$ (I forma))

Se ${\displaystyle n=0}$, necessariamente ${\displaystyle S=\varnothing }$. E quindi ${\displaystyle {\mathcal {P}}(S)=\{\varnothing \}\Rightarrow |{\mathcal {P}}(S)|=2^{0}=1}$. Vera.

Sia ${\displaystyle n>0}$ e supponiamo l'asserto vero per ${\displaystyle n-1.}$ Cioè se ${\displaystyle S}$ è un insieme tale che ${\displaystyle |S|=n-1}$, allora ${\displaystyle |{\mathcal {P}}(S)|=2^{n-1}}$.

Poiché adesso si ipotizza che ${\displaystyle |S|=n>0}$, necessariamente ${\displaystyle S\neq \varnothing }$ e dovrà avere almeno un elemento. Sia ${\displaystyle x_{0}}$ un elemento dell'insieme. Un qualunque sottoinsieme di ${\displaystyle S}$ può contenerlo o meno:

• I sottoinsiemi che non contengono ${\displaystyle x_{0}}$, sono sottoinsiemi di ${\displaystyle S\backslash \{x_{0}\}}$; poiché ${\displaystyle |S\backslash \{x_{0}\}|=n-1}$, tali sottoinsiemi sono, per l'ipotesi induttiva ${\displaystyle 2^{n-1}}$.
• I sottoinsiemi che contengono ${\displaystyle x_{0}}$, sono sottoinsiemi del tipo ${\displaystyle X\cup \{x_{0}\}}$; con X sottoinsieme di ${\displaystyle S\backslash \{x_{0}\}}$; quindi anche tali sottoinsiemi sono, per l'ipotesi induttiva ${\displaystyle 2^{n-1}}$.

Quindi i sottoinsiemi di ${\displaystyle S}$ sono in tutto ${\displaystyle 2^{n-1}+2^{n-1}=2\cdot 2^{n-1}=2^{n}}$.

Una dimostrazione alternativa si può basare sulla biiezione fra ${\displaystyle {\mathcal {P}}(S)}$ e l'insieme ${\displaystyle 2^{S}}$ delle funzioni ${\displaystyle S\to \{0,1\}}$ citata più sotto.

Se ${\displaystyle S}$ è un insieme finito con ${\displaystyle n}$ elementi, è immediato che l'insieme di queste funzioni ha ${\displaystyle 2^{n}}$ sottoinsiemi. Questo fornisce una dimostrazione alternativa del risultato appena visto.

Insiemi infiniti

Si può anche considerare l'insieme delle parti di un insieme infinito: ad esempio l'insieme delle parti dell'insieme dei numeri naturali può essere messo in una corrispondenza uno-a-uno con l'insieme dei numeri reali.

L'insieme delle parti ha un'importanza fondamentale nella teoria degli insiemi infiniti. Infatti, nell'aritmetica transfinita definita da Georg Cantor, l'operazione di "esponenziazione", nel senso di individuazione della cardinalità dell'insieme delle parti di un dato insieme infinito, è l'unico modo per avanzare nella successione dei numeri cardinali. Nell'esempio suddetto, si passa dalla cardinalità del discreto, cioè degli insiemi per i quali è possibile stabilire una corrispondenza biunivoca con i naturali, come gli interi, i razionali e ogni loro prodotto cartesiano, alla cardinalità del continuo propria dei reali. Per la dimostrazione della non numerabilità del continuo, si veda l'argomento diagonale di Cantor.

Algebra

L'insieme delle parti di un insieme ${\displaystyle S}$, con le operazioni di unione, intersezione e complemento formano l'esempio prototipale di un'algebra booleana.

Infatti, si può dimostrare che ogni algebra booleana finita è isomorfica all'algebra booleana dell'insieme delle parti di un insieme finito. Per le algebre booleane infinite questo non è più vero, ma ogni algebra booleana infinita è una sottoalgebra di un'algebra booleana insieme delle parti.

L'insieme delle parti di un insieme ${\displaystyle S}$ forma un gruppo abeliano quando si consideri l'operazione di differenza simmetrica (con l'insieme vuoto come sua unità ed ogni insieme essendo il suo inverso) ed un semigruppo commutativo quando si consideri l'operazione di intersezione. Si può quindi dimostrare (provando le leggi distributive) che l'insieme delle parti, considerato assieme a entrambe queste operazioni, forma un anello commutativo.

Biiezione con l'insieme 2^S

Nella teoria degli insiemi, ${\displaystyle X^{Y}}$ è l'insieme di tutte le funzioni da ${\displaystyle Y}$ a ${\displaystyle X}$. Il numero naturale 2 può essere definito insiemisticamente: ${\displaystyle 2=\left\{{0,1}\right\}}$, quindi ${\displaystyle 2^{S}}$ è l'insieme di tutte le funzioni da ${\displaystyle S}$ a ${\displaystyle \{0,1\}.}$

Identificando una funzione in ${\displaystyle 2^{S}}$ con la preimmagine corrispondente di 1, si osserva che c'è una biiezione tra ${\displaystyle 2^{S}}$ e ${\displaystyle {\mathcal {P}}(S)}$:

${\displaystyle {\begin{aligned}f\colon {\mathcal {P}}(S)&\longrightarrow 2^{S},\\A&\longmapsto \chi _{A},\end{aligned}}}$

dove ogni funzione ${\displaystyle \chi _{A}}$ viene detta la funzione caratteristica del sottoinsieme ${\displaystyle A}$ in ${\displaystyle {\mathcal {P}}(S)}$ ed è definita in questo modo:

${\displaystyle {\begin{aligned}\chi _{A}\colon S&\longrightarrow 2=\{0,1\},\\x&\longmapsto \chi _{A}(x)={\begin{cases}1,&{\text{se }}x\in A,\\0,&{\text{se }}x\notin A.\end{cases}}\end{aligned}}}$

Quindi ${\displaystyle |{\mathcal {P}}(S)|=|2^{S}|}$.

Assioma dell'insieme potenza

Nella teoria assiomatica degli insiemi (come sviluppata a partire dagli assiomi di Zermelo-Fraenkel), l'esistenza dell'insieme delle parti di qualsiasi insieme, anche infinito, è oggetto di un postulato detto assioma dell'insieme potenza.

Informatica

In informatica è possibile interpretare l'insieme delle parti di un insieme ${\displaystyle S}$ (detto anche booleano di ${\displaystyle S}$) come l'insieme di tutte le ${\displaystyle 2^{n}}$ sequenze binarie di lunghezza ${\displaystyle n}$, corrispondenti ai possibili sottoinsiemi di un insieme di cardinalità ${\displaystyle n}$.

Per illustrare questa corrispondenza può essere utile numerare da ${\displaystyle 0}$ a ${\displaystyle n-1}$ gli elementi dell'insieme fornito e associare il bit in posizione ${\displaystyle b}$ della sequenza binaria al ${\displaystyle b}$-esimo elemento dell'insieme (quindi con ${\displaystyle 0\leq b\leq n-1}$): se tale bit è uguale a ${\displaystyle 1}$, allora l'elemento ${\displaystyle b}$ è nel sottoinsieme così rappresentato, altrimenti il bit è uguale a ${\displaystyle 0}$ e l'elemento non appartiene a tale sottoinsieme.

Per esempio, se ${\displaystyle S}$ è l'insieme ${\displaystyle \{a,b,c\}}$ di cardinalità ${\displaystyle n=3}$, allora la generazione delle sue ${\displaystyle 2^{n}}$ sequenze binarie, corrispondenti alla lista completa dei suoi sottoinsiemi, risulta:

${\displaystyle {\begin{array}{|c|c|c|c|}{\text{Sottoinsieme}}&a&b&c\\\hline \varnothing &0&0&0\\\{c\}&0&0&1\\\{b\}&0&1&0\\\{b,c\}&0&1&1\\\{a\}&1&0&0\\\{a,c\}&1&0&1\\\{a,b\}&1&1&0\\\{a,b,c\}&1&1&1\end{array}}}$

L'algoritmo tipicamente utilizzato per la generazione di sequenze binarie è ricorsivo.

Note

Voci correlate

• Paradosso di Russell
• Cardinalità
• Paradosso dell'ipergioco

Altri progetti

• Wikimedia Commons contiene immagini o altri file sull'insieme delle parti

Collegamenti esterni

• insieme delle parti, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) power set, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Powerset, su MathWorld, Wolfram Research.
• (EN) Power set, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
• (EN) powerset, in Free On-line Dictionary of Computing, Denis Howe. Disponibile con licenza GFDL

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