Vecteur
The real line is a vector space over the field of real numbers (that is, over itself) of dimension . It has the usual multiplication as an inner product, making it a Euclidean vector space. The norm defined by this inner product is simply the absolute value.