Se deduce que cada espacio vectorial sobre un campo escalar K es isomorfo a un espacio vectorial de coordenadas, donde las coordenadas son elementos de K.