La definición anterior convierte al dual continuo o topológico en un espacio vectorial normado, de hecho en un espacio de Banach.