Teorema di Cantor: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
aggiunto link a f suriettiva |
|||
Riga 9:
Sia <math>f</math> una generica funzione da <math>A</math> nell'insieme delle parti di <math>A</math>:
:<math>f:A \to \mathcal P(A).</math>
Per provare il teorema si deve mostrare che <math>f</math> è necessariamente non [[Funzione suriettiva|suriettiva]]. A tal fine è sufficiente individuare un elemento di <math>\mathcal P(A)</math> che non è nell'immagine di <math>f</math>. Questo elemento è:
:<math>B=\left\{\,x\in A : x\not\in f(x)\,\right\} \in \mathcal P(A).</math>
| |||