Si "K" es un cuerpo, entonces para cada espacio vectorial sobre "K" "V" tenemos una función lineal inyectiva "natural" "V" -> "V" del espacio vectorial en su doble dual.