Insiemi e Logica Matematica
Allora.....
Innanzi tutto vorrei sapere se è possibile scrivere la definizione di uguaglianza tra insiemi, che viene espressa in genere da:
Se $A = B$ allora $A \subsetq B$ $\wedge$ $B \subsetq A$
...anche in questo modo:
Se $A = B$ allora $A \cap B = A$ $\wedge$ $A \cap B = B$ quindi $A = B$
e poi .....ve lo chiedo dopo così nonfacciamo confusione....
Innanzi tutto vorrei sapere se è possibile scrivere la definizione di uguaglianza tra insiemi, che viene espressa in genere da:
Se $A = B$ allora $A \subsetq B$ $\wedge$ $B \subsetq A$
...anche in questo modo:
Se $A = B$ allora $A \cap B = A$ $\wedge$ $A \cap B = B$ quindi $A = B$
e poi .....ve lo chiedo dopo così nonfacciamo confusione....
Risposte
Secondo me quella che hai postato e' gia' una possibile definizione.
In alternativa si puo' dire che A=B se per ogni x vale la priprieta' "x appartiene ad A se e soltanto se x appartiene a B".
Platone
In alternativa si puo' dire che A=B se per ogni x vale la priprieta' "x appartiene ad A se e soltanto se x appartiene a B".
Platone
Salve! 
Scusa ma cosa significa qB ?
La seconda non mi convince perchè utilizza il concetto di = che vorrebbe definire.
Concordo con quella di Platone.
Analogamente si potrebbe dire A=B se solo se A contenuto in B e B contenuto in A
ma sull'estenderla ad insiemi infiniti ci andrei cauto.
Scusa ma cosa significa qB ?La seconda non mi convince perchè utilizza il concetto di = che vorrebbe definire.
Concordo con quella di Platone.
Analogamente si potrebbe dire A=B se solo se A contenuto in B e B contenuto in A
ma sull'estenderla ad insiemi infiniti ci andrei cauto.
Il "q" è un errore di battitura.
Se $A = B$ allora $A \subseteq B$ $\wedge$ $B \subseteq A$
Su insiemi infiniti riesce difficile usare $\cap$ ma anche usare $\subseteq$ a mio avviso.
Il fatto dell'intersezione sarebbevalida però su insiemi finiti no?.
E se dicessimo:
Se A = B allora deve valere
$AA x($Se $x in A$ $\leftrightarrow$ $x in B$$)$
Forse sarebbe anche più dimostrabile no?
Se $A = B$ allora $A \subseteq B$ $\wedge$ $B \subseteq A$
Su insiemi infiniti riesce difficile usare $\cap$ ma anche usare $\subseteq$ a mio avviso.
Il fatto dell'intersezione sarebbevalida però su insiemi finiti no?.
E se dicessimo:
Se A = B allora deve valere
$AA x($Se $x in A$ $\leftrightarrow$ $x in B$$)$
Forse sarebbe anche più dimostrabile no?
Altro quesito:
Se in ogni insieme $A$ abbiamo sempre 2 sottoinsiemi impropri noti come $\emptyset$ e $A$ ossia $A = {...., A , \emptyset}$
L'insieme improprio $A in A$ , non vuoto e definito come $A in A = A$ avrà anch'esso all'interno 2 insiemi impropri ?
Il problema nasce perchè se $A in A$ ha anch'esso i due insiemi impropri, allora si genera un ciclo infinito che parte in $A$ e si apre su ogni $A in A$
Il discorso appare quindi contraddittorio, ci deve essere qualche assioma o proprietà che definisca meglio la cosa ma non capisco quale.
Do you can help me ?
Se in ogni insieme $A$ abbiamo sempre 2 sottoinsiemi impropri noti come $\emptyset$ e $A$ ossia $A = {...., A , \emptyset}$
L'insieme improprio $A in A$ , non vuoto e definito come $A in A = A$ avrà anch'esso all'interno 2 insiemi impropri ?
Il problema nasce perchè se $A in A$ ha anch'esso i due insiemi impropri, allora si genera un ciclo infinito che parte in $A$ e si apre su ogni $A in A$
Il discorso appare quindi contraddittorio, ci deve essere qualche assioma o proprietà che definisca meglio la cosa ma non capisco quale.
Do you can help me ?
O.k.
Mi sembra ottimo!
Una oss. a voler fare i puristi dalla def A contenuto in B toglierei =, basta in senso stretto
altrimenti come definire quando è =? Diventa un po'tautologico.
I prob. sull'infinito potrebbero però essere aggirabili.
Ma non volevi proporre un paradosso o che altro? Ciao
Mi sembra ottimo!
Una oss. a voler fare i puristi dalla def A contenuto in B toglierei =, basta in senso stretto
altrimenti come definire quando è =? Diventa un po'tautologico.
I prob. sull'infinito potrebbero però essere aggirabili.
Ma non volevi proporre un paradosso o che altro? Ciao
Il "Paradosso" l'ho proposto perchè non sono mai riuscito a dare una risposta a tale quesito.
.... e poi perchè è un Paradosso, dare l'esame di logica 4 volte e non passarlo
.... e poi perchè è un Paradosso, dare l'esame di logica 4 volte e non passarlo
Forse ho capito.
Segui il ragionamento perchè può essere bacato ( ero ,non per vantarmi,considerato uno studente molto brillante ma questo al liceo più di 20 anni fa e le mie conoscenze attuali sono di poco superiori e praticamente autodidatte)
Dunque prima un chiarimento;
{a,a,a,a,a} e {a} sono lo stesso insieme? Possiamo dire di si e quindi convenire di scrivere
semplicemente {a} oppure se ci interessa il numero scrivere {1,2,3,4,5}
Sia ora I= {a,b,c,d} (elementi tutti distinti) mi chiedo
{ {a}, {a,b},{a,b,c},{d}} = I ? Direi di no se intendiamo come suoi elementi {}(direi invece
che lo possa essere {{a},{b},{c},{d}}) Ma allora è proprio vero che ogni insieme A contiene se stesso? ( sul vuoto non vedo problemi) Ho molti dubbi! Ad es. con riferimento al nostro I, possiamo definirel'ins. degli ins. con + di un elemento { {a,b},{a,b,c,},B }=B. B appartiene a se stesso,mi sembra ovvio ma se def l'ins. degli ins. con un solo elemento C={ {a},{d}}, C non
appartiene a se stesso(avendo 2 elementi) Quindi sembra esserci una tipologia di insiemi che appartengono a se stessi ed una di ins. che non appartengono a se stessi.
Vedi un po'se ti sono stato di aiuto!
Segui il ragionamento perchè può essere bacato ( ero ,non per vantarmi,considerato uno studente molto brillante ma questo al liceo più di 20 anni fa e le mie conoscenze attuali sono di poco superiori e praticamente autodidatte)
Dunque prima un chiarimento;
{a,a,a,a,a} e {a} sono lo stesso insieme? Possiamo dire di si e quindi convenire di scrivere
semplicemente {a} oppure se ci interessa il numero scrivere {1,2,3,4,5}
Sia ora I= {a,b,c,d} (elementi tutti distinti) mi chiedo
{ {a}, {a,b},{a,b,c},{d}} = I ? Direi di no se intendiamo come suoi elementi {}(direi invece
che lo possa essere {{a},{b},{c},{d}}) Ma allora è proprio vero che ogni insieme A contiene se stesso? ( sul vuoto non vedo problemi) Ho molti dubbi! Ad es. con riferimento al nostro I, possiamo definirel'ins. degli ins. con + di un elemento { {a,b},{a,b,c,},B }=B. B appartiene a se stesso,mi sembra ovvio ma se def l'ins. degli ins. con un solo elemento C={ {a},{d}}, C non
appartiene a se stesso(avendo 2 elementi) Quindi sembra esserci una tipologia di insiemi che appartengono a se stessi ed una di ins. che non appartengono a se stessi.
Vedi un po'se ti sono stato di aiuto!
hai centrato il punto...
A e l'insieme vuoto sono SOTTOINSIEMI di A e non elementi di A!
A e l'insieme vuoto sono SOTTOINSIEMI di A e non elementi di A!
GRAZIE GIUSEPPE 
Avere la tua approvazione è sempre confortante.
Però ieri avevo le idee un po' confuse, il sonno ha portato consiglio,spero
Mi sono convinto che dato I={a,b,c} I debba contenere 0 ed I stesso cioè I={a,b,c,I,0} altrimenti non si lavora specie con l'intersezione: infatti è ovvio richiedere I*I=I e I*0=0
Ma { a,b,c,I,{0},{{0},{0}}.......} non è uguale ad I.
E gli insiemi di insiemi, chiamiamoli II, danno seri problemi infatti se il rag. di ieri è corretto vi sono due tipi di II , quelli che contengono se stessi e quelli che non contengono se stessi.
E questi ultimi sono il problema!
Infatti se considero l'insieme di tutti gli insiemi che non contengono se stessi, e lo chiamo U(II)
mi chiedo U(II) contiene se stesso?
Se si allora U(II) non contiene se stesso , assurdo (quindi vale il contrario,cioè U(II) non contiene se stesso)
Ma se U(II) non contiene se stesso allora per def contiene se stesso. Altrettanto assurdo!!
Ora o il ragionamento è bacato (ma non vedo dove)
oppure le ipotesi sono bacate.
Che U(II) non esista? Sembra strano.Però avendolo definito come un insieme...potrebbe non essere un insieme. E questo sarebbe in accordo con l'aver convenuto che un insieme contiene sempre se stesso (e 0 ).
Quindi potrebbero esserci gli insiemi normali I (finiti o infiniti ) e gli insiemi di insiemi II, i quali
se contengono se stessi sono ancora insiemi
ma se non contengono se stessi NON sono più insiemi!
E che sono? BOOOO!!!
Però la cosa mi piace un sacco!
Saluto di nuovo tutti perchè da ora limiterò il più possibile i miei interventi, purtroppo avendo
limitate nozioni ma una sfrenata passione finisco per arrovellarmi tutto il giorno sui vostri interessanti problemi e non vorrei perdere donna e lavoro ( come peraltro già accaduto in passato!) 
Avere la tua approvazione è sempre confortante.
Però ieri avevo le idee un po' confuse, il sonno ha portato consiglio,spero
Mi sono convinto che dato I={a,b,c} I debba contenere 0 ed I stesso cioè I={a,b,c,I,0} altrimenti non si lavora specie con l'intersezione: infatti è ovvio richiedere I*I=I e I*0=0
Ma { a,b,c,I,{0},{{0},{0}}.......} non è uguale ad I.
E gli insiemi di insiemi, chiamiamoli II, danno seri problemi infatti se il rag. di ieri è corretto vi sono due tipi di II , quelli che contengono se stessi e quelli che non contengono se stessi.
E questi ultimi sono il problema!
Infatti se considero l'insieme di tutti gli insiemi che non contengono se stessi, e lo chiamo U(II)
mi chiedo U(II) contiene se stesso?
Se si allora U(II) non contiene se stesso , assurdo (quindi vale il contrario,cioè U(II) non contiene se stesso)
Ma se U(II) non contiene se stesso allora per def contiene se stesso. Altrettanto assurdo!!
Ora o il ragionamento è bacato (ma non vedo dove)
oppure le ipotesi sono bacate.
Che U(II) non esista? Sembra strano.Però avendolo definito come un insieme...potrebbe non essere un insieme. E questo sarebbe in accordo con l'aver convenuto che un insieme contiene sempre se stesso (e 0 ).
Quindi potrebbero esserci gli insiemi normali I (finiti o infiniti ) e gli insiemi di insiemi II, i quali
se contengono se stessi sono ancora insiemi
ma se non contengono se stessi NON sono più insiemi!
E che sono? BOOOO!!!
Però la cosa mi piace un sacco!
Saluto di nuovo tutti perchè da ora limiterò il più possibile i miei interventi, purtroppo avendo
limitate nozioni ma una sfrenata passione finisco per arrovellarmi tutto il giorno sui vostri interessanti problemi e non vorrei perdere donna e lavoro ( come peraltro già accaduto in passato!)
Bene Bene......
Però credo che il fatto di essere un sottoinsieme di un generico insieme $A$ implica che il sottoinsieme sia anche un elemento di $A$
Dalla logica che ho studiato io:
$A = {1,2,B}$ e $B = {3,4}$ quindi $B in A$ è lecito scriverlo! Come e lecito scrivere $B \subseteq A$ perchè A = {1,2,{3,4}}
se invece
$A = {1,2,{B}}$ e $B = {3,4}$ allora $B in A$non è corretto scriverlo! Come non è lecito scrivere $B \subseteq A$ perchè A = {1,2,{ {3,4} }} semmai potrò scrivere che ${B} in A$
Tornando ai sottoinsiemi impropri
bisogna stabilire se è vero che $\emptyset in A$ oppure che è vero ${\emptyset} in A$
Per quanto detto da ottusangolo
il tuo ragionamento è abbastanza corretto anche se è molto intrecciato e non ho avuto tempo di analizzarlo bene, tuttavia quello che ho riportato del tuo discorso (secondo me) risulta vero solo se $I = \emptyset $ e quindi $I \times I = I$ e $I times \emptyset = \emptyset $ ....non ho capito cosa volevi affermare con queste due eguaglianze.
Però credo che il fatto di essere un sottoinsieme di un generico insieme $A$ implica che il sottoinsieme sia anche un elemento di $A$
Dalla logica che ho studiato io:
$A = {1,2,B}$ e $B = {3,4}$ quindi $B in A$ è lecito scriverlo! Come e lecito scrivere $B \subseteq A$ perchè A = {1,2,{3,4}}
se invece
$A = {1,2,{B}}$ e $B = {3,4}$ allora $B in A$non è corretto scriverlo! Come non è lecito scrivere $B \subseteq A$ perchè A = {1,2,{ {3,4} }} semmai potrò scrivere che ${B} in A$
Tornando ai sottoinsiemi impropri
bisogna stabilire se è vero che $\emptyset in A$ oppure che è vero ${\emptyset} in A$
Per quanto detto da ottusangolo
I*I=I e I*0=0
il tuo ragionamento è abbastanza corretto anche se è molto intrecciato e non ho avuto tempo di analizzarlo bene, tuttavia quello che ho riportato del tuo discorso (secondo me) risulta vero solo se $I = \emptyset $ e quindi $I \times I = I$ e $I times \emptyset = \emptyset $ ....non ho capito cosa volevi affermare con queste due eguaglianze.
Mi spiace ma non riesco a spiegarmi meglio, comunque il ragionamento mi pare abbastanza lineare seppur un po' astruso.
O.K su tutto ,è quello che volevo dire. Magari ho sbagliato a scrivere I={a, b,c, I,0} ma volevo solo indicare che un insieme contiene se stesso e l'insieme vuoto,0.E li deve contenere
perchè facendo l'intersezione che ho indicato con * sembra naturale richidere che I*I=I e I*0=0. I invece non contiene ad es { {I}, {I} } ma neppure { {0},{0}} almeno mi pare.
MA LA COSA INTERESSANTE, del ragionamento fatto(magari erroneamente) è che SEMBRA
ESISTANO INSIEMI DI INSIEMI CHE NON CONTENGONO SE STESSI E CHE PER QUESTA
CARATTERISTICA NON SONO IN REALTA' INSIEMI ( perchè come scritto altrimenti considerando l'insieme che li contiene tutti si cade in un paradosso da cui non vedo via di uscita)
O.K su tutto ,è quello che volevo dire. Magari ho sbagliato a scrivere I={a, b,c, I,0} ma volevo solo indicare che un insieme contiene se stesso e l'insieme vuoto,0.E li deve contenere
perchè facendo l'intersezione che ho indicato con * sembra naturale richidere che I*I=I e I*0=0. I invece non contiene ad es { {I}, {I} } ma neppure { {0},{0}} almeno mi pare.
MA LA COSA INTERESSANTE, del ragionamento fatto(magari erroneamente) è che SEMBRA
ESISTANO INSIEMI DI INSIEMI CHE NON CONTENGONO SE STESSI E CHE PER QUESTA
CARATTERISTICA NON SONO IN REALTA' INSIEMI ( perchè come scritto altrimenti considerando l'insieme che li contiene tutti si cade in un paradosso da cui non vedo via di uscita)
Quindi però mi pare chiaro a questo punto dire che se gli insiemei impropri di $A$ sono sottoinsiemi allora deve essere vero che
$\emptyset in A$ e $A in A$ cioè che $\emptyset \subseteq A$ e $A \subseteq A$
Si potrebbe arginare il problema della ciclicità definendo gli insiemi impropri come insiemi contenenti solo insiemi propri.
ES:
$A = {1, 2 }$con gli insiemi impropri $ A = {1,2 ,\emptyset , A' }$ dove $A' = {1,2}$ cioè è uguale ad $A$ meno gli insiemi impropri essendo $A'$ un insieme impropio che non può contenere insiemi impropri.
...a me pare che fila , ma da qui all'assioma ce ne vuole però.
$\emptyset in A$ e $A in A$ cioè che $\emptyset \subseteq A$ e $A \subseteq A$
Si potrebbe arginare il problema della ciclicità definendo gli insiemi impropri come insiemi contenenti solo insiemi propri.
ES:
$A = {1, 2 }$con gli insiemi impropri $ A = {1,2 ,\emptyset , A' }$ dove $A' = {1,2}$ cioè è uguale ad $A$ meno gli insiemi impropri essendo $A'$ un insieme impropio che non può contenere insiemi impropri.
...a me pare che fila , ma da qui all'assioma ce ne vuole però.
Ciao!
Mi sembra che ti vuoi complicare la vita, e ti sfugga che il paradosso , se c'è, è altrove.
Per come la vedo A={a,b}={ a,b,0}
Ma A è diverso da {{a,b},{a},{b}}
Invece penso si possa e si debba considerare che A={a,b,a,b,a,b....} intendendo che tutti gli
a sono fra loro indistinguibili ( idem per i b)e dunque un solo elemento.Era questo che ho premesso nel mio primo post dicendo che per convenzione {a,a,a....}={a} (ovvio a, indist. altrimenti sono due ins. con dim. diversa, quindi diversi; ma se interessa solo il numero allora conveniamo di scrivere{1,2,3...})
Forse il problema di moltiplicare all'infinito gli insiemi è un falso problema, come per le classi di equivalenza, niente di male a lavorare invece che su un rappresentante della classe, su tutti gli elementi ma con quale vantaggio ?
Credo sia rischioso porre A={a,b, {a,b}=A'} oltre che inutile poi ti spiegherò il perchè lo penso.
Intanto guarda se questa def va bene:
A contiene se stesso se e solo se l"unione di tutti i sott. di A è un ins. i cui elementi sono tutti elementi di A
Mi sembra che ti vuoi complicare la vita, e ti sfugga che il paradosso , se c'è, è altrove.
Per come la vedo A={a,b}={ a,b,0}
Ma A è diverso da {{a,b},{a},{b}}
Invece penso si possa e si debba considerare che A={a,b,a,b,a,b....} intendendo che tutti gli
a sono fra loro indistinguibili ( idem per i b)e dunque un solo elemento.Era questo che ho premesso nel mio primo post dicendo che per convenzione {a,a,a....}={a} (ovvio a, indist. altrimenti sono due ins. con dim. diversa, quindi diversi; ma se interessa solo il numero allora conveniamo di scrivere{1,2,3...})
Forse il problema di moltiplicare all'infinito gli insiemi è un falso problema, come per le classi di equivalenza, niente di male a lavorare invece che su un rappresentante della classe, su tutti gli elementi ma con quale vantaggio ?
Credo sia rischioso porre A={a,b, {a,b}=A'} oltre che inutile poi ti spiegherò il perchè lo penso.
Intanto guarda se questa def va bene:
A contiene se stesso se e solo se l"unione di tutti i sott. di A è un ins. i cui elementi sono tutti elementi di A
Riprendo il discorso sperando di essere finalmente chiaro, altrimenti pace!
Premetto :chiamo l'unione + e l'intersezione *, 0 l'insieme vuoto.
Sia A={a,b,c}
0 appartiene ad A (e ad ogni insieme) perchè * di A con il suo complementare, per def. di complementare, non può che essere vuota e quindi 0 appatiene ad entrambi.
A è contenuto in A ? Si direbbe banalmente di si avendo gli stessi elementi.
Ed in effetti anche usando la def. data (ammesso sia esatta) nel post precedente si ha:
{a}+{b}+{c}+{a,b}+{a,c}+{b,c}+{a,b,c}={a,b,c} i cui elementi sono tutti di A.
PERO' E QUI MI SEMBRA IL VERO PARADOSSO.
Sia I l'ins dei sottoins. di A che hanno un solo elemento
I={ {a},{b},{c}} e chiediamoci se I è contenuto in se stesso.
Procedendo come sopra si vede che + di tutti i sott. di I non appartiene ad I come da attendersi
poichè I, essendo composto da 3 elementi , non può contenere se stesso visto che per def.
I deve contenere solo insiemi che hanno un elemento.
Parrebbe quindi che non sempre un insieme contiene se stesso!
Però che questa conclusione non quadra(ma dov'è l'errore ?) si vede considerando
U(I)=Insieme di tutti gli insiemi che non contengono se stessi (e dovrebbero esistere per quanto sopra) Infatti U(I) o contiene se stesso aut non contiene se stesso (a LOGICA!). Ma ambo le hp. sono contraddittorie quindi false.
Poichè se U(I) contiene se stesso allora,per def,è un ins. che non contiene se stesso! Assurdo
ma se U(I) non contiene se stesso allora deve essere contenuto in U(I), che contiene tutti gli ins. di questo tipo. ANCORA ASSURDO!
Dunque non resta che ipotizzare che U(I) non è ben definito! O non esite (ma perchè?? ) o
non è un insieme.E forse siamo arrivati ad una plausibile (non dico esatta!) soluzione al fatto
di considerare come assioma che un insieme deve contenere se stesso.
VA BENISSIMO PORLO COME ASSIOMA ( PER POTER MANEGGIARE LE OPERAZIONI FRA INSIEMI +,*) MA COSI' BISOGNA RINUNCIARE A CONSIDERARE INSIEMI QUELLI DEL TIPO I
DI CUI SOPRA. ( IN ACCORDO CON IL FATTO CHE U(I) NON SAREBBE UN INSIEME IN QUANTO UNIONE DI NON INSIEMI!)
Premetto :chiamo l'unione + e l'intersezione *, 0 l'insieme vuoto.
Sia A={a,b,c}
0 appartiene ad A (e ad ogni insieme) perchè * di A con il suo complementare, per def. di complementare, non può che essere vuota e quindi 0 appatiene ad entrambi.
A è contenuto in A ? Si direbbe banalmente di si avendo gli stessi elementi.
Ed in effetti anche usando la def. data (ammesso sia esatta) nel post precedente si ha:
{a}+{b}+{c}+{a,b}+{a,c}+{b,c}+{a,b,c}={a,b,c} i cui elementi sono tutti di A.
PERO' E QUI MI SEMBRA IL VERO PARADOSSO.
Sia I l'ins dei sottoins. di A che hanno un solo elemento
I={ {a},{b},{c}} e chiediamoci se I è contenuto in se stesso.
Procedendo come sopra si vede che + di tutti i sott. di I non appartiene ad I come da attendersi
poichè I, essendo composto da 3 elementi , non può contenere se stesso visto che per def.
I deve contenere solo insiemi che hanno un elemento.
Parrebbe quindi che non sempre un insieme contiene se stesso!
Però che questa conclusione non quadra(ma dov'è l'errore ?) si vede considerando
U(I)=Insieme di tutti gli insiemi che non contengono se stessi (e dovrebbero esistere per quanto sopra) Infatti U(I) o contiene se stesso aut non contiene se stesso (a LOGICA!). Ma ambo le hp. sono contraddittorie quindi false.
Poichè se U(I) contiene se stesso allora,per def,è un ins. che non contiene se stesso! Assurdo
ma se U(I) non contiene se stesso allora deve essere contenuto in U(I), che contiene tutti gli ins. di questo tipo. ANCORA ASSURDO!
Dunque non resta che ipotizzare che U(I) non è ben definito! O non esite (ma perchè?? ) o
non è un insieme.E forse siamo arrivati ad una plausibile (non dico esatta!) soluzione al fatto
di considerare come assioma che un insieme deve contenere se stesso.
VA BENISSIMO PORLO COME ASSIOMA ( PER POTER MANEGGIARE LE OPERAZIONI FRA INSIEMI +,*) MA COSI' BISOGNA RINUNCIARE A CONSIDERARE INSIEMI QUELLI DEL TIPO I
DI CUI SOPRA. ( IN ACCORDO CON IL FATTO CHE U(I) NON SAREBBE UN INSIEME IN QUANTO UNIONE DI NON INSIEMI!)
Ripondo ad ottusangolo
Quello che hai detto è interessante. Tuttavia non ho tempo per soffermarmi su questi paradossi. Tuttavia vorrei precisare che.....
Io credo che non sia vero. Perchè se i due insiemi son uguali allora dovresti poter dire $\emptyset in A $ e $\emptyset in B $ con $A = {a,b}$ e $B ={a,b,\emptyset}$ , e questo non si può dire a priori, in primo luogo perchè dalla rappresentazione si nota che gli insiemi differiscono, anche se di un elemento.
Questo non risolve il problema per il fatto che l'unione di tutti i sottoinsiemi si A avrà si elementi ${x | x in A AAx}$ e questo accadrà sempre, visto che ogni sottoinsieme che stà nell'unione $X in A$ cioè $X \subseteq A$ ($X$ è un generico insieme appartenente all'unione) . Quindi paradossalmente ci saranno anche $A$ stesso e $\emptyset$, a meno che non si specifica che l'unione è tra tutti i sottoinsiemi propri di $A$.
A questo punto l'unione conterrà solo i sottoinsiemi propri di $A$. Ma non potremo dire che questo insieme sia il sottoinsieme improprio $A$ perchè magari $A$
ha anche elementi che non sono insiemi e che non sono contenuti nell'unione di sottoinsiemi (prorpio o impropri che siano) di $A$. Quindi $A$ è diverso dall'unione di prima.
Ecco perchè ti dicevo di assumere il sottoinsieme improprio di $A$ cioè $A$ stesso come l'insieme $A'$ cioè l'insieme che contiene tutti gli elementi di $A$ tranne
quelli impropri o meglio tranne i sottoinsiemi impropri. Solo così si può fermare il circolo vizioso che porta all ' $\oo$
Quello di $U(I)$ è un paradosso hai ragione ma è proprio per questo che non risolve il problema da cui siamo partiti.....comunque è interessante considerarlo, anche se quì si tratta di non poter includere gli insiemi impropri in $I$, e nello specifico come citi tu il problema stà nell'includere I stesso. Ma come ripeto il problema che più mi premeva era come definire l'insieme improprio $A$ "stesso" quando questo non paradossalmente è incluso in $A$.
Ora però......ho già voltato pagina.....non ho tempo di soffermarmi sugli insiemi impropri.
CIAO!
Quello che hai detto è interessante. Tuttavia non ho tempo per soffermarmi su questi paradossi. Tuttavia vorrei precisare che.....
Per come la vedo A={a,b}={ a,b,0}
Io credo che non sia vero. Perchè se i due insiemi son uguali allora dovresti poter dire $\emptyset in A $ e $\emptyset in B $ con $A = {a,b}$ e $B ={a,b,\emptyset}$ , e questo non si può dire a priori, in primo luogo perchè dalla rappresentazione si nota che gli insiemi differiscono, anche se di un elemento.
A contiene se stesso se e solo se l"unione di tutti i sott. di A è un ins. i cui elementi sono tutti elementi di A
Questo non risolve il problema per il fatto che l'unione di tutti i sottoinsiemi si A avrà si elementi ${x | x in A AAx}$ e questo accadrà sempre, visto che ogni sottoinsieme che stà nell'unione $X in A$ cioè $X \subseteq A$ ($X$ è un generico insieme appartenente all'unione) . Quindi paradossalmente ci saranno anche $A$ stesso e $\emptyset$, a meno che non si specifica che l'unione è tra tutti i sottoinsiemi propri di $A$.
A questo punto l'unione conterrà solo i sottoinsiemi propri di $A$. Ma non potremo dire che questo insieme sia il sottoinsieme improprio $A$ perchè magari $A$
ha anche elementi che non sono insiemi e che non sono contenuti nell'unione di sottoinsiemi (prorpio o impropri che siano) di $A$. Quindi $A$ è diverso dall'unione di prima.
Ecco perchè ti dicevo di assumere il sottoinsieme improprio di $A$ cioè $A$ stesso come l'insieme $A'$ cioè l'insieme che contiene tutti gli elementi di $A$ tranne
quelli impropri o meglio tranne i sottoinsiemi impropri. Solo così si può fermare il circolo vizioso che porta all ' $\oo$
Quello di $U(I)$ è un paradosso hai ragione ma è proprio per questo che non risolve il problema da cui siamo partiti.....comunque è interessante considerarlo, anche se quì si tratta di non poter includere gli insiemi impropri in $I$, e nello specifico come citi tu il problema stà nell'includere I stesso. Ma come ripeto il problema che più mi premeva era come definire l'insieme improprio $A$ "stesso" quando questo non paradossalmente è incluso in $A$.
Ora però......ho già voltato pagina.....non ho tempo di soffermarmi sugli insiemi impropri.
CIAO!
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo