Discussione:Insieme vuoto
Da Wikipedia, l'enciclopedia libera.
[modifica] Lo zero nella teoria assiomatica degli insiemi
Ho notato che .mau. ha fatto una correzione: dove stava scritto che, nella teoria assiomatica degli insiemi, lo zero è per definizione l'insieme vuoto, lui ha corretto con "lo zero è per definizione la cardinalità dell'insieme vuoto". Io avevo tradotto dall'inglese nel primo modo, e in effetti anche qua c'è scritto che la rappresentazione canonica di N è costruita così:
0 = {}
1 = { 0 } = { {} }
2 = { 0, 1 } = { {}, { {} } }
3 = { 0, 1, 2 } = { {}, { {} }, { {}, { {} } } }.
Anche in numero ordinale e (volendo esagerare) in numero surreale si identifica lo 0 con l'insieme vuoto. Direi di aver trovato la stessa definizione anche su qualche libro, che ora naturalmente non ricordo. Io sarei per rimettere com'era prima, che ne dice .mau.? --zar-(dimmi) 20:58, 2 set 2006 (CEST)
- Ci sono diversi modi per definire strutture isomorfe ai numeri naturali nella teoria degli insiemi nessuno dei quali è più "standard" degli altri.--Pokipsy76 10:21, 3 set 2006 (CEST)
-
- Mi sembra però più semplice (più naturale?) dire che 0 = {} piuttosto che dire che 0 è la cardinalità dell'insieme vuoto, perché poi bisogna specificare cosa significa cardinalità coi problemi che ne conseguono. Se si definisce invece 0 = {} non ci sono problemi e si fa una costruzione molto elegante, a mio parere. --zar-(dimmi) 14:41, 3 set 2006 (CEST)
-
-
- Nel pezzo a cui ti riferisci si parla di una presunta "definizione astratta di numero naturale". Ora il problema è che non c'è *una* definizione astratta di numero naturale quindi la frase andrebbe formulata un po' meglio. Si potrebbe dire che nella costruzione insiemistica dei numeri naturali come numeri cardinali lo 0 viene definito come la cardinalità dell'insieme vuoto mentre nella costruzione dei numeri come numeri ordinali lo è si identifica proprio con l'insieme vuoto stesso.--Pokipsy76 17:50, 3 set 2006 (CEST)
-
io parto dal banale principio che se scrivi "lo zero è l'insieme vuoto" qualcuno pianterà casini confondendolo con l'insieme che contiene lo zero. Piuttosto scriviamo "all'insieme vuoto si associa il numero zero, all'insieme con unico elemento l'insieme vuoto si associa il numero uno", ecc. ecc. -- .mau. ✉ 19:17, 3 set 2006 (CEST)
Ho modificato il testo, prova a guardare se può andare. --zar-(dimmi) 20:30, 3 set 2006 (CEST)
