A partir del espacio dual formula_14, definimos el espacio bidual formula_18 como el conjunto de todas las aplicaciones lineales de formula_14 en formula_20, donde formula_20 es el cuerpo sobre el que se define el espacio vectorial formula_9.