Si
fissi un riferimento (O, U)
sulla retta euclidea r e si consideri l'applicazione f che, ad ogni
punto della retta, associa un numero reale; tale applicazione è una
bigezione dei punti della retta r nell'insieme dei numeri reali R, cioè:
dove x è l'ascissa di X rispetto ad (O, U).
Tale applicazione f si chiama sistema coordinato relativo ad (O, U).
Si esprimono ora, mediante prodotto di applicazioni, le relazioni esistenti fra sistemi coordinati relativi a due riferimenti diversi. Si consideri quindi un altro riferimento (O', U') sulla retta euclidea r e si consideri l'applicazione f' che, ad ogni
punto della retta, associa un numero reale; tale applicazione è anche una
bigezione dei punti della retta r nell'insieme dei numeri reali R, cioè:
dove x' è l'ascissa di X rispetto ad (O', U').
Si ricorda ora che, rispetto ai riferimenti (O, U) ed (O', U'), è stata definita la trasformazione lineare intera che è una bigezione dell'insieme dei numeri reali su se stesso,
tale che ad ogni xR corrisponde x' = αx + β, dove
Si indichi con T tale trasformazione e sia T(x) = αx + β, o anche
T(x) rappresenta la trasformazione lineare intera definita dai due riferimenti (O, U) ed (O', U'), mentre f ed f' i sistemi coordinati relativi rispettivamente ad (O, U) ed (O', U'). In tali condizioni, esiste la relazione
f' = Tf,
cioè f' è uguale al prodotto operativo di due applicazioni, ed in tal modo ad ogni ascissa del riferimento OU viene associata l'ascissa
del riferimento O'U'. In altri termini f' è tale che, ad ogni punto X
della retta r, fa corrispondere un numero reale x mediante la f ed al
numero reale x fa corrispondere il numero reale x' mediante la trasformazione lineare T. Da ciò segue che
Pertanto
Si dimostra ora che
f' = T ο f.
Allo scopo si consideri un punto X della retta r, allora
f'(X) = x',
ed essendo
x' = αx + β
il valore della trasformazione lineare in x, si ha
f'(X) = x' = αx + β = T(x) = T(f(X)) = T ο f(X),
come volevasi dimostrare.
Si è quindi dimostrato che, dato un riferimento (O, U) ed una trasformazione lineare
esiste un unico riferimento che permette il passaggio dalle precedenti alle nuove ascisse.
Se (O, U) è un riferimento, f un sistema coordinato e T una trasformazione lineare, la bigezione
f' = Tf,
che fa corrispondere a punti della retta numeri reali, è il sistema coordinato relativo ad un determinato riferimento, cioè Tf è un sistema coordinato di un altro riferimento (O', U').