El espacio dual es un espacio vectorial de la misma dimensión que formula_9.