Dato un insieme A, l’insieme delle parti (o insieme potenza), indicato con \mathcal{P}(A) o 2^A, è l’insieme di tutti i possibili sottoinsiemi di A, inclusi l’insieme vuoto \emptyset e l’insieme A stesso.
Cardinalità
Se l’insieme A è finito e ha n elementi (|A| = n), allora la cardinalità dell’insieme delle parti è: |\mathcal{P}(A)| = 2^n Questa proprietà spiega la notazione alternativa 2^A.
Esempio
Sia A = \{a, b\}. L’insieme delle parti è: \mathcal{P}(A) = \{\emptyset, \{a\}, \{b\}, \{a, b\}\} Si nota che |\mathcal{P}(A)| = 2^2 = 4.
Significato Ingegneristico
- Ricerca Operativa e Ottimizzazione: In molti problemi di ottimizzazione combinatoria (come il problema dello zaino o del commesso viaggiatore), lo spazio delle soluzioni ammissibili è un sottoinsieme dell’insieme delle parti dell’insieme degli oggetti o delle rotte disponibili.
- Sistemi Embedded e Registri: Se un registro hardware ha n bit indipendenti (flag), l’insieme delle possibili configurazioni di stato del registro corrisponde all’insieme delle parti dei bit, con 2^n stati possibili.
- Teoria dei Grafi: L’insieme di tutti i possibili archi che possono essere formati tra n nodi è legato all’insieme delle parti delle coppie non ordinate di nodi.
Vedi anche: Teoria degli Insiemi, Cardinalità.