Teorema di Cantor: differenze tra le versioni

Versione delle 13:08, 8 mar 2020

Versione delle 11:17, 19 giu 2020

Riga 2:

In [[matematica]], e in particolare nella [[teoria degli insiemi di Zermelo - Fraenkel]] (ZF), il '''teorema di Cantor''' afferma che, dato un insieme di qualsiasi [[cardinalità]] (numero di elementi), esiste sempre un insieme di cardinalità maggiore. In particolare, dato un insieme <math>X</math>, l'[[insieme delle parti]] di <math>X</math> (cioè l'insieme formato da tutti i possibili sottoinsiemi di <math>X</math>) ha sempre cardinalità maggiore di quella di <math>X</math>.

Il teorema di Cantor è ovvio per [[insieme finito|insiemi finiti]], ma continua a valere anche per [[insieme infinito|insiemi infiniti]]. In particolare, l'[[insieme delle parti]] di un [[insieme numerabile]] è non è numerabile.

Per una trattazione della tecnica di dimostrazione usata da Cantor si veda la voce [[argomento diagonale di Cantor]].