Insiemi equipotenti

Messaggioda Angelo » 08/07/2002, 11:55

Se A è un insieme infinito, è vero che AxA è equipotente ad A ?
In caso affermativo, riportare una dimostrazione.
Altrimenti dare un controesempio.


Angelo
Angelo
Junior Member
Junior Member
 
Messaggio: 1 di 187
Iscritto il: 08/07/2002, 11:15
Località: Italy

Messaggioda j18eos » 16/06/2010, 20:24

Il teorema affermato è vero ma la dimostrazione non è fattibile in 4 righe almeno che non si voglia utilizzare l'aritmetica dei numeri cardinali (che io non conosco).
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 74 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Messaggioda Martino » 17/06/2010, 10:09

Neanch'io so molto di aritmetica dei cardinali. A quanto leggo qui per questo risultato c'è bisogno dell'assioma della scelta.
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 3262 di 13035
Iscritto il: 21/07/2007, 10:48
Località: Brasilia

Messaggioda j18eos » 17/06/2010, 19:31

Confermo quanto dice Martino, negando l'assioma della scelta è costruibile un insieme infinito non equipotente al suo insieme quadrato cartesiano; affermando l'assioma della scelta ogni insieme infinito è equipotente al suo insieme quadrato cartesiano.
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 80 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Messaggioda Angelo » 18/06/2010, 11:10

Mi puoi dare la dimostrazione che $AxxA$ è equipotente ad $A$ nel caso che $A$ sia un insieme infinito? La dimostrazione certamente utilizzerà l'assioma della scelta.

E poi vorrei che tu mi costruisca un insieme infinito, non equipotente al suo quadrato cartesiano negando l'assioma della scelta.

Chiedo troppo?
Angelo
Angelo
Junior Member
Junior Member
 
Messaggio: 81 di 187
Iscritto il: 08/07/2002, 11:15
Località: Italy

Messaggioda Martino » 18/06/2010, 11:18

j18eos ha scritto:negando l'assioma della scelta è costruibile un insieme infinito non equipotente al suo insieme quadrato cartesiano
Non credo che questo sia vero. O meglio, non credo che questo sia dimostrabile. Probabilmente senza l'assioma della scelta l'esistenza di un insieme infinito non equipotente al suo quadrato è indecidibile.
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 3270 di 13035
Iscritto il: 21/07/2007, 10:48
Località: Brasilia

Messaggioda Angelo » 18/06/2010, 11:47

Però mi puoi dare la dimostrazione usando l'assioma della scelta? O comunque una pagina web dove ci sia?
Angelo
Angelo
Junior Member
Junior Member
 
Messaggio: 83 di 187
Iscritto il: 08/07/2002, 11:15
Località: Italy

Messaggioda j18eos » 18/06/2010, 16:50

Ti posso suggerire dei libri su cui puoi leggerla, riportartela non posso!
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 88 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Messaggioda Angelo » 18/06/2010, 17:17

ok, grazie.
Però se trovi qualcosa su internet, avvisami.
Angelo
Angelo
Junior Member
Junior Member
 
Messaggio: 86 di 187
Iscritto il: 08/07/2002, 11:15
Località: Italy

Messaggioda j18eos » 18/06/2010, 17:36

De Giovanni Franciosi "Elementi di Algebra" Ed. Aracne; nel I capitolo c'è la dimostrazione.

Sulla questione se il negare l'AC si possa costruire un insieme infinito meno potente del suo quadrato cartesiano non né accenna nulla.
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 92 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Prossimo

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

Chi c’è in linea

Visitano il forum: superpippone e 1 ospite