Pagina 2 di 2
Re: Non esiste funzione suriettiva da A alle parti di A
Inviato:
11/06/2019, 09:07
da caulacau
Se proprio non ti piace una dimostrazione per assurdo, prova a dimostrare questo risultato più generale:
Se esiste una suriezione \(S \to \hom(S,V)\) allora ogni funzione $g : V \to V$ ha almeno un punto fisso.
Corollario: non esiste una suriezione $S\to 2^S$ perché \(\lnot : 2\to 2\) non ha punti fissi.
Altrimenti, c'è anche una dimostrazione che invece di far vedere che non esiste una suriezione $S \to 2^S$ mostra che non esiste una iniezione $2^S\to S$ (queste due asserzioni non sono equivalenti).
Re: Non esiste funzione suriettiva da A alle parti di A
Inviato:
11/06/2019, 10:22
da vict85
Comunque quella dimostrazione non c'era ragione di scriverla come un assurdo. Infatti quello che stai davvero dimostrando è il seguente:
Teorema: Sia \(A\) un insieme e \(f\colon A\to \mathcal{P}(A)\), allora esiste \(E\in \mathcal{P}(A)\) tale che \(E \notin f(A)\).
L'insieme \(E\) scelto nella dimostrazione da te proposta (e che dipende da \(f\)), è ben posto e soddisfa questa condizione. Infatti, se \(a\in E\) allora \(f(a)\neq E\) perché \(a\notin f(a)\) per la definizione di \(E\). E se \(a\notin E\) allora \(f(a)\neq E\) perché \(a\in f(a)\) per definizione di \(E\).
Re: Non esiste funzione suriettiva da A alle parti di A
Inviato:
11/06/2019, 11:42
da axpgn
Martino ha scritto:Si poteva usare un argomento diverso, sì, ma questo non significa che l'argomento usato non vada bene. Qualsiasi argomento che funziona è una dimostrazione.
Penso che il punto importante da capire per l'OP sia questo, ben evidenziato da Martino: se funziona, per quanto astrusa possa essere la dimostrazione, va bene
Re: Non esiste funzione suriettiva da A alle parti di A
Inviato:
11/06/2019, 11:58
da caulacau
Qualsiasi argomento che funziona è una dimostrazione.
Questo punto di vista però è perlomeno semplicistico rispetto a un problema che, al di fuori della matematica classica, è piuttosto sentito.
Re: Non esiste funzione suriettiva da A alle parti di A
Inviato:
25/06/2019, 21:21
da universo
Scusate per il ritardo,per questioni di organizzazione mi sono buttato su Algebra I e ho rimandato la questione.
In ogni caso ho capito cosa non mi era chiaro: se l'esistenza di B fosse sempre possibile. Dovrebbe essere garantita dall'assioma di specificazione. Ad ogni modo basta prendere un qualsiasi $x \in X$ e mandarlo in $\emptyset$ per avere che $x \notin f(x)$ e B esiste sempre.