Salve!Sto cercando la dimostrazione che prova che l’insieme delle parti è costituito da un numero di sottoinsiemi pari a 2^(n-1). E’nelle vostre facoltà fornirmela? Vi ringrazio molto e rinnovo i mei complimenti per il sito. Aspetto una risposta,spero positiva. E.L.

Vale molto di più di quello chiesto; si dimostra infatti il seguente Teorema:

Teorema: Sia X un insieme; allora l’insieme delle parti P(X) è in corrispondenza biunivoca con l’insieme 2X che è l’insieme della funzioni da X in {0,1}.

Dimostrazione. Sia f : P(X) → 2X la funzione f(A)=cA, dove cA : X → {0,1} ed è data da cA(x)=1 se x∈A e cA=0 se x∉A. Per ogni g : X → {0,1} sia Xg={x∈X : g(x)=1}. Allora la funzione h : 2X → P(X) data da h(g)=Xg inverte f. Quindi f è una biiezione, da cui la tesi.

Applicando tale Teorema al caso in cui X abbia cardinalità finita pari a n, si trova che la cardinalità di P(X) è pari a 2n.