Pagina 1 di 1

Insiemi numerici

Inviato: mercoledì 13 maggio 2015, 19:37
da Giacomo
buongiorno a tutti
Sarebbe possibile definire N come un insieme che ha:
tutte le proprietà della somma naturali( comm. ass. elem neutro. )
le analoghe proprietà del prodotto
la proprietà distributiva;
un ordinamento con le stesse proprietà che ha in R e che vanno bene anche per N;
+ il fatto che 0 è un minimo e che tra 0 e 1 non ci sono elementi;
e dimostrare che ha tutte le proprietà di peano?

Re: Insiemi numerici

Inviato: giovedì 14 maggio 2015, 19:48
da Massimo Gobbino
Domanda interessante. Intanto che qualcuno ci pensa e (spero) risponde, sposto nella sezione giusta :wink:.

Re: Insiemi numerici

Inviato: lunedì 18 maggio 2015, 18:21
da Giacomo
non mi riesce dimostrare il principio di induzione.. e non voglio pensare che esistano insiemi "cosi naturali " in cui non vale tale principio.. qualcuno saprebbe aiutarmi?

Re: Insiemi numerici

Inviato: lunedì 18 maggio 2015, 19:11
da Massimo Gobbino
Pensa a

\{0\}\cup[1,+\infty)

Re: Insiemi numerici

Inviato: martedì 19 maggio 2015, 0:10
da Giacomo
pensavo che il fatto che non ci fossero numeri tra 0 e 1 implicasse che non ci fossero numeri tra n e n+1 generico.. ma non avendo mai provato a dimostrarlo credevo male! dato che non lo implica mi chiedo, si possono dimostrare le proprietà di peano cambiando l' ultima proprietà con " qualunque n non esistono numeri compresi strettamente tra n e n+1?

Re: Insiemi numerici

Inviato: mercoledì 20 maggio 2015, 8:57
da Massimo Gobbino
Direi che non basta ancora ... e nota che stai mettendo assiomi pesantissimi (tutte le proprietà algebriche della somma), più infinite proprietà dell'ordinamento, senza riuscire ancora a dedurre il semplice Peano. Il problema è che con i soli assiomi della somma nessuno ti assicura che partendo da 0 e continuando ad aggiungere 1 raggiungi ogni elemento. Ovviamente l'esempio si fa sempre più riposto, e avanti di questo passo arriveremo agli ordinali. L'esempio qui penso che possa essere \mathbb{N}\times\mathbb{N} con somma definita component-wise

(a_1,b_1)+ (a_2,b_2)=(a_1+a_2,b_1+b_2)

e ordinamento lessicografico, cioè (a_1,b_1)\leq(a_2,b_2) se e solo se a_1<a_2 oppure a_1=a_2 e b_1<b_2 . Lo zero è la coppia (0,0) e l'unità è la coppia (0,1). Continuando a sommare l'unità si raggiunge solo il primo livello (0,n), ma non si può arrivare ai "piani superiori" (il piano è la prima variabile :D ).