Un modo per far corrispondere i reali ai punti di una retta è il seguente (non-rigoroso, ma formalizzabile [non da me] con un po' di lavoro). Un disegnino aiuta.
Sia \( E \) una retta su cui sia dato un ordine, e considera un segmento \( u \) che funga da "unità di misura". Fissato un punto \( O \) della retta, ad ogni numero reale \( r \) associa il punto \( P \) di \( E \) tale che se \( r>0 \), allora \( P \)
segue \( O \) ed è \( \overline{OP}=r \); se \( r<0 \), il punto \( P \)
precede \( O \) con \( \overline{OP}=-r \); se \( r=0 \) banalmente \( P=O \). (Si dimostra che) tale corrispondenza tra
i punti di \( E \) e i numeri reali è biiettiva ("biunivoca", "isomorfismo di insiemi").
Presi due numeri reali \( r \) ed \( s \), se \( r<s \) e detta \( \phi \) tale corrispondenza, il punto \( \phi r \) "dov'è" rispetto al punto \( \phi s \) (rispetto all'ordine)?
Come disegneresti \( 2/3 \), adesso?
Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
Mi sembra chiaro che op è al primo anno di superiori o giù di lì. Io non ho mai visto a scuola la costruzione di questa biiezione, tra l'altro: cadeva dal cielo.