Dopo aver proposto l’ultima volta la soluzione al problema dell’equipotenza di ed
mi è tornato in mente il Paradosso della Ruota di Aristotele, ora che sia stato veramente proposto da Aristotele è tutto da dimostrare, ma per mantenere un po’ di notazione storica continuiamo pure a chiamarlo così. Osservate il seguente disegno:
Notata la “magagna”? Consideriamo la ruota marrone, formata di due cerchi concentrici, il mozzo e il cerchione vero e proprio, in particolare fissiamo l’attenzione sulla traiettoria percorsa da i punti e
. Mentre la ruota gira questi compiono la medesima traiettoria rettilinea! Ovvero se costruiamo un’applicazione (una funzione se vi piace di più) che associa ad ogni punto della ruota che gira il punto del segmento, rosso o blu, percorso rispettivamente da
e da
abbiamo costruito un’applicazione suriettiva ed iniettiva tra le due circonferenze ed il medesimo segmento, ovvero abbiamo appena dimostrato che circonferenze di raggio diverso hanno la stessa lunghezza!. Questo è quello che si dice un disastro completo!
I più squisitamente fisici obietteranno subito che compie un moto traslatorio, mentre
ne compie uno rotatorio e questo dovrebbe già metterci tutti in allarme, ma cerchiamo una risposta che sia prettamente matematica.
La domanda giusta da porsi è: l’esistenza dell’applicazione che è suriettiva e iniettiva cosa ci dimostra in realtà? Dimentichiamoci per un momento del concetto di lunghezza e torniamo agli insiemi, per la definizione 1 che abbiamo dato l’altra volta, abbiamo che l’esistenza della
ci garantisce che le cardinalità degli insiemi:
(1)
è la medesima, e questo non implica nulla sulla lunghezza! Infatti possiamo dimostrare in modo molto agevole che ogni sottoinsieme di che contiene un intervallo (in generale di
ha la cardinalità di ogni altro sottoinsieme di
con la stessa proprietà (in generale di
). Per quello che ci interessa ci basta farlo per un qualunque intervallo di
, ed è oltremodo semplice, basta infatti costruire una mappa come illustrato in questo disegno:
Prendiamo il nostro intervallo , consideriamo il punto
e la semicirconferenza di raggio
centrata in
che chiamiamo
, adesso consideriamo l’applicazione:
che manda ogni punto
in un punto
nel seguente modo, si traccia la retta perpendicolare ad
e passante per
, questa interseca la semicirconferenza in un punto
che è proprio quello cercato. Ci vuol poco a vedere che
è biettiva (iniettiva e suriettiva), quindi l’intervallo
possiede un numero di punti uguale a quello della circonferenza. Adesso costruiamo la seconda mappa
, consideriamo la retta passante per
e
, questa incontrerà l’asse reale in un unico punto
per ogni punti
che proviene da un unico punto
. Si vede facilmente che anche questa mappa è biettiva ed è fatta: la mappa
è la mappa cercata tra un intervallo di
ed
stesso.
In questo modo ci siamo spiegati perché quelle due circonferenze sono uguali ad un medesimo segmento e in che senso dobbiamo interpretare la parola uguali in questo caso. Adesso non ci resta che capire perché questo non si adegua al nostro concetto di lunghezza, ovvero dobbiamo prenderci di coraggio e ammettere che l’idea intuitiva di lunghezza come “n° di punti tra e
” è fin troppo ingenua. Come si fa di solito in matematica diamo una definizione di lunghezza opportuna e constatiamo che questa verifica le proprietà che uno ragionevolmente si aspetta (restringiamoci al piano che è meno pesante da scrivere, si generalizza facilmente allo spazio e a qualsiasi dimensione superiore).
Def. 1 Dati due punti definiamo lunghezza del segmento
la seguente quantità:
(2)
Con un paio di facile verifiche, che possono essere tranquillamente lasciate all’audace lettore (era una vita che volevo scriverlo…), si dimostra, diciamo pure si osserva, che se e che
. Che sono due cose che ci piacciano e sono coerenti con l’idea di lunghezza che abbiamo in testa. Adesso però dobbiamo dare, in qualche modo, l’idea di lunghezza di una curva regolare (regolare in questo caso vuol dire che si può disegnare sul foglio senza staccare la penna, senza troppi spigoli puntuti e che non si ingarbugli troppo, qualcosa di idealmente simile alla circonferenza …).
Cominciamo ad osservare che possiamo rappresentare una curva, nei casi buoni di cui stiamo parlando (esistono cose che rientrano comunque sotto il nome di curva e che non ci verrebbe in mente mai di chiamare in questo modo) come un’applicazione: , di cui il disegno che abbiamo in mente è rappresentato dal sottoinsieme
. Adesso per dire quanto è lunga la curva dobbiamo combinare in modo opportuno la definizione di lunghezza. Consideriamo un insieme di
valori in
che chiamiamo una partizione così fatto:
(3)
a cui sono associati i punti sulla curva nel modo ovvio, ovvero
, per farci un’idea basta guardare il seguente disegno:
in cui c’è anche rappresentato come andremo avanti, infatti consideriamo ora la spezzata, poligonale, che collegano i punti, questi sono segmenti, possiamo dunque applicare la nostra definizione di lunghezza e definire la lunghezza della nostra poligonale
:
(4)
La nostra poligonale è un’approssimazione di quella che intendiamo come lunghezza della curva e guardando un po’ il disegno, facendo qualche prova e scribacchiando qualche conto, ci accorgiamo quasi subito che se aumentiamo il numero di punti in cui dividiamo l’intervallo la
si avvicina alla lunghezza effettiva della curva. Nelle ipotesi di regolarità che abbiamo detto possiamo essere sicuri che tutto questo è formalmente corretto ed ha un senso, quindi possiamo ottenere la lunghezza delle nostra curva come limite per
delle lunghezze delle poligonali.
Adesso possiamo far entrare in scena il deus ex machina, quando questo ragionamento che abbiamo fatto ha senso, possiamo scrivere la lunghezza della curva come:
(5)
dove gli apici rappresentano le derivate prime. Per quanto riguarda la circonferenza da cui eravamo partiti basta costruire la curva circonferenza di raggio come:
(6)
se ci si mette con un po di pazienza ad applicare la formula (5) a questo caso si ottiene il noto risultato sulla lunghezza della circonferenza.
Aristotele, o chi per lui, aveva posto veramente un gran bel problema per l’intuizione. Un problema la cui soluzione è piuttosto elaborata e comprende il ricordo di ragionamenti all’infinito, che è come al solito un compagno ingannevole, e qualche domanda non banale su quello che pensiamo essere una lunghezza.