Insieme delle parti
Da Wikipedia, l'enciclopedia libera.
In matematica, dato un insieme S, l'insieme delle parti di S, scritto 
o 2S, è l'insieme di tutti i sottoinsiemi di S. Questa collezione di insiemi viene anche detta insieme potenza di S o booleano di S.
Per esempio, se S è l'insieme {A,B,C}, allora la lista completa dei suoi sottoinsiemi risulta:
(l'insieme vuoto)- {A}
- {B}
- {C}
- {A,B}
- {A,C}
- {B,C}
- {A,B,C} che coincide con l'insieme stesso S
e quindi l'insieme delle parti di S è
Indice |
[modifica] Cardinalità dell'insieme delle parti
L'argomento diagonale di Cantor mostra che l'insieme delle parti di un insieme (infinito o no) ha sempre cardinalità strettamente più alta di quella dell'inseme stesso (talora informalmente si dice che l'insieme di potenza deve essere 'maggiore' dell'insieme originale).
[modifica] Insiemi finiti
Se S è un insieme finito con |S|=n elementi, allora l'insieme delle parti di S contiene 
elementi. (Si può - come si fa abitualmente con i computer - rappresentare gli elementi di come numeri a n bit; l'n-mo bit si riferisce alla presenza o all'assenza dell' n-mo elemento di S. Ci sono 2n di tali numeri.)
[modifica] Dimostrazione
Dimostrazione che , con S insieme finito e di ordine n: (dimostrazione per induzione su n (I forma))
Se n = 0 necessariamente 
. E quindi 
. Vera.
Sia n > 0, e supponiamo l'asserto vero per n-1. Cioè se T è un insieme e | T | = n − 1 allora 
.
Poiché | T | = n > 0 necessariamente 
e dovrà avere almeno un elemento. Sia x0 un elemento dell'insieme. Un qualunque sottoinsieme di T può contenerlo o meno:
- I sottoinsiemi che non contengono x0, sono sottoinsiemi di
; poiché 
, tali sottoinsiemi sono, per l'ipotesi induttiva 2n - 1. - I sottoinsiemi che contengono x0, sono sottoinsiemi del tipo
; con X sottoinsieme di ; quindi anche tali sottoinsiemi sono, per l'ipotesi induttiva 2n - 1.
Quindi i sottoinsiemi di T sono in tutto 
.
[modifica] 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 un insieme di numeri reali (identificando una sequenza infinita 0-1 con l'insieme degli indici in cui compaiono gli uno).
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 numeralità del continuo, vedi l'Argomento diagonale di Cantor.
[modifica] Algebre
L'insieme delle parti di un insieme 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 subalgebra di un algebra booleana insieme delle parti.
L'insieme delle parti di un insieme 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.
[modifica] La notazione 2S
Nella teoria degli insiemi, XY è l'insieme di tutte le funzioni da Y a X. Come 2 può essere definito {0,1} (vedi numeri naturali), 2S è l'insieme di tutte le funzioni da S a {0,1}. Identificando una funzione in 2S con la preimmagine corrispondente di 1, si osserva che c'è una biiezione tra 2S e , dove ogni funzione è la funzione caratteristica del sottoinsieme in con cui è identificata. Quindi 2S e possono essere considerati identici secondo la teoria degli insiemi.
[modifica] 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.
