The dual of is the set of all linear functionals from to .

Isomorphism of Normed Spaces Isometric Isomorphism Banach-Mazur Distance Completeness of Dual Spaces