Sia X un insieme non vuoto.
Cantor asserisce che non esiste nessuna f suriettivache verifichi la seguente funzione
f: X ——-> P(X)
concetto preliminare: funzione suriettiva, cioè f(X) = Y, quindi che tutti gli elementi di Y hanno almeno una f^-1 che porti all’insieme X.
tesi: Esiste un sottoinsieme B appartenente a P(A) tale che gli elementi a appartenenti ad A non hanno una funzione f(a) in B
ipotesi: ammettiamo che ogni b in B invece abbia una a – qui sopra rappresentata da una y – in A quindi che sia suriettiva: f(X) = Y
allora:
- se b non appartiene a B (e quindi appartiene al resto di P(A)) con funzione in A allora esistono b in B, assurdo! dovevano essere per tesi senza funzione!
- se b appartiene a B con funzione in A allora non esistono in B, assurdo! Per tesi esistono e sono facenti parte di P(A)
bibliografia: Dikran Dikranjan Maria Silvia Lucido – Aritmetica e Algebra