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