13.01.2013 Views

Capitolo 1 “Prematematica” e Matematica antica

Capitolo 1 “Prematematica” e Matematica antica

Capitolo 1 “Prematematica” e Matematica antica

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

A me sembra di poter rispondere affermativamente a questa questione<br />

per le seguenti ragioni.<br />

Tutti i numeri ≥ 0 e ≤ 1 possono essere rappresentati in una ed<br />

una sola maniera come frazione decimale<br />

1 1<br />

1<br />

x = α1 + α2 + . . . + αν<br />

10 102 10ν dove le αν sono numeri interi ≥ 0 e ≤ 9. Tutti i numeri x<br />

determinano così una successione infinita α1, α2, . . . e viceversa.”<br />

La corrispondenza biunivoca fu dimostrata nel seguente modo: dati due reali<br />

x1, x2 così espressi<br />

x1 = α1<br />

1 1<br />

1<br />

+ α2 + . . . + αν<br />

10 102 10ν 1 1<br />

1<br />

x2 = β1 + β2 + . . . + βν<br />

10 102 10ν da questi si può ottenere un terzo numero nel modo seguente:<br />

1 1<br />

y = α1 + β1<br />

10 10<br />

2 + α2<br />

1<br />

10<br />

3 + β2<br />

1<br />

+ . . .<br />

103 il numero y.<br />

In questo modo Cantor credette di aver trovato una corrispondenza biunivoca<br />

associando alla coppia (x1, x2) e y.<br />

Quanto sia sorprendente questo risultato è testimoniato dalle parole ormai celebri<br />

che Cantor scrisse a Dedekind: “je le vois, ma je ne le crois pas!” (“lo<br />

vedo ma non ci credo!”),una volta dimostrato l’ultimo enunciato.<br />

Dedekind però trovò un errore in tale dimostrazione e lo comunicò a Cantor<br />

in una lettera datata 22 Giugno 1877.<br />

Per poter rappresentare in modo univoco ogni numero reale appartenente all’intervallo<br />

(0, 1), si devono identificare i valori tali che αn = 0 da un certo<br />

indice in poi con il corrispondente valore per cui αn = 9 (per esempio 0.3000 . . .<br />

e 0.29999 . . . ). Dedekind infatti scrive:<br />

“. . . il fatto che voi sottolineate il termine “ infinito” mi lascia<br />

supporre che voi escludiate il caso di una funzione finita, vale a<br />

dire che al posto di<br />

x = α1<br />

10<br />

+ α2<br />

10<br />

αν 0 0<br />

+ . . . + + + + . . .<br />

2 10ν 10ν+1 10ν+2 429

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!