Pagina 1 di 2

Insiemi equipotenti

MessaggioInviato: 08/07/2002, 11:55
da Angelo
Se A è un insieme infinito, è vero che AxA è equipotente ad A ?
In caso affermativo, riportare una dimostrazione.
Altrimenti dare un controesempio.


Angelo

MessaggioInviato: 16/06/2010, 20:24
da j18eos
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).

MessaggioInviato: 17/06/2010, 10:09
da Martino
Neanch'io so molto di aritmetica dei cardinali. A quanto leggo qui per questo risultato c'è bisogno dell'assioma della scelta.

MessaggioInviato: 17/06/2010, 19:31
da j18eos
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.

MessaggioInviato: 18/06/2010, 11:10
da Angelo
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?

MessaggioInviato: 18/06/2010, 11:18
da Martino
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.

MessaggioInviato: 18/06/2010, 11:47
da Angelo
Però mi puoi dare la dimostrazione usando l'assioma della scelta? O comunque una pagina web dove ci sia?

MessaggioInviato: 18/06/2010, 16:50
da j18eos
Ti posso suggerire dei libri su cui puoi leggerla, riportartela non posso!

MessaggioInviato: 18/06/2010, 17:17
da Angelo
ok, grazie.
Però se trovi qualcosa su internet, avvisami.

MessaggioInviato: 18/06/2010, 17:36
da j18eos
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.