Non esiste funzione suriettiva da A alle parti di A

Messaggioda universo » 07/06/2019, 22:34

Teorema: Sia A un insieme. Non esiste alcuna applicazione suriettiva tra $A$ e $P(A)$.
Dimostrazione: Sia $ f: A \mapsto P(A)$ una applicazione suriettiva e consideriamo l'insieme $E = {x \in A: x \notin f(x)}$. Poiché $f$ è suriettiva, esisterà un $e \in A$ tale che $E = f(e)$. Ci chiediamo ora: $e$ appartiene ad $E$ oppure no?
Sfruttando il paradosso di Russell l'autore conclude la dimostrazione. Non ho capito perché definisce $E$ in quel modo. Se fosse definito in un altro modo?
universo
New Member
New Member
 
Messaggio: 44 di 75
Iscritto il: 19/11/2018, 23:19

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

Messaggioda otta96 » 07/06/2019, 22:53

Tipo come?
otta96
Advanced Member
Advanced Member
 
Messaggio: 1928 di 2197
Iscritto il: 12/09/2015, 22:15

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

Messaggioda universo » 08/06/2019, 09:43

Dato che $E \in P(A)$ non penso che si possa definire. È uno dei sottoinsiemi di $A$, come vengono "generati" questi sottoinsiemi è più una questione di calcolo combinatorio. Ciò che dice il teorema è chiaro, così come è facile capire che se ho 2 libretti e 4 studenti, non posso dare un libretto a ciascuno degli studenti. Il problema è il passo indicato della dimostrazione.
universo
New Member
New Member
 
Messaggio: 46 di 75
Iscritto il: 19/11/2018, 23:19

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

Messaggioda otta96 » 08/06/2019, 18:49

universo ha scritto:Dato che $E \in P(A)$ non penso che si possa definire.

Certo che si può definire, lo hai appena fatto.
otta96
Advanced Member
Advanced Member
 
Messaggio: 1929 di 2197
Iscritto il: 12/09/2015, 22:15

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

Messaggioda caulacau » 10/06/2019, 08:32

come vengono "generati" questi sottoinsiemi è più una questione di calcolo combinatorio

Magari!
Avatar utente
caulacau
Junior Member
Junior Member
 
Messaggio: 41 di 233
Iscritto il: 08/05/2019, 18:30

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

Messaggioda universo » 10/06/2019, 12:12

La dimostrazione rimane non chiara per me.
universo
New Member
New Member
 
Messaggio: 48 di 75
Iscritto il: 19/11/2018, 23:19

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

Messaggioda otta96 » 10/06/2019, 14:46

Ma cosa c'è che non ti è chiaro?
otta96
Advanced Member
Advanced Member
 
Messaggio: 1931 di 2197
Iscritto il: 12/09/2015, 22:15

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

Messaggioda universo » 10/06/2019, 21:07

$P(A)$ è determinato a partire dagli elementi di A. Siccome bisogna dimostrare il teorema per ogni A, perché scegliere proprio $E$ così definito?
universo
New Member
New Member
 
Messaggio: 49 di 75
Iscritto il: 19/11/2018, 23:19

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

Messaggioda caulacau » 10/06/2019, 21:23

universo ha scritto:$P(A)$ è determinato a partire dagli elementi di A. Siccome bisogna dimostrare il teorema per ogni A, perché scegliere proprio $E$ così definito?

Perché per ogni $A$ esiste l'$E$ che riesce a dimostrare che non esiste una suriezione $A \to PA$. E il motivo per cui esiste è che riesci a scriverlo: come disse Homer Simpson, "la teoria degli insiemi è la causa di, e la soluzione a, tutti i miei problemi".
Avatar utente
caulacau
Junior Member
Junior Member
 
Messaggio: 43 di 233
Iscritto il: 08/05/2019, 18:30

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

Messaggioda Martino » 10/06/2019, 23:54

universo ha scritto:$P(A)$ è determinato a partire dagli elementi di A. Siccome bisogna dimostrare il teorema per ogni A, perché scegliere proprio $E$ così definito?
È una dimostrazione per assurdo. Questo significa che è un argomento che a partire dalla negazione della tesi arriva a un assurdo. Quindi la tesi è vera. Si poteva usare un argomento diverso, sì, ma questo non significa che l'argomento usato non vada bene. Qualsiasi argomento che funziona è una dimostrazione.
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 7376 di 7551
Iscritto il: 21/07/2007, 10:48
Località: Brasilia

Prossimo

Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: salzanoa_ e 7 ospiti