Pagina 2 di 2

Re: Non esiste funzione suriettiva da A alle parti di A

MessaggioInviato: 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

MessaggioInviato: 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

MessaggioInviato: 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 :D

Re: Non esiste funzione suriettiva da A alle parti di A

MessaggioInviato: 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

MessaggioInviato: 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.