Insieme delle parti: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 36:
Quindi i sottoinsiemi di S sono in tutto <math>2^{n-1} + 2^{n-1} = 2 \cdot 2^{n-1} = 2^{n}</math>.
 
Una dimostrazione alternativa si può basare sulla bigezionebiiezione fra <math>\mathcal{P}(S)</math> e l'insieme <math>2^S</math> delle funzioni <math>S \to \{0, 1\}</math> citata più sotto.
 
Se <math>S</math> è un insieme finito con <math>n</math> elementi, è immediato che l'insieme di queste funzioni ha <math>2^n</math> sottoinsiemi. Questo fornisce una dimostrazione alternativa del risultato appena visto.