Sarà numerabile?

[Mondo3]

Si dimostri che $\omega^{\omega^{.^{.^{.^{\omega}}}}}=\epsilon_0$ è isomorfo a un sottoinsieme dei razionali.

[Mondo3]

uppino...

[gugo82]

Ma se non spieghi nemmeno i simboli, come pretendi che qualcuno ti risponda?

[Mondo3]

"Gugo82":Ma se non spieghi nemmeno i simboli, come pretendi che qualcuno ti risponda?

Ok, chiedo perdono...

dunque $\omega$ non è altro che l'ordinale associato ad $NN$ mentre $\epsilon_0$ è definito proprio nel modo descritto.
Per ulteriori informazioni vedi http://en.wikipedia.org/wiki/Epsilon_nought

[Chevtchenko]

"Gugo82":Ma se non spieghi nemmeno i simboli, come pretendi che qualcuno ti risponda?

Veramente i simboli sarebbero standard e ben conosciuti (almeno per un set-theorist)...

[gugo82]

"Chevtchenko":[quote="Gugo82"]Ma se non spieghi nemmeno i simboli, come pretendi che qualcuno ti risponda?

Veramente i simboli sarebbero standard e ben conosciuti (almeno per un set-theorist)...[/quote]
Beh, mica è colpa mia se mi interessa di più l'Analisi?

Ad esempio $epsilon_0$ l'ho usato solo in Fisica (per la costante dielettrica nel vuoto), mentre $omega$ di solito lo uso per denotare qualche cosa di nullo (ad esempio il funzionale nullo su uno spazio di Banach)...