Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.
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?
07/06/2019, 22:53
Tipo come?
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.
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.
10/06/2019, 08:32
come vengono "generati" questi sottoinsiemi è più una questione di calcolo combinatorio
Magari!
10/06/2019, 12:12
La dimostrazione rimane non chiara per me.
10/06/2019, 14:46
Ma cosa c'è che non ti è chiaro?
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?
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".
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.
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.